• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Bidrag til bog/antologi
1987

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

1989

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

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

1990

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

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

1991

Soft Systems in Software Design

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1991, Systems Thinking in Europe. Jackson, M.C. et al. (red.).

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

1992
56 Citationer (Scopus)

Compositional Verification of Probabilistic Processes

Larsen, K. G. & Skou, A., 1992, CONCUR'92. Cleaveland, W.R. (ed.) (red.).

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

1993

Causal probabilistic network modeling: an illustration of its role in the management of chronic diseases

Hovorka, R., Andreassen, S., Benn, J. J., Olesen, K. G. & Carson, E. R., 1993, IMIA Yearbook of Medical Informatics 1993: Sharing Knowledge and Information. van Bemmel, J. H. & McCray, A. T. (red.). Stuttgart: Schattauer, s. 328-340 (IMIA Yearbook of Medical Informatics).

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

1994

An Algebra for TSQL2

Soo, M. D., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. s. 36

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

A Survey of Valid-Time Selection and Projection in Temporal Query Languages

Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. s. 23

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

Now in TSQL2

Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowits, T. & Jensen, C. S., 1994, The TSQL2 Language Specification. s. 12

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

Prototyping and Specifying: Principles and Practices of a Mixed Approach

Mathiassen, L., Seewaldt, T. & Stage, J., 1994, Quality Software: Concepts and Tools. Stage, Jan : Nørmark, Kurt : Larsen, Kim G. (eds.) (red.).

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

Schema Specification in TSQL2

Snodgrass, R. T., Jensen, C. S. & Grandi, F., 1994, The TSQL2 Language Specification. s. 4

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

The From Clause in TSQL2

Snodgrass, R. T. & Jensen, C. S., 1994, The TSQL2 Language Specification. s. 6

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

The Surrogate Data Type in TSQL2

Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. s. 4

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

26 Citationer (Scopus)

The TSQL2 Data Model

Jensen, C. S., Snodgrass, R. T. & Soo, M. D., 1994, The TSQL2 Language Specification. s. 62

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

76 Citationer (Scopus)

The TSQL2 Language Specification

Snodgrass, R. T., Ahn, I., Ariav, G., Batory, D. S., Clifford, J., Dyreson, C. E., Elmasri, R., Grandi, F., Jensen, C. S., Käfer, W., Kulkarni, K., Leung, T. Y. C., Lorentzos, N., Roddick, J. F., Segev, A., Soo, M. D. & Sripada, S. M., 1994, The TSQL2 Language Specification. s. 68

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

Update in TSQL2

Leung, T. Y. C., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. s. 5

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

Vacuuming in TSQL2

Jensen, C. S., 1994, The TSQL2 Language Specification. s. 10

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

Valid-Time Projection in TSQL2

Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. s. 10

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

Valid-Time Selection in TSQL2

Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. s. 14

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

1995

An Algebra for TSQL2

Soo, M. D., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

An Architectural Framework

Soo, M. D., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

A Second Example

Snodgrass, R. T., Jensen, C. S., Dyreson, C. E., Käefer, W., Kline, N. & Roddick, J. F., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

dr-Hugin: A System for Hypothesis Driven Data Request

Jensen, F. V. & Jianming, L., 1995, Probabilistic Reasoning and Bayesian Belief Networks. Gammerman, A. (ed.) (red.).

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

Hybrid Propagation in Junction Trees

David, A. P., Kjærulff, U. & Lauritzen, S. L., 1995, Advances in Intelligent Computing : IMPU'94. Bouchon-Meunier, B. : Yager, R. : Zadeh, L. (eds.) (red.). Berlin: Springer, s. 87-97 (Lecture Notes in Computer Science; Nr. 945).

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

Language Syntax

Snodgrass, R. T., Ahn, I., Ariav, G., Batory, D. S., Clifford, J., Dyreson, C. E., Elmasri, R., Grandi, F., Jensen, C. S., Käfer, W., Kline, N., Kulkarni, K., Leung, T. Y. C., Lorentzos, N., Roddick, J. F., Segev, A., Soo, M. D. & Sripada, S. M., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

Modification

Leung, T. Y. C., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

Now

Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowitz, T. & Jensen, C. S., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

Schema Specification

Snodgrass, R. T., Jensen, C. S. & Soo, M. D., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

11 Citationer (Scopus)

Sensitivity Analysis in Bayesian Networks

Jensen, F. V., Aldenryd, S. H. & Jensen, K. B., 1995, Symbolic and Quantitative Approaches to Reasonning and Uncertainty. Froidevauz, C. : Kohlas, J. (eds.) (red.). Berlin: IEEE Computer Society Press, s. 243-250 (Springer Lecture Notes in Artificial Intelligence; Nr. 946).

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

The From Clause

Snodgrass, R. T., Jensen, C. S. & Grandi, F., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

The Surrogate Data Type

Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

The TSQL2 Data Model

Jensen, C. S., Snodgrass, R. T. & Soo, M. D., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

Vacuuming

Jensen, C. S., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

Valid-Time Selection and Projection

Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

1996

Database Systems

Jensen, C. S., Bækgaard, L. & Böhlen, M. H., 1996, Computer Science, Aalborg University - Research Evaluation 1991-1995. Jensen, C. S. (ed.) (red.).

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

Robust schur stability and robust H2 performance for uncertain systems with nonlinear parametric uncertainties

Zhao, K. Y. & Stoustrup, J., 1 dec. 1996, Proceedings of the IEEE Conference on Decision and Control. Anon (red.). IEEE, Bind 1.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Uncertain systems
Uncertainty
Robust stability

The Methodology of Modal Constraints

Larsen, K. G., Steffen, B. & Weise, C., 1996, Formal Systems Specification : the RPC-Memory Specification Case Study. Broy, M. : Merz, S. : Spies, K. (eds.) (red.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 1169).

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

1997

A Guide to Manage Software Engineering Technologies

Mathiassen, L. & Sørensen, C., 1997, Diffusion, Transfer, and Implementation of Information Technology. McMaster, T. : Wastel, D. (eds.) (red.).

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

Bayesian Networks and Influence Diagrams for Risk Analysis

Jensen, F. V., 1997, Risk Management Strategies in Agriculture : State of the Art and Future.

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

Hong Kong's EDI Bandwagon, Derailed or on the Right Track?

Damsgaard, J. & Lyytinen, K., 1997, Facilitating Technology Transfer Through Partnership : Learning from Practice and Research. McMaster, T. : Mumford, B. : Swanson, B. : Warboys, B. : Wastell, D. (eds.) (red.).

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

1998

Government Intervention in the Diffusion of EDI: Goals and Conflicts

Damsgaard, J. & Lyytinen, K., 1998, EDI and Data Networking in the Public Sector. Andersen, Kim Viborg (ed.) (red.).

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

Implementering og styring af intranet

Damsgaard, J. & Scheepers, R., 1998, Internethåndbogen. Andersen, Kim Viborg : Damsgaard, Jan : Kraft, Bjørn (red.) (red.).

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

Inference in Bayesian Networks using Nested Junction Trees

Kjærulff, U., 1998, Learning in Graphical Models. Jordan, M. I. (ed.) (red.). Kluwer Academic Publishers, s. 51-74 (NATO Science Series, Series D: Behavioural and Social Sciences; Nr. 89).

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

Transitioning Temporal Support in TSQL2 to SQL3

Snodgrass, R. T., Böhlen, M., Jensen, C. S. & Steiner, A., 1998, Temporal Databases : Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1997. Etzion, O. : Jajodia, S. : Stripada, S. (eds.) (red.). Berlin: IEEE Computer Society Press, s. 150-194 (Lecture Notes in Computer Science; Nr. 1399).

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

1999

Real-Time Constraints Through the ProCoS Layers

Ravn, A. P. & Rischel, H., 1999, Correct System Design : Recent Insights and Advances. Olderog, E.-R. : Steffen, B. (eds.) (red.). Berlin: IEEE Computer Society Press, s. 61-78 (Lecture Notes in Computer Science; Nr. 1710).

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

2000

Genres as Self-Organising Systems

Andersen, P. B., 2000, Downward Causation : Minds, Bodies and Matter. Andersen, P. B. : Emmeche, C. : Finnemann, N. O. : Christiansen, P. V. (eds.) (red.). Aarhus: Aarhus Universitetsforlag, s. 214-260

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

Instruments Semiotics

May, M. & Andersen, P. B., 2000, Information, Organisation, and technology : Studies in Organisational Semiotics. Liu, K. : Clarke, R. J. : Andersen, P. B. : Stamper, R. K. (eds.) (red.). Boston, Mass.: Kluwer Academic Publishers, s. 271-298

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

Modallogik

Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (red.). Aalborg: Aalborg Universitet

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