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

Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)

Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate is significantly reduced by computerizing medical best practice guidelines. Recent data also show that some morbidity and mortality in emergency care are directly caused by delayed or interrupted treatment due to lack of medical resources. However, medical guidelines usually do not provide guidance on medical resource demands and how to manage potential unexpected delays in resource availability. If medical resources are temporarily unavailable, safety properties in existing executable medical guideline models may fail which may cause increased risk to patients under care. The paper presents a separately model and jointly verify (SMJV) architecture to separately model medical resource available times and relationships and jointly verify safety properties of existing medical best practice guideline models with resource models being integrated in. The SMJV architecture allows medical staff to effectively manage medical resource demands and unexpected resource availability delays during emergency care. The separated modeling approach also allows different domain professionals to make independent model modifications, facilitates the management of frequent resource availability changes, and enables resource statechart reuse in multiple medical guideline models. A simplified stroke scenario is used as a case study to investigate the effectiveness and validity of the SMJV architecture. The case study indicates that the SMJV architecture is able to identify unsafe properties caused by unexpected resource delays.Comment: full version, 12 page

Interactive Tutorials For Upper Level Quantum Mechanics Courses

This thesis explores the ongoing need for interactive tutorials in the upper level undergraduate Quantum Mechanics course. It first summarizes the development and evaluation of tutorials at the introductory physics level by others, and then challenges the belief that upper level students do not need this type of intervention by citing research in student difficulties in learning Quantum Mechanics. Physics Education research shows that there are common student misconceptions that persist even in the upper level undergraduate courses such as Quantum Mechanics. Cognitive research serves as a guide for effective curriculum design. A description of the iterative process for developing and evaluating the tutorials is discussed. The development and evaluation of "The Time Evolution of a Wave Function" Quantum Interactive Learning Tutorial (QuILT) is described in detail. Finally, the success of the QuILT in reducing the common misconceptions about time evolution is discussed

Modeling good research practices - overview: a report of the ISPOR-SMDM modeling good research practices task force - 1.

Models—mathematical frameworks that facilitate estimation of the consequences of health care decisions—have become essential tools for health technology assessment. Evolution of the methods since the first ISPOR modeling task force reported in 2003 has led to a new task force, jointly convened with the Society for Medical Decision Making, and this series of seven papers presents the updated recommendations for best practices in conceptualizing models; implementing state–transition approaches, discrete event simulations, or dynamic transmission models; dealing with uncertainty; and validating and reporting models transparently. This overview introduces the work of the task force, provides all the recommendations, and discusses some quandaries that require further elucidation. The audience for these papers includes those who build models, stakeholders who utilize their results, and, indeed, anyone concerned with the use of models to support decision making

A Tutorial on Bayesian Nonparametric Models

A key problem in statistical modeling is model selection, how to choose a model at an appropriate level of complexity. This problem appears in many settings, most prominently in choosing the number ofclusters in mixture models or the number of factors in factor analysis. In this tutorial we describe Bayesian nonparametric methods, a class of methods that side-steps this issue by allowing the data to determine the complexity of the model. This tutorial is a high-level introduction to Bayesian nonparametric methods and contains several examples of their application.Comment: 28 pages, 8 figure

Valencies of the lanthanides

The valencies of the lanthanides vary more than was once thought. In addition to valencies associated with a half-full shell, there are valencies associated with a quarter- and three-quarter-full shell. This can be explained on the basis of Slater’s theory of many-electron atoms. The same theory explains the variation in complexing constants in the trivalent state (the “tetrad effect”). Valency in metallic and organometallic compounds is also discussed

Changing patterns of transition from school to university mathematics

There has been widespread concern over the lack of preparedness of students making the transition from school to university mathematics and the changing profile of entrants to mathematical subjects in higher education has been well documented. In this paper, using documentary analysis and data from an informal case study, we argue the antecedents of this changed profile in the general shift across all subjects to a more utilitarian higher education, alongside the more specific changes in A-level mathematics provision which have been largely market driven. Our conclusions suggest that, ironically, changes put in place to make mathematics more widely useful may result in it losing just those features that make it marketable

Extension of the MIRS computer package for the modeling of molecular spectra : from effective to full ab initio ro-vibrational hamiltonians in irreducible tensor form

The MIRS software for the modeling of ro-vibrational spectra of polyatomic molecules was considerably extended and improved. The original version (Nikitin, et al. JQSRT, 2003, pp. 239--249) was especially designed for separate or simultaneous treatments of complex band systems of polyatomic molecules. It was set up in the frame of effective polyad models by using algorithms based on advanced group theory algebra to take full account of symmetry properties. It has been successfully used for predictions and data fitting (positions and intensities) of numerous spectra of symmetric and spherical top molecules within the vibration extrapolation scheme. The new version offers more advanced possibilities for spectra calculations and modeling by getting rid of several previous limitations particularly for the size of polyads and the number of tensors involved. It allows dealing with overlapping polyads and includes more efficient and faster algorithms for the calculation of coefficients related to molecular symmetry properties (6C, 9C and 12C symbols for C_{3v}, T_{d}, and O_{h} point groups) and for better convergence of least-square-fit iterations as well. The new version is not limited to polyad effective models. It also allows direct predictions using full ab initio ro-vibrational normal mode hamiltonians converted into the irreducible tensor form. Illustrative examples on CH_{3} D, CH_{4}, CH_{3} Cl, CH_{3} F and PH_{3} are reported reflecting the present status of data available. It is written in C++ for standard PC computer operating under Windows. The full package including on-line documentation and recent data are freely available at [http://www.iao.ru/mirs/mirs.htm] or [http://xeon.univ-reims.fr/Mirs/||http://xeon.univ-reims.fr/Mirs/] or [http://icb.u-bourgogne.fr/OMR/SMA/SHTDS/MIRS.html].Comment: Journal of Quantitative Spectroscopy and Radiative Transfer (2012) xxx-xx