Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
This text developed out of our experiences teaching courses covering the formal semantics of programming languages. Independently we both developed laboratory exercises implementing small programming languages in Prolog following denotational definitions. Prolog proved to be an excellent tool for illustrating the formal semantics of programming...
Grey Information: Theory and Practical Applications (Advanced Information and Knowledge Processing)
Grey Information: Theory and Practical Applications (Advanced Information and Knowledge Processing)
This book is a crystallization of the authors' work over the last twenty-five years. The book covers the latest advances in grey information and systems research, providing a state-of-the-art overview of this important field. Covering the theoretical foundation, fundamental methods and main topics in grey information and systems research, this book...
Machine Learning, Neural and Statistical Classification (Ellis Horwood Series in Artificial Intelligence)
Machine Learning, Neural and Statistical Classification (Ellis Horwood Series in Artificial Intelligence)
The aim of this book is to provide an up-to-date review of different approaches to classification,
compare their performance on a wide range of challenging data-sets, and draw
conclusions on their applicability to realistic industrial problems.

Before describing the contents, we first need to define what we mean by
...
An Introduction to Distributed Algorithms
An Introduction to Distributed Algorithms
"Barbosa makes the otherwise difficult subject of distributed algorithms very enjoyable and attractive to both students and researchers. The leading intuitive discussion of each algorithm is so very well organized and clearly written that a reader can, without the slightest effort, have a clear picture of it. An ideal textbook for an...
Model Driven Architecture and Ontology Development
Model Driven Architecture and Ontology Development

Defining a formal domain ontology is generally considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly ever done, as ontologies rely on well-defined and semantically powerful AI concepts...

Formal Ontology in Information Systems:  Proceedings of the Fourth International Conference (FOIS 2006), Volume 150
Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006), Volume 150
Since ancient times, ontology, the analysis and categorisation of what exists, has been fundamental to philosophical enquiry. But, until recently, ontology has been seen as an abstract, purely theoretical discipline, far removed from the practical applications of science. However, with the increasing use of sophisticated computerised information...
Secure Systems Development with UML
Secure Systems Development with UML
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness.

Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML...

Quantum Approach to Informatics
Quantum Approach to Informatics
An essential overview of quantum information

Information, whether inscribed as a mark on a stone tablet or encoded as a magnetic domain on a hard drive, must be stored in a physical object and thus made subject to the laws of physics. Traditionally, information processing such as computation occurred in a framework governed by laws of classical...

Computation Engineering: Applied Automata Theory and Logic
Computation Engineering: Applied Automata Theory and Logic

The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge. Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity...

Semantic Management of Middleware (Semantic Web and Beyond)
Semantic Management of Middleware (Semantic Web and Beyond)
"Middleware can largely ease the heterogeneity and increasing complexity of the distributed information systems. … Realising this central issue, this book deals with the semantic aspect of middleware … . The uniqueness of the book is the presentation of taxonomies of various ontologies … . The book has addressed the...
Modelling and Reasoning with Vague Concepts
Modelling and Reasoning with Vague Concepts
Vagueness is central to the flexibility and robustness of natural language descriptions. Vague concepts are robust to the imprecision of our perceptions, while still allowing us to convey useful, and sometimes vital, information. The study of vagueness in Artificial Intelligence (AI) is therefore motivated by the desire to incorporate this...
Probability and Schrodinger's Mechanics
Probability and Schrodinger's Mechanics

The presentation and interpretation of (non-relativistic) quantum mechanics is a very well-worked area of study; there have to be very good reasons for adding to the literature on this subject.

My reasons are (obviously) that I am far from satisfied with much of the published work and find difficulties with some points, in
...

unlimited object storage image
Result Page: 58 57 56 55 54 53 52 51 50 49 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy