Sciweavers

2302 search results - page 393 / 461
» Testing as Abstraction
Sort
View
190
Voted
IJSR
2010
152views more  IJSR 2010»
15 years 12 days ago
Safety Analysis for a Human-Friendly Manipulator
Abstract The DLR Lightweight Robot III (LWR-III) developed at the German Aerospace Center (DLR) is characterized by low inertial properties, torque sensing in each joint, and a loa...
Sami Haddadin, Alin Albu-Schäffer, Gerd Hirzi...
JCST
2010
128views more  JCST 2010»
15 years 11 days ago
Queue Waiting Time Aware Dynamic Workflow Scheduling in Multicluster Environments
Abstract Workflows are prevailing in scientific computation. Multicluster environments emerge and provide more resources, benefiting workflows but also challenging the traditional ...
Zhi-Feng Yu, Wei-Song Shi
MBEC
2010
122views Communications» more  MBEC 2010»
15 years 11 days ago
Real-time estimation of cerebrospinal fluid system parameters via oscillating pressure infusion
Abstract Hydrocephalus is related to a disturbed cerebrospinal fluid (CSF) system. For diagnosis, lumbar infusion test are performed to estimate outflow conductance, Cout, and pres...
Kennet Andersson, Ian R. Manchester, Jan Malm, And...
TASLP
2010
109views more  TASLP 2010»
15 years 9 days ago
Multipitch Estimation of Piano Sounds Using a New Probabilistic Spectral Smoothness Principle
Abstract--A new method for the estimation of multiple concurrent pitches in piano recordings is presented. It addresses the issue of overlapping overtones by modeling the spectral ...
Valentin Emiya, Roland Badeau, Bertrand David
TCAD
2010
118views more  TCAD 2010»
15 years 9 days ago
Design Tools for Digital Microfluidic Biochips: Toward Functional Diversification and More Than Moore
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...
Krishnendu Chakrabarty, Richard B. Fair, Jun Zeng