Evifa-Portal

Treffer pro Seite

Treffer 1 - 5 | 5 Treffer

Sortierung

Online-Ressource

Safeguards in a World of Ambient Intelligence (2008)

Wright, David [VerfasserIn] ; Friedewald, Michael [VerfasserIn] ; Punie, Yves [VerfasserIn] ; [weitere]

Dordrecht : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

ISBN: 9781402066627

Sprache: Englisch

Seiten: 1 Online-Ressource (319 Seiten)

Ausgabe: Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web

Serie: The International Library of Ethics, Law and Technology 1

Serie: The international library of ethics, law and technology

RVK:

SR 850

Schlagwort(e): Computer science ; Information systems ; Computers Law and legislation ; Economics

Kurzfassung: Aims to warn policy-makers, industry, academia, civil society organisations, the media and the public about the threats and vulnerabilities facing our privacy, identity, trust, security and inclusion in the rapidly approaching world of ambient intelligence (AmI)

Beschreibung / Inhaltsverzeichnis: Front Matter; Introduction; The brave new world of ambient intelligence; Dark scenarios; Threats and vulnerabilities; Safeguards; Recommendations for stakeholders; Conclusions; Back Matter;

Anmerkung: Includes bibliographical references (p. 273-286) and index , Electronic reproduction; Available via World Wide Web

DOI: 10.1007/978-1-4020-6662-7

URL: Volltext (lizenzpflichtig)

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

MPI Ethno. Forsch.

Online-Ressource

Dynamic Epistemic Logic (2007)

Ditmarsch, Hans van ; Hoek, Wiebe van der ; Kooi, Barteld

Dordrecht : Springer Science+Business Media B.V

zur Merkliste hinzufügen auf der Merkliste

Details

ISBN: 9781402058394

Sprache: Englisch

Seiten: Online-Ressource , v.: digital

Ausgabe: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law

Serie: Synthese Library 337

RVK:

CC 2500

RVK:

CC 2600

RVK:

ST 300

Schlagwort(e): Genetic epistemology ; Logic ; Computer science ; Artificial intelligence ; Philosophy (General) ; Epistemische Logik

Kurzfassung: Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction' informs the reade

Beschreibung / Inhaltsverzeichnis: Front Matter; Introduction; Epistemic Logic; Belief Revision; Public Announcements; Epistemic Actions; Action Models; Completeness; Expressivity; Back Matter;

Anmerkung: Description based upon print version of record

DOI: 10.1007/978-1-4020-5839-4

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

MPI Ethno. Forsch.

Online-Ressource

Reasoning Robots : The Art and Science of Programming Robotic Agents (2005)

Thielscher, Michael

Dordrecht : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

ISBN: 9781402030697

Sprache: Englisch

Seiten: Online-Ressource , v.: digital

Ausgabe: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web

Serie: Applied Logic Series 33

RVK:

ST 308

RVK:

CC 5200

Schlagwort(e): Philosophy (General) ; Technology Philosophy ; Computer science ; Artificial intelligence ; Roboter ; Programmierung ; Prädikatenlogik ; Stufe 1

Kurzfassung: "The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains an introduction to a programming method and system based on this model. The mathematical model, known as the ""Fluent Calculus'', describes how to use classical first-order logic to set up symbolic models of dynamic worlds and to represent knowledge of actions and their effects. Robotic agents use this knowledge and their reasoning facilities to make decisions when following high-level, long-term strategies. The book covers the issues of reasoning about sensor input, acting under incomplete knowledge and uncertainty, planning, intelligent troubleshooting, and many other topics. The mathematical model is supplemented by a programming method which allows readers to design their own reasoning robotic agents. The usage of this method, called ""FLUX'', is illustrated by many example programs. The book includes the details of an implementation of FLUX using the standard programming language PROLOG, which allows readers to re-implement or to modify and extend the generic system. The design of autonomous agents, including robots, is one of the most exciting and challenging goals of Artificial Intelligence. Reasoning robotic agents constitute a link between knowledge representation and reasoning on the one hand, and agent programming and robot control on the other. The book provides a uniform mathematical model for the problem-driven, top-down design of rational agents, which use reasoning for decision making, planning, and troubleshooting. The implementation of the mathematical model by a general PROLOG program allows readers to practice the design of reasoning robotic agents. Since all implementation details are given, the generic system can be easily modified and extended."

Beschreibung / Inhaltsverzeichnis: Special Fluent Calculus; Special FLUX; General Fluent Calculus; General FLUX; Knowledge Programming; Planning; Nondeterminism; Imprecision*; Indirect Effects: Ramification Problem*; Troubleshooting: Qualification Problem; Robotics

Anmerkung: Includes bibliographical references (p. [313]-323) and index , Electronic reproduction; Available via World Wide Web

DOI: 10.1007/1-4020-3069-X

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

MPI Ethno. Forsch.

Online-Ressource

Brute Force : Cracking the Data Encryption Standard (2005)

Curtin, Matt

New York, NY : Springer New York

zur Merkliste hinzufügen auf der Merkliste

Details

ISBN: 9780387271606

Sprache: Englisch

Seiten: Online-Ressource (X, 291 p, digital)

Serie: SpringerLink

Serie: Bücher

Paralleltitel: Buchausg. u.d.T. Curtin, Matt Brute force

RVK:

ST 276

Schlagwort(e): Science (General) ; Data encryption (Computer science) ; Coding theory ; Computer science ; Mathematics ; Popular Science ; Science (General) ; Data encryption (Computer science) ; Coding theory ; Computer science ; Mathematics ; Kryptologie ; Kryptologie ; Computersicherheit

Kurzfassung: In 1996, the supposedly uncrackable US federal encryption system was broken. In this captivating and intriguing book, Matt Curtin charts the rise and fall of DES and chronicles the efforts of those who were determined to master it.

Kurzfassung: "In the 1960s, it became increasingly clear that more and more information was going to be stored on computers, not on pieces of paper. With these changes in technology and the ways it was used came a need to protect both the systems and the information. For the next ten years, encryption systems of varying strengths were developed, but none proved to be rigorous enough. In 1973, the NBS put out an open call for a new, stronger encryption system that would become the new federal standard. Several years later, IBM responded with a system called Lucifer that came to simply be known as DES (data encryption standard). The strength of an encryption system is best measured by the attacks it is able to withstand, and because DES was the federal standard, many tried to test its limits. (It should also be noted that a number of cryptographers and computer scientists told the NSA that DES was not nearly strong enough and would be easily hacked.) Rogue hackers, usually out to steal as much information as possible, tried to break DES. A number of ""white hat"" hackers also tested the system and reported on their successes. Still others attacked DES because they believed it had outlived its effectiveness and was becoming increasingly vulnerable. The sum total of these efforts to use all of the possible keys to break DES over time made for a brute force attack.In 1996, the supposedly uncrackable DES was broken. In this captivating and intriguing book, Matt Curtin charts DES's rise and fall and chronicles the efforts of those who were determined to master it."

Beschreibung / Inhaltsverzeichnis: Working lateKeeping secrets -- Data encryption standard -- Key length -- Discovery -- RSA crypto challenges -- Congress takes note -- Supercomputer -- Organizing DESCHALL -- Needle in a haystack -- Spreading the word -- The race is on -- Clients -- Architecture -- Progress -- Trouble -- Milestones -- Gateways -- Network -- Download -- Short circuit -- DESCHALL community -- Proposal -- In the lead -- Recruiting -- Threats -- Overdrive -- Distributed -- An obstacle -- Export -- Getting word out -- Salvos in the crypto wars -- New competition -- Netlag -- Terminal velocity -- Duct tape -- Showdown in the senate -- Strong cryptography makes the world a safer place -- Aftermath -- Staying the course -- In retrospect.

Anmerkung: Includes bibliographical references (p. 283-285) and index

DOI: 10.1007/b138699

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Cover

URL: Inhaltsverzeichnis

URL: Inhaltstext

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

MPI Ethno. Forsch.

Online-Ressource

Spoken multimodal human-computer dialogue in mobile environments : [based on publications from the ISCA Tutorial and Research Workshop on Multi-Modal Dialogue in Mobile Environments held at Kloster Irsee, Germany, in 2002] (2005)

Minker, Wolfgang [Hrsg.] ; Bühler, Dirk Michael [Hrsg.] ; Dybkjær, Laila [Hrsg.]

Dordrecht : Springer Netherlands

zur Merkliste hinzufügen auf der Merkliste

Details

ISBN: 9781402030758

Sprache: Englisch

Seiten: Online-Ressource (XXVIII, 403 p, digital)

Ausgabe: Springer eBook Collection. Humanities, Social Science and Law

Serie: Text, Speech and Language Technology 28

Serie: SpringerLink

Serie: Bücher

Paralleltitel: Buchausg. u.d.T. Spoken multimodal human-computer dialogue in mobile environments

RVK:

ST 252

RVK:

ST 278

Schlagwort(e): Linguistics ; Multimedia systems ; Computer science ; Translators (Computer programs) ; Computational linguistics ; Aufsatzsammlung ; Mensch ; Computer ; Dialog ; Mensch-Maschine-Kommunikation ; Mobile Computing

Kurzfassung: Issues in Multimodal Spoken Dialogue Systems and Components -- Multimodal Dialogue Systems -- Speech Recognition Technology in Multimodal/Ubiquitous Computing Environments -- A Robust Multimodal Speech Recognition Method using Optical Flow Analysis -- Feature Functions for Tree-Based Dialogue Course Management -- A Reasoning Component for Information-Seeking and Planning Dialogues -- A Model for Multimodal Dialogue System Output Applied to an Animated Talking Head -- System Architecture and Example Implemesntations -- Overview of System Architecture -- XISL: A Modality-Independent MMI Description Language -- A Path to Multimodal Data Services for Telecommunications -- Multimodal Spoken Dialogue with Wireless Devices -- The Smartkom Mobile Car Prototype System for Flexible Human-Machine Communication -- LARRI: A Language-Based Maintenance and Repair Assistant -- Evaluation and Usability -- Overview of Evaluation and Usability -- Evaluating Dialogue Strategies in Multimodal Dialogue Systems -- Enhancing the Usability of Multimodal Virtual Co-drivers -- Design, Implementation and Evaluation of the SENECA Spoken Language Dialogue System -- Segmenting Route Descriptions for Mobile Devices -- Effects of Prolonged Use on the Usability of a Multimodal Form-Filling Interface -- User Multitasking with Mobile Multimodal Systems -- Speech Convergence with Animated Personas

Kurzfassung: This book is based on publications from the ISCA Tutorial and Research Workshop on Multi-Modal Dialogue in Mobile Environments held at Kloster Irsee, Germany, in 2002. The workshop covered various aspects of devel- ment and evaluation of spoken multimodal dialogue systems and components with particular emphasis on mobile environments, and discussed the state-- the-art within this area. On the development side the major aspects addressed include speech recognition, dialogue management, multimodal output gene- tion, system architectures, full applications, and user interface issues. On the evaluation side primarily usability evaluation was addressed. A number of high quality papers from the workshop were selected to form the basis of this book. The volume is divided into three major parts which group together the ov- all aspects covered by the workshop. The selected papers have all been - tended, reviewed and improved after the workshop to form the backbone of the book. In addition, we have supplemented each of the three parts by an invited contribution intended to serve as an overview chapter

DOI: 10.1007/1-4020-3075-4

URL: lizenzpflichtig

URL: Cover

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

BSZ

MPI Ethno. Forsch.

Treffer 1 - 5 | 5 Treffer