Sciweavers

1632 search results - page 132 / 327
» Topological Analysis of Refinement
Sort
View
RECOMB
2004
Springer
15 years 11 months ago
Modeling and Analysis of Heterogeneous Regulation in Biological Networks
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...
Irit Gat-Viks, Amos Tanay, Ron Shamir
88
Voted
ICSE
2007
IEEE-ACM
15 years 11 months ago
Analysis of a Redundant Architecture for Critical Infrastructure Protection
Critical infrastructures like the power grid are emerging as collection of existing separated systems of different nature which are interconnected together. Their criticality becom...
Alessandro Daidone, Andrea Bondavalli, Paulo Ver&i...
FLAIRS
2004
15 years 14 days ago
Case-Based Reasoning in Support of Intelligence Analysis
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...
Elizabeth T. Whitaker, Robert L. Simpson Jr.
FUIN
2008
99views more  FUIN 2008»
14 years 11 months ago
Universality Analysis for One-Clock Timed Automata
This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality p...
Parosh Aziz Abdulla, Johann Deneux, Joël Ouak...
TCBB
2010
106views more  TCBB 2010»
14 years 9 months ago
Predicting Novel Human Gene Ontology Annotations Using Semantic Analysis
—The correct interpretation of many molecular biology experiments depends in an essential way on the accuracy and consistency of the existing annotation databases. Such databases...
Bogdan Done, Purvesh Khatri, Arina Done, Sorin Dra...