Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software.
Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European...
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use o...
Systems, cybernetics, control, and automation (SCCA) are four interrelated and overlapping scientific and technological fields that have contributed substantially to the development, growth, and progress of human society. A large number of models, methods, and tools were developed that assure high efficiency of SCCA applied to practical situations
Systems, cybernetics, control, and automation (SCCA) are four interrelated and overlapping scientific and technological fields that have contributed s...
Presents novel algorithms for academic search, recommendation and association rule mining that have been developed and optimized for different commercial as well as academic purpose systems. Along with the design and implementation of algorithms, a major part of the work presented involves the development of new systems both for commercial as well as for academic use.
Presents novel algorithms for academic search, recommendation and association rule mining that have been developed and optimized for different commerc...
Presents the results of a research project, funded by European Commission, STIFF-FLOP: STIFFness controllable Flexible and Learn-able manipulator for surgical OPerations. In Minimally Invasive Surgery (MIS), tools go through narrow openings and manipulate soft organs that can move, deform, or change stiffness.
Presents the results of a research project, funded by European Commission, STIFF-FLOP: STIFFness controllable Flexible and Learn-able manipulator for ...
