University of Amsterdam

Displaying 1-40 of 54 results

  • White Papers // Jun 2012

    The Bus Ad Hoc On-Demand Distance Vector (BAODV) Routing Protocol

    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 AODV is called Bus AODV (BAODV). This new version reduces the end-to-end packet delay which occurs due to vehicle...

    Provided By University of Amsterdam

  • White Papers // Jan 2012

    Adaptive Temporal Query Modeling

    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 in news-related document collections. They hypothesize that documents in those bursts are more likely to be relevant and update the query...

    Provided By University of Amsterdam

  • White Papers // Jul 2011

    Financial Barriers And Pricing Strategies Related To Participation In Sports Activities: The Perceptions Of People Of Low Income

    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 to stimulate taking part in sports activities. This paper investigated the importance of economic restraints for taking part in sports activities...

    Provided By University of Amsterdam

  • White Papers // May 2011

    Dialectical Roots For Interest Prohibition Theory

    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 for interest prohibition and then demonstrating that for at least one important positive interest bearing financial product,...

    Provided By University of Amsterdam

  • White Papers // May 2011

    Inefficient Continuation Decisions, Entry Costs, And The Cost Of Fluctuations

    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 not efficient so that fluctuations lead to inefficient reductions in firms life expectancy and the shortening of...

    Provided By University of Amsterdam

  • White Papers // Apr 2011

    Climate Change: From Global Concern To Regional Challenge

    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 seriously affected by climate change. Next, both the global/general and the regional/specific dimensions of these domains are described, with...

    Provided By University of Amsterdam

  • White Papers // Apr 2011

    Interest Prohibition And Financial Product Innovation

    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 prohibition is dealt with in Islamic finance, the problems with authority-based arguments for interest prohibition, and the prospects...

    Provided By University of Amsterdam

  • White Papers // Apr 2011

    40 Gigabit Ethernet: Prototyping Transparent End-to-End Connectivity

    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, applications can go beyond the common 10 Gigabit/s per data stream barrier for both local area, and as demonstrated in the GLIF...

    Provided By University of Amsterdam

  • White Papers // Apr 2011

    An Application Specific Informal Logic For Interest Prohibition Theory

    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 informal logic. The reason for this is that interest prohibition theory has to deal with a variety of arguments which is so wide...

    Provided By University of Amsterdam

  • White Papers // Jan 2011

    Regional Growth And Unemployment. The Validity Of Okun's Law For The Finnish Regions

    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 regions, the existence of cointegration is tested by using alternative statistical methods, viz. the residual-based test and the...

    Provided By University of Amsterdam

  • White Papers // Jan 2011

    A Schumpeterian Model Of Entrepreneurship, Innovation, And Regional Economic Growth

    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 growth, monopolistic entrepreneurs produce intermediate goods, and a single consumption good is produced competitively. Their analysis generates several new...

    Provided By University of Amsterdam

  • White Papers // Jan 2011

    Adaptive Power Management for the On-Chip Communication Network

    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 frequency and voltage. For a deflective routing network the authors propose the design of a central controller for dynamic...

    Provided By University of Amsterdam

  • White Papers // Dec 2010

    Preliminaries To An Investigation Of Reduced Product Set Finance

    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 questions that should be answered before starting to investigate the main issues concerning this topic with the formalization of financial products and...

    Provided By University of Amsterdam

  • White Papers // Nov 2010

    DMWTCS BASED STBC-MC-DS-CDMA in Fast-Fading Multipath Channel

    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 scheme, often called Orthogonal Frequency Division Multiplexing (OFDM), has drawn a lot of attention. On the other hand (CDMA) techniques have been...

    Provided By University of Amsterdam

  • White Papers // Oct 2010

    Veiling The Controversies With Dubious Moral Attitudes? Creditors And Debtors In Keynes~s Ethics Of International Economic Relations

    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 literature, which tend to attribute some outstanding failures of Keynes's economic diplomacy to the presumed instrumental use Keynes made of moral...

    Provided By University of Amsterdam

  • White Papers // Oct 2010

    On Object-Orientation

    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 first language supporting OO and developed into the language Simula 67. This language was used as a platform for the development of...

    Provided By University of Amsterdam

  • White Papers // Oct 2010

    Functional Units for Natural Numbers

    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 question have been proposed in the setting of thread algebra. Like thread, service is an abstract behavioral concept. The concept of a functional...

    Provided By University of Amsterdam

  • White Papers // Sep 2010

    Composable Services Architecture for Dynamically Configurable Virtualised Infrastructure Services Provisioning

    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 scientific experiments, technological processes, and collaborative groups of researchers and applications. The paper provides a short overview of the existing standards and...

    Provided By University of Amsterdam

  • White Papers // Jul 2010

    Aligning Programmatic Ideals And Technological Capabilities: The Case Of Sustainability Assurance

    This paper investigates the nature of and dynamics surrounding the operationalisation of sustainability assurance within two Big 4 professional services firms who have developed significant markets in this area. Drawing primarily on a longitudinal series of in-depth interviews conducted over a four and a half year period with practitioners in...

    Provided By University of Amsterdam

  • White Papers // Jul 2010

    The Shaping Of NGO Accountability: Aligning Imposed And Felt Accountabilities In Oxfam Novib

    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 of imposed, felt and adaptive accountability the paper examines the process through which one prominent Dutch development NGO, Oxfam Novib, has...

    Provided By University of Amsterdam

  • White Papers // Jun 2010

    Assessing Moving Targets: The Impact Of Transition Stages On Entrepreneurship Development

    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 innovation, job creation and economic growth. However, the specific characteristics of SMEs make them especially vulnerable to changes in the...

    Provided By University of Amsterdam

  • White Papers // Jun 2010

    Tiebreaker: Certification And Multiple Credit Ratings

    This paper explores why corporate bonds have multiple credit ratings. Over 2002 to 2008, virtually all bonds in this sample are rated by both Moody's and Standard and Poors (S&P), and between 40% and 60% of the bonds are also rated by Fitch. The authors consider three explanations for why...

    Provided By University of Amsterdam

  • White Papers // May 2010

    Empirical Assessment of VoIP Overload Detection Tests

    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 each connection consumes roughly the same amount of bandwidth (with VoIP as a leading example). They focus on large-deviations based techniques developed...

    Provided By University of Amsterdam

  • White Papers // Apr 2010

    Entity Search: Building Bridges Between Two Worlds

    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 that focus on entities. This paper also explores the potential of combining IR with SW technologies to improve the end-to-end performance on...

    Provided By University of Amsterdam

  • White Papers // Mar 2010

    SURFnet Cloud Computing Solutions

    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 this with the use of cloud computing. With the rising interest in cloud computing, a lot of new techniques are being developed and...

    Provided By University of Amsterdam

  • White Papers // Feb 2010

    The Global Financial Crisis: How Similar? How Different? How Costly?

    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 that the crisis featured some close similarities to earlier ones, including the presence of credit and asset price...

    Provided By University of Amsterdam

  • White Papers // Jan 2010

    Simulating the Universe on an Intercontinental Grid of Supercomputers

    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 simulation and there is probably no other research field where simulation has led to so much progress in the last decade....

    Provided By University of Amsterdam

  • White Papers // Dec 2009

    Category-Based Query Modeling for Entity Search

    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 propose a general probabilistic framework for entity search to evaluate and provide insight in the many ways of...

    Provided By University of Amsterdam

  • White Papers // Dec 2009

    The Cyclical Behavior Of Debt And Equity Finance Web Appendix

    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 show that the results are robust to including the earlier part of the...

    Provided By University of Amsterdam

  • White Papers // Dec 2009

    The Cyclical Behavior Of Debt And Equity Finance

    Debt and equity issuance are procyclical for most size-sorted firm categories of listed U.S. firms and the procyclicality of equity issuance de-creases monotonically with firm size. At the aggregate level, however, the results for equity issuance are not conclusive due to different behavior of the largest firms, especially those in...

    Provided By University of Amsterdam

  • White Papers // Nov 2009

    An Instruction Sequence Semigroup With Involutive Anti-Automorphisms

    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 has both forward and backward instructions and a C-expression can be interpreted starting from any instruction. They provide equations...

    Provided By University of Amsterdam

  • White Papers // Oct 2009

    RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation

    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 notoriously separate because different computational paradigms fit each domain best. This impedance mismatch hampers the development of each new problem solution since desired functionality...

    Provided By University of Amsterdam

  • White Papers // Oct 2009

    A Generalized Goals-Achievement Model In Data Envelopment Analysis: An Application To Efficiency Improvement In Local Government Finance In Japan

    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 apply a newly developed, adjusted DEA model - emerging from a blend of a Distance Friction Minimization (DFM)...

    Provided By University of Amsterdam

  • White Papers // Sep 2009

    Regional Growth And Development Theories Revisited

    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, persistence, and mitigation of spatial socio-economic disparities. Unequal regional development in the open economy has prompted a long-lasting debate on the validity...

    Provided By University of Amsterdam

  • White Papers // Sep 2009

    Indirect Jumps Improve Instruction Sequence Performance

    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 of instructions is not bounded, there exist instruction sequences of the former kind from which elimination of indirect jump instructions is...

    Provided By University of Amsterdam

  • White Papers // Aug 2009

    A Semantic Perspective on Query Log Analysis

    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 information about the context in which queries are being made could further their understanding of users' information...

    Provided By University of Amsterdam

  • White Papers // Aug 2009

    Learning Semantic Query Suggestions

    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 to return more useful search results than the original query and most popular search engines provide facilities that let users complete,...

    Provided By University of Amsterdam

  • White Papers // Aug 2009

    Software Engineering With Process Algebra: Modelling Client/Server Architectures

    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, as implementation model. They also described this software development process more formally by presenting the tools they use in this...

    Provided By University of Amsterdam

  • White Papers // Aug 2009

    Software Engineering With Process Algebra: Modeling Client / Server Architectures

    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, as implementation model. They also described this software development process more formally by presenting the tools they use in this...

    Provided By University of Amsterdam

  • White Papers // Jun 2009

    Competing Capital Constraints

    Over the last decades, different countries have had quite varied experiences with liberalization, which have not been fully explained. Models of segmentation have often focused on the effects of a particular type of portfolio constraint in isolation, contrasting it with perfect markets. This paper shows that accounting for the presence...

    Provided By University of Amsterdam

  • White Papers // Oct 2009

    A Generalized Goals-Achievement Model In Data Envelopment Analysis: An Application To Efficiency Improvement In Local Government Finance In Japan

    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 apply a newly developed, adjusted DEA model - emerging from a blend of a Distance Friction Minimization (DFM)...

    Provided By University of Amsterdam

  • White Papers // Dec 2008

    Sharing The Burden Of Adaptation Financing: Translating Ethical Principles Into Practical Policy

    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 especially by the weakest and most vulnerable people, who often have contributed least to changing the global atmosphere. As irreversible...

    Provided By University of Amsterdam

  • White Papers // Jul 2011

    Financial Barriers And Pricing Strategies Related To Participation In Sports Activities: The Perceptions Of People Of Low Income

    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 to stimulate taking part in sports activities. This paper investigated the importance of economic restraints for taking part in sports activities...

    Provided By University of Amsterdam

  • White Papers // Jun 2009

    Do Implicit Barriers Matter For Investability And Globalization?

    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) model to estimate pricing of investable indices from twenty two emerging markets. Their results show that reduction in explicit barriers...

    Provided By University of Amsterdam

  • White Papers // Jun 2009

    Competing Capital Constraints

    Over the last decades, different countries have had quite varied experiences with liberalization, which have not been fully explained. Models of segmentation have often focused on the effects of a particular type of portfolio constraint in isolation, contrasting it with perfect markets. This paper shows that accounting for the presence...

    Provided By University of Amsterdam

  • White Papers // Feb 2009

    Appendix To "Anticipated Growth And Business Cycles In Matching Models": Simplified Version With Analytical Results

    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 equilibrium corresponds to the social planners' solution. The matching friction used in this paper is similar to a...

    Provided By University of Amsterdam

  • White Papers // May 2011

    Inefficient Continuation Decisions, Entry Costs, And The Cost Of Fluctuations

    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 not efficient so that fluctuations lead to inefficient reductions in firms life expectancy and the shortening of...

    Provided By University of Amsterdam

  • White Papers // Feb 2009

    Anticipated Growth And Business Cycles In Matching Models

    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 productivity reduces labor force participation. The reason is that the matching friction induces entrepreneurs to increase investment in new projects and...

    Provided By University of Amsterdam

  • White Papers // Dec 2009

    The Cyclical Behavior Of Debt And Equity Finance Web Appendix

    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 show that the results are robust to including the earlier part of the...

    Provided By University of Amsterdam

  • White Papers // May 2010

    Empirical Assessment of VoIP Overload Detection Tests

    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 each connection consumes roughly the same amount of bandwidth (with VoIP as a leading example). They focus on large-deviations based techniques developed...

    Provided By University of Amsterdam

  • White Papers // Oct 2009

    RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation

    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 notoriously separate because different computational paradigms fit each domain best. This impedance mismatch hampers the development of each new problem solution since desired functionality...

    Provided By University of Amsterdam

  • White Papers // Dec 2009

    Category-Based Query Modeling for Entity Search

    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 propose a general probabilistic framework for entity search to evaluate and provide insight in the many ways of...

    Provided By University of Amsterdam

  • White Papers // Aug 2009

    Learning Semantic Query Suggestions

    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 to return more useful search results than the original query and most popular search engines provide facilities that let users complete,...

    Provided By University of Amsterdam

  • White Papers // Aug 2009

    A Semantic Perspective on Query Log Analysis

    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 information about the context in which queries are being made could further their understanding of users' information...

    Provided By University of Amsterdam

  • White Papers // Jan 2012

    Adaptive Temporal Query Modeling

    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 in news-related document collections. They hypothesize that documents in those bursts are more likely to be relevant and update the query...

    Provided By University of Amsterdam

  • White Papers // Apr 2011

    40 Gigabit Ethernet: Prototyping Transparent End-to-End Connectivity

    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, applications can go beyond the common 10 Gigabit/s per data stream barrier for both local area, and as demonstrated in the GLIF...

    Provided By University of Amsterdam

  • White Papers // Aug 2009

    Software Engineering With Process Algebra: Modelling Client/Server Architectures

    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, as implementation model. They also described this software development process more formally by presenting the tools they use in this...

    Provided By University of Amsterdam

  • White Papers // Nov 2010

    DMWTCS BASED STBC-MC-DS-CDMA in Fast-Fading Multipath Channel

    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 scheme, often called Orthogonal Frequency Division Multiplexing (OFDM), has drawn a lot of attention. On the other hand (CDMA) techniques have been...

    Provided By University of Amsterdam

  • White Papers // Jun 2012

    The Bus Ad Hoc On-Demand Distance Vector (BAODV) Routing Protocol

    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 AODV is called Bus AODV (BAODV). This new version reduces the end-to-end packet delay which occurs due to vehicle...

    Provided By University of Amsterdam

  • White Papers // May 2009

    Visualization of Computer Architecture Simulation Data for System-Level Design Space Exploration

    System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from this amount of simulation results can be extremely cumbersome. In other domains that also struggle with interpreting large volumes of data, such as scientific computing, data visualization is an invaluable...

    Provided By University of Amsterdam

  • White Papers // Dec 2009

    The Cyclical Behavior Of Debt And Equity Finance

    Debt and equity issuance are procyclical for most size-sorted firm categories of listed U.S. firms and the procyclicality of equity issuance de-creases monotonically with firm size. At the aggregate level, however, the results for equity issuance are not conclusive due to different behavior of the largest firms, especially those in...

    Provided By University of Amsterdam

  • White Papers // Mar 2010

    SURFnet Cloud Computing Solutions

    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 this with the use of cloud computing. With the rising interest in cloud computing, a lot of new techniques are being developed and...

    Provided By University of Amsterdam

  • White Papers // Apr 2010

    Entity Search: Building Bridges Between Two Worlds

    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 that focus on entities. This paper also explores the potential of combining IR with SW technologies to improve the end-to-end performance on...

    Provided By University of Amsterdam

  • White Papers // Jun 2010

    Assessing Moving Targets: The Impact Of Transition Stages On Entrepreneurship Development

    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 innovation, job creation and economic growth. However, the specific characteristics of SMEs make them especially vulnerable to changes in the...

    Provided By University of Amsterdam

  • White Papers // Dec 2008

    Wealth-Driven Selection In A Financial Market With Heterogeneous Agents

    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 as a selection device they are able to characterize the long run market outcomes, i.e. asset returns and wealth distributions, for a...

    Provided By University of Amsterdam

  • White Papers // Jun 2010

    Tiebreaker: Certification And Multiple Credit Ratings

    This paper explores why corporate bonds have multiple credit ratings. Over 2002 to 2008, virtually all bonds in this sample are rated by both Moody's and Standard and Poors (S&P), and between 40% and 60% of the bonds are also rated by Fitch. The authors consider three explanations for why...

    Provided By University of Amsterdam

  • White Papers // Oct 2010

    Veiling The Controversies With Dubious Moral Attitudes? Creditors And Debtors In Keynes~s Ethics Of International Economic Relations

    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 literature, which tend to attribute some outstanding failures of Keynes's economic diplomacy to the presumed instrumental use Keynes made of moral...

    Provided By University of Amsterdam

  • White Papers // Jan 2010

    Simulating the Universe on an Intercontinental Grid of Supercomputers

    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 simulation and there is probably no other research field where simulation has led to so much progress in the last decade....

    Provided By University of Amsterdam

  • White Papers // Mar 2009

    Machine Structure Oriented Control Code Logic

    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 present a logical approach to explain issues concerning control codes that are independent of the details of...

    Provided By University of Amsterdam

  • White Papers // Feb 2009

    Transmission Protocols for Instruction Streams

    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 the action as an instruction to be processed determines how the thread proceeds. In this paper, the authors are concerned...

    Provided By University of Amsterdam

  • White Papers // Nov 2009

    An Instruction Sequence Semigroup With Involutive Anti-Automorphisms

    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 has both forward and backward instructions and a C-expression can be interpreted starting from any instruction. They provide equations...

    Provided By University of Amsterdam

  • White Papers // Mar 2009

    Laconic Schema Mappings: Computing Core Universal Solutions by Means of SQL Queries

    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 algorithms, which are recursive in nature, the method can be implemented directly on top of any DBMS. The method is based on the...

    Provided By University of Amsterdam

  • White Papers // Oct 2010

    On Object-Orientation

    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 first language supporting OO and developed into the language Simula 67. This language was used as a platform for the development of...

    Provided By University of Amsterdam

  • White Papers // May 2009

    A Protocol for Instruction Stream Processing

    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 the execution environment and a reply returned at completion of the processing determines how the behaviour proceeds. In this paper, the...

    Provided By University of Amsterdam

  • White Papers // Jun 2009

    The CIFF Proof Procedure for Abductive Logic Programming With Constraints: Theory, Implementation and Experiments

    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 programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints...

    Provided By University of Amsterdam

  • White Papers // Jun 2009

    Instruction Sequence Notations With Probabilistic Instructions

    This paper concerns probabilistic instruction sequences. The authors use the term probabilistic instruction sequence for an instruction sequence that contains probabilistic instructions, i.e. instructions that are themselves probabilistic by nature, rather than an instruction sequence of which the instructions are intended to be processed in a probabilistic way. They propose...

    Provided By University of Amsterdam

  • White Papers // Aug 2009

    Software Engineering With Process Algebra: Modeling Client / Server Architectures

    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, as implementation model. They also described this software development process more formally by presenting the tools they use in this...

    Provided By University of Amsterdam

  • White Papers // Sep 2009

    Indirect Jumps Improve Instruction Sequence Performance

    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 of instructions is not bounded, there exist instruction sequences of the former kind from which elimination of indirect jump instructions is...

    Provided By University of Amsterdam

  • White Papers // Oct 2010

    Functional Units for Natural Numbers

    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 question have been proposed in the setting of thread algebra. Like thread, service is an abstract behavioral concept. The concept of a functional...

    Provided By University of Amsterdam

  • White Papers // Jul 2010

    Aligning Programmatic Ideals And Technological Capabilities: The Case Of Sustainability Assurance

    This paper investigates the nature of and dynamics surrounding the operationalisation of sustainability assurance within two Big 4 professional services firms who have developed significant markets in this area. Drawing primarily on a longitudinal series of in-depth interviews conducted over a four and a half year period with practitioners in...

    Provided By University of Amsterdam