Now showing items 1-10 of 2458
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)
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0,1] have been ...
Modeling the Reaction Kinetics During Hydrothermal Carbonization of Waste Biomass
Development of a digestate treatment’s scheme for nutrients recovery and re-use to apply on alpine small/medium size agricultural plants
(Universität für Bodenkultur, 2014)
One of the problems still open in many anaerobic digestion (AD) projects regards digestate’s management, in order to ensure the environmental sustainability of the production cycle. Digestate flows, as well as the original ...
Integrating a web3D interface into an e-learning platform
In the paper, we present an application of Web3D technologies, X3D with X3DOM and HTML5, to enhance our e-learning platform DIEL. DIEL exploits the social translucence concept in order to create a virtual and dynamic ...