Filter by
Mathematical Aspects of Logic Programming Semantics
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distanc…
- Edition
- Ed. 1
- ISBN/ISSN
- 1439829624, 9781439829622
- Collation
- -
- Series Title
- -
- Call Number
- -
Ars Edendi Lecture Series, vol. IV
"The Ars Edendi Lectures have been organized by the research programme at Stockholm University funded by Riksbankens Jubileumsfond during the years 2008-2015, with a focus on editorial methods for dynamic textual traditions of medieval Greek and Latin texts. This fourth volume gathers contributions both on the fundamentals of editing, as in Glenn Most ‘What is a critical edition?’, and look…
- Edition
- Vol. 62.0
- ISBN/ISSN
- 9789176350393
- Collation
- -
- Series Title
- -
- Call Number
- -
Tempest
Atari’s 1981 arcade hit Tempest was a “tube shooter” built around glowing, vector-based geometric shapes. Among its many important contributions to both game and cultural history, Tempest was one of the first commercial titles to allow players to choose the game’s initial play difficulty (a system Atari dubbed “SkillStep”), a feature that has since became standard for games of all t…
- Edition
- -
- ISBN/ISSN
- 9780472900107
- Collation
- -
- Series Title
- -
- Call Number
- -
Chapter Measures of Pseudorandomness
In the second half of the 1990s Christian Mauduit and András Sárközy [86] introduced a new quantitative theory of pseudorandomness of binary sequences. Since then numerous papers have been written on this subject and the original theory has been generalized in several directions. Here I give a survey of some of the most important results involving the new quantitative pseudorandom measures o…
- Edition
- -
- ISBN/ISSN
- 9783110283600
- Collation
- -
- Series Title
- -
- Call Number
- -
Voiceconet
VOICECONET: A Collaborative Framework for Speech-Based Computer Accessibility with a Case Study for Brazilian Portuguese
- Edition
- -
- ISBN/ISSN
- 9789535108313
- Collation
- -
- Series Title
- -
- Call Number
- -
Toward Computational Processing of Less Resourced Languages
Toward Computational Processing of Less Resourced Languages: Primarily Experiments for Moroccan Amazigh Language
- Edition
- -
- ISBN/ISSN
- 9789535108528
- Collation
- -
- Series Title
- -
- Call Number
- -
Modeling Human-Computer interaction in Smart Spaces
Modeling Human-Computer Interaction in Smart Spaces: Existing and Emerging Techniques
- Edition
- -
- ISBN/ISSN
- 9789537619145
- Collation
- -
- Series Title
- -
- Call Number
- -
Die virtuelle Dimension
Large parts of our culture are characterised by a blurring of corporeal and virtual realities. Computer industry has opened up all sorts of hybrid spaces and has itself, in turn, become a space for uncountable fantasies and expectations. Which are the principles of cultural order depicted by this desire commonly termed cyberspace? In offering novel narratives of modern architecture the author e…
- Edition
- -
- ISBN/ISSN
- 9783205993483
- Collation
- -
- Series Title
- -
- Call Number
- -
Re-engineering the Uptake of ICT in Schools
Information Systems and Communication Service; Education, general
- Edition
- -
- ISBN/ISSN
- 9783319193656
- Collation
- -
- Series Title
- -
- Call Number
- -
Sistemi Embedded
The explosion of the market linked to mobile telephony, automation, home automation, infotainment systems and automatic driving, the design of drones and 3D printers have brought to the fore the interest in "embedded" technologies. In recent years there has been a progressive increase in the demand for skills in this sector, both in the professional / industrial area and for the community of en…
- Edition
- -
- ISBN/ISSN
- 9788867056583
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography