Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Working paper
2019

Development of a hybrid Bayesian network model for predicting acute fish toxicity using multiple lines of evidence

Moe, J., Madsen, A. L., Connors, K. A., Rawlings, J. M., Belanger, S. E., Landis, W. G., Wolf, R. & Lillicrap, A. D., 30 Aug 2019, (Submitted) Cold Spring Harbor Laboratory Press.

Research output: Working paperResearch

toxicity
fish
embryo
chemical substance
ecotoxicology
2018

Improving Explainable Recommendations with Synthetic Reviews

Ouyang, S., Lawlor, A., Costa, F. & Dolog, P., 2018, p. 9, (CoRR).

Research output: Working paperResearch

2016

A Density-Based Approach to the Retrieval of Top-K Spatial Textual Clusters

Wu, D. & Jensen, C. S., 2016, 10 p.

Research output: Working paperResearch

2015
Open Access
Bayesian networks
Random variables
Probability distributions
Maximum likelihood
Statistical Models
2014
161 Downloads (Pure)

Model checking process algebra of communicating resources for real-time systems

Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 p.

Research output: Working paperResearch

Open Access
File
2013

Bayesian network as a modelling tool for risk management in agriculture

Rasmussen, S., Madsen, A. L. & Lund, M., 2013, IFRO Working Paper ed., University of Copenhagen, Department of Food and Resource Economics: IFRO.

Research output: Working paperResearchpeer-review

agriculture
farm
modeling
income
risk factor

Mapping the Challenges of Creativity Management in IS and ISD Organizations

Ulrich, F., 2013, p. 1-29, 29 p.

Research output: Working paperResearchpeer-review

Creativity
Literature review
Competitive advantage
Ad hoc
Google
2011

Quasimodo Final Report

Nielsen, B. & Larsen, K. G., 1 Oct 2011, 77 p.

Research output: Working paperResearch

Quasimodo Year 3 Management Report

Nielsen, B. & Larsen, K. G., 1 Jun 2011, 36 p.

Research output: Working paperResearch

2010

Quasimodo Year 2 Management Report

Nielsen, B. & Larsen, K. G., 28 Jan 2010, 49 p.

Research output: Working paperResearch

266 Downloads (Pure)
File
2009
333 Downloads (Pure)

A latent model for collaborative filtering

Langseth, H. & Nielsen, T. D., 2009, Aalborg Universitet: Department of Computer Science, Aalborg University, 24 p.

Research output: Working paperResearch

Open Access
File
Collaborative filtering
Recommender systems

Initial Study: Congestion in Intersections

Torp, K., 2009, 15 p.

Research output: Working paperResearch

Quasimodo Year 1 Management Report

Nielsen, B. & Larsen, K. G., 2009, 41 p.

Research output: Working paperResearch

133 Downloads (Pure)

The Vicinity of Program Documentation Tools

Nørmark, K., 2009, TR 09-004 ed., Institut for Datalogi, Aalborg Universitet: Department of Computer Science, Aalborg University, 10 p.

Research output: Working paperResearch

Open Access
File
Program documentation
Computer programming
Feedback
2007
40 Citations (Scopus)
2006
3 Citations (Scopus)

A Unit-Test Framework for Database Applications

Christensen, C. A., Gundersborg, S., de Linde, K. & Torp, K., 2006, Aalborg: Department of Computer Science, Aalborg University, 18 p.

Research output: Working paperResearch

Personnel
108 Downloads (Pure)

Fusing Bayes Nets using Formal Argumentation in Multi-agent Systems

Nielsen, S. H. & Parsons, S., 2006, p. 1-40, 40 p.

Research output: Working paperResearch

File
Multi agent systems
Bayesian networks
92 Downloads (Pure)

Interface Input/Output Automata: Splitting Assumptions from Guarantees

Larsen, K. G., Nyman, U. & Wasowski, A., 2006.

Research output: Working paperResearch

File
Specification languages
Specifications
Communication
Chemical analysis
2004

Bisimilarity is not Finitely Based over BPA with Interrupt

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2004.

Research output: Working paperResearch

Danfoss EKC Trial Project Deliverables

Nielsen, B., Larsen, K. G., Larsen, U., Skou, A. & Andrzej, W., 2004, p. 52.

Research output: Working paperResearch

From Use Cases to Activity Cases

Bækgaard, L., 2004.

Research output: Working paperResearch

Information systems
Industry

Incremental Visualizer for Visible Objects

Bukauskas, L. & Bøhlen, M. H., 2004, New York, NY: Association for Computing Machinery, 21 p.

Research output: Working paperResearch

Visibility
Visualization
Program processors
Pipelines
Experiments
147 Downloads (Pure)

Minimal DBM Substraction

David, A., Håkansson, J., G. Larsen, K. & Pettersson, P., 2004, ITU Copenhagen, p. 4.

Research output: Working paperResearch

Open Access
File

Proceedings of the Workshop on Structural Operational Semantics: London, England (August 30, 2004)

Aceto, L., Fokkink, W. & Ulidowski, I., 2004.

Research output: Working paperResearch

2003

CCS with Hennessy's Merge has no Finite Equational Axiomatization

Aceto, L., Fokkink, W. J., Ingolfsdottir, A. & Luttik, B., 2003, p. 37.

Research output: Working paperResearch

11 Citations (Scopus)
363 Downloads (Pure)

Hybrid Control Design for a Wheeled Mobile Robot

Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, <Forlag uden navn>.

Research output: Working paperResearch

Open Access
File
72 Downloads (Pure)
Open Access
File

Lossless Conditional Schema Evolution

Jensen, O. G. & Bøhlen, M. H., 2003, p. 21.

Research output: Working paperResearch

Nested Semantics over Finite Trees are Equationally Hard

Aceto, L., Fokkink, W. J., van Glabeek, R. J. & Ingolfsdottir, A., 2003.

Research output: Working paperResearch

The INFATI Data

Jensen, C. S., Lahrmann, H., Pakalnis, S. & Madsen, J. R., 2003, p. 8.

Research output: Working paperResearch

112 Downloads (Pure)
Open Access
File
2002

Location-Based Services: A Data Management Perspective

Jensen, C. S., 2002, p. 44.

Research output: Working paperResearch

Usability Evaluation of Electronic Patient Journal IBM IPJ 2.3 (in Danish) . Aalborg University: Department of Computer Science.

Translated title of the contribution: Usability Evaluation of Electronic Patient Journal IBM IPJ 2.3 (in Danish) . Aalborg University: Department of Computer Science.Kjeldskov, J., Skov, M. B. & Stage, J., 2002.

Research output: Working paperResearch

Usability Evaluation of the WAP Service AutoLocate. Aalborg University: Department of Computer Science.

Translated title of the contribution: Usability Evaluation of the WAP Service AutoLocate. Aalborg University: Department of Computer Science.Kjeldskov, J., Skov, M. & Stage, J., 2002.

Research output: Working paperResearch

1988

Maskinindlæring: En oversigt, udvikling af en adaptiv metode og design af et indlæringsmodul til HEARSAY-II baserede ekspertsystemer

Translated title of the contribution: Machine Learning: An overview, Development of an Adaptive Method and Design of a Learning Module for Hearsay-II based Expert SystemsOlesen, K. G., 1988, Aalborg Universitet, 111 p.

Research output: Working paperResearch