Sciweavers

3255 search results - page 411 / 651
» Combination of Abstractions in the ASTR
Sort
View
OPODIS
2010
15 years 4 months ago
An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects
Abstract. Shared counters are the key to solving a variety of coordination problems on multiprocessor machines, such as barrier synchronization and index distribution. It is desire...
Danny Hendler, Shay Kutten, Erez Michalak
GI
2009
Springer
15 years 4 months ago
AnToNIa: A Software Tool for the Hemodynamic Analysis of Cerebral Vascular Malformations Using 3D and 4D MRA Image Sequences
Abstract: Stroke is the second most common cause of death and major cause of disability worldwide. Approx. 20% of cerebral strokes are caused by hemorrhages due to rupture of cereb...
Nils Daniel Forkert, Dennis Säring, Jens Fieh...
TITS
2011
165views more  TITS 2011»
15 years 1 months ago
Robust Inference of Principal Road Paths for Intelligent Transportation Systems
Abstract—Over the last few years, electronic vehicle guidance systems have become increasingly more popular. However, despite their ubiquity, performance will always be subject t...
Gabriel Agamennoni, Juan Nieto, Eduardo Mario Nebo...
KI
2010
Springer
15 years 1 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
163
Voted
TIM
2010
148views Education» more  TIM 2010»
15 years 1 months ago
Measurement of Heart Rate Variability Using an Oscillometric Blood Pressure Monitor
Abstract--We apply the maximal overlap discrete wavelet transform (MODWT)-based spectral density estimation method to measure heart rate variability (HRV) from short-duration pulse...
S. Ahmad, Miodrag Bolic, Hilmi R. Dajani, Voicu Gr...