As increasingly large-scale multiagent simulations are being implemented, new methods are becoming necessary to make sense of the results of these simulations. Even concisely summarizing the results of a given simulation run is a challenge. Here we pose this as the problem of simulation summarization: how to extract the causally-relevant descriptions of the trajectories of the agents in the sim...

Formal static analysis of the correctness and complexity of scalable and adaptive algorithms for distributed systems is difficult and often not appropriate. Rather, tool support is required to facilitate the 'trial and error' approach which is often adopted. Simulation supports this experimental approach well. In this paper we discuss the need for a rigorous approach to simulation results analy...

Stochastic electrodynamics (SED) is a classical theory of nature advanced signi…cantly in the 1960s by Trevor Marshall and Timothy Boyer. Since then, SED has continued to be investigated by a very small group of physicists. Early investigations seemed promising, as SED was shown to agree with quantum mechanics (QM) and quantum electrodynamics (QED) for a few linear systems. In particular, agree...

Uncalibrated simulations have provided useful data but often with questionable accuracy. For this study, a protocol was developed for performing the uncalibrated simulations and then applied to four buildings for which consumption data were available. The protocol implementation involved using two levels, which allowed a total of 40 hours to survey the building, read the as-built information, a...

We summarize our recent investigations of lattice QCD with dynamical overlap fermions. We sketch algorithmic issues and our approach to solving them. We show our measurement of the topological susceptibility. We describe a computation of the chiral condensate using an analysis of the distribution of eigenmodes of the Dirac operator and Random Matrix Theory.

Metabolic reactions are transformations of chemical substances, from reactants to products, usually catalyzed by enzymes [BDS04]. These reactions can form a huge network of complex interconnected reactions. A metabolic pathway is a subset of such networks and aimed at performing a highly specialized task. Metabolism is a universal and important function of all living organisms, where nutrients ...

It is very common in today's design practice to simulate a big design with a large set of test vectors thereby generating a huge set of data(simulation results) to be analyzed. As the size of the design increases, the simulation results grow and become harder to be handled. In this paper, we present algorithms for compression and regeneration of simulation results. The compression is performed ...

The presentation of simulation results often targets a wide range of audience. An appropriate parameterisation is therefore needed for an automatic presentation of any visualisation as well as an interaction based examination of simulated data. This paper presents an XML Schema named TIGEOP that helps to fulfil this parameterisation task. The practicability of this approach is shown at the exam...

This study augments the traditional linear cobweb model with lower and upper bounds for variations of output. Its purpose is to detect the relationship between the output constraints and the dynamics of the modified model. Due to the upper and lower bounds, a transitional function takes on a tilted z-profile having three piecewise segments with two turning points. It prevents the price (or quan...

Microwave absorbers are coated with resistive thin films. S parameters are measured before and after coating. The measured data are used to check the simulation results of software HFSS which are in good agreement with the measurement results.