2502 search results - page 392 / 501 » Using probabilistic model checking in systems biology |
130
click to vote
AIEDU
2005
15 years 4 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
162
click to vote
ALIFE
2002
15 years 4 months ago
2002
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...
137
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
103
click to vote
KES
2007
Springer
15 years 10 months ago
2007
Springer
The current Information Retrieval Systems return hundreds or thousands of documents in response to a query. Users consider only the first 20 or 30, but documents are often sorted a...
130
click to vote
ISMB
1997
15 years 5 months ago
1997
We are building a knowledge base (KB) of published structural data on the 30s ribosomal subunit in prokaryotes. Our KB is distinguished by a standardized representation of biologi...