Now showing items 1-10 of 539
The Complexity of Clausal Fragments of LTL
We introduce and investigate a number of fragments of propositional temporal logic LTL over the flow of time (Z, <). The fragments are defined in terms of the available temporal operators and the structure of the clausal ...
Vernunft allein schafft keine Interkulturalität: Auf den Spuren eines Bildungsvisionärs
(Edizioni Alpha Beta, 2013)
Visitors of two types of museums: A segmentation study
Market segmentation comprises a wide range of measurement tools that are useful for the sake of sup- porting marketing and promotional policies also in the sector of cultural economics. This paper aims to contribute to the ...
Cloning, expression, purification, crystallization and preliminary X-ray analysis of EaLsc, a levansucrase from Erwinia amylovora
(International Union of Crystallography, 2013)
The Gram-negative bacterium Erwinia amylovora is a destructive pathogen of Rosaceae. During infection, E. amylovora produces the exopolysaccharide levan, which contributes to the occlusion of plant vessels, causing the ...
ISOGA: A system for geographical reachability analysis
In this paper, we present a web-based system, termed ISOGA, that uses isochrones to perform geographical reachability analysis. An isochrone in a spatial network covers all space points from where a query point is reachable ...
Customers’ online shopping preferences in mass customization
Mass customization has become important to business because of the difficulties for customers in finding what they want despite an increase in product variety for many categories over the past decades. The emergence of ...