Conditional Transition Systems with Upgrades

We introduce a variant of transition systems, where activation of transitions depends on conditions of the environment and upgrades during runtime potentially create additional transitions. Using a cornerstone result in lattice theory, we show that such transition systems can be modelled in two ways: as conditional transition systems (CTS) with a partial order on conditions, or as lattice transition systems (LaTS), where transitions are labelled with the elements from a distributive lattice. We define equivalent notions of bisimilarity for both variants and characterise them via a bisimulation game. We explain how conditional transition systems are related to featured transition systems for the modelling of software product lines. Furthermore, we show how to compute bisimilarity symbolically via BDDs by defining an operation on BDDs that approximates an element of a Boolean algebra into a lattice. We have implemented our procedure and provide runtime results

Encapsulating and representing the knowledge on the evaluation of an engineering system

This paper proposes a cross-disciplinary methodology for a fundamental question in product development: How can the innovation patterns during the evolution of an engineering system (ES) be encapsulated, so that it can later be mined through data mining analysis methods? Reverse engineering answers the question of which components a developed engineering system consists of, and how the components interact to make the working product. TRIZ answers the question of which problem-solving principles can be, or have been employed in developing that system, in comparison to its earlier versions, or with respect to similar systems. While these two methodologies have been very popular, to the best of our knowledge, there does not yet exist a methodology that reverseengineers and encapsulates and represents the information regarding the complete product development process in abstract terms. This paper suggests such a methodology, that consists of mathematical formalism, graph visualization, and database representation. The proposed approach is demonstrated by analyzing the design and development process for a prototype wrist-rehabilitation robot

The growing toolbox of perturbative QCD

Advances in perturbative QCD techniques have been crucial for the successful interpretation of the data collected in Run I of LHC, and for the discovery of the Higgs boson. I will very briefly highlight some recent additions to the QCD toolbox, and note how these new tools are likely to be essential for future precision physics, both in Run II at the LHC, and in view of future hadron and lepton colliders.Comment: Talk given at the Workshop "LFC15: Physics Prospects for Linear and Other Future Colliders", ECT*, Trento, 7-11 September 201

04511 Abstracts Collection -- Architecting Systems with Trustworthy Components

From 12.12.04 to 17.12.04, the Dagstuhl Seminar 04511 ``Architecting Systems with Trustworthy Components\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Quantum interactions between a laser interferometer and gravitational waves

LIGO's detection of gravitational waves marks a first step in measurable effects of general relativity on quantum matter. In its current operation, laser interferometer gravitational-wave detectors are already quantum limited at high frequencies, and planned upgrades aim to decrease the noise floor to the quantum level over a wider bandwidth. This raises the interesting idea of what a gravitational-wave detector, or an optomechanical system more generally, may reveal about gravity beyond detecting gravitational waves from highly energetic astrophysical events, such as its quantum versus classical nature. In this paper we develop a quantum treatment of gravitational waves and its interactions with the detector. We show that the treatment recovers known equations of motion in the classical limit for gravity, and we apply our formulation to study the system dynamics, with a particular focus on the implications of gravity quantization. Our framework can also be extended to study alternate theories of gravity and the ways in which their features manifest themselves in a quantum optomechanical system

Proceedings of International Workshop "Global Computing: Programming Environments, Languages, Security and Analysis of Systems"

According to the IST/ FET proactive initiative on GLOBAL COMPUTING, the goal is to obtain techniques (models, frameworks, methods, algorithms) for constructing systems that are flexible, dependable, secure, robust and efficient. The dominant concerns are not those of representing and manipulating data efficiently but rather those of handling the co-ordination and interaction, security, reliability, robustness, failure modes, and control of risk of the entities in the system and the overall design, description and performance of the system itself. Completely different paradigms of computer science may have to be developed to tackle these issues effectively. The research should concentrate on systems having the following characteristics: • The systems are composed of autonomous computational entities where activity is not centrally controlled, either because global control is impossible or impractical, or because the entities are created or controlled by different owners. • The computational entities are mobile, due to the movement of the physical platforms or by movement of the entity from one platform to another. • The configuration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behaviour of the entities may vary over time. • The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. The ultimate goal of the research action is to provide a solid scientific foundation for the design of such systems, and to lay the groundwork for achieving effective principles for building and analysing such systems. This workshop covers the aspects related to languages and programming environments as well as analysis of systems and resources involving 9 projects (AGILE , DART, DEGAS , MIKADO, MRG, MYTHS, PEPITO, PROFUNDIS, SECURE) out of the 13 founded under the initiative. After an year from the start of the projects, the goal of the workshop is to fix the state of the art on the topics covered by the two clusters related to programming environments and analysis of systems as well as to devise strategies and new ideas to profitably continue the research effort towards the overall objective of the initiative. We acknowledge the Dipartimento di Informatica and Tlc of the University of Trento, the Comune di Rovereto, the project DEGAS for partially funding the event and the Events and Meetings Office of the University of Trento for the valuable collaboration

The theory and phenomenology of perturbative QCD based jet quenching

The study of the structure of strongly interacting dense matter via hard jets is reviewed. High momentum partons produced in hard collisions produce a shower of gluons prior to undergoing the non-perturbative process of hadronization. In the presence of a dense medium this shower is modified due to scattering of the various partons off the constituents in the medium. The modified pattern of the final detected hadrons is then a probe of the structure of the medium as perceived by the jet. Starting from the factorization paradigm developed for the case of particle collisions, we review the basic underlying theory of medium induced gluon radiation based on perturbative Quantum Chromo Dynamics (pQCD) and current experimental results from Deep Inelastic Scattering on large nuclei and high energy heavy-ion collisions, emphasizing how these results constrain our understanding of energy loss. This review contains introductions to the theory of radiative energy loss, elastic energy loss, and the corresponding experimental observables and issues. We close with a discussion of important calculations and measurements that need to be carried out to complete the description of jet modification at high energies at future high energy colliders.Comment: 78 pages, 24 figures, submitted to prog. part. nucl. phy