• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

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, (Afsendt) Cold Spring Harbor Laboratory Press.

Publikation: Working paperForskning

2018

Improving Explainable Recommendations with Synthetic Reviews

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

Publikation: Working paperForskning

2016

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

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

Publikation: Working paperForskning

2015
Åben adgang
2014

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

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

Publikation: Working paperForskning

Åben adgang
Fil
215 Downloads (Pure)
2013

Bayesian network as a modelling tool for risk management in agriculture

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

Publikation: Working paperForskningpeer review

Mapping the Challenges of Creativity Management in IS and ISD Organizations

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

Publikation: Working paperForskningpeer review

2011

Quasimodo Final Report

Nielsen, B. & Larsen, K. G., 1 okt. 2011, 77 s.

Publikation: Working paperForskning

Quasimodo Year 3 Management Report

Nielsen, B. & Larsen, K. G., 1 jun. 2011, 36 s.

Publikation: Working paperForskning

2010

Quasimodo Year 2 Management Report

Nielsen, B. & Larsen, K. G., 28 jan. 2010, 49 s.

Publikation: Working paperForskning

When To Test? Troubleshooting with Postponed System Test

Ottosen, T. J. & Jensen, F. V., okt. 2010, Department of Computer Science, Aalborg University.

Publikation: Working paperForskning

Fil
365 Downloads (Pure)
2009

A latent model for collaborative filtering

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

Publikation: Working paperForskning

Åben adgang
Fil
372 Downloads (Pure)

Initial Study: Congestion in Intersections

Torp, K., 2009, 15 s.

Publikation: Working paperForskning

Quasimodo Year 1 Management Report

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

Publikation: Working paperForskning

The Vicinity of Program Documentation Tools

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

Publikation: Working paperForskning

Åben adgang
Fil
150 Downloads (Pure)
2007
42 Citationer (Scopus)
2006

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 s.

Publikation: Working paperForskning

3 Citationer (Scopus)

Fusing Bayes Nets using Formal Argumentation in Multi-agent Systems

Bidragets oversatte titel: Sammensmeltning af Bayesianske netværk ved hjælp af formel argumentation i multi-agent systemerNielsen, S. H. & Parsons, S., 2006, s. 1-40, 40 s.

Publikation: Working paperForskning

Fil
108 Downloads (Pure)

Interface Input/Output Automata: Splitting Assumptions from Guarantees

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

Publikation: Working paperForskning

Fil
102 Downloads (Pure)
2004

Bisimilarity is not Finitely Based over BPA with Interrupt

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

Publikation: Working paperForskning

Danfoss EKC Trial Project Deliverables

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

Publikation: Working paperForskning

From Use Cases to Activity Cases

Bækgaard, L., 2004.

Publikation: Working paperForskning

Incremental Visualizer for Visible Objects

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

Publikation: Working paperForskning

Minimal DBM Substraction

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

Publikation: Working paperForskning

Åben adgang
Fil
171 Downloads (Pure)

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

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

Publikation: Working paperForskning

2003

CCS with Hennessy's Merge has no Finite Equational Axiomatization

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

Publikation: Working paperForskning

Hybrid Control Design for a Wheeled Mobile Robot

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

Publikation: Working paperForskning

Åben adgang
Fil
12 Citationer (Scopus)
393 Downloads (Pure)
Åben adgang
Fil
74 Downloads (Pure)

Lossless Conditional Schema Evolution

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

Publikation: Working paperForskning

Nested Semantics over Finite Trees are Equationally Hard

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

Publikation: Working paperForskning

The INFATI Data

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

Publikation: Working paperForskning

Åben adgang
Fil
114 Downloads (Pure)

Usability Evaluation of DIASnet (in Danish), Aalborg Universitet

Bidragets oversatte titel: Usability Evaluation of DIASnet (in Danish), Aalborg UniversityKjeldskov, J., Skov, M. B. & Stage, J., 2003.

Publikation: Working paperForskning

2002

Location-Based Services: A Data Management Perspective

Jensen, C. S., 2002, s. 44.

Publikation: Working paperForskning