Sciweavers

3724 search results - page 473 / 745
» Timed regular expressions
Sort
View
CAD
2008
Springer
15 years 6 months ago
Geometrically exact dynamic splines
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
Adrien Theetten, Laurent Grisoni, Claude Andriot, ...
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 6 months ago
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
Grzegorz Herman, Michael Soltys
BMCBI
2006
105views more  BMCBI 2006»
15 years 6 months ago
Integrative investigation of metabolic and transcriptomic data
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
Pinar Pir, Betül Kirdar, Andrew Hayes, Z. Ils...
156
Voted
BMCBI
2006
98views more  BMCBI 2006»
15 years 6 months ago
The Secrets of a Functional Synapse - From a Computational and Experimental Viewpoint
Background: Neuronal communication is tightly regulated in time and in space. The neuronal transmission takes place in the nerve terminal, at a specialized structure called the sy...
Michal Linial
IJISEC
2007
149views more  IJISEC 2007»
15 years 6 months ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers