Sciweavers

2226 search results - page 136 / 446
» Computable Analysis via Representations
Sort
View
164
Voted
ARTMED
2006
158views more  ARTMED 2006»
15 years 4 months ago
CareVis: Integrated visualization of computerized protocols and temporal patient data
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
Wolfgang Aigner, Silvia Miksch
ICCAD
1996
IEEE
95views Hardware» more  ICCAD 1996»
15 years 8 months ago
Semi-analytical techniques for substrate characterization in the design of mixed-signal ICs
A number of methods are presentedfor highly efficient calculation of substratecurrenttransport. A three-dimensionalGreen'sFunction based substrate representation, in combinat...
Edoardo Charbon, Ranjit Gharpurey, Alberto L. Sang...
BIRTHDAY
2006
Springer
15 years 8 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
PVLDB
2010
105views more  PVLDB 2010»
15 years 3 months ago
Destabilizers and Independence of XML Updates
Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework fo...
Michael Benedikt, James Cheney
BMCBI
2008
106views more  BMCBI 2008»
15 years 4 months ago
A machine vision system for automated non-invasive assessment of cell viability via dark field microscopy, wavelet feature selec
Background: Cell viability is one of the basic properties indicating the physiological state of the cell, thus, it has long been one of the major considerations in biotechnologica...
Ning Wei, Erwin Flaschel, Karl Friehs, Tim W. Natt...