Informatik (15 201 Artikel)

In "Bard die Google KI" wird ein umfassender Blick auf die transformative Kraft der Künstlichen Intelligenz im Bereich der Textgenerierung geworfen. Das Buch ist in mehrere Kapitel unterteilt, die ...

On the structure of algorithmic problems.- A mathematical model of digital computers.- On some recent problems concerning developmental languages.- Fault-tolerance and stability of fuzzy-state auto...

In der Produkt-, System- und Softwareentwicklung spielt der professionelle Umgang mit Anforderungen eine entscheidende Rolle für den Erfolg der gesamten Entwicklung und für das entstehende Produkt....

In der Produkt-, System- und Softwareentwicklung spielt die professionelle Umsetzung im Bereich des Konfigurationsmanagements eine entscheidende Rolle für den Erfolg der gesamten Entwicklung und fü...

Allgemeines.- EXCEL -- Startparameter.- Hotline von Microsoft.- Allgemeine Werkzeuge.- Analyse: einen Zellinhalt aufteilen.- Ansichten einer Tabelle.- Arbeitsmappe einrichten.- Ausrichten des Zelle...

Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Technischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen...

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is p...

Ziel dieses Buches ist es, Managern Argumente und Entscheidungshilfen für die Einführung effizienter Techniken der Softwareentwi- lung zu geben, und Praktiker von der Notwendigkeit effizienter Soft...

We hope that all readers will find the papers included in this volume of interest. All were presented at the 14th BCS IRSG Research Colloquium held at Lancaster University on 13th-14th April 1992. ...

In the last few years, a large number of books on microprocessors have appeared on the market. Most of them originated in the context of the 4-bit and the 8-bit microprocessors and their comparativ...

Der SAM-Experte Torsten Groll hat über 35 Jahre Erfahrung in der IT mit Schwerpunkten im Lizenz- sowie IT- und Software Asset Management, dem Erstellen und Umsetzen von SAM-Strategien und -Prozesse...

Mit diesem Werk wird die VBA-Programmierung in Microsoft Excel® von hinten aufgezäumt. GaloppSim ist ein komplexer Galoppsimulator, der in einem VBA-Projekt entwickelt ist und hier Stück für Stück ...

2084 dürften Computer sehr viel intelligenter sein als Menschen. Was werden die Folgen sein, werden Computer unser geistiges Leben dominieren? Welche Rolle kommt dem Menschen dann noch zu? Das Buch...

This book describes the evolving CBRN risk landscape and highlights advances in the "core" CBRN technologies, including when combined with (improvised) explosive devices (CBRNe threats). It analyse...

This book describes the evolving CBRN risk landscape and highlights advances in the "core" CBRN technologies, including when combined with (improvised) explosive devices (CBRNe threats). It analyse...

Laura & ST unterstützen seit vielen Jahren Individuen, Teams und Unternehmen bei (agilen) Veränderungsprojekten. Manchmal war das sehr enttäuschend und frustrierend. Als eigentherapeutische Maßnahm...

History, Achievements, Perspectives

Bildverstehen.- Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse.- Problemlösen.- Probabilities in Game-Playing: Possible Meanings and Applications.- Knowledge Base Management.-...

Traditional, Deep Learning, and Explainable Machine Learning Methods

Traditional, Deep Learning, and Explainable Machine Learning Methods

Complexity and Quality in Digitisation

Invited Presentations.- Cumuli, Panorama, and Vanguard Project Overview.- Dualizing Scene Reconstruction Algorithms.- Multiview Relations and Correspondence Search.- Geometry of Multiple Affine Vie...

Der umfassende Praxiseinstieg: Übungsbeispiele, Aufgaben, Testfragen

Der umfassende Praxiseinstieg: Übungsbeispiele, Aufgaben, Testfragen

Druck.- Raster.- Auflösung.- Vektoren, Pixel, PostScript und PDF/X.- Farbsysteme.- Papier, Farbe und ISO 12647.- Farbprofile.- Colormanagement.- ISO-Profile und MedienStandard Druck.- Farbprofile u...

Dieser Band ist der Bericht von einer Tagung zum Thema Verarbeitung natürlicher Sprache am Computer. Er enthält Lang- und Kurzbeiträge führender Wissenschaftler aus dem deutschsprachigen Raum sowie...

This volume collects together refereed versions of twenty-five papers presented at the 4th Neural Computation and Psychology Workshop, held at University College London in April 1997. The "NCPW" wo...

This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson Co...

1 (Hrsg. J. Retti).- Eingeladene Hauptvorträge.- Temporal Issues in Qualitative Reasoning.- Current Issues in Natural Language Understanding.- Equational Theorem Proving and Rewrite Rule Systems.- ...

50 Jahre Lehre in Informatik an den drei Münchner Universitäten (Ludwig-Maximilians-Universität, Technische Universität München und Universität der Bundeswehr Neubiberg) sind der Anlass für diese S...

Historical and Philosphical Issues.- AI in the 21st Century - With Historical Reflections.- The Physical Symbol System Hypothesis: Status and Prospects.- Fifty Years of AI: From Symbols to Embodime...

Second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019, Proceedings

This book constitutes the proceedings of the First International Conference on 5G for Future Wireless Networks, 5GWN 2017, held in Beijing, China, in April 2017. The 64 full papers were selected fr...

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal meth...

This book constitutes the proceedings of the Third International Conference on 6G for Future Wireless Networks, 6GN 2020, held in Tianjin, China, in August 2020. The conference was held virtually d...

6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part I

The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation,...

I Contents.- Eingeladene Beiträge/Invited Talks.- Knowledge-based Generation of Illustrated Documents.- On the Complexity of Clause Condensing.- AI und Hypertext/AI and Hypertext.- HESDE -- A Hyper...

Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and Telecommunications Perform...

Connections and higher-order logic.- Commutation, transformation, and termination.- Full-commutation and fair-termination in equational (and combined) term-rewriting systems.- An actual implementat...

Combinators and classes.- Least fixed points revisited.- Infinite normal forms for the ?-calculus.- A survey of some useful partial order relations on terms of the lambda calculus.- ?-Terms as tota...

From this background, the book provides a practical introduction to both object and functional approaches using Scala. These concepts are introduced through practical experience taking the reader b...

This book brings together the insights from three different areas,  ,  , and  , and shows how this new interdisciplinary approach can advance our knowledge about users interacting with diverse sear...

This book brings together the insights from three different areas,  ,  , and  , and shows how this new interdisciplinary approach can advance our knowledge about users interacting with diverse sear...

By looking at the various phenomena of intelligence since the birth of the universe, readers can see that intelligence is a natural phenomenon, similar to other naturalphenomena (e.g., the rolling ...

By looking at the various phenomena of intelligence since the birth of the universe, readers can see that intelligence is a natural phenomenon, similar to other naturalphenomena (e.g., the rolling ...

1. Introduction.- 2. Data base structure.- 3. Direct access devices.- 4. Record processing using hashing methods.- 5. Record processing using tree methods.- 6. Record processing using linked files....

The process of breaking up a physical domain into smaller sub-domains, known as meshing, facilitates the numerical solution of partial differential equations used to simulate physical systems. This...

Interpretation, Inference, and Production in Database Semantics

Interpretation, Inference, and Production in Database Semantics

A Concise Introduction to Decentralized POMDPs

Definitions.- Past Structure.- Lexical analysis.- Syntax analysis.- Name analysis.- Declaration analysis.- Body analysis.- Code selection.- Code assembly.- Interpass topics.- The virtual machine.- ...

This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories...

Requirements, Methods, Implementations

The ecological footprint of our every day activities has become one of the greatest problems facing mankind today. Reducing the environmental footprint of IT, which has become a major contributor t...

Natural Language Processing is the branch of Artificial Intelligence involving language, be it in spoken or written modality. Teaching Natural Language Processing (NLP) is difficult because of its ...

"A Crash Course in Mathematica" is a compact introduction to the program Mathematica, which is widely used in mathematics, as well as in the natural and engineering sciences.

A Developer's Guide to the Semantic Web

A Developer's Guide to the Semantic Web

To enable readers to form their own opinion on these questions, the authors clearly explain individual techniques or methods of AI and relate them to approaches from philosophy, art and neurobiolog...

Mobilising helpers in the event of a flood or letting friends know that you are okay in the event of a terrorist attack - more and more people are using social media in emergency, crisis or disaste...

A Feature-Centric View of Information Retrieval

A Feature-Centric View of Information Retrieval

A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information

This volume comprises a selection of the key papers presented at the Eighth European Knowledge Acquisition Workshop (EKAW '94), held in Hoegaarden, Belgium in September 1994. The book demonstrates ...

A Generative Theory of Relevance

A Generative Theory of Relevance

The purpose of this book is to develop a generative theory of shape that has two properties we regard as fundamental to intelligence -(1) maximization of transfer: whenever possible, new structure ...

Classification of storage access philosophies.- Survey of relevant previous work.- PASCAL /A.- Primitive for the implementation of PASCAL/A.- Design of the memory architecture.- Implementation of p...

A Source Book for the History of Mathematics, but one which offers a different perspective by focusinng on algorithms. With the development of computing has come an awakening of interest in algorit...

Efficient labeling is an important topic in machine learning research as classifiers need labeled data. Whereas unlabeled data is easily gathered, labeling is exhausting, time-consuming, or expensi...

The Hybrid Deliberative Layer (HDL) solves the problem that an intelligent agent faces in dealing with a large amount of information which may or may not be useful in generating a plan to achieve a...

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for ...

From the Cloud to Artificial Intelligence

Guidelines Based on Charles Sanders Peirce

Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, a...

A Machine Learning Based Model of Boko Haram

A Machine Learning Based Model of Boko Haram

1. Overall View of the ACORD Project.- 2. The Construction of Semantic Representations from F-STRUCTUREs.- 3. French Unification Categorial Grammars.- 4. TheControl of UCG Grammars.- 5. Anaphora Re...

A New Perspective on Nonmonotonic Logics

A New Perspective on Nonmonotonic Logics

The 1980's saw the advent of widespread (and potentially damaging) computer virus infection of both personal computer and mainframe systems. The computer security field has been comparatively slow ...

Much of AI research is about problem-solving strategies, and several techniques have been crystalized. One such technique is constraint satisfaction or reasoning based on relations. Constraint-base...

A Perspective on Artificial Intelligence in Manufacturing

A Perspective on Artificial Intelligence in Manufacturing

o memory management units (MMUs)

Understanding a Calculus of Hierarchical Protection Domains

Combining Neural Models and Knowledge Graphs for NLP

Combining Neural Models and Knowledge Graphs for NLP

The Third International Workshop on OpenMP, IWOMP 2007, was held at Beijing,China.This year'sworkshopcontinuedits traditionofbeingthe premier opportunity to learn more about OpenMP, to obtain pract...

A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a 'practical theory' may require some exp...

A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a 'practical theory' may require some exp...

Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific sy...

This book is meant for readers who want to understand GANs without the need for a strong mathematical background. Moreover, it covers the practical applications of GANs, making it an excellent reso...

This book is about quantum computing and quantum algorithms. The book starts with a chapter introducing the basic rules of quantum mechanics and how they can be used to build quantum circuits and p...

To understand the problems in metamodeling, this work presents an investigation of bad smells in metamodels. The core contribution of this work is the reference structure. It enables design, evolut...

In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of ...

This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken fr...