- Subscribe to this page:
- RSS
- Email Alert
University of Copenhagen
(38 results)-
White Papers
Compiling Spreadsheet-Defined Functions
June 30, 2009, 12:00am PDT
Spreadsheets are ubiquitous end-user programming tools, but lack even the simplest abstraction mechanism: The ability to encapsulate a computation as a function. This paper presents a solution in...
Provided by IT University of Copenhagen
-
White Papers
Applications of Proc ESM in SAS 9.2
March 19, 2010, 12:00am PDT
In this paper the various facilities of Proc ESM in SAS 9.2 will be demonstrated using a dataset of 87789 registrations of the speed of passing cars on a highway near Copenhagen. Proc ESM (for...
Provided by University of Copenhagen
-
White Papers
Enhancing Interactive Web Based Applications
April 4, 2008, 12:00am PDT
Internet applications are fast becoming more complex and sophisticated. This leads to the increased need of support for complex interface designs. More receptive communication flow is also...
Provided by IT University of Copenhagen
-
White Papers
Solving Demand Versions of Interprocedural Analysis Problems
January 1, 2011, 12:00am PST
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g., The dataflow...
Provided by University of Copenhagen
-
White Papers
uFLIP: Understanding Flash IO Patterns
January 7, 2009, 12:00am PST
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before the authors can answer these...
Provided by University of Copenhagen
-
White Papers
Currency Crises And Monetary Policy In An Economy With Credit Constraints: The No Interest Parity Case
May 15, 2008, 12:00am PDT
This paper revisits the currency crises model of Aghion, Bacchetta and Banerjee (2000, 2001, 2004), who show that if there exist nominal price rigidities and private sector credit constraints, and...
Provided by University of Copenhagen
-
White Papers
The Theory Of Optimal Taxation: New Developments And Policy Relevance
May 11, 2010, 12:00am PDT
The theory of optimal taxation has often been criticized for being of little practical policy relevance, due to a lack of robust theoretical results. This paper argues that recent advances in...
Provided by University of Copenhagen
-
White Papers
Optimal Growth When Environmental Quality Is A Research Asset
August 17, 2009, 12:00am PDT
If environmental quality positively affects the productivity of labor in R&D and pollution is caused by the use of a non-renewable resource, it is socially optimal to postpone extraction and to...
Provided by University of Copenhagen
-
White Papers
Tax Evasion And Swiss Bank Deposits
September 30, 2010, 12:00am PDT
Bank deposits in jurisdictions with banking secrecy constitute an effective tool to evade taxes on interest income. A recent EU reform reduces the scope for this type of tax evasion by introducing...
Provided by University of Copenhagen
-
White Papers
Late Budgets
April 1, 2010, 12:00am PDT
The budget forms the legal basis of government spending. If a budget is not in place at the beginning of the fiscal year, planning as well as current spending are jeopardized and government...
Provided by University of Copenhagen
-
White Papers
A New Data Layout For Set Intersection on GPUs
February 4, 2011, 12:00am PST
Set intersection is the core in a variety of problems, e.g. frequent itemset mining and sparse boolean matrix multiplication. It is well-known that large speed gains can, for some computational...
Provided by IT University of Copenhagen
-
White Papers
On the Efficiency of Fast RSA Variants in Modern Mobile Phones
January 6, 2010, 12:00am PST
Modern mobile phones are increasingly being used for more services that require modern security mechanisms such as the public-key cryptosystem RSA. It is, however, well-known that public-key...
Provided by University of Copenhagen
-
White Papers
A Graphical Approach to Progress for Structured Communication in Web Services
October 28, 2010, 12:00am PDT
The authors investigate a graphical representation of session invocation interdependency in order to prove progress for the p-calculus with sessions under the usual session typing discipline. They...
Provided by University of Copenhagen
-
White Papers
Relational Parametricity for Computational Effects
August 9, 2009, 12:00am PDT
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relational...
Provided by University of Copenhagen
-
White Papers
Foreign Capital And Economic Development: Does Foreign Aid Increase FDI?
November 26, 2007, 12:00am PST
One of the main goals of increasing financial aid to the poorest regions is improving their capacity to attract more Foreign Direct Investments (FDI). The argument is typically built under the...
Provided by University of Copenhagen
-
White Papers
Entrepreneurship, Job Creation, And Wage Growth
January 9, 2009, 12:00am PST
This paper analyses the importance of entrepreneurs for job creation and wage growth. Relying on unique data that cover all establishments, firms and individuals in the Danish private sector, the...
Provided by University of Copenhagen
-
White Papers
Budget Consolidations In The Aftermath Of A Financial Crisis: Lessons From The Swedish Budget Consolidation 1994-1997
March 21, 2011, 12:00am PDT
The Expansionary Fiscal Contraction (EFC) hypothesis suggests that a major fiscal consolidation leads to an economic expansion. The authors test this hypothesis, and the implied non - linear...
Provided by University of Copenhagen
-
White Papers
Mote-Based Online Anomaly Detection Using Echo State Networks
July 13, 2009, 12:00am PDT
Sensor networks deployed for scientific data acquisition must inspect measurements for faults and events of interest. Doing so is crucial to ensure the relevance and correctness of the collected...
Provided by University of Copenhagen
-
Whitepapers
Real Time Monitoring in Web Telerobotics
July 1, 2008, 12:00am PDT
There is a growing need for humans to perform complex remote operations and to extend the intelligence and experience of experts to distant applications. A blending of human intelligence, modern...
Provided by University of Copenhagen
-
Whitepapers
Evaluating Multicast Routing Algorithms' Performance and Execution Time
December 1, 2008, 12:00am PST
In this paper, an evaluation of the network routing algorithms is made. Problems that arise in routing are treated, each presented in different scenarios in order to obtain a result in comparing...
Provided by University of Copenhagen
-
Whitepapers
Important Aspects of Using Geographical Information System
February 1, 2010, 12:00am PST
The first part of this paper presents a short introduction in GIS technology and its application domains. The second part includes a classification of the GIS products, future research...
Provided by University of Copenhagen
-
Whitepapers
Embedding Conditional Knowledge Bases into Question Answering Systems and Java Implementation
September 28, 2010, 12:00am PDT
A conditional schema is a graph-based structure which is able to represent conditional knowledge. The inference mechanism corresponding to the conditional schema representations was developed. In...
Provided by University of Copenhagen
-
Whitepapers
Java Interrogation of an Homogeneous System of Inheritance Knowledge Bases by Client-Server Technology
March 8, 2011, 12:00am PST
The subject developed in this paper is connected by the remote interrogation of a knowledge base. The authors suppose have a collection of the same kind of knowledge bases, namely, extended...
Provided by University of Copenhagen
-
White Papers
Determinacy, Stock Market Dynamics And Monetary Policy Inertia
November 26, 2008, 12:00am PST
This paper deals with the stability properties of an economy where the central bank is concerned with stock market developments. The authors introduce a Taylor rule reacting to stock price growth...
Provided by University of Copenhagen
-
White Papers
Fiscal Transparency And Procyclical Fiscal Policy
May 11, 2010, 12:00am PDT
This paper examines why fiscal policy is procyclical in developing as well as developed countries. The authors introduce the concept of fiscal transparency into a model of retrospective voting, in...
Provided by University of Copenhagen
-
White Papers
Verifying Object-Oriented Programs With Higher-Order Separation Logic in Coq
May 18, 2011, 12:00am PDT
The authors present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, they develop novel specification and proof...
Provided by IT University of Copenhagen
-
White Papers
Formalized Veri Cation of Snapshotable Trees: Separation and Sharing
November 21, 2011, 12:00am PST
The authors use separation logic to specify and verify a Java program that implements snapshotable search trees, fully formalizing the specification and verification in the Coq proof assistant....
Provided by IT University of Copenhagen
-
White Papers
A Concurrent Logical Relation
January 14, 2012, 12:00am PST
The authors present a logical relation for showing the correctness of program transformations based on a new type-and-effect system for a concurrent extension of an ML-like language with...
Provided by IT University of Copenhagen
-
White Papers
Views: Compositional Reasoning for Concurrent Programs
January 14, 2012, 12:00am PST
The authors present a framework for reasoning compositionally about concurrent programs. At its core is the notion of a view: an abstraction of the state that takes account of the possible...
Provided by IT University of Copenhagen
-
White Papers
A Step-Indexed Kripke Model of Hidden State Via Recursive Properties on Recursively Defined Metric Spaces
July 13, 2010, 12:00am PDT
Frame and anti-frame rules have been proposed as proof rules for modular reasoning about programs. Frame rules allow one to hide irrelevant parts of the state during verification, whereas the...
Provided by IT University of Copenhagen
-
White Papers
Logical Step-Indexed Logical Relations
May 29, 2009, 12:00am PDT
The authors show how to reason about "Step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially to...
Provided by IT University of Copenhagen
-
White Papers
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
January 5, 2009, 12:00am PST
The authors present a realizability model for a call-by-value, higher-order programming language with parametric polymorphism, general first-class references, and recursive types. The main novelty...
Provided by IT University of Copenhagen
-
White Papers
A Simple Model of Separation Logic for Higher-Order Store
April 23, 2008, 12:00am PDT
Separation logic is a Hoare-style logic for reasoning about pointer-manipulating programs. Its core ideas have recently been extended from low-level to richer, high-level languages. In this paper,...
Provided by IT University of Copenhagen
-
White Papers
Programming Services With Correlation Sets
September 1, 2011, 12:00am PDT
Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. The authors...
Provided by IT University of Copenhagen
-
White Papers
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
August 12, 2010, 12:00am PDT
The authors present the first direct formalization of the semantics of inclusive gateways as described in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal...
Provided by IT University of Copenhagen
-
White Papers
Guided Development With Multiple Domain-Specific Languages
June 28, 2007, 12:00am PDT
The authors study the Apache Open For Business (OFBiz), an industrial-strength platform for enterprise applications. OFBiz is an example of a substantial project using model-driven development...
Provided by IT University of Copenhagen
-
White Papers
Programming Language Concepts for Software Developers
May 18, 2008, 12:00am PDT
This note describes and motivates the current plans for an undergraduate course on programming language concepts for software development students. The paper describes the competences one expects...
Provided by IT University of Copenhagen
-
White Papers
Automating the Porting of Linux to the VirtualLogix Hypervisor Using Semantic Patches
December 26, 2007, 12:00am PST
Virtualization is a promising technology for running multiple Operating Systems (OS's) on a single processor. Preparing an OS for use with virtualization, however, involves making some changes to...
Provided by University of Copenhagen
-
Whitepapers
Java Interrogation of an Homogeneous System of Inheritance Knowledge Bases by Client-Server Technology
March 8, 2011, 12:00am PST
The subject developed in this paper is connected by the remote interrogation of a knowledge base. The authors suppose have a collection of the same kind of knowledge bases, namely, extended...
Provided by University of Copenhagen
-
Whitepapers
Embedding Conditional Knowledge Bases into Question Answering Systems and Java Implementation
September 28, 2010, 12:00am PDT
A conditional schema is a graph-based structure which is able to represent conditional knowledge. The inference mechanism corresponding to the conditional schema representations was developed. In...
Provided by University of Copenhagen
-
Whitepapers
Important Aspects of Using Geographical Information System
February 1, 2010, 12:00am PST
The first part of this paper presents a short introduction in GIS technology and its application domains. The second part includes a classification of the GIS products, future research...
Provided by University of Copenhagen
-
Whitepapers
Evaluating Multicast Routing Algorithms' Performance and Execution Time
December 1, 2008, 12:00am PST
In this paper, an evaluation of the network routing algorithms is made. Problems that arise in routing are treated, each presented in different scenarios in order to obtain a result in comparing...
Provided by University of Copenhagen
-
Whitepapers
Real Time Monitoring in Web Telerobotics
July 1, 2008, 12:00am PDT
There is a growing need for humans to perform complex remote operations and to extend the intelligence and experience of experts to distant applications. A blending of human intelligence, modern...
Provided by University of Copenhagen
-
White Papers
Guided Development With Multiple Domain-Specific Languages
June 28, 2007, 12:00am PDT
The authors study the Apache Open For Business (OFBiz), an industrial-strength platform for enterprise applications. OFBiz is an example of a substantial project using model-driven development...
Provided by IT University of Copenhagen
-
White Papers
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
August 12, 2010, 12:00am PDT
The authors present the first direct formalization of the semantics of inclusive gateways as described in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal...
Provided by IT University of Copenhagen
-
White Papers
Programming Services With Correlation Sets
September 1, 2011, 12:00am PDT
Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. The authors...
Provided by IT University of Copenhagen
-
White Papers
A Simple Model of Separation Logic for Higher-Order Store
April 23, 2008, 12:00am PDT
Separation logic is a Hoare-style logic for reasoning about pointer-manipulating programs. Its core ideas have recently been extended from low-level to richer, high-level languages. In this paper,...
Provided by IT University of Copenhagen
-
White Papers
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
January 5, 2009, 12:00am PST
The authors present a realizability model for a call-by-value, higher-order programming language with parametric polymorphism, general first-class references, and recursive types. The main novelty...
Provided by IT University of Copenhagen
-
White Papers
Logical Step-Indexed Logical Relations
May 29, 2009, 12:00am PDT
The authors show how to reason about "Step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially to...
Provided by IT University of Copenhagen
-
White Papers
A Step-Indexed Kripke Model of Hidden State Via Recursive Properties on Recursively Defined Metric Spaces
July 13, 2010, 12:00am PDT
Frame and anti-frame rules have been proposed as proof rules for modular reasoning about programs. Frame rules allow one to hide irrelevant parts of the state during verification, whereas the...
Provided by IT University of Copenhagen
-
White Papers
Views: Compositional Reasoning for Concurrent Programs
January 14, 2012, 12:00am PST
The authors present a framework for reasoning compositionally about concurrent programs. At its core is the notion of a view: an abstraction of the state that takes account of the possible...
Provided by IT University of Copenhagen
-
White Papers
A Concurrent Logical Relation
January 14, 2012, 12:00am PST
The authors present a logical relation for showing the correctness of program transformations based on a new type-and-effect system for a concurrent extension of an ML-like language with...
Provided by IT University of Copenhagen
-
White Papers
Formalized Veri Cation of Snapshotable Trees: Separation and Sharing
November 21, 2011, 12:00am PST
The authors use separation logic to specify and verify a Java program that implements snapshotable search trees, fully formalizing the specification and verification in the Coq proof assistant....
Provided by IT University of Copenhagen
-
White Papers
Verifying Object-Oriented Programs With Higher-Order Separation Logic in Coq
May 18, 2011, 12:00am PDT
The authors present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, they develop novel specification and proof...
Provided by IT University of Copenhagen
-
White Papers
Fiscal Transparency And Procyclical Fiscal Policy
May 11, 2010, 12:00am PDT
This paper examines why fiscal policy is procyclical in developing as well as developed countries. The authors introduce the concept of fiscal transparency into a model of retrospective voting, in...
Provided by University of Copenhagen
-
White Papers
Determinacy, Stock Market Dynamics And Monetary Policy Inertia
November 26, 2008, 12:00am PST
This paper deals with the stability properties of an economy where the central bank is concerned with stock market developments. The authors introduce a Taylor rule reacting to stock price growth...
Provided by University of Copenhagen
-
White Papers
Mote-Based Online Anomaly Detection Using Echo State Networks
July 13, 2009, 12:00am PDT
Sensor networks deployed for scientific data acquisition must inspect measurements for faults and events of interest. Doing so is crucial to ensure the relevance and correctness of the collected...
Provided by University of Copenhagen
-
White Papers
Budget Consolidations In The Aftermath Of A Financial Crisis: Lessons From The Swedish Budget Consolidation 1994-1997
March 21, 2011, 12:00am PDT
The Expansionary Fiscal Contraction (EFC) hypothesis suggests that a major fiscal consolidation leads to an economic expansion. The authors test this hypothesis, and the implied non - linear...
Provided by University of Copenhagen
-
White Papers
Entrepreneurship, Job Creation, And Wage Growth
January 9, 2009, 12:00am PST
This paper analyses the importance of entrepreneurs for job creation and wage growth. Relying on unique data that cover all establishments, firms and individuals in the Danish private sector, the...
Provided by University of Copenhagen
-
White Papers
Foreign Capital And Economic Development: Does Foreign Aid Increase FDI?
November 26, 2007, 12:00am PST
One of the main goals of increasing financial aid to the poorest regions is improving their capacity to attract more Foreign Direct Investments (FDI). The argument is typically built under the...
Provided by University of Copenhagen
-
White Papers
Relational Parametricity for Computational Effects
August 9, 2009, 12:00am PDT
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relational...
Provided by University of Copenhagen
-
White Papers
A Graphical Approach to Progress for Structured Communication in Web Services
October 28, 2010, 12:00am PDT
The authors investigate a graphical representation of session invocation interdependency in order to prove progress for the p-calculus with sessions under the usual session typing discipline. They...
Provided by University of Copenhagen
-
White Papers
On the Efficiency of Fast RSA Variants in Modern Mobile Phones
January 6, 2010, 12:00am PST
Modern mobile phones are increasingly being used for more services that require modern security mechanisms such as the public-key cryptosystem RSA. It is, however, well-known that public-key...
Provided by University of Copenhagen
-
White Papers
A New Data Layout For Set Intersection on GPUs
February 4, 2011, 12:00am PST
Set intersection is the core in a variety of problems, e.g. frequent itemset mining and sparse boolean matrix multiplication. It is well-known that large speed gains can, for some computational...
Provided by IT University of Copenhagen
-
White Papers
Late Budgets
April 1, 2010, 12:00am PDT
The budget forms the legal basis of government spending. If a budget is not in place at the beginning of the fiscal year, planning as well as current spending are jeopardized and government...
Provided by University of Copenhagen
-
White Papers
Tax Evasion And Swiss Bank Deposits
September 30, 2010, 12:00am PDT
Bank deposits in jurisdictions with banking secrecy constitute an effective tool to evade taxes on interest income. A recent EU reform reduces the scope for this type of tax evasion by introducing...
Provided by University of Copenhagen
-
White Papers
Optimal Growth When Environmental Quality Is A Research Asset
August 17, 2009, 12:00am PDT
If environmental quality positively affects the productivity of labor in R&D and pollution is caused by the use of a non-renewable resource, it is socially optimal to postpone extraction and to...
Provided by University of Copenhagen
-
White Papers
The Theory Of Optimal Taxation: New Developments And Policy Relevance
May 11, 2010, 12:00am PDT
The theory of optimal taxation has often been criticized for being of little practical policy relevance, due to a lack of robust theoretical results. This paper argues that recent advances in...
Provided by University of Copenhagen
-
White Papers
Currency Crises And Monetary Policy In An Economy With Credit Constraints: The No Interest Parity Case
May 15, 2008, 12:00am PDT
This paper revisits the currency crises model of Aghion, Bacchetta and Banerjee (2000, 2001, 2004), who show that if there exist nominal price rigidities and private sector credit constraints, and...
Provided by University of Copenhagen
-
White Papers
uFLIP: Understanding Flash IO Patterns
January 7, 2009, 12:00am PST
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before the authors can answer these...
Provided by University of Copenhagen
-
White Papers
Solving Demand Versions of Interprocedural Analysis Problems
January 1, 2011, 12:00am PST
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g., The dataflow...
Provided by University of Copenhagen
-
White Papers
Enhancing Interactive Web Based Applications
April 4, 2008, 12:00am PDT
Internet applications are fast becoming more complex and sophisticated. This leads to the increased need of support for complex interface designs. More receptive communication flow is also...
Provided by IT University of Copenhagen
-
White Papers
Applications of Proc ESM in SAS 9.2
March 19, 2010, 12:00am PDT
In this paper the various facilities of Proc ESM in SAS 9.2 will be demonstrated using a dataset of 87789 registrations of the speed of passing cars on a highway near Copenhagen. Proc ESM (for...
Provided by University of Copenhagen
-
White Papers
Compiling Spreadsheet-Defined Functions
June 30, 2009, 12:00am PDT
Spreadsheets are ubiquitous end-user programming tools, but lack even the simplest abstraction mechanism: The ability to encapsulate a computation as a function. This paper presents a solution in...
Provided by IT University of Copenhagen
-
White Papers
Automating the Porting of Linux to the VirtualLogix Hypervisor Using Semantic Patches
December 26, 2007, 12:00am PST
Virtualization is a promising technology for running multiple Operating Systems (OS's) on a single processor. Preparing an OS for use with virtualization, however, involves making some changes to...
Provided by University of Copenhagen
-
White Papers
Programming Language Concepts for Software Developers
May 18, 2008, 12:00am PDT
This note describes and motivates the current plans for an undergraduate course on programming language concepts for software development students. The paper describes the competences one expects...
Provided by IT University of Copenhagen
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
