- Subscribe to this page:
- RSS
- Email Alert
University of Amsterdam
(63 results)-
White Papers
Implementing IPv6 in an Organization
February 7, 2005, 12:00am PST
During a research project done in 2004 there was concluded that the migration to IPv6 could be done without too many problems. Because this research was done on paper it would be interesting to...
Provided by University of Amsterdam
-
White Papers
Visualization of Computer Architecture Simulation Data for System-Level Design Space Exploration
May 12, 2009, 12:00am PDT
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from this amount of...
Provided by University of Amsterdam
-
White Papers
Mobile Marketing Communications in Consumer Markets
June 7, 2008, 12:00am PDT
This paper aims to examine the theoretical and empirical foundations of the mobile marketing. While numerous studies have yielded important insights into this topic, the existing mobile marketing...
Provided by University of Amsterdam
-
White Papers
MetaLex XML and the Legal Knowledge Interchange Format
January 11, 2008, 12:00am PST
Electronic government invariably involves XML and electronic law: legislation is as essential to public administration as the ball is to a ball game. This paper gives an overview of two XML...
Provided by University of Amsterdam
-
White Papers
SURFnet Cloud Computing Solutions
March 12, 2010, 12:00am PST
SURFnet is the primary supplier of advanced networking to Colleges, Universities and Research Institutions. SURFnet (And partners) wishes to optimize its computing capacity, and hope to realize...
Provided by University of Amsterdam
-
White Papers
Entity Search: Building Bridges Between Two Worlds
April 30, 2010, 12:00am PDT
This paper considers the task of entity search and examine to which extent state-of-art Information Retrieval (IR) and Semantic Web (SW) technologies are capable of answering information needs...
Provided by University of Amsterdam
-
White Papers
Assessing Moving Targets: The Impact Of Transition Stages On Entrepreneurship Development
June 8, 2010, 12:00am PDT
An issue that has recently gained in importance in transitional literature is the need to develop a thriving small and medium-sized enterprise (SME) sector since it can contribute significantly to...
Provided by University of Amsterdam
-
White Papers
Wealth-Driven Selection In A Financial Market With Heterogeneous Agents
December 1, 2008, 12:00am PST
The authors study the co-evolution of asset prices and individual wealth in a financial market populated by an arbitrary number of heterogeneous, boundedly rational agents. Using wealth dynamics...
Provided by University of Amsterdam
-
White Papers
Veiling The Controversies With Dubious Moral Attitudes? Creditors And Debtors In Keynes~s Ethics Of International Economic Relations
October 28, 2010, 12:00am PDT
This paper addresses the enduring insistence on the moral dimension of international economic relations in Keynes's economics and diplomacy. The issue has so far raised scarce attention in the...
Provided by University of Amsterdam
-
White Papers
Simulating the Universe on an Intercontinental Grid of Supercomputers
January 5, 2010, 12:00am PST
Understanding the universe is hampered by the elusiveness of its most common constituent, cold dark matter. Almost impossible to observe, dark matter can be studied effectively by means of...
Provided by University of Amsterdam
-
White Papers
Program Algebra With a Jump-Shift Instruction
December 11, 2007, 12:00am PST
The authors study sequential programs that are instruction sequences with jump-shift instructions in the setting of PGA (ProGram Algebra). Jump-shift instructions preceding a jump instruction...
Provided by University of Amsterdam
-
White Papers
Software (Re-)Engineering With PSF
February 2, 2008, 12:00am PST
In software engineering and reengineering it is common practice to decompose systems into components that communicate with each other. The main advantage of this decomposition is that maintainance...
Provided by University of Amsterdam
-
White Papers
Software (Re-)Engineering With PSF II: From Architecture to Implementation
February 2, 2008, 12:00am PST
This paper presents ongoing research on the application of PSF in the field of software engineering and reengineering. The authors build a new implementation for the simulator of the PSF Toolkit...
Provided by University of Amsterdam
-
White Papers
Software (Re-)Engineering With PSF III: An IDE for PSF
February 2, 2008, 12:00am PST
The authors describe the design of an Integrated Development Environment (IDE) for PSF. In the software engineering process the authors used process algebra in the form of PSF for the...
Provided by University of Amsterdam
-
White Papers
PlDoc: Wiki Style Literate Programming for Prolog
November 5, 2007, 12:00am PST
This paper introduces PlDoc, a literate programming system for Prolog. Starting point for PlDoc was minimal distraction from the programming task and maximal immediate reward, attempting to seduce...
Provided by University of Amsterdam
-
White Papers
Instruction Sequences With Indirect Jumps
December 11, 2007, 12:00am PST
The authors study sequential programs that are instruction sequences with direct and indirect jump instructions. The intuition is that indirect jump instructions are jump instructions where the...
Provided by University of Amsterdam
-
White Papers
Machine Structure Oriented Control Code Logic
March 4, 2009, 12:00am PST
Control code is a concept that is closely related to a frequently occurring practitioner's view on what is a program: Code that is capable of controlling the behaviour of some machine. The authors...
Provided by University of Amsterdam
-
White Papers
SWI-Prolog and the Web
November 6, 2007, 12:00am PST
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make it a prime...
Provided by University of Amsterdam
-
White Papers
Transmission Protocols for Instruction Streams
February 17, 2009, 12:00am PST
Threads as considered in thread algebra model behaviours to be controlled by some execution environment: upon each action performed by a thread, a reply from its execution environment which takes...
Provided by University of Amsterdam
-
White Papers
High Performance Direct Gravitational N-Body Simulations on Graphics Processing
February 7, 2008, 12:00am PST
The authors present the results of gravitational direct N-body simulations using the commercial Graphics Processing Units (GPU) NVIDIA Quadro FX1400 and GeForce 8800GTX, and compare the results...
Provided by University of Amsterdam
-
White Papers
An Instruction Sequence Semigroup With Involutive Anti-Automorphisms
November 7, 2009, 12:00am PST
The authors introduce algebra of instruction sequences by presenting a semigroup C in which programs can be represented without directional bias: In terms of the next instruction to be executed, C...
Provided by University of Amsterdam
-
White Papers
Laconic Schema Mappings: Computing Core Universal Solutions by Means of SQL Queries
March 11, 2009, 12:00am PDT
The authors present a new method for computing core universal solutions in data exchange settings specified by source-to-target dependencies, by means of SQL queries. Unlike previously known...
Provided by University of Amsterdam
-
White Papers
On Object-Orientation
October 17, 2010, 12:00am PDT
The use of the concepts of Object-Orientation (OO) in programming predates the existance of programming languages. In the 1960s the programming language Simula appears, which is considered the...
Provided by University of Amsterdam
-
White Papers
A Protocol for Instruction Stream Processing
May 14, 2009, 12:00am PDT
The behaviour produced by an instruction sequence under execution is a behaviour to be controlled by some execution environment: each step performed actuates the processing of an instruction by...
Provided by University of Amsterdam
-
White Papers
The CIFF Proof Procedure for Abductive Logic Programming With Constraints: Theory, Implementation and Experiments
June 5, 2009, 12:00am PDT
The authors present the CIFF proof procedure for abductive logic programming with constraints, and they prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic...
Provided by University of Amsterdam
-
White Papers
Instruction Sequence Notations With Probabilistic Instructions
June 17, 2009, 12:00am PDT
This paper concerns probabilistic instruction sequences. The authors use the term probabilistic instruction sequence for an instruction sequence that contains probabilistic instructions, i.e....
Provided by University of Amsterdam
-
White Papers
Interface Groups and Financial Transfer Architectures
July 11, 2007, 12:00am PDT
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as programs, threads,...
Provided by University of Amsterdam
-
White Papers
Projection Semantics for Rigid Loops
July 6, 2007, 12:00am PDT
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax of the program...
Provided by University of Amsterdam
-
White Papers
Software Engineering With Process Algebra: Modeling Client / Server Architectures
August 18, 2009, 12:00am PDT
In previous work the authors described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra,...
Provided by University of Amsterdam
-
White Papers
Indirect Jumps Improve Instruction Sequence Performance
September 11, 2009, 12:00am PDT
Instruction sequences with direct and indirect jump instructions are as expressive as instruction sequences with direct jump instructions only. The authors show that, in the case where the number...
Provided by University of Amsterdam
-
White Papers
Functional Units for Natural Numbers
October 17, 2010, 12:00am PDT
Interaction with services provided by an execution environment forms part of the behaviors exhibited by instruction sequences under execution. Mechanisms related to the kind of interaction in...
Provided by University of Amsterdam
-
White Papers
The Shaping Of NGO Accountability: Aligning Imposed And Felt Accountabilities In Oxfam Novib
July 5, 2010, 12:00am PDT
The purpose of this paper is to advance and deepen one's understanding of the shaping of accountability in Non-Governmental Organization (NGOs) contexts. Using a framework drawing on the concepts...
Provided by University of Amsterdam
-
White Papers
Dialectical Roots For Interest Prohibition Theory
May 17, 2011, 12:00am PDT
It is argued that arguments for strict prohibition of interests must be based on the use of arguments from authority. This is carried out by first making a survey of so-called dialectical roots...
Provided by University of Amsterdam
-
White Papers
Preliminaries To An Investigation Of Reduced Product Set Finance
December 20, 2010, 12:00am PST
Principles of financial product synthesis from a few basic financial products constitute an interesting research topic inspired by Islamic finance. The authors make an effort to answer general...
Provided by University of Amsterdam
-
White Papers
Adaptive Power Management for the On-Chip Communication Network
January 1, 2011, 12:00am PST
An on-chip communication network is most power efficient when it operates just below the saturation point. For any given traffic load the network can be operated in this region by adjusting...
Provided by University of Amsterdam
-
White Papers
Interest Prohibition And Financial Product Innovation
April 13, 2011, 12:00am PDT
The authors give a rough sketch of the Judaic, Greek, Islamic and Christian positions in the matter of interest prohibition during the last few millennia and discuss the way in which interest...
Provided by University of Amsterdam
-
White Papers
An Application Specific Informal Logic For Interest Prohibition Theory
April 2, 2011, 12:00am PDT
Interest prohibition theory concerns theoretical aspects of interest prohibition. The authors attempt to lay down some aspects of interest prohibition theory wrapped in a larger framework of...
Provided by University of Amsterdam
-
White Papers
The Global Financial Crisis: How Similar? How Different? How Costly?
February 1, 2010, 12:00am PST
This paper provides a brief analysis of three major questions raised in the context of the recent global financial crisis. First, how similar is the crisis to previous episodes? The authors argue...
Provided by University of Amsterdam
-
White Papers
Climate Change: From Global Concern To Regional Challenge
April 17, 2011, 12:00am PDT
This paper aims to map out various research and policy challenges inherent in the need to cope with climate change. Therefore, four critical domains are identified which will most likely be...
Provided by University of Amsterdam
-
White Papers
Regional Growth And Unemployment. The Validity Of Okun's Law For The Finnish Regions
January 14, 2011, 12:00am PST
This paper offers a concise critical overview of Okun's Law, with particular attention for its relevance in open economic systems of regions. Based on an extensive set of economic data for Finnish...
Provided by University of Amsterdam
-
Whitepapers
The Bus Ad Hoc On-Demand Distance Vector (BAODV) Routing Protocol
June 11, 2012, 12:00am PDT
In this paper, the authors focus on modifying and enhancing the Ad-hoc On-demand Distance Vector (AODV) routing protocol to make it more convenient and suitable for VANETs. The enhanced version of...
Provided by University of Amsterdam
-
Whitepapers
DMWTCS BASED STBC-MC-DS-CDMA in Fast-Fading Multipath Channel
November 25, 2010, 12:00am PST
Wireless digital communications is rapidly expanding resulting in a demand for systems that are reliable and have a high spectral efficiency, to fulfill these demands, the Multicarrier modulation...
Provided by University of Amsterdam
-
White Papers
Software Engineering With Process Algebra: Modelling Client/Server Architectures
August 18, 2009, 12:00am PDT
In previous work, the authors described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process...
Provided by University of Amsterdam
-
White Papers
40 Gigabit Ethernet: Prototyping Transparent End-to-End Connectivity
April 6, 2011, 12:00am PDT
The ever increasing demands of data intensive e-Science applications have pushed the limits of computer networks. With the launch of the new 40 Gigabit Ethernet (40GE) standard, 802.3ba,...
Provided by University of Amsterdam
-
White Papers
Adaptive Temporal Query Modeling
January 12, 2012, 12:00am PST
The authors present an approach to query modeling that uses the temporal distribution of documents in an initially retrieved set of documents. Such distributions tend to exhibit bursts, especially...
Provided by University of Amsterdam
-
White Papers
A Semantic Perspective on Query Log Analysis
August 29, 2009, 12:00am PDT
The authors present their views on the CLEF log file analysis task. They argue for a task definition that focuses on the semantic enrichment of query logs. In addition, they discuss how additional...
Provided by University of Amsterdam
-
White Papers
Learning Semantic Query Suggestions
August 20, 2009, 12:00am PDT
An important application of semantic web technology is recognizing human-defined concepts in text. Query transformation is a strategy often used in search engines to derive queries that are able...
Provided by University of Amsterdam
-
White Papers
Category-Based Query Modeling for Entity Search
December 23, 2009, 12:00am PST
Users often search for entities instead of documents and in this setting are willing to provide extra input, in addition to a query, such as category information and example entities. The authors...
Provided by University of Amsterdam
-
White Papers
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation
October 26, 2009, 12:00am PDT
Many automated software engineering tools require tight integration of techniques for source code analysis and manipulation. State-of-the-art tools exist for both, but the domains have remained...
Provided by University of Amsterdam
-
White Papers
Empirical Assessment of VoIP Overload Detection Tests
May 13, 2010, 12:00am PDT
The control of communication networks critically relies on procedures capable of detecting unanticipated load changes. In this paper, the authors explore such techniques, in a setting in which...
Provided by University of Amsterdam
-
White Papers
The Cyclical Behavior Of Debt And Equity Finance Web Appendix
December 15, 2009, 12:00am PST
The authors' data are taken from Compustat and consists of annual data from 1971 to 2006. In the main text, they only report results based on data starting in 1980, but in Appendices B and C they...
Provided by University of Amsterdam
-
White Papers
Anticipated Growth And Business Cycles In Matching Models
February 14, 2009, 12:00am PST
In a business cycle model that incorporates a standard matching framework, employment increases in response to news shocks, even though the wealth effect associated with the increase in expected...
Provided by University of Amsterdam
-
White Papers
Inefficient Continuation Decisions, Entry Costs, And The Cost Of Fluctuations
May 5, 2011, 12:00am PDT
Fluctuations in firms revenues reduce firms survival chances and are costly from a social welfare point of view even when agents are risk neutral if the decision to continue operating a firm is...
Provided by University of Amsterdam
-
White Papers
Appendix To "Anticipated Growth And Business Cycles In Matching Models": Simplified Version With Analytical Results
February 14, 2009, 12:00am PST
Using a two-period version of the model, this appendix shows that Pigou cycles are not possible when the Hosios condition holds, that is, when the surplus is divided such that the competitive...
Provided by University of Amsterdam
-
White Papers
Wealth Selection In A Financial Market With Heterogeneous Agents
December 11, 2007, 12:00am PST
The authors study the co-evolution of asset prices and agents' wealth in a financial market populated by an arbitrary number of heterogeneous, boundedly rational investors. They model assets'...
Provided by University of Amsterdam
-
White Papers
Do Implicit Barriers Matter For Investability And Globalization?
June 1, 2009, 12:00am PDT
Removal of explicit barriers may not result in global pricing of investable securities if implicit barriers are important. The authors use the conditional version of the Errunza and Losq (1985)...
Provided by University of Amsterdam
-
White Papers
Financial Barriers And Pricing Strategies Related To Participation In Sports Activities: The Perceptions Of People Of Low Income
July 15, 2011, 12:00am PDT
Physical activity levels in most affluent countries are low and many people do not meet the current recommendations. Particularly for people with a low income, economic strategies seem promising...
Provided by University of Amsterdam
-
White Papers
Sharing The Burden Of Adaptation Financing: Translating Ethical Principles Into Practical Policy
December 22, 2008, 12:00am PST
Projections of the potential impact of climate change across different sectors and in different parts of the world are becoming more serious. Climate change impacts are likely to be felt...
Provided by University of Amsterdam
-
White Papers
A Generalized Goals-Achievement Model In Data Envelopment Analysis: An Application To Efficiency Improvement In Local Government Finance In Japan
October 23, 2009, 12:00am PDT
Data Envelopment Analysis (DEA) has become an established tool in comparative analyses of efficiency strategies in both the public and the private sector. The aim of this paper is to present and...
Provided by University of Amsterdam
-
White Papers
Composable Services Architecture for Dynamically Configurable Virtualised Infrastructure Services Provisioning
September 7, 2010, 12:00am PDT
Effective use of existing network and IT infrastructure can be achieved by providing combined network and IT resources on-demand as infrastructure services that are capable of supporting complex...
Provided by University of Amsterdam
-
White Papers
Global Pipelines Or Global Buzz? A Micro-Level Approach Towards The Knowledge-Based View Of Clusters
March 3, 2009, 12:00am PST
Recent theorizing in cluster literature emphasizes the importance of inter-cluster knowledge linkages in addition to local knowledge dynamics, enabling new and innovative ideas to flow from one...
Provided by University of Amsterdam
-
White Papers
Regional Growth And Development Theories Revisited
September 25, 2009, 12:00am PDT
Regional economics has a long tradition in analytical research and policy modelling, with the aim to enhance the authors' understanding of regional competitiveness conditions and of the emergence,...
Provided by University of Amsterdam
-
White Papers
A Schumpeterian Model Of Entrepreneurship, Innovation, And Regional Economic Growth
January 14, 2011, 12:00am PST
The authors provide the first theoretical analysis of a one sector, discrete time, Schumpeterian model of growth in a regional economy in which consumers are risk neutral, there is no population...
Provided by University of Amsterdam
-
White Papers
Regional Growth And Unemployment. The Validity Of Okun's Law For The Finnish Regions
January 14, 2011, 12:00am PST
This paper offers a concise critical overview of Okun's Law, with particular attention for its relevance in open economic systems of regions. Based on an extensive set of economic data for Finnish...
Provided by University of Amsterdam
-
White Papers
Climate Change: From Global Concern To Regional Challenge
April 17, 2011, 12:00am PDT
This paper aims to map out various research and policy challenges inherent in the need to cope with climate change. Therefore, four critical domains are identified which will most likely be...
Provided by University of Amsterdam
-
White Papers
The Global Financial Crisis: How Similar? How Different? How Costly?
February 1, 2010, 12:00am PST
This paper provides a brief analysis of three major questions raised in the context of the recent global financial crisis. First, how similar is the crisis to previous episodes? The authors argue...
Provided by University of Amsterdam
-
White Papers
An Application Specific Informal Logic For Interest Prohibition Theory
April 2, 2011, 12:00am PDT
Interest prohibition theory concerns theoretical aspects of interest prohibition. The authors attempt to lay down some aspects of interest prohibition theory wrapped in a larger framework of...
Provided by University of Amsterdam
-
White Papers
Interest Prohibition And Financial Product Innovation
April 13, 2011, 12:00am PDT
The authors give a rough sketch of the Judaic, Greek, Islamic and Christian positions in the matter of interest prohibition during the last few millennia and discuss the way in which interest...
Provided by University of Amsterdam
-
White Papers
Adaptive Power Management for the On-Chip Communication Network
January 1, 2011, 12:00am PST
An on-chip communication network is most power efficient when it operates just below the saturation point. For any given traffic load the network can be operated in this region by adjusting...
Provided by University of Amsterdam
-
White Papers
Preliminaries To An Investigation Of Reduced Product Set Finance
December 20, 2010, 12:00am PST
Principles of financial product synthesis from a few basic financial products constitute an interesting research topic inspired by Islamic finance. The authors make an effort to answer general...
Provided by University of Amsterdam
-
White Papers
Dialectical Roots For Interest Prohibition Theory
May 17, 2011, 12:00am PDT
It is argued that arguments for strict prohibition of interests must be based on the use of arguments from authority. This is carried out by first making a survey of so-called dialectical roots...
Provided by University of Amsterdam
-
White Papers
The Shaping Of NGO Accountability: Aligning Imposed And Felt Accountabilities In Oxfam Novib
July 5, 2010, 12:00am PDT
The purpose of this paper is to advance and deepen one's understanding of the shaping of accountability in Non-Governmental Organization (NGOs) contexts. Using a framework drawing on the concepts...
Provided by University of Amsterdam
-
White Papers
Functional Units for Natural Numbers
October 17, 2010, 12:00am PDT
Interaction with services provided by an execution environment forms part of the behaviors exhibited by instruction sequences under execution. Mechanisms related to the kind of interaction in...
Provided by University of Amsterdam
-
White Papers
Indirect Jumps Improve Instruction Sequence Performance
September 11, 2009, 12:00am PDT
Instruction sequences with direct and indirect jump instructions are as expressive as instruction sequences with direct jump instructions only. The authors show that, in the case where the number...
Provided by University of Amsterdam
-
White Papers
Software Engineering With Process Algebra: Modeling Client / Server Architectures
August 18, 2009, 12:00am PDT
In previous work the authors described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra,...
Provided by University of Amsterdam
-
White Papers
Projection Semantics for Rigid Loops
July 6, 2007, 12:00am PDT
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax of the program...
Provided by University of Amsterdam
-
White Papers
Interface Groups and Financial Transfer Architectures
July 11, 2007, 12:00am PDT
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as programs, threads,...
Provided by University of Amsterdam
-
White Papers
Instruction Sequence Notations With Probabilistic Instructions
June 17, 2009, 12:00am PDT
This paper concerns probabilistic instruction sequences. The authors use the term probabilistic instruction sequence for an instruction sequence that contains probabilistic instructions, i.e....
Provided by University of Amsterdam
-
White Papers
The CIFF Proof Procedure for Abductive Logic Programming With Constraints: Theory, Implementation and Experiments
June 5, 2009, 12:00am PDT
The authors present the CIFF proof procedure for abductive logic programming with constraints, and they prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic...
Provided by University of Amsterdam
-
White Papers
A Protocol for Instruction Stream Processing
May 14, 2009, 12:00am PDT
The behaviour produced by an instruction sequence under execution is a behaviour to be controlled by some execution environment: each step performed actuates the processing of an instruction by...
Provided by University of Amsterdam
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!
