Authored

15 records found

Stream differential equations

Specification formats and solution methods

Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream differential equations are a coinductive method for specifying streams and stream operations, and their ...

Newton series, coinductively

A comparative study of composition

We present a comparative study of four product operators on weighted languages: (i) the convolution, (ii) the shuffle, (iii) the infiltration and (iv) the Hadamard product. Exploiting the fact that the set of weighted languages is a final coalgebra, we use coinduction to prove th ...

Preface

11th International Tbilisi Symposium on Logic, Language and Computation

Natural gas for heating is widespread in the built environment of The Netherlands, where the government aims at limiting heat demand and reducing natural gas consumption over the coming decades. In the owner-occupied residential sector, this transition is complex and requires coo ...
We present a proof of Arrow's theorem from social choice theory that uses a fixpoint argument. Specifically, we use Banach's result on the existence of a fixpoint of a contractive map defined on a complete metric space. Conceptually, our approach shows that dictatorships can be s ...
We define notions of well-definedness and observational equivalence for programs of mixed inductive and coinductive types. These notions are defined by means of tests formulas which combine structural congruence for inductive types and modal logic for coinductive types. Tests als ...
To reduce greenhouse gas emissions to 80% below 1990 levels by 2050, an energy transition is taking place in the European Union. Achieving these targets requires changes in the heating and cooling sector (H&C). Designing and implementing this energy transition is not trivial, as ...
We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform way. We define Equation found, the infinitary extension of a given equational theory =R, and →∞, the standard notion of infinitary rewr ...
This paper studies Markov decision processes (MDPs) from the categorical perspective of coalgebra and algebra. Probabilistic systems, similar to MDPs but without rewards, have been extensively studied, also coalgebraically, from the perspective of program semantics. In this paper ...
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-player games. Semantically, the generalisation from programs to games is mirrored by moving from Kri ...
We introduce a notion of bisimulation for contingency logic interpreted on neighbourhood structures, characterise this logic as bisimulation-invariant fragment of modal logic and of first-order logic, and compare it with existing notions in the literature.@en
Parikh’s game logic is a PDL-like fixpoint logic interpreted on monotone neighbourhood frames that represent the strategic power of players in determined two-player games. Game logic translates into a fragment of the monotone μ -calculus, which in turn is expressively equivalent ...

Contributed

5 records found

Robots and re-shoring

Should developing countries start to worry?

The world is experiencing a new technological revolution that can have profound implications for the nature of work. Currently, attention is particularly focused on the implication of the increased adoption of industrial robots. Multiple studies predict that especially developing ...
Real investment within non-financial corporations has been steadily decreasing in the last fifty years, as increased payout to shareholders is seen as one of the main causes . Chetty & Saez (2006) argue that taxes on profits, dividend payout and capital gain also have a negative ...
Urban transshipment network is a transshipment solution for last-mile distribution in dense metropolitan regions. In this network, a set of micro hubs located in the urban areas are used for deconsolidating shipments and transferring them from high capacity vehicles to light frei ...
Since the birth of industrial steelmaking in the Netherlands in 1918, the blast furnace production process has been used and is now capable of producing almost 7 million tonnes of crude steel annually. This level of steel production has brought significant employment and economic ...
In the past years there has been increasing awareness about the benefits of collecting and using more sensor data for businesses. This has led firms to look for data outside of their boundaries and use some data commercialization mechanisms such as data brokers, and open or priva ...