This paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the form of the STG-unfolding segment to derive the logic implementation using approximation techniques. It is based on a new notion of slice, which localises the behaviour of a particular signal instance in a structural frag...

For synthesising efficient asynchronous circuits from STGs one has to deal with the state space explosion problem. For this purpose STG decomposition was introduced by Chu and improved by Vogler and Wollowski. Here, we present the tool DesiJ which is the implementation of STG decomposition and proposed by Vogler and several other optimisations.

Heritable silencing effects are gene suppression phenomena that can persist for generations after induction. In the majority of RNAi experiments conducted in Caenorhabditis elegans, the silencing response results in a hypomorphic phenotype where the effects recede after the F1 generation. F2 and subsequent generations revert to the original phenotype. Specific examples of transgenerational RNAi...

After extreme events such as floods, thunderstorms, blizzards and hurricanes there will be devastating effects in the distribution networks which may cause a partial or complete blackout. Then, the major concern for the system operators is to restore the maximum critical loads as soon as possible by available generation units.  In order to solve this problem, this paper provides a restoration s...

the paper tries to present an improved mathematical model for distribution companies (discos) in order to solve distribution network expansion planning (dnep) problems in the presence of certain resources of distributed generations (dgs) entitled small scale gas engines in the medium voltage grids. with the aim of minimizing investment and operation costs, the recommended model combines a compr...

Power flow optimization is generally nonlinear and non-convex, and a second-order cone relaxation has been proposed recently for convexification. We prove several sufficient conditions under which the relaxation is exact. One of these conditions seems particularly realistic and suggests guidelines on integrating distributed generations.

The task model presented here is a working vision for the design professional redirecting focus from the application of predefined project structures to a process of complex evaluation. The task model is developed through a hermeneutic analysis of the discourse applied by design professionals to their practice. The tasks identified provide both a new focus and direction to the value creation pr...

A generation which relies on constant communication and digital information has a different view point and language use to older generation for whom modes of communication are less constant. How do we convey intangible qualities such as empathy, creativity and ethics to a young technologically literate generation who are comfortable with its use, but who may lack understanding of life experienc...

We consider Friedmann-Lemâıtre-Robertson-Walker cosmological models in the framework of general scalar-tensor theories of gravity (STG) with arbitrary coupling functions, set in the Jordan frame. First we describe the general properties of the phase space in the case of barotropic matter fluid and scalar field potential for any spatial curvature (flat, spherical, hyperbolic). Then we address th...

The contribution investigates new methods and tools for design of next-generation telematic systems based on hybrid teams of cooperating robots and humans. The contribution presents selected issues of building the feature of presence in such telematic systems, deals with humanrobot integration and cooperation issues together with drawbacks and benefits of the technology in question. The present...