3,819 research outputs found
Optical versus video see-through mead-mounted displays in medical visualization
We compare two technological approaches to augmented reality for 3-D medical visualization: optical and video see-through devices. We provide a context to discuss the technology by reviewing several medical applications of augmented-reality research efforts driven by real needs in the medical field, both in the United States and in Europe. We then discuss the issues for each approach, optical versus video, from both a technology and human-factor point of view. Finally, we point to potentially promising future developments of such devices including eye tracking and multifocus planes capabilities, as well as hybrid optical/video technology
On the Effect of Asymmetrical Trait Inheritance on Models of Trait Evolution.
Current phylogenetic comparative methods modeling quantitative trait evolution generally assume that, during speciation, phenotypes are inherited identically between the two daughter species. This, however, neglects the fact that species consist of a set of individuals, each bearing its own trait value. Indeed, because descendent populations after speciation are samples of a parent population, we can expect their mean phenotypes to randomly differ from one another potentially generating a "jump" of mean phenotypes due to asymmetrical trait inheritance at cladogenesis. Here, we aim to clarify the effect of asymmetrical trait inheritance at speciation on macroevolutionary analyses, focusing on model testing and parameter estimation using some of the most common models of quantitative trait evolution. We developed an individual-based simulation framework in which the evolution of phenotypes is determined by trait changes at the individual level accumulating across generations, and cladogenesis occurs then by separation of subsets of the individuals into new lineages. Through simulations, we assess the magnitude of phenotypic jumps at cladogenesis under different modes of trait inheritance at speciation. We show that even small jumps can strongly alter both the results of model selection and parameter estimations, potentially affecting the biological interpretation of the estimated mode of evolution of a trait. Our results call for caution when interpreting analyses of trait evolution, while highlighting the importance of testing a wide range of alternative models. In the light of our findings, we propose that future methodological advances in comparative methods should more explicitly model the intraspecific variability around species mean phenotypes and how it is inherited at speciation
Frozen shuffle update for an asymmetric exclusion process on a ring
We introduce a new rule of motion for a totally asymmetric exclusion process
(TASEP) representing pedestrian traffic on a lattice. Its characteristic
feature is that the positions of the pedestrians, modeled as hard-core
particles, are updated in a fixed predefined order, determined by a phase
attached to each of them. We investigate this model analytically and by Monte
Carlo simulation on a one-dimensional lattice with periodic boundary
conditions. At a critical value of the particle density a transition occurs
from a phase with `free flow' to one with `jammed flow'. We are able to
analytically predict the current-density diagram for the infinite system and to
find the scaling function that describes the finite size rounding at the
transition point.Comment: 16 page
Towards a formal semantics for AADL execution model
International audienceIn this paper, we present a specification in TLA+ of an AADL execution model. This formal specification is used forderiving a prototype verification tool for AADL the TOPCASED development environment
Chaotic properties of systems with Markov dynamics
We present a general approach for computing the dynamic partition function of
a continuous-time Markov process. The Ruelle topological pressure is identified
with the large deviation function of a physical observable. We construct for
the first time a corresponding finite Kolmogorov-Sinai entropy for these
processes. Then, as an example, the latter is computed for a symmetric
exclusion process. We further present the first exact calculation of the
topological pressure for an N-body stochastic interacting system, namely an
infinite-range Ising model endowed with spin-flip dynamics. Expressions for the
Kolmogorov-Sinai and the topological entropies follow.Comment: 4 pages, to appear in the Physical Review Letter
On the decay of turbulence in plane Couette flow
The decay of turbulent and laminar oblique bands in the lower transitional
range of plane Couette flow is studied by means of direct numerical simulations
of the Navier--Stokes equations. We consider systems that are extended enough
for several bands to exist, thanks to mild wall-normal under-resolution
considered as a consistent and well-validated modelling strategy. We point out
a two-stage process involving the rupture of a band followed by a slow
regression of the fragments left. Previous approaches to turbulence decay in
wall-bounded flows making use of the chaotic transient paradigm are
reinterpreted within a spatiotemporal perspective in terms of large deviations
of an underlying stochastic process.Comment: ETC13 Conference Proceedings, 6 pages, 5 figure
- …