A Survey on Continuous Time Computations

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature

Benchmarks for Parity Games (extended version)

We propose a benchmark suite for parity games that includes all benchmarks that have been used in the literature, and make it available online. We give an overview of the parity games, including a description of how they have been generated. We also describe structural properties of parity games, and using these properties we show that our benchmarks are representative. With this work we provide a starting point for further experimentation with parity games.Comment: The corresponding tool and benchmarks are available from https://github.com/jkeiren/paritygame-generator. This is an extended version of the paper that has been accepted for FSEN 201

Toward designing a quantum key distribution network simulation model

As research in quantum key distribution network technologies grows larger and more complex, the need for highly accurate and scalable simulation technologies becomes important to assess the practical feasibility and foresee difficulties in the practical implementation of theoretical achievements. In this paper, we described the design of simplified simulation environment of the quantum key distribution network with multiple links and nodes. In such simulation environment, we analyzed several routing protocols in terms of the number of sent routing packets, goodput and Packet Delivery Ratio of data traffic flow using NS-3 simulator

A learning experience in the fields of economics and business: creation of student-managed inter-university virtual networks

With this article we shall describe the learning experience carried out by our students in the fields of Economics and Business at the Universities of Huelva and University of Seville within an active- and cooperative-learning framework involving creation of virtual networks between our students and others who were attending diverse universities in Spain and abroad, thus allowing us to strengthen interactions and information exchanges among students, also allowing them to apprehend on their own the characteristics of economic and business and entrepreneuring realities in which they are immersed and, very specially, the use of virtual communities in the Internet

Legal Information and the Development of American Law: Writings on the Form and Structure of the Published Law

Robert C. Berring\u27s writings about the impacts of electronic databases, the Internet, and other communications technologies on legal research and practice are an essential part of a larger literature that explores the ways in which the forms and structures of published legal information have influenced how American lawyers think about the law. This paper reviews Berring\u27s writings, along with those of other writers concerned with these questions, focusing on the implications of Berring\u27s idea that in the late nineteenth century American legal publishers created a conceptual universe of thinkable thoughts through which U.S. lawyers came to view the law. It concludes that, spurred by Berring and others, the literature of legal information has become far reaching in scope and interdisciplinary in approach, while the themes struck in Berring\u27s work continue to inform the scholarship of newer writers

A geometry of information, I: Nerves, posets and differential forms

The main theme of this workshop (Dagstuhl seminar 04351) is `Spatial Representation: Continuous vs. Discrete'. Spatial representation has two contrasting but interacting aspects (i) representation of spaces' and (ii) representation by spaces. In this paper, we will examine two aspects that are common to both interpretations of the theme, namely nerve constructions and refinement. Representations change, data changes, spaces change. We will examine the possibility of a `differential geometry' of spatial representations of both types, and in the sequel give an algebra of differential forms that has the potential to handle the dynamical aspect of such a geometry. We will discuss briefly a conjectured class of spaces, generalising the Cantor set which would seem ideal as a test-bed for the set of tools we are developing.Comment: 28 pages. A version of this paper appears also on the Dagstuhl seminar portal http://drops.dagstuhl.de/portals/04351

Expressiveness of Process Algebras

AbstractWe examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature