At the dawn of thermodynamics, Carnot's constraint on efficiency heat engines stimulated formulation one most universal physical principles, second law thermodynamics. In recent years, field acquired a new twist due to enormous efforts develop and describe microscopic machines based systems as small single atoms. microscales, fluctuations are an inherent part dynamics thermodynamic variables su...

Engines provide the means for a computation to be run for a limited period of time, interrupted if it does not complete in that time, and later restarted from the point of interruption. Previous work on engines demonstrated that engines can be implemented by defining a new interpreter to support them. This article demonstrates that engines may be defined in terms of continuations and timer inte...

We introduce a new programming language construct, Interactors, supporting the agent-oriented view that programming is a dialog between simple, self-contained, autonomous building blocks. We define Interactors as an abstraction of answer generation and refinement in Logic Engines resulting in expressive language extension and metaprogramming patterns. As a first step toward a declarative semant...

The talk is intended to give an overview on the necessity and future trends of titanium parts in aero-engine applications. It will serve as a link to the presentations given in the special session aero-engines. It is well known that for aero-engines the combination of a very high loading by temperature and stress together with extremely high safety levels are determining the choice of materials...