Dealing with Problematic Situations (2009)
René Víctor, Valqui Vidal, Mathematical Modelling
The main purpose of this paper is to outline a holistic answer to the following question: How to deal with problematic situations? A framework of a modern approach, a new meta-discipline, based on...
Topology-dependent abstractions of broadcast network (2009)
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson, Mathematical Modelling
Abstract. Broadcast semantics poses significant challenges over pointto-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast networks have...
CASTSEARCH- CONTEXT BASED SPOKEN DOCUMENT RETRIEVAL (2008)
Lasse Lohilahti Mølgaard, Kasper Winther Jørgensen, Lars Kai Hansen, Mathematical Modelling
The paper describes our work on the development of a system for retrieval of relevant stories from broadcast news. The system utilizes a combination of audio processing and text mining. The audio...
Lili Nie, Mathematical Modelling
In today’s Group Spécial Mobile (GSM) system, interference is one of the main constraints in increasing cellular capacity. Multi-User Detection (MUD) is a kind of Interference Cancellation (IC)...
Boundary Correct Real-Time Soft Shadows (2008)
Bjarke Jakobsen, Niels J. Christensen, Bent D. Larsen, Kim S. Petersen, Mathematical Modelling
This paper describes a method to determine correct shadow boundaries from an area light source using umbra and penumbra volumes. The light source is approximated by a circular disk as this gives a...
Christoffer Wenzel Tornøe, Kgs Lyngby, Mathematical Modelling, Ferring Pharmaceutical A/s, Christoffer Wenzel Tornøe
pharmacokinetic/pharmacodynamic modelling of the hypothalamic-pituitary-gonadal axis
A Creativity Course for Problem Solvers (2008)
René Victor, Valqui Vidal, Kgs Lyngby, René Victor, Valqui Vidal, Mathematical Modelling
This paper presents the principles of active learning and the contents of a creativity course entitled: Creativity and Problem Solving. The main purpose of this course is to create a space to...
Copenhagen University Hospital Rigshospitalet and (2008)
Finn ˚arup Nielsen, Daniela Balslev, Lars Kai Hansen, Mathematical Modelling
Non-negative partial least squares for
IMAGE DEBLURRING IN THE LIGHT OF DCT (2008)
Per Christian Hansen, Mathematical Modelling, Toke Koldborg Jensen, J. G. Nagy, K. M. Palmer, L. Perrone
In the setting of matrix computations, the model for the blurring of the image is A x = b, where the vectors x and b represent the exact and blurred images, and the matrix A represents the blurring...
Dörthe Malzahn, Mathematical Modelling
Using a novel reformulation, we develop a framework to compute approximate resampling data averages analytically. The method avoids multiple retraining of statistical models on the samples. Our...
Knowledge Exchange between Agents in Real-Time Environments (2008)
Frisvad Peter, Falster Gert, L. Møller, Niels Jørgen Christensen, Mathematical Modelling
To obtain unpredictable social interaction between autonomous agents in real-time environments, we present a simple method for logic-based knowledge exchange. A method which is able to form new...
SOS 2006 Preliminary Version Active Evaluation Contexts for Reaction Semantics (2008)
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson, Mathematical Modelling
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras have grown more...
René Rydhof Hansen, Mathematical Modelling, Igor A. Siveroni
Using transactions in Java Card bytecode programs can be rather tricky and requires special attention from the programmer in order to work around some of the limitations imposed and to avoid...
Andreas Brinch Nielsen, Mathematical Modelling, Lars Kai Hansen, Mathematical Modelling
The classic LifeLog is a data structure for accumulation of the total personal information flow. While earlier research on LifeLogs have focused on the individual level we are interested in...
Routing Trains Through Railway Junctions: A New Set Packing Approach (2008)
Richard Lusby, Jesper Larsen, David Ryan, Matthias Ehrgott, Mathematical Modelling
The problem of routing trains through railway junctions is an integral part of railway operations. Large junctions are highly interconnected networks of track where multiple railway lines meet,...
MULTI-OBJECTIVE DESIGN SPACE EXPLORATION OF EMBEDDED SYSTEM PLATFORMS (2008)
Jan Madsen, Thomas K. Stidsen, Peter Kjærulf, Shankar Mahadevan, Mathematical Modelling
Abstract In this paper we present a multi-objective genetic algorithm to solve the problem of mapping a set of task graphs onto a heterogeneous multiprocessor platform. The objective is to meet all...
CICAAR: Convolutive ICA with an auto-regressive inverse model (2008)
Mads Dyrholm, Lars Kai Hansen, Mathematical Modelling
Abstract. We invoke an auto-regressive IIR inverse model for convolutive ICA and derive expressions for the likelihood and its gradient. We argue that optimization will give a stable inverse. When...
Active Evaluation Contexts for Reaction Semantics (2008)
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson, Mathematical Modelling
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras have grown more...
Program Partitioning using Dynamic Trust Models ⋆ (2008)
Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen, Mathematical Modelling
Abstract. Developing distributed applications is a difficult task. It is further complicated if system-wide security policies shall be specified and enforced, or if both data and hosts are owned by...
Joaquin Quiñonero-candela, Mathematical Modelling, Ole Winther
In this paper, we consider Tipping’s relevance vector machine (RVM) [1] and formalize an incremental training strategy as a variant of the expectation-maximization (EM) algorithm that we call...
Goal-oriented Composition of Services (2008)
Sebastian Nanz, Terkel K. Tolstrup, Mathematical Modelling
Abstract. One fundamental issue in service-oriented computing concerns the question whether services can be composed in a manner that allows them to achieve their individual goals. In this paper we...
MR (2005) A Robust Interpretation of Duration Calculus (2008)
Martin Fränzle, Michael R. Hansen, Mathematical Modelling
As embedded systems become more and more complex, early availability of unambiguous specification of their intended behaviour has become an important factor for quality and timely delivery....
One can write Wikipedia... (2008)
Finn ˚arup Nielsen, Mathematical Modelling
Scientific citations in Wikipedia
Dagstuhl Seminar 06161 Context Dependent Analysis of BioAmbients (2008)
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson, Mathematical Modelling
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this paper is to extend...
Abstract Photon Differentials (2008)
Lars Schjøth, Mathematical Modelling, Kenny Erleben, Jon Sporring
Figure 1: Underwater view of a swimming pool. Image (a) rendered using regular photon mapping and (b) using our method. A number of popular global illumination algorithms uses density estimation to...
Abductive Inference using Array-Based Logic (2008)
Frisvad Peter, Falster Gert, L. Møller, Niels Jørgen Christensen, Mathematical Modelling
The notion of abduction has found its usage within a wide variety of AI fields. Computing abductive solutions has, however, shown to be highly intractable in logic programming. To avoid this...
Jørgen Fischer Nilsson, Mathematical Modelling
This paper is concerned with reconciling the views of two prominent schools of meaning ascription: Logical compositional semantics in the Montague tradition, characterized by a reduction to...
Joaquin Quiñonero-candela, Mathematical Modelling, Ole Winther
In this paper, we consider Tipping’s relevance vector machine (RVM) [1] and formalize an incremental training strategy as a variant of the expectation-maximization (EM) algorithm that we call...
Quantifying Optimal Mesh and Ring Design Costs (2008)
Thomas Stidsen, Mathematical Modelling, Arne John Glenstrup
During the last decade telecommunication operators have been deploying WDM (Wavelength Division Multiplexing) technology to satisfy the exponential growth in global communication. While facilitating...
Text and spatial data mining in the Brede Database (2008)
Finn ˚arup Nielsen, Mathematical Modelling
Text and spatial data mining in the Brede Database The Brede Database records information from published human brain mapping studies. With brain scanners these studies investigate the spatial...
Logical Theories for Agent Introspection Ph.D. thesis by (2007)
Mathematical Modelling, Fischer Nilsson, Reader Helge, Elbrønd Jensen, ...
This dissertation have been submitted in partial fulfilment of the requirements
Mathematical Modelling, Senior Scientist, Kim Rasmussen
The work presented in this Thesis is the result of close collaboration with several scientists, and the main part of the work has been published before in the articles [1--17], and the conference...
Finn Arup Nielsen, Mathematical Modelling, Should Be
Path analysis also called structural equation modeling for functional neuroimaging are collected. This bibliography is part of a larger collection of bibliographies that was begun in 2001 see
Arup Nielsen, Mathematical Modelling
$Date: 2004/05/14 21:58:57 $ Mathematical formulas with special emphasis on statistical distributions. The formulas are sketchy and not necessarily complete or correct. Corrections can be sent to...
Protection—Unauthorized access (2007)
Joerg Abendroth, Christian D. Jensen, Mathematical Modelling
Various security models have been proposed in recent years for different purposes. Each of these aims to ease administration by introducing new types of security policies and models. This increases...
Flemming Nielson, Hanne Riis Nielson, Mathematical Modelling
The spi-calculus is a variant of the polyadic #-calculus that admits symmetric cryptography and that admits expressing communication protocols in a precise though still abstract way. This paper shows...
Lars Kai Hansen, Finn Fkrup Nielsen, Jan Larsen, Mathematical Modelling
We use a Bayesian framework to detect periodic components in fMRI data. The resulting detector is sensitive to periodic components with a flexible number of harmonics and with arbitrary amplitude and...
• Energy Extraction, Storage, Conversion (2007)
FLUIDEX (Fluid Engineering Abstracts) is a specialized database produced by Elsevier Science. It is a bibliographic database of the global literature in the use, control, and management of fluids for...
Finn Arup Nielsen, Mathematical Modelling
Reference for image registration are collected. The focus is on image registration for the human brain, particularly for functional neuroimaging. This includes geometrically unwarping of EPIs,...
Algebraic Lattices and Description Logics (2007)
Nikolaj Oldager, Mathematical Modelling
Description logics can be studied from an algebraic point of view cf. [1]. This sheds new light on description logics in several ways. Here we present an algebraic approach to representation of...
Thomas Bolander, Mathematical Modelling, Thomas Bol, Helge Elbrønd, Jensen On
[4] Thomas Bolander. Self-reference and logic. Phi News, 1:9–44, 2002. PhiLog, Kluwer
An Approximate Analytical Approach to Resampling Averages (2007)
Using a novel reformulation, we develop a framework to compute approximate resampling data averages analytically. The method avoids multiple retraining of statistical models on the samples. Our...
Stéphanie Lanche, Mathematical Modelling
(3D-Lab), and PhD Student Hildur Ólafsdóttir (IMM), were my supervisors during the project.
Marielba Rojas, Mathematical Modelling, Ra A. Santos, Danny C. Sorensen, H Ir N×n
min 1 2 xT Hx + g T x s.t. �x�≤∆
Finn ˚arup Nielsen, Mathematical Modelling
Mathematical formulas with special emphasis on statistical distributions. The formulas are sketchy and not necessarily complete or correct. Corrections can be sent to fn@imm.dtu.dk.
Finn ˚arup Nielsen, Mathematical Modelling
Word list with short explaination in the areas of neuroinformatics and statistics. 1 abundance matrix: A data matrix X(N ×P) that contains actual numbers of occurrences or proportions (Kendall,...
Finn ˚arup Nielsen, Mathematical Modelling
Word list with short explaination in the areas of neuroinformatics and statistics. 1 abundance matrix: A data matrix X(N ×P) that contains actual numbers of occurrences or proportions (Kendall,...
ii Internet Safety and Security Surveys Internet Safety and Security Surveys iii Contributors (2007)
Robin Sharp, Mathematical Modelling, Kongens Lyngby
www.imm.dtu.dk
Pierre Pinson, Henrik Aa. Nielsen, Henrik Madsen, Mathematical Modelling
2 Adaptive local estimation of time-varying coefficient functions 5 2.1 Local polynomial estimates............................. 5 2.2 Adaptive estimation from a recursive formulation................ 6
The Rôle of Domain Engineering in Software Development (2006)
Mathematical Modelling, Dines Bjørner
• We outline the concept of ⋆ domain engineering ⋆ and explain the main stages of developing domain models. • Requirements engineering ⋆ is then seen as an intermediate stage ⋆ where...
Jianwen: A Family of License Languages (2006)
Arimoto Yasuhito, Mathematical Modelling
Classical digital rights license languages applied to the electronic “downloading”, payment and rendering (playing) of artistic works (for example music, literature readings and movies). In this...
Finn ˚arup Nielsen, Mathematical Modelling, Linking Cocomac, Brede Databases
CoCoMac database records anatomical connectivity of the macaque. Brede database contains stereotaxic coordinates in the human. Combining these databases will enable visualization of the 3-dimensional...
The Triptych Process Model 1 Process Assessment and Improvement (2006)
Computer Science, Engineering Informatics, Mathematical Modelling
This project investigates virtual circuits circuits in Network-on-Chip, specially how virtual circuits can be used to give guarantees on bandwidth and latency requirements. The project is in two...
Computing in the Life Sciences (2005)
Dr George, D. Smith, Mrs J. Shulver, Mathematical Modelling
loosely divided into the five ‘laboratories ’ shown below. The School has a total of thirty six faculty, including eight professors. There are 88 taught masters students on various MSc...
Expectation consistent approximate inference (2005)
Ole Winther, Mathematical Modelling
We propose a novel framework for approximations to intractable probabilistic models which is based on a free energy formulation. The approximation can be understood from replacing an average over the...
Bounded Model Construction for Duration Calculus (2005)
Jacob Enslev, Anne-sofie Nielsen, Mathematical Modelling
In this thesis, we shall present a tool, the BMC/DCValidator for automatic validation of duration calculus formulas. Duration calculus (DC for short) is a temporal logic, i.e. a logic for reasoning...
Expectation consistent approximate inference (2005)
Ole Winther, Mathematical Modelling
We propose a novel framework for approximations to intractable probabilistic models which is based on a free energy formulation. The approximation can be understood as replacing an average over the...
A comparison of Shadow Algorithms (2005)
Supervisors Niels, Jørgen Christensen, Bent Dalgaard Larsen, Joen Sindholt, Mathematical Modelling, Niels Jørgen Christensen, ...
Because shadows are very important in computer generated images, a lot of different algorithms for shadow generation have been proposed. However two algorithms namely Shadow Maps[WILL78] and Shadow...
Marsibil Ingibjörg Hjaltalín, Mathematical Modelling, Marsibil Ingibjörg Hjaltalín
I would like to thank my supervisor Robin Sharp for his guidance, support and all the discussion we had during our meetings. I would like to thank Steen Pedersen and Christian Westrup Jensen for...
Integration of System-On-Chip Simulation Models (2005)
Mathematical Modelling, Michael Storgaard (s
www.imm.dtu.dk Reaching deep sub-micron technology within the near future makes it possible to implement complex embedded Multiprocessor System-on-Chip (MPSoC) as a single chip solution. Combined...
Master Thesis Design and Implementation of a Database for Recipes (2004)
Linlin Wang (s, Supervisor Paul Fischer, Mathematical Modelling
With the rapid growth of the Internet technology, the information boom has occurred in the human world with the irresistible trend. When the accumulation speed of the information is faster than the...
Bibliography on Independent Component Analysis in Functional Neuroimaging (2004)
Finn Årup Nielsen, Mathematical Modelling
References for independent component analysis (ICA) applied in functional neuroimaging are collected. Functional neuroimaging here includes functional magnetic resonance imaging (fMRI), positron...
Quantifying Optimal Mesh and Ring Design Costs (2004)
Thomas Stidsen, Mathematical Modelling, Arne John Glenstrup
this article we perform a quantitative comparison between ring protection and mesh protection, using real world network data and realistic prices for network components. Extending classic LP flow...
Synthesis of programs in computational logic (2004)
David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson, Mathematical Modelling
Abstract. Since the early days of programming and automated reasoning, researchers have developed methods for systematically constructing programs from their specifications. Especially the last...
Statistical data mining (2004)
Finn ˚arup Nielsen, Mathematical Modelling
• “Statistical data mining”. • The goal is “knowledge ” discovery in databases. • Classic example is co-occurence in market-backets: Beer and diapers. • Heterogeneous data analysis on...
Databasing Molecular Imaging (2004)
Finn ˚arup Nielsen, Mathematical Modelling, Brede Database
Molecular neuroimaging = of results from the literature Positron emission tomography or autoradiography + neurotransmitter receptors,...
Mathematical Modelling, Brede Database
Elements for neuroinformatics data mining Human brain mapping experiments represented by their Talairach coordinates in the Brede Database. Labeling of experiments based on a simple ontology....
Jan Marthedal Rasmussen, Mathematical Modelling, Kongens Lyngby
I would like to thank my supervisors for their supportive, friendly and easygoing attitude. The subject of my study was fairly new to us all, and they let me move in any direction which I found...
A Multilevel Introspective Dynamic Optimization System For Holistic Power Aware Computing (2004)
Vasanth Venkatachalam, Christian W. Probst, Michael Franz, Mathematical Modelling
Abstract. Power consumption is rapidly becoming the dominant limiting factor for further improvements in computer design. Curiously, this applies both at the “high-end ” of workstations and...
Finn Årup Nielsen, Mathematical Modelling
r i s t i h s r e x p l a n a i n i t h e r e a f n o n f o r m a i n d s t a t i s t i c s .
IMM METHODS FOR NON-LINEAR LEAST SQUARES PROBLEMS (2004)
K. Madsen, H. B. Nielsen, O. Tingleff, Mathematical Modelling
Section for Image Analysis (2004)
Hildur Ólafsdóttir, Mathematical Modelling
First of all, I would like to thank my supervisor Mikkel B. Stegmann for all his good comments, ideas and suggestions throughout the project. My supervisor Rasmus Larsen is also thanked for taking...
Gaussian process priors with uncertain inputs: Multiple-step ahead prediction (2003)
Agathe Girard, Carl Edward Rasmussen, Mathematical Modelling, Roderick Murray-smith
We consider the problem of multi-step ahead prediction in time series analysis using the non-parametric Gaussian process model. k-step ahead forecasting of a discrete-time non-linear dynamic system...
Conceptual Knowledge Representation and Reasoning (2003)
Nikolaj Oldager, Mathematical Modelling, Nikolaj Oldager
One of the main areas in knowledge representation and logic-based artificial intelligence concerns logical formalisms that can be used for representing and reasoning with concepts. For almost 30...
Analysis of Mean Field Annealing in Subtractive Interference Cancellation (2002)
Thomas Fabricius, Student Member Ieee, Ole Winther, Mathematical Modelling
In this contribution we derive the cost function corresponding to the linear complexity Subtractive Interference Cancellation with tangent hyperbolic tentative decisions. We use the cost function to...
Informatics and Mathematical Modelling at the Technical University of Denmark in the period (2002)
Kim Hansen C, Mathematical Modelling, Kim Hansen
In this thesis a home banking application is investigated along with the security issues surrounding it. The home banking application has to be able to communicate with a real bank in an efficient...
Mean Field Implementation of Bayesian ICA (2001)
Pedro Højen-sørensen, Lars Kai Hansen, Mathematical Modelling
In this contribution we review the mean field approach to Bayesian independent component analysis (ICA) recently developed by the authors [1, 2]. For the chosen setting of additive Gaussian noise on...
Li Zhu, Nicolai Dufva Nielsen, Mathematical Modelling
We shall primarily delve into study area (i)! \Lambda Miss Li Zhu and Mr. Nicolai Dufva Nielsen are MSc students at the Department of Informatics and Mathematical Modelling, Technical University of...
Control-Flow Analysis in Cubic Time (2001)
Flemming Nielson, Hanne Riis, Nielson Informatics, Mathematical Modelling
Abstract The spi-calculus is a variant of the polyadic ss-calculus that admits symmetric cryptography and that admits expressing communication protocols in a precise though still abstract way. This...
Ole Winther, Mathematical Modelling
We develop a generalization of the TAP mean eld approach of disorder physics which makes the method applicable to the computation of approximate averages in probabilistic models for real data. In...
Modeling of activation data in the BrainMapTM database: (2001)
Lars Kai, Hansen Informatics, Mathematical Modelling
1 ABSTRACT We describe a system for meta-analytical modeling of activation foci from functional neuroimaging studies. Our main vehicle is a set of density models in Talairach space capturing the...
Meaning and partiality revised (2001)
Jørgen Villadsen, Mathematical Modelling
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key equalities for the...
Maximal introspection of agents (1996)
Thomas Bolander, Mathematical Modelling
This paper concerns the representation of introspective belief and knowledge in multi-agent systems. An introspective agent is an agent that has the ability to refer to itself and reason about its...
René Rydhof Hansen, Christian W. Probst, Mathematical Modelling
Abstract. Non-interference is the property of a program not to leak any secret information. In this paper we propose a notion of non-interference for an abstract version of the Java Card bytecode...