4806 search results - page 196 / 962 » Interactive uncertainty analysis |
241
click to vote
ECCB
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
132
click to vote
ALIFE
2006
15 years 4 months ago
2006
An evolutionary system that supports the interaction of neutral and adaptive mutations is investigated. Experimental results on a Boolean function and needle-in-haystack problems s...
134
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The identification and characterization of genes that influence the risk of common, complex multifactorial disease primarily through interactions with other genes and ...
111
click to vote
CANDC
2006
ACM
15 years 4 months ago
2006
ACM
Vertebrate segmentation has been proved to be under a strict temporal control governed by a biological clock, known as the segmentation clock. The present experimental evidence su...
135
click to vote
CN
1998
15 years 4 months ago
1998
A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications servi...