Topics to be covered:

In this section the result of transformation from functional specification into formal models (Petri net and UPPAAL automata) is summarized and some examples of

In our opinion the best available way is the use of a distributed activation energy model (DAEM). This approach was elaborated for coals more than 40 years ago [3] and has

And yet, and this is partly re- sponding to the question of his being an internationally well known author, and yet despite the fact that everyone is quite clearly Irish and is

Major research areas of the Faculty include museums as new places for adult learning, development of the profession of adult educators, second chance schooling, guidance

The decision on which direction to take lies entirely on the researcher, though it may be strongly influenced by the other components of the research project, such as the

The modern incarnation of the garden becomes almost totally deprived of the earlier pastoral dimensions and the human transformation of the natural world into domestic space

To consider the impact of the assistant processes that are connected to the manufacturing primary processes, we elaborated a problem-transformation procedure and a

This work proposed the use of the tensor product model transformation to approximate the matrix exponential function and find approximate uncertain discrete-time