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

A Framework for Spatio-Temporal Data Analysis and Hypothesis Exploration

We present a general framework for pattern discovery and hypothesis exploration in spatio-temporal data sets that is based on delay-embedding. This is a remarkable method of nonlinear time-series analysis that allows the full phase-space behaviour of a system to be reconstructed from only a single observable (accessible variable). Recent extensions to the theory that focus on a probabilistic interpretation extend its scope and allow practical application to noisy, uncertain and high-dimensional systems. The framework uses these extensions to aid alignment of spatio-temporal sub-models (hypotheses) to empirical data - for example satellite images plus remote-sensing - and to explore modifications consistent with this alignment. The novel aspect of the work is a mechanism for linking global and local dynamics using a holistic spatio-temporal feedback loop. An example framework is devised for an urban based application, transit centric developments, and its utility is demonstrated with real data

Heterogeneity and Disorder: Contributions of Rolf Landauer

Rolf Landauer made important contributions to many branches of science. Within the broad area of transport in disordered media, he wrote seminal papers on electrical conduction in macroscopically inhomogeneous materials, as well as fundamental analyses of electron transport in quantum mechanical systems with disorder on the atomic scale. We review here some of these contributions. We also briefly describe some main events in his personal and scientific life.Comment: 10 pages, 3 figures; presented on the occasion when Rolf Landauer was awarded, posthumously, the inaugural ETOPIM Medal at the ETOPIM 8 Conference, which took place during 7--12 June, 2009 in Rethymnon, Cret

Bridging the computational gap between mesoscopic and continuum modeling of red blood cells for fully resolved blood flow

We present a computational framework for the simulation of blood flow with fully resolved red blood cells (RBCs) using a modular approach that consists of a lattice Boltzmann solver for the blood plasma, a novel finite element based solver for the deformable bodies and an immersed boundary method for the fluid-solid interaction. For the RBCs, we propose a nodal projective FEM (npFEM) solver which has theoretical advantages over the more commonly used mass-spring systems (mesoscopic modeling), such as an unconditional stability, versatile material expressivity, and one set of parameters to fully describe the behavior of the body at any mesh resolution. At the same time, the method is substantially faster than other FEM solvers proposed in this field, and has an efficiency that is comparable to the one of mesoscopic models. At its core, the solver uses specially defined potential energies, and builds upon them a fast iterative procedure based on quasi-Newton techniques. For a known material, our solver has only one free parameter that demands tuning, related to the body viscoelasticity. In contrast, state-of-the-art solvers for deformable bodies have more free parameters, and the calibration of the models demands special assumptions regarding the mesh topology, which restrict their generality and mesh independence. We propose as well a modification to the potential energy proposed by Skalak et al. 1973 for the red blood cell membrane, which enhances the strain hardening behavior at higher deformations. Our viscoelastic model for the red blood cell, while simple enough and applicable to any kind of solver as a post-convergence step, can capture accurately the characteristic recovery time and tank-treading frequencies. The framework is validated using experimental data, and it proves to be scalable for multiple deformable bodies

Pharmacokinetic models for propofol-defining and illuminating the devil in the detail

The recently introduced open-target-controlled infusion (TCI) systems can be programmed with any pharmacokinetic model, and allow either plasma- or effect-site targeting. With effect-site targeting the goal is to achieve a user-defined target effect-site concentration as rapidly as possible, by manipulating the plasma concentration around the target. Currently systems are pre-programmed with the Marsh and Schnider pharmacokinetic models for propofol. The former is an adapted version of the Gepts model, in which the rate constants are fixed, whereas compartment volumes and clearances are weight proportional. The Schnider model was developed during combined pharmacokinetic-pharmacodynamic modelling studies. It has fixed values for V1, V3, k(13), and k(31), adjusts V2, k(12), and k(21) for age, and adjusts k(10) according to total weight, lean body mass (LBM), and height. In plasma targeting mode, the small, fixed V1 results in very small initial doses on starting the system or on increasing the target concentration in comparison with the Marsh model. The Schnider model should thus always be used in effect-site targeting mode, in which larger initial doses are administered, albeit still smaller than for the Marsh model. Users of the Schnider model should be aware that in the morbidly obese the LBM equation can generate paradoxical values resulting in excessive increases in maintenance infusion rates. Finally, the two currently available open TCI systems implement different methods of effect-site targeting for the Schnider model, and in a small subset of patients the induction doses generated by the two methods can differ significantly

Popular and/or Prestigious? Measures of Scholarly Esteem

Citation analysis does not generally take the quality of citations into account: all citations are weighted equally irrespective of source. However, a scholar may be highly cited but not highly regarded: popularity and prestige are not identical measures of esteem. In this study we define popularity as the number of times an author is cited and prestige as the number of times an author is cited by highly cited papers. Information Retrieval (IR) is the test field. We compare the 40 leading researchers in terms of their popularity and prestige over time. Some authors are ranked high on prestige but not on popularity, while others are ranked high on popularity but not on prestige. We also relate measures of popularity and prestige to date of Ph.D. award, number of key publications, organizational affiliation, receipt of prizes/honors, and gender.Comment: 26 pages, 5 figure