159 citations
- Hasselt UniversityBE3 papers
- Indiana University BloomingtonUS2 papers
- University of Alabama at BirminghamUS2 papers
- Grodno State Medical UniversityBY1 paper
- Humboldt-Universität zu BerlinDE1 paper
- Instituto Tecnológico de Buenos Aires (ITBA)AR1 paper
- Massachusetts Institute of TechnologyUS1 paper
- Universidad de Buenos AiresAR1 paper
- University of AntwerpBE1 paper
- University of WarsawPL1 paper
- Utrecht UniversityNL1 paper
- Vrije Universiteit BrusselBE1 paper
4 papers · 1 filter
The semijoin algebra and the guarded fragment
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
The semijoin algebra is the variant of the relational algebra obtained by replacing the join operator by the semijoin operator. We discuss some interesting connections between the…
Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery
Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
Two natural decision problems regarding the XML query language XQuery are well-definedness and semantic type-checking. We study these problems in the setting of a relational fragme…
Deformation theory of abelian categories
Wenty T. Lowen, Michel Van den Bergh
In this paper we develop the basic infinitesimal deformation theory of abelian categories. This theory yields a natural generalization of the well-known deformation theory of algeb…
Exact microscopic analysis of a thermal Brownian motor
C. Van den Broeck, R. Kawai, P. Meurs
We study a genuine Brownian motor by hard disk molecular dynamics and calculate analytically its properties, including its drift speed and thermal conductivity, from microscopic th…