Sciweavers

4164 search results - page 389 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
171
Voted
SIAMAM
2000
81views more  SIAMAM 2000»
15 years 6 months ago
Electrodiffusion Model of Rectangular Current Pulses in Ionic Channels of Cellular Membranes
A simplified electrodiffusion model for rectangular current pulses in ionic channels of biological membranes is presented. Numerical simulations and a dynamical systems analysis of...
Carl L. Gardner, Joseph W. Jerome, Robert S. Eisen...
JAIR
2008
171views more  JAIR 2008»
15 years 6 months ago
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models
Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function ...
Robert Mateescu, Rina Dechter, Radu Marinescu 0002
TSMC
2008
89views more  TSMC 2008»
15 years 6 months ago
A Probabilistic Wavelet System for Stochastic and Incomplete Data-Based Modeling
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...
Zhi Liu, Han-Xiong Li, Yun Zhang
CHI
2005
ACM
16 years 7 months ago
Examining task engagement in sensor-based statistical models of human interruptibility
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...
James Fogarty, Andrew Jensen Ko, Htet Htet Aung, E...
BMCBI
2011
15 years 1 months ago
PheMaDB: A solution for storage, retrieval, and analysis of high throughput phenotype data
Background: OmniLog™ phenotype microarrays (PMs) have the capability to measure and compare the growth responses of biological samples upon exposure to hundreds of growth condit...
Wenling E. Chang, Keri Sarver, Brandon W. Higgs, T...