237 search results - page 25 / 48 » A Process Algebra for Predictible Control Systems |
109
click to vote
CADE
1990
Springer
15 years 3 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
QRE
2010
2010
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
14 years 10 months ago
In many applications, decision making under uncertainty often involves two steps- prediction of a certain quality parameter or indicator of the system under study and the subseque...
116
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: In vertebrates, a large part of gene transcriptional regulation is operated by cisregulatory modules. These modules are believed to be regulating much of the tissue-sp...
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— A DNA sequence can be described as a string composed of four symbols: A, T, C and G. Each symbol represents a chemically distinct nucleotide molecule. Combinations of two nucle...
128
click to vote
ETRA
2006
ACM
15 years 5 months ago
2006
ACM
Human eyes have limited perception capabilities. Only 2 degrees of our 180 degree vision field provide the highest quality of perception. Due to this fact the idea of perceptual a...