Special Session on Industry 4.0

No abstract available

Using evolving physical models for musical creation in the GENESIS environment

International audiencePhysical modelling schemes are well known for their ability to generate plausible sounds, i.e. sounds that are perceived as being produced by physical objects. As a result, a large part of physical modelling research is devoted to the realistic synthesis of real-world sounds and has a strong link with instrumental acoustics. However, we have shown that physical modelling not only addresses sound synthesis, but also musical composition. In particular, mass-interaction physical modelling has been presented as enabling the musician to work both on sound production (i.e. microstructure) and events organization (i.e. macrostructure). This article presents a method for building mass-interaction models whose physical structure evolves during the simulation. Structural evolution is implemented in a physically consistent manner, by using nonlinear interactions that set temporary viscoelastic links between independent models. This yields new possibilities for music creation, particularly for the generation of complex sound sequences that exhibit an intimate articulation between the micro- and the macrostructure

Editorial: Formal Ontologies meet Industry

The Formal Ontologies meet Industry (FOMI) workshop series is a scientific initiative supported by the International Association for Ontology and its Applications (IAOA) aimed at bringing together academics and practitioners interested in ontologies for industry. FOMI addresses research and application topics concerning, e.g., the design of domain-specific ontologies, the development of ontology-based information systems, or the investigation of the theoretical underpinnings of formal ontology when tuned to engineering applications

From Agent Game Protocols to Implementable Roles

kostas.stathis-at-cs.rhul.ac.uk Abstract. We present a formal framework for decomposing agent interaction protocols to the roles their participants should play. The framework allows an Authority Agent that knows a protocol to compute the protocol’s roles so that it can allocate them to interested parties. We show how the Authority Agent can use the role descriptions to identify problems with the protocol and repair it on the fly, to ensure that participants will be able to implement their role requirements without compromising the protocol’s interactions. Our representation of agent interaction protocols is a game-based one and the decomposition of a game protocol into its constituent roles is based upon the branching bisimulation equivalence reduction of the game. The work extends our previous work on using games to admit agents in an artificial society by checking their competence according to the society rules. The applicability of the overall approach is illustrated by showing how to decompose the NetBill protocol into its roles. We also show how to automatically repair the interactions of a protocol that cannot be implemented in its original form.

Self-Evaluation Applied Mathematics 2003-2008 University of Twente

This report contains the self-study for the research assessment of the Department of Applied Mathematics (AM) of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente (UT). The report provides the information for the Research Assessment Committee for Applied Mathematics, dealing with mathematical sciences at the three universities of technology in the Netherlands. It describes the state of affairs pertaining to the period 1 January 2003 to 31 December 2008