Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Filter

Your Filters

Collection : Australian National University Subject : theorem proving

Reset filters

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Fluctuations and irreversibility: an experimental demonstration of a second-law-like theorem using a colloidal particle held in an optical trap

Authors : Carberry, David; Reid, James; Wang, Genmiao

Subjects: Keywords: Degrees of freedom (mechanics); Entropy; Functions

Source: Physical Review Letters ; http://prola.aps.org/abstract/PRL/v92/i14/e140601

Record details

Read More Add to Saved list

Academic Journal

Fluctuations and irreversibility: an experimental demonstration of a second-law-like theorem using a colloidal particle held in an optical trap

Authors : Carberry, David; Reid, James; Wang, Genmiao

Subjects: Keywords: Degrees of freedom (mechanics); Entropy; Functions

Source: Physical Review Letters ; http://prola.aps.org/abstract/PRL/v92/i14/e140601

Record details

Read More Add to Saved list

Conference

Compound monads in specification languages

Authors : Dawson, Jeremy;

Subjects: Keywords: Mathematical models; Semantics; Theorem provingFreiburg Germany

Source: Proceedings of the 2007 Workshop on Programming Languages meets Program Verification (PLPV-2007) ;

Record details

Read More Add to Saved list

Conference

Compound monads in specification languages

Authors : Dawson, Jeremy;

Subjects: Keywords: Mathematical models; Semantics; Theorem provingFreiburg Germany

Source: Proceedings of the 2007 Workshop on Programming Languages meets Program Verification (PLPV-2007) ;

Record details

Read More Add to Saved list

Academic Journal

Demonstration of the steady-state fluctuation theorem from a single trajectory

Authors : Wang, Genmiao; Carberry, David; Reid, James

Subjects: Keywords: Asymptotic stability; Phase equilibria; Probability

Source: Journal of Physics: Condensed Matter

Record details

Read More Add to Saved list

Academic Journal

The fluctuation theorem and Lyapunov weights

Authors : Jepps, Owen; Evans, Denis; Searles, Debra

Subjects: Keywords: Energy dissipation; Entropy; Gibbs free energy

Source: Physica D

Record details

Read More Add to Saved list

Academic Journal

Demonstration of the steady-state fluctuation theorem from a single trajectory

Authors : Wang, Genmiao; Carberry, David; Reid, James

Subjects: Keywords: Asymptotic stability; Phase equilibria; Probability

Source: Journal of Physics: Condensed Matter

Record details

Read More Add to Saved list

Academic Journal

The fluctuation theorem and Lyapunov weights

Authors : Jepps, Owen; Evans, Denis; Searles, Debra

Subjects: Keywords: Energy dissipation; Entropy; Gibbs free energy

Source: Physica D

Record details

Read More Add to Saved list

Academic Journal

The Fluctuation Theorem

Authors : Evans, Denis; Searles, Debra

Subjects: Keywords: Computer simulation; Equations of motion; Molecular dynamics

Source: Advances in Physics

Record details

Read More Add to Saved list

Academic Journal

Fluctuation theorems

Authors : Sevick, Edith M; Ranganathan, Prabhakar; Williams, Stephen

Subjects: Keywords: Free energy; Molecular dynamics; Statistical mechanics

Source: Annual Review of Physical Chemistry

Record details

Read More Add to Saved list