Check if we need one Introduction: Physicists since a long time have tried to apply their skills to fields outside physics, with more or less success. Econophysics is a big fashion at present, though partly based on the wrong belief that economists did not make empirical observations of financial markets or made no Monte Carlo simulations where rational judgement is replaced by random decisions...

Graphics packages are great for visualizing biological molecules, but they don’t tell you much about how they change when they’re in action. To see the behaviour of molecules, you need molecular simulations. Molecular dynamics uses detailed physical models to produce a movie of the molecule in motion. A newcomer to simulation methodology might need an online lesson such as that provided at the ...

Because of features that appear to be inherent in many social systems, modellers face complicated and subjective choices in positioning the scientific contribution of their research. This leads to a diversity of approaches and terminology, making interdisciplinary assessment of models highly problematic. Such modellers ideally need some kind of accessible, interdisciplinary framework to better ...

A fruitful approach to the study of state-based systems consists in their mathematical formalization by means of models like Kripke structures, which allows to study their associated properties by means of simulations to relate them to other, possibly better-known systems [5, 7, 23]. This work tries to advance two main goals along those lines: the first, to generalize the notion of simulation b...

One of the design points of TRAX current developments is the ability to reproduce experimental results obtained by GSI’s Toroid low-energy (< 1 keV) electron spectrometer [2]. The main idea is to verify experimentally the model assumptions about electron creation and transport in thin foils bombarded with ions or electrons. In its latest version TRAX has been extended to formally handle (via ex...

The abrupt transition from convective to radiative energy transport at the surface of many stars holds the key to much of the stars internal structure. Given suuciently detailed information about such properties as the equation of state and opacities, ab initio models of these layers may be constructed by solving the coupled, three-dimensional gas dynamics and radiative transfer equations. The ...

Supply and demand for electricity show conciderable fluctuations with season and time of day. Novel market-based methods for supply – demand matching are currently investigated in a European project. This report covers a first set of simulations using the Consec algorithm on the time-scale of day-ahead power markets. Furthermore it describes simulations under preparation within the project. The...

Although negation-free languages are widely used in logic and computer science, relatively little is known about their expressive power. To address this issue we consider a kind of non-symmetric bisimuIations called directed simulations, and use these to analyze the expressive power and model theory of negation-free modal and temporal languages. We first use them to obtain preservation, safety ...