Abstract State Machines 1988-1998: Commented ASM Bibliography

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

Microstructural parameter estimation in vivo using diffusion MRI and structured prior information.

Diffusion MRI has recently been used with detailed models to probe tissue microstructure. Much of this work has been performed ex vivo with powerful scanner hardware, to gain sensitivity to parameters such as axon radius. By contrast, performing microstructure imaging on clinical scanners is extremely challenging

Benchmarks for Parity Games (extended version)

We propose a benchmark suite for parity games that includes all benchmarks that have been used in the literature, and make it available online. We give an overview of the parity games, including a description of how they have been generated. We also describe structural properties of parity games, and using these properties we show that our benchmarks are representative. With this work we provide a starting point for further experimentation with parity games.Comment: The corresponding tool and benchmarks are available from https://github.com/jkeiren/paritygame-generator. This is an extended version of the paper that has been accepted for FSEN 201

Algorithmic Randomness as Foundation of Inductive Reasoning and Artificial Intelligence

This article is a brief personal account of the past, present, and future of algorithmic randomness, emphasizing its role in inductive inference and artificial intelligence. It is written for a general audience interested in science and philosophy. Intuitively, randomness is a lack of order or predictability. If randomness is the opposite of determinism, then algorithmic randomness is the opposite of computability. Besides many other things, these concepts have been used to quantify Ockham's razor, solve the induction problem, and define intelligence.Comment: 9 LaTeX page

Simulating chaos: An evaluation of the driven pendulum experiment

This paper reports on the use of the Driven Pendulum software as part of the teaching for the Open University course Discovering Physics and provides an account of some of the findings from its evaluation as part of the learning experience provided to students. A driven damped pendulum is a suitable instrument for experimental studies of chaotic motion. The main aim of the simulation was to allow students both to observe some of the generic features of chaotic motion, and to explore ways in which these may be represented graphically. This simulation formed the basis of a three‐hour experiment for students which provided them with a number of learning opportunities, e.g. the opportunity to build up state‐space trajectories for various types of pendulum motion, in order to appreciate the advantages of the state‐space representation for analysing complicated behaviour, and providing consolidation of ideas about oscillations, damping and resonance. An evaluation of the Driven Pendulum at the residential school in 1995 was conducted as part of a university‐wide project run by the Computers and Learning Research Group investigating computer use in learning science and technology, and developing evaluation methodologies. It was both formative in that the evaluation results were used to redesign the notes guiding students through the activities, and summative in that we were able to draw some conclusions about the role played by the simulation in students’ learning. The students were extremely positive about the contribution made to their learning by the program, and students’ performance indicated learning gains. However, the observation data suggested that students were unclear about the distinction between complex and chaotic behaviour

Two Decades of Maude

This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership. After reviewing the origins and the language's main features, we present the latest additions to the language and some features currently under development. This paper is not an introduction to Maude, and some familiarity with it and with rewriting logic are indeed assumed.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Simulation and experimental study of rheological properties of CeO2 – water nanofluid

Open Access. This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.Metal oxide nanoparticles offer great merits over controlling rheological, thermal, chemical and physical properties of solutions. The effectiveness of a nanoparticle to modify the properties of a fluid depends on its diffusive properties with respect to the fluid. In this study, rheological properties of aqueous fluids (i.e. water) were enhanced with the addition of CeO2 nanoparticles. This study was characterized by the outcomes of simulation and experimental results of nanofluids. The movement of nanoparticles in the fluidic media was simulated by a large-scale molecular thermal dynamic program (i.e. LAMMPS). The COMPASS force field was employed with smoothed particle hydrodynamic potential (SPH) and discrete particle dynamics potential (DPD). However, this study develops the understanding of how the rheological properties are affected due to the addition of nanoparticles in a fluid and the way DPD and SPH can be used for accurately estimating the rheological properties with Brownian effect. The rheological results of the simulation were confirmed by the convergence of the stress autocorrelation function, whereas experimental properties were measured using a rheometer. These rheological values of simulation were obtained and agreed within 5 % of the experimental values; they were identified and treated with a number of iterations and experimental tests. The results of the experiment and simulation show that 10 % CeO2 nanoparticles dispersion in water has a viscosity of 2.0–3.3 mPasPeer reviewedFinal Published versio