-
1
-
-
16344373740
-
An expert system based on causal knowledge: Validation on post-cardiosurgical patients
-
Artoli, E., Avanzolini, G., Martelli, L. and Ursino, M. (1996) An expert system based on causal knowledge: validation on post-cardiosurgical patients. Int. J. Bio-Med. Comput., 41, 19-37.
-
(1996)
Int. J. Bio-Med. Comput.
, vol.41
, pp. 19-37
-
-
Artoli, E.1
Avanzolini, G.2
Martelli, L.3
Ursino, M.4
-
2
-
-
0025976597
-
Knowledge-based simulation of DNA metabolism: Prediction of enzyme action
-
Brutlag, D.L., Galper, A.R. and Millis, D.H. (1991) Knowledge-based simulation of DNA metabolism: prediction of enzyme action. Comput. Applic. Biosci., 7, 9-19.
-
(1991)
Comput. Applic. Biosci.
, vol.7
, pp. 9-19
-
-
Brutlag, D.L.1
Galper, A.R.2
Millis, D.H.3
-
3
-
-
84990553909
-
QPC: A compiler from physical models into qualitative differential equations
-
Morgan Kaufmann, San Mateo, CA
-
Crawford, J., Farquhar, A. and Kuipers, B. (1990) QPC: A compiler from physical models into qualitative differential equations. In Proc. 8th National Conf. on Artificial Intelligence (AAAI-90), Morgan Kaufmann, San Mateo, CA, pp. 365-372.
-
(1990)
Proc. 8th National Conf. on Artificial Intelligence (AAAI-90)
, pp. 365-372
-
-
Crawford, J.1
Farquhar, A.2
Kuipers, B.3
-
4
-
-
0029368943
-
Qualitative reasoning: A survey of techniques and applications
-
Dague, P. (1995) Qualitative reasoning: a survey of techniques and applications. AI Commun., 8, 119-192.
-
(1995)
AI Commun.
, vol.8
, pp. 119-192
-
-
Dague, P.1
-
5
-
-
0021613150
-
Qualitative process theory
-
Forbus, K.D. (1984) Qualitative process theory. Artificial Intelligence, 24, 85-168.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 85-168
-
-
Forbus, K.D.1
-
6
-
-
84944060300
-
The qualitative process engine
-
Weld, D.S. and de Kleer, J. (eds) Morgan Kaufmann, San Mateo, CA
-
Forbus, K.D. (1990) The qualitative process engine. In Weld, D.S. and de Kleer, J. (eds) Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, pp. 220-235, http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/qualittv/ qpe/0.html
-
(1990)
Readings in Qualitative Reasoning about Physical Systems
, pp. 220-235
-
-
Forbus, K.D.1
-
7
-
-
0003149991
-
A qualitative biochemistry and its application to the tryptophan operon
-
Hunter, L. (ed.) AAAI Press, Menlo Park, CA
-
Karp, P.D. (1993) A qualitative biochemistry and its application to the tryptophan operon. In Hunter, L. (ed.) Artificial Intelligence and Molecular Biology. AAAI Press, Menlo Park, CA, pp. 289-324.
-
(1993)
Artificial Intelligence and Molecular Biology
, pp. 289-324
-
-
Karp, P.D.1
-
8
-
-
0028407862
-
Representing, analyzing, and synthesizing biochemical pathways
-
Karp, P.D. and Mavrovouniotis, M.M. (1994) Representing, analyzing, and synthesizing biochemical pathways. IEEE Expert, 9, 11-22.
-
(1994)
IEEE Expert
, vol.9
, pp. 11-22
-
-
Karp, P.D.1
Mavrovouniotis, M.M.2
-
9
-
-
7344261038
-
Reasoning about biochemical compounds and processes
-
Lim, H.A., Fickett, J.W. and Robbins, R. (eds) World Scientific, Singapore
-
Kazic, T. (1993a) Reasoning about biochemical compounds and processes. In Lim, H.A., Fickett, J.W. and Robbins, R. (eds) Second International Conference on Bioinformatics, Supercomputing and the Human Genome Project. World Scientific, Singapore, pp. 35-49.
-
(1993)
Second International Conference on Bioinformatics, Supercomputing and the Human Genome Project
, pp. 35-49
-
-
Kazic, T.1
-
10
-
-
7344261725
-
Representation, reasoning and the intermediary metabolism of E.coli
-
Mudge, V.M. and Hunter, L. (eds) IEEE Computer Society Press. Los Alamitos, CA
-
Kazic, T. (1993b) Representation, reasoning and the intermediary metabolism of E.coli. In Mudge, V.M. and Hunter, L. (eds) Proceedings of the Twenty-Sixth Annual Hawaii International Conference on System Sciences, vol. 1. IEEE Computer Society Press. Los Alamitos, CA, pp. 853-862.
-
(1993)
Proceedings of the Twenty-Sixth Annual Hawaii International Conference on System Sciences
, vol.1
, pp. 853-862
-
-
Kazic, T.1
-
11
-
-
46149128342
-
Qualitative simulation
-
Kuipers, B. (1986) Qualitative simulation. Artificial Intelligence, 29, 289-338.
-
(1986)
Artificial Intelligence
, vol.29
, pp. 289-338
-
-
Kuipers, B.1
-
13
-
-
0343045216
-
Knowledge acquisition by analysis of verbatim protocols
-
Kidd, A. (ed.) Plenum, New York
-
Kuipers, B. and Kassirer, J. (1987) Knowledge acquisition by analysis of verbatim protocols. In Kidd, A. (ed.) Knowledge Acquisition for Expert Systems, Vol 29. Plenum, New York, pp. 289-338.
-
(1987)
Knowledge Acquisition for Expert Systems
, vol.29
, pp. 289-338
-
-
Kuipers, B.1
Kassirer, J.2
-
14
-
-
0029028963
-
Circuit simulation of genetic networks
-
McAdams, H.H. and Shapiro, L. (1995) Circuit simulation of genetic networks. Science, 269, 650-656.
-
(1995)
Science
, vol.269
, pp. 650-656
-
-
McAdams, H.H.1
Shapiro, L.2
-
15
-
-
0021760050
-
Knowledge based simulation of genetic regulation in bacteriophage lambda
-
Meyers, S. and Friedland, P. (1984) Knowledge based simulation of genetic regulation in bacteriophage lambda. Nucleic Acids Res., 12, 1-9.
-
(1984)
Nucleic Acids Res.
, vol.12
, pp. 1-9
-
-
Meyers, S.1
Friedland, P.2
-
16
-
-
0004194541
-
-
Cell Press & Blackwell Scientific Publications, Oxford
-
Ptashne, M. (1986) A Genetic Switch. Cell Press & Blackwell Scientific Publications, Oxford.
-
(1986)
A Genetic Switch
-
-
Ptashne, M.1
-
17
-
-
7344263922
-
CS-Prolog Parallel Programming in Logic with Transputers. Application: MolSIM, a Program for Simulation of Concurrent Molecularbiological Processes
-
Turner, S.J. (ed.) IOS Press, Amsterdam
-
Schulze-Kremer, S. (1990) CS-Prolog Parallel Programming in Logic with Transputers. Application: MolSIM, a Program for Simulation of Concurrent Molecularbiological Processes. In Turner, S.J. (ed.) 12. OUG Conference, Exeter, Tools and Techniques for Transputer Applications. IOS Press, Amsterdam, pp. 97-110.
-
(1990)
12. OUG Conference, Exeter, Tools and Techniques for Transputer Applications
, pp. 97-110
-
-
Schulze-Kremer, S.1
-
19
-
-
0030629058
-
Adding Semantics to Genome Databases: Towards an Ontology for Molecular Biology
-
Karp, P. (ed.) AAAI Press, Menlo Park, CA
-
Schulze-Kremer, S. (1997) Adding Semantics to Genome Databases: Towards an Ontology for Molecular Biology In Karp, P. (ed.) The Fifth International Conference on Intelligent Systems for Molecular Biology ISMB-97. AAAI Press, Menlo Park, CA, pp. 272-275.
-
(1997)
The Fifth International Conference on Intelligent Systems for Molecular Biology ISMB-97
, pp. 272-275
-
-
Schulze-Kremer, S.1
-
20
-
-
0008735027
-
Knowledged based simulation of regulatory action in lambda phage
-
Shimada, T., Hagiya, M., Arita, M., Nishizaki, S. and Tan, C. (1995) Knowledged based simulation of regulatory action in lambda phage. Int. J. Artificial Intelligence Tools, 4, 511-524.
-
(1995)
Int. J. Artificial Intelligence Tools
, vol.4
, pp. 511-524
-
-
Shimada, T.1
Hagiya, M.2
Arita, M.3
Nishizaki, S.4
Tan, C.5
-
22
-
-
0025948178
-
Regulatory Networks Seen as Asynchronous Automata: A Logical Description
-
Thomas, R. (1991) Regulatory Networks Seen as Asynchronous Automata: A Logical Description. J. Theoretical Biol., 153, 1-23.
-
(1991)
J. Theoretical Biol.
, vol.153
, pp. 1-23
-
-
Thomas, R.1
-
23
-
-
0028455021
-
Integration of quantitative and qualitative reasoning: An expert system for cardiosurgical patients
-
Ursino, M., Artioli, E., Avanzolini, G. and Potuto, V. (1994) Integration of quantitative and qualitative reasoning: an expert system for cardiosurgical patients. Artificial Intelligence Med., 6, 229-247.
-
(1994)
Artificial Intelligence Med.
, vol.6
, pp. 229-247
-
-
Ursino, M.1
Artioli, E.2
Avanzolini, G.3
Potuto, V.4
-
24
-
-
0026816683
-
Qualitative simulation of dynamic physiological models using the KEE environment
-
Ursino, M., Avanzolini, G. and Barbini, P. (1992) Qualitative simulation of dynamic physiological models using the KEE environment. Artificial Intelligence Med., 4, 53-73.
-
(1992)
Artificial Intelligence Med.
, vol.4
, pp. 53-73
-
-
Ursino, M.1
Avanzolini, G.2
Barbini, P.3
|