This contribution presents the analysis of possible utilizing of a tri-generation system for effective electricity, heat and cool production. A tri-generation offers more effective utilizing of primary energy sources in comparison with separate production of different kinds of energy. Natural gas is considered as the most common primary energy source utilized in tri-generation units. This analy...

Trichloroetheylene (TRI) is an environmental pollutant that has been linked to congenital heart defects (CHD). Endothelial nitric oxide synthase (eNOS) generation of nitric oxide (NO) plays an important role in endothelial cell proliferation, which is considered essential for normal blood vessel growth and development. We hypothesized that TRI alters the balance of NO and superoxide anion (O2-)...

This paper presents a method for under-approximating behavioural models with the guarantee that the abstract paths can be instantiated as executions of the models. This allows a model-based testing approach to operate on an abstraction of an infinite or very large behavioural model. We characterize the abstract transitions as may, must+ or must-. This allows us to benefit from Thomas Ball’s res...

In February 2013, Altera and Intel Corporation jointly announced that the next generation of Altera’s highest performance FPGA products would be produced using Intel’s 14 nm 3-D Tri-Gate transistor technology exclusively. This makes Altera the exclusive major FPGA provider of the most advanced, highest performance semiconductor technology available. To understand the impact of Tri-Gate technolo...