3820 search results - page 382 / 764 » Bounded Model Debugging |
170
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Transcriptional regulation is accomplished by several transcription factor proteins that bind to specific DNA elements in the relative vicinity of the gene, and interact with each ...
144
click to vote
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an a...
129
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...
145
click to vote
DEDS
2008
15 years 4 months ago
2008
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
142
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
A computer program is described to calculate momentum distributions in stripping and diffraction dissociation reactions. A Glauber model is used with the scattering wavefunctions ...