237 search results - page 25 / 48 » A Process Algebra for Predictible Control Systems |
150
Voted
CADE
1990
Springer
15 years 7 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...
132
click to vote
QRE
2010
2010
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
15 years 1 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...
155
Voted
BMCBI
2007
15 years 3 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...
121
Voted
FUZZIEEE
2007
IEEE
15 years 9 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...
175
Voted
ETRA
2006
ACM
15 years 9 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...