Sciweavers

CDC
2009
IEEE
196views Control Systems» more  CDC 2009»
13 years 9 months ago
A computational stability analysis of discrete-time piecewise linear systems
A computational method for stability analysis of discrete-time piecewise linear systems is presented. The method is based on combining the solutions to two separate problems: one i...
Satyajit Arivukkodi Krishnamurthy, Ji-Woong Lee
MOC
2002
109views more  MOC 2002»
13 years 11 months ago
Distribution of generalized Fermat prime numbers
Numbers of the form Fb,n = b2n +1 are called Generalized Fermat Numbers (GFN). A computational method for testing the probable primality of
Harvey Dubner, Yves Gallot
BMCBI
2002
128views more  BMCBI 2002»
13 years 11 months ago
Correlating overrepresented upstream motifs to gene expression: a computational approach to regulatory element discovery in euka
Background: Gene regulation in eukaryotes is mainly effected through transcription factors binding to rather short recognition motifs generally located upstream of the coding regi...
Michele Caselle, Ferdinando Di Cunto, Paolo Prover...
BMCBI
2005
122views more  BMCBI 2005»
13 years 11 months ago
Computational verification of protein-protein interactions by orthologous co-expression
Background: High-throughput methods identify an overwhelming number of protein-protein interactions. However, the limited accuracy of these methods results in the false identifica...
Itay Tirosh, Naama Barkai
JAR
2007
72views more  JAR 2007»
13 years 11 months ago
Inferring Phylogenetic Trees Using Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
Daniel R. Brooks, Esra Erdem, Selim T. Erdogan, Ja...
BMCBI
2010
159views more  BMCBI 2010»
13 years 11 months ago
Predicting domain-domain interaction based on domain profiles with feature selection and support vector machines
Background: Protein-protein interaction (PPI) plays essential roles in cellular functions. The cost, time and other limitations associated with the current experimental methods ha...
Alvaro J. González, Li Liao
DATE
2000
IEEE
100views Hardware» more  DATE 2000»
14 years 3 months ago
A New Approach for Computation of Timing Jitter in Phase Locked Loops
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
Mark M. Gourary, Sergey G. Rusakov, Sergey L. Ulya...
ASIACRYPT
2004
Springer
14 years 4 months ago
The XL-Algorithm and a Conjecture from Commutative Algebra
The “XL-algorithm” is a computational method to solve overdetermined systems of polynomial equations which is based on a generalization of the well-known method of linearizatio...
Claus Diem
PADL
2005
Springer
14 years 5 months ago
Character-Based Cladistics and Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
Daniel R. Brooks, Esra Erdem, James W. Minett, Don...
JSAI
2005
Springer
14 years 5 months ago
Opinion Mining as Extraction of Attribute-Value Relations
This paper addresses the task of extracting opinions from a given document collection. Assuming that an opinion can be represented as a tuple Subject, Attribute, Value , we propose...
Nozomi Kobayashi, Ryu Iida, Kentaro Inui, Yuji Mat...