1,116 Hits in 4.4 sec

Page 5012 of Mathematical Reviews Vol. , Issue 2001G [page]

2001 Mathematical Reviews  
representation. | Neculai Curteanu (R-IASI-SM; Iasi) 2001g:68016 68N18 03B40 03F52 Danos, Vincent (F-PARIS7-EL; Paris) ; Regnier, Laurent (F-CNRS-IML; Marseille) Reversible, irreversible and optimal /  ...  Summary: “Lambda-calculus is the core of functional program- ming, and many different ways to evaluate lambda-terms have been considered.  ... 

Development and Validation of a Prediction Model for Irreversible Worsened Cardiac Function in Patients With Acute Decompensated Heart Failure

Lei Wang, Yun-Tao Zhao
2021 Frontiers in Cardiovascular Medicine  
a prediction model and nomogram to estimate the risk of irreversible worsening of cardiac function among ADHF patients.  ...  The findings may provide a reference for clinical physicians for detection of irreversible worsening of cardiac function and enable its prompt management.  ...  Comparison of the characteristics between the reversible worsen and irreversible worsen groups.  ... 
doi:10.3389/fcvm.2021.785587 pmid:34957263 pmcid:PMC8702716 fatcat:6pv2p7wn4ja3hpncr57g45h5sm

What does it mean to say that a physical system implements a computation?

James Ladyman
2009 Theoretical Computer Science  
The most general form of Landauer's Principle can be precisely stated in terms of L-machines, namely that the logical irreversibility of L implies the thermodynamic irreversibility of every corresponding  ...  L-machine.  ...  way since it could be done non-optimally.  ... 
doi:10.1016/j.tcs.2008.09.047 fatcat:c6gbhibhavbinepnwyh7g7tcnq

WaveNano: a signal-level nanopore base-caller via simultaneous prediction of nucleotide labels and move labels through bi-directional WaveNets

Sheng Wang, Zhen Li, Yizhou Yu, Xin Gao
2018 Quantitative Biology  
All existing methods conduct segmentation and nucleotide label prediction in a sequential manner, in which the errors accumulated in the first step will irreversibly influence the final base-calling.  ...  Results: Our proposed base-caller, WaveNano, achieves good performance on real MinION sequencing data from Lambda phage.  ...  ACKNOWLEDGEMENTS We thank Minh Duc Cao COMPLIANCE WITH ETHICS GUIDELINES The authors Sheng Wang, Zhen Li, Yizhou Yu and Xin Gao declare that they have no conflict of interests.  ... 
doi:10.1007/s40484-018-0155-4 fatcat:wvtefbkfenczhlueglmeomlafe

Investment, Uncertainty, and Irreversibility in Ghana

Catherine A. Pattillo
1997 IMF Working Papers  
In this sense, greater irreversibility widens the range where zero investment is optimal.  ...  A number of recent models have characterized optimal investment behavior when investment is irreversible and demand follows a geometric Brownian motion.  ...  Z t is stochastic, with a constant mean growth rate η and variance σ 2 .  ... 
doi:10.5089/9781451858303.001 fatcat:r2m5o6rszfgvtnnmk3babxaxc4

Investment, Uncertainty, and Irreversibility in Ghana

Catherine Pattillo
1998 International Monetary Fund Staff Papers  
In this sense, greater irreversibility widens the range where zero investment is optimal.  ...  A number of recent models have characterized optimal investment behavior when investment is irreversible and demand follows a geometric Brownian motion.  ...  Z t is stochastic, with a constant mean growth rate η and variance σ 2 .  ... 
doi:10.2307/3867414 fatcat:segsqd7yyjhbbmxanspo2k7dga

Reversible, irreversible and optimal λ-machines

Vincent Danos, Laurent Regnier
1999 Theoretical Computer Science  
Lambda-calculus is the core of functional programming, and many di erent ways to evaluate lambda-terms have been considered.  ...  We compare two ways of implementing that speciÿc evaluation strategy: "Krivine's abstract machine" and the "interaction abstract machine".  ...  A reversible linear head reduction machine.  ... 
doi:10.1016/s0304-3975(99)00049-3 fatcat:2byx72psmndh7n4l5o34inet3i

Reversible logic for supercomputing

Erik P. DeBenedictis
2005 Proceedings of the 2nd conference on Computing frontiers - CF '05  
This paper explores the limits of current, irreversible logic for supercomputers, thus forming a threshold above which reversible logic is the only solution.  ...  However, to create such a design requires deviations from the mainstream of both the software for climate simulation and research directions of reversible logic.  ...  reversible and would be close to optimal on power.  ... 
doi:10.1145/1062261.1062325 dblp:conf/cf/DeBenedictis05 fatcat:liljr6kd4beb5px2q7ubk2fhbm

Effects of design and operating parameters on the performance of a quasi-realistic Diesel cycle engine

2021 International Journal of Automotive Engineering and Technologies  
Therefore, it is necessary to optimize the compression ratio and the maximum temperature.  ...  The classical Diesel cycle, which is the thermodynamic cycle of Diesel engines, was developed by taking into account irreversibilities, heat transfer losses, friction, and gas exchange process, and a quasi-realistic  ...  Ge et al. carried out ecological optimization by using variable specific temperatures in the irreversible Otto cycle.  ... 
doi:10.18245/ijaet.816130 fatcat:rfhtnncim5cvde32qgis4utnwq

A reversible molecular valve

T. D. Nguyen, H.-R. Tseng, P. C. Celestre, A. H. Flood, Y. Liu, J. F. Stoddart, J. I. Zink
2005 Proceedings of the National Academy of Sciences of the United States of America  
Molecular machines (13-17) are attractive systems for deployment in the development of nanovalves on account of their abilities to be customized and optimized for a range of functions at the nanoscale.  ...  Rhodamine B was purchased from Lambda Physik (Acton, MA) and used as received.  ...  Thompson for the gift of Ir(ppy)3 and Prof. H. Monbouquette for use of the spectrofluorimeter.  ... 
doi:10.1073/pnas.0504109102 pmid:16006520 pmcid:PMC1174922 fatcat:sg6xvyf36ngnzcg2f77fn66qgm

A Reversible Abstract Machine and Its Space Overhead [chapter]

Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2012 Lecture Notes in Computer Science  
More specifically, we take an abstract machine for a fragment of the Oz programming language and make it reversible.  ...  We show that the overhead of the reversible machine with respect to the original one in terms of space is at most linear in the number of execution steps.  ...  It would also be interesting to see whether insights on lambda-machines in [8] can be leveraged to optimize the deterministic and sequential part of our machine.  ... 
doi:10.1007/978-3-642-30793-5_1 fatcat:t6uhzwgv6feidefe7fiyriirue

Contents and abstracts of the electronic notes in theoretical computer science vol. 3

1998 Theoretical Computer Science  
These proceedings include extended abstracts and preliminary reports by the invited speakers and the contributed speakers.  ...  The aim of the series is to provide rapid, electronic publication of conference proceedings and of lecture notes, thematic monographs, and other such publications of interest to the theoretical computer  ...  The model takes into account the irreversibility of changes in state, and makes explicit the difference between copying and sharing of entities.  ... 
doi:10.1016/s0304-3975(97)00246-6 fatcat:2skydvbtyvdq3mmxtqwo2hncgi

Nonunitary Gate Operations by Dissipation Engineering [article]

E. Zapusek, A. Javadi, F. Reiter
2022 arXiv   pre-print
The proposed operations expand the quantum engineers' toolbox and have promising applications in NISQ algorithms and quantum machine learning.  ...  Irreversible logic is at odds with unitary quantum evolution. Emulating such operations by classical measurements can result in disturbances and high resource demands.  ...  The authors thank Tabea Bühler, Ivan Rojkov, Jonathan Home, and Isaac L. Chuang for their questions and valuable discussions.  ... 
arXiv:2201.12330v1 fatcat:zhl6nggqdrb5vcpfrdcrydvgge

Engines of Parsimony: Part I; Limits on Computational Rates in Physical Systems [article]

Hannah Earley
2021 arXiv   pre-print
Attaining this bound requires the use of reversible computation, else it falls to scaling as A.  ...  We find a universal upper bound across both quantum and classical systems, scaling as √(AV) where V is the region volume and A its area.  ...  general models for describing an arbitrary computing machine, the other being the Lambda Calculus [11] .  ... 
arXiv:2007.03605v6 fatcat:ym3zjgfht5ddfkrbr7cykynh6i

Information effects

Roshan P. James, Amr Sabry
2012 SIGPLAN notices  
We use this model as a semantic foundation for computation and show that the "gap" between conventional irreversible computation and logically reversible computation can be captured by a type-and-effect  ...  From the notion of type isomorphisms, we derive a typed, universal, and reversible computational model in which information is treated as a linear resource that can neither be duplicated nor erased.  ...  Acknowledgments We thank Amal Ahmed, Esfandiar Haghverdi, and Erik Wennstrom for helpful discussions. We also thank the anonymous reviewers for their helpful comments and suggestions.  ... 
doi:10.1145/2103621.2103667 fatcat:w4mstyjjqjbnzjgbjjx7xjv5xa
« Previous Showing results 1 — 15 out of 1,116 results