Sciweavers

382 search results - page 5 / 77
» Reasoning about the Elementary Functions of Complex Analysis
Sort
View
BIB
2010
147views more  BIB 2010»
13 years 6 months ago
Toward the dynamic interactome: it's about time
Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
Teresa M. Przytycka, Mona Singh, Donna K. Slonim
ECAI
2004
Springer
14 years 2 days ago
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
Juan Carlos Augusto, Chris D. Nugent
CSL
2007
Springer
14 years 26 days ago
Proofs, Programs and Abstract Complexity
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
Arnold Beckmann
BMCBI
2010
232views more  BMCBI 2010»
13 years 6 months ago
LucidDraw: Efficiently visualizing complex biochemical networks within MATLAB
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
Sheng He, Juan Mei, Guiyang Shi, Zhengxiang Wang, ...
ICLP
2007
Springer
13 years 10 months ago
User-Definable Resource Bounds Analysis for Logic Programs
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
Jorge Navas, Edison Mera, Pedro López-Garc&...