Search by property
From Thermodynamics of Computation
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Quantum entropy production as a measure of irreversibility +
- Recent Development in Efficient Adiabatic Logic Circuits and Power Analysis with CMOS Logic +
- Entropy production for mechanically or chemically driven biomolecules +
- Experimental test of the Gallavotti-Cohen fluctuation theorem in turbulent flows +
- Fluctuation theorem for a double quantum dot coupled to a point-contact electrometer +
- Hamiltonian derivations of the generalized Jarzynski equalities under feedback control +
- Application-level correctness and its impact on fault tolerance +
- Seflab: A lab for measuring software energy footprints +
- A spectral transform approach to stochastic circuits +
- Transmission gate-based approximate adders for inexact computing +
- Tomographic testing and validation of probabilistic circuits +
- Analysis of precision for scaling the intermediate variables in fixed-point arithmetic circuits +
- Stochastic arithmetic implementations of neural networks with in situ learning +
- Stochastic functions using sequential logic +
- Optimizing Google's warehouse scale computers: The NUMA experience +
- Cube v4: From performance report explorer to performance analysis tool +
- A stochastic reconfigurable architecture for fault-tolerant computation with sequential logic +
- Modelling, simulating and verifying Turing-powerful strand displacement systems +
- Discovery and Characterization of Chromatin States for Systematic Annotation of the Human Genome +
- Faster algorithms for subgraph isomorphism of k-Connected partial k-Trees +
- Computation in networks of passively mobile finite-state sensors +
- Asynchronous computation with molecular reactions +
- Analyzing molecular reaction networks: From pathways to chemical organizations +
- The unique games conjecture, integrality gap for cut problems and embeddability of negative type metrics into l 1 +
- Efficient checking of computations +
- Randomness-efficient sampling within NC1 +
- On the generation of cryptographically strong pseudo-random sequences +
- Correcting errors beyond the Guruswami-Sudan radius in polynomial time +
- Size at birth, postnatal growth and risk of obesity +
- Neuron-glia metabolic coupling and plasticity +
- Second law of thermodynamics with discrete quantum feedback control +
- DNA as a universal substrate for chemical kinetics (Extended Abstract) +
- The computationally complete ant colony: Global coordination in a system with no hierarchy +
- Probabilistic algorithms for verification of polynomial identities +
- Novel algorithms for fast statistical analysis of scaled circuits +
- The synthesis of robust polynomial arithmetic with stochastic logic +
- Compiler optimization on instruction scheduling for low power +
- Approximate computing: An emerging paradigm for energy-efficient design +
- Methods for quantifying the informational structure of sensory and motor data +
- Exploiting correlation in stochastic circuit design +
- Stretching the limits of clock-gating efficiency in server-class processors +
- Run-time exploitation of application dynamism for energy-efficient exascale computing (READEX) +
- Efficient turing-universal computation with DNA polymers +
- Taming the complexity of biochemical models through bisimulation and collapsing: Theory and practice +
- Leveraging program equivalence for adaptive program repair: Models and first results +
- Strand algebras for DNA computing +
- Disjointness is hard in the multiparty number-on-the-forehead model +
- Unbalanced expanders and randomness extractors from parvaresh-vardy codes +
- On the solution to numerical problems using stochastic arithmetic +
- A cost/speed/reliability tradeoff to erasing +