• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

1987

Computer-aided planning of EMG examinations

Woldbye, M., Andreassen, S., Jensen, F. V. & Andersen, S. K., 1987, I : Electroencephalography and Clinical Neurophysiology. 66, 5, s. S113

Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

Microhuman: a simplified model for testing inference in the EMG expert system MUNIN

Falck, B., Andreassen, S., Stålberg, E., Jensen, F. V. & Andersen, S. K., 1987, I : Electroencephalography and Clinical Neurophysiology. 66, 5, s. S32-S33

Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

MUNIN: an expert system for EMG

Andreassen, S., Andersen, S. K., Jensen, F. V., Woldbye, M., Rosenfalck, A., Falck, B., Kjærulff, U. B. & Sørensen, A. R., 1987, I : Electroencephalography and Clinical Neurophysiology. 66, 5, s. S4

Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

MUNIN: on the case for probabilities in medical expert systems : a practical exercise

Jensen, F. V., Andersen, S. K., Kjærulff, U. & Andreassen, S., 1987, Proceedings of the European Conference on Artificial Intelligence in Medicine, AIME 87, 31 August-3 September 1987, Marseilles, France. Fox, J., Fieschi, M. & Engelbrecht, R. (red.). Springer, s. 149-160 (Lecture Notes in Medical Informatics; Nr. 33).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Neuroanatomical guidance for EMG tests

Sørensen, A. R., Andreassen, S., Kjærulff, U. B. & Rosenfalck, A., 1987, I : Electroencephalography and Clinical Neurophysiology. 66, 5, s. S99

Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

Recursively Defined Domains and their Induction Principles

Jensen, F. V. & Larsen, K. G., 1987, Theoretical Computer Science 64.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

The HUGIN core: preliminary considerations on systems for fast manipulation of probabilities

Andersen, S. K., Jensen, F. V. & Olesen, K. G., 1987, Proceedings of the Workshop on Induction Reasoning : Managing Empirical Information in AI-Systems, Risø National Laboratory, 1987, Roskilde, Denmark.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1988

An algebra of Bayesian belief universes for knowledge based systems

Jensen, F. V., Olesen, K. G. & Andersen, S. K., 1988, Aalborg: Institute of Electronic Systems, Aalborg University. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 88-25).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

An interactive neuroanatomy guide for clinical electromyography

Albæk, S., Andreassen, S., Falck, B., Jensen, F. V., Rosenfalck, A., Sørensen, A. R. & Woldbye, M., 1988, Proceedings of the III International Conference on Computerised and Single Fiber EMG, 5-8 June 1988, Cyprus. s. 53

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

Computer-assisted Learning for Land Information Systems

Bidragets oversatte titel: Datamatstøttet indlæring for landinformationssystemerStubkjær, E., Dresling, A. & Höhle, J., 1988, Oslo: Norwegian Computing Centre.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Discussion

Olesen, K. G. & Andersen, S. K., 1988, I : Journal of The Royal Statistical Society Series B-statistical Methodology. 50, 2, s. 199-200 2 s.

Publikation: Bidrag til tidsskriftLetterForskning

Muir - A Language Development Environment

Nørmark, K., 1988, Association for Computing Machinery.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

MUNIN: an expert EMG assistant

Andersen, S. K., Andreassen, S., Falck, B., Jensen, F. V., Kjærulff, U., Rosenfalck, A., Sørensen, A. R. & Woldbye, M., 1988, Proceedings of the III International Conference on Computerised and Single Fiber EMG, 5-8 June 1988, Cyprus. s. 52

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

Pathophysiological features used to describe the state of nerve segments and muscles in the expert EMG assistant MUNIN

Andreassen, S., Andersen, S. K., Falck, B., Jensen, F. V. & Rosenfalck, A., 1988, IIIth International Conference on Computerised and Single Fiber EMG, 5-8 June 1988, Cyprus. s. 54

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

1989
74 Citationer (Scopus)

A MUNIN network for the median nerve: a case study on loops

Olesen, K. G., Kjærulff, U. B., Jensen, F., Jensen, F. V., Falck, B., Andreassen, S. & Andersen, S. K., 1989, I : Applied Artificial Intelligence. 3, 2-3, s. 385-403

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

An interactive neuroanatomy knowledge base for EMG

Woldbye, M., Sørensen, A. R., Rosenfalck, A., Jensen, F. V., Falck, B. & Andreassen, S., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (red.). Pergamon Press, s. 279-288

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Bisimulation Through Probabilistic Testing (Preliminary Report)

Larsen, K. G. & Skou, A., 1989, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, s. 344-352

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Erfaringer med udvikling af undervisningsprogrammer om landinformationssystemer

Höhle, J., Stubkjær, E. & Dresling, A., 1989, 135 s.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

General Programs and Open Points

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-3).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Hooks and Supporting Tools in a LISP Environment

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-4).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

HUGIN - a Shell for Building Belief Universes for Expert Systems

Andersen, S. K., Olesen, K. G., Jensen, F. V. & Jensen, F., 1989, Proceedings of the 11th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, s. 1080-1085 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

MUNIN: an expert EMG assistant

Andreassen, S., Jensen, F. V., Andersen, S. K., Falck, B., Kjærulff, U., Woldbye, M., Sørensen, A. R., Rosenfalck, A. & Jensen, F., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (red.). Pergamon Press, s. 255-277

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

45 Citationer (Scopus)

The use of static constructs in a model process logic

Hüttel, H. & Larsen, K. G., 1 jan. 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (red.). Physica-Verlag, s. 163-180 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Validation of Concurrent Processes with Emphasis on Testing

Skou, A., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-46).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

1990
2 Citationer (Scopus)

A causal probabilistic network model of carbohydrate metabolism for insulin adjustment

Andreassen, S., Benn, J. J., Carson, E., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Biomedical Engineering Perspectives : Health Care Technologies for the 1990'es and Beyond. Proceedings of the 12th Annual International Conference Engineering in Medicine and Biology Society, IEEE/EMBS, 1990, New York, NY, USA. Pedersen, P. C. & Onoral, B. (red.). s. 1011

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

A causal probabilistic network model of carbohydrate metabolism in diabetes

Andreassen, S., Benn, J., Carson, E., Kristensen, L. D., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Proceedings of the 8th Nordic Meeting on Medical and Biological Engineering, June 1990, Aalborg, Denmark. s. A78

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

A causal probabilistic network model to assist in insulin therapy adjustment

Hovorka, R., Andreassen, S., Benn, J. J., Carson, E. R., Kjærulff, U. B., Kristensen, L. D. & Olesen, K. G., 1990, Proceedings of the 6th Annual Meeting on Expert Systems in Medicine, 1990, London, United Kingdom.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

A MUNIN Network for the Median Nerve - A Case Study on Loops

Olesen, K. G., Kjærulff, U. B., Jensen, F., Jensen, F. V., Falck, B., Andreassen, S. & Andersen, S. K., 1990, Causal AI Models - Steps Toward Applications. Horn, W. (red.). Hemisphere Publishing Corporation, s. 301-320 20 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

106 Citationer (Scopus)

An algebra of Bayesian belief universes for knowledge-based systems

Jensen, F. V., Olesen, K. G. & Andersen, S. K., 1990, I : Networks (New York). 20, 5, s. 637-659

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Bayesian updating in causal probabilistic networks by local computations

Jensen, F. V., Lauritzen, S. L. & Olesen, K. G., 1990, I : Computational Statistics Quarterly. 4, s. 269-282

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

50 Citationer (Scopus)

Compositionality through an Operational Semantics of Contexts

Larsen, K. G. & Xinxin, L., 1990, I : Lecture Notes in Computer Science. 443 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

10 Citationer (Scopus)

Compositional Theories based on an Operational Semantics of Contexts

Larsen, K. G., 1990, I : Lecture Notes in Computer Science. 430

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Computer aided decision making in mastitis control: development of a causal probabilistic network

Agger, J. F., Olesen, K. G., Jensen, F. V. & Andersen, S. K., 1990, Proceedings of the 2nd GIL Symposium, 1990, Bonn, Germany.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Design og implementation baseret på en generel grundstruktur for EDB-systemer: Dagbog fra et systemudviklingseksperiment

Stage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-20).

Publikation: Bog/antologi/afhandling/rapportBogForskning

116 Citationer (Scopus)

Equation Solving Using Modal Transition Systems

Larsen, K. G., 1990, I : Logic in Computer Science.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Formelle teknikker til specifikation og verifikation af Modula-2 programmer

Stage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-40).

Publikation: Bog/antologi/afhandling/rapportBogForskning

HUGIN: a shell for building Bayesian belief universes for expert systems

Andersen, S. K., Olesen, K. G., Jensen, F. V. & Jensen, F., 1990, Readings in Uncertain Reasoning. Shafer, G. & Pearl, J. (red.). San Mateo: Kaufmann, s. 332-337

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Ideal Specification formalism = Expressivity + Compositionality + Decidability + Testablity + ...

Larsen, K. G., 1990, I : Lecture Notes in Computer Science. 458

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

263 Downloads (Pure)

Learning and Using Methodologies in Information Systems Analysis and Design

Nielsen, P. A., 1990, : Dept. of Systems and Information Management: Lancaster University.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
Fil

Modal Specifications

Larsen, K. G., 1990, I : Lecture Notes in Computer Science. 407

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

76 Citationer (Scopus)

Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion

Larsen, K. G., 1990, I : Theoretical Computer Science. 72 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Simulation of Object-Oriented Concept and Mechanisms in Scheme

Nørmark, K., 1990, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1990 : R 90-01).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Specification of external interface

Jensen, F. V., 1990, Aalborg: Aalborg University, Lab. of Image Analysis. (BRA-Deliverable; Nr. DR.E.3.2).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Specification of representations in skeleton systems

Christensen, H. I., Jensen, F. V. & Nielsen, J., 1990, Aalborg: Aalborg University, Lab. of Image Analysis. (BRA-Deliverable; Nr. DR.F.3.3).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

The MUNIN microhuman: a prototype of an expert system for diagnosis of neuromuscular disorders

Andreassen, S., Falck, B., Olesen, K. G. & Rosenfalck, A., 1990, Proceedings of the 8th Nordic Meeting on Medical and Biological Engineering, June 1990, Aalborg, Denmark. s. A89

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

Triangulation of Graphs - Algorithms Giving Small Total State Space

Kjærulff, U. B., 1990, Aalborg University. 44 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Use of a causal probabilistic network for insulin dose adjustment in diabetes

Benn, J., Andreassen, S., Carson, E. R., Kristensen, L. D., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Proceedings of the International Symposium held on the Occasion of the European Association for the Study of Diabetes, EASD '90, 7-8 September 1990, Køge, Denmark.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Use of causal probabilistic networks as high-level models in computer vision

Jensen, F. V., Nielsen, J. & Christensen, H. I., 1990, Aalborg: Aalborg University, Lab. of Image Analysis. 15 s. (LIA Technical Report; Nr. 90-14 (R3039)).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

1991

A Hyperstructure Programming Environment for Clos

Nørmark, K., 1991, Technology of Object-Oriented Languages and Systems. Bézivin, Jean : Meyer, Bertrand (red.). Prentice-Hall, s. 127-140

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning