Sciweavers

10910 search results - page 94 / 2182
» Input modeling using a computer algebra system
Sort
View
HISB
2011
99views more  HISB 2011»
13 years 9 months ago
Quantitative Modeling the Saccharomyces cerevisiae FLR1 Regulatory Network Using an S-System Formalism
—We address the problem of finding a mathematical model for the genetic network regulating the stress response of the yeast Saccharomyces cerevisiae to the fungicide mancozeb. A...
Dulce Calçada, Susana Vinga, Ana T. Freitas...
MST
2008
118views more  MST 2008»
14 years 9 months ago
Risk Assessment for One-Counter Threads
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
Alban Ponse, Mark van der Zwaag
IPPS
1997
IEEE
15 years 2 months ago
A Comparison of Parallel Approaches for Algebraic Factorization in Logic Synthesis
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...
Sumit Roy, Prithviraj Banerjee
SWAT
2004
Springer
108views Algorithms» more  SWAT 2004»
15 years 3 months ago
Pointed Binary Encompassing Trees
For n disjoint line segments in the plane we can construct a binary encompassing tree such that every vertex is pointed, what’s more, at every segment endpoint all incident edges...
Michael Hoffmann, Bettina Speckmann, Csaba D. T&oa...
CSB
2005
IEEE
136views Bioinformatics» more  CSB 2005»
15 years 3 months ago
An Algebraic Geometry Approach to Protein Structure Determination from NMR Data
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
Lincong Wang, Ramgopal R. Mettu, Bruce Randall Don...