Learn IT - Books tags formal

Modelling and Reasoning with Vague Concepts

Springer, 2006

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...

ASP Made Simple (Made Simple Programming)

Made Simple, 2003

ASP Made Simple provides a brief introduction to ASP for the person who favours self teaching and/or does not have expensive computing facilities to learn on. The book will demonstrate how the principles of ASP can be learned with an ordinary PC running Personal Web Server, MS Access and a general text editor like Notepad.

After working through...

Curves and Singularities

Cambridge University Press, 1985

The object of this book is to introduce to a new generation of students an area of mathematics that has received a tremendous impetus during the last twenty years or so from developments in singularity theory.

The differential geometry of curves, families of curves and surfaces in Euclidean space has fascinated mathematicians and users...

101 Boardroom Problems and How to Solve Them

AMACOM, 2008

Before becoming a consultant on meetings and effective decision making, I was employed as an engineer. My motto then was: Silence is golden. Keeping quiet in meetings was safe and risk-free, and rarely did anyone solicit my ideas anyway. Had I shared my input, however, it might have improved the quality of my team’s decisions and reduced its...

Probability and Schrodinger's Mechanics

World Scientific Publishing, 2003

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...

International Development Assistance and the BRICS (Governing China in the 21st Century)

Palgrave Macmillan, 2019

This book aims to bring together a series of analyses on international development assistance in the BRICS, the group of countries that includes Brazil, Russia, India, China and South Africa. The BRICS states comprise approximately 3 billion people (~40% of the World’s population) and in terms of GDP account for 16.8 trillion...

Principles of Model Checking

MIT Press, 2008

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...

Parallel Algorithm Derivation and Program Transformation

Springer, 1993

Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little...

Foundations of Computing

Thomson Delmar Learning, 1997

It may sound surprising that in computing, a field which develops so fast that the future often becomes the past without having been the present, there is nothing more stable and worthwhile learning than its foundations.

It may sound less surprising that in a field with such a revolutionary methodological impact on all sciences and...

GeoSpatial Semantics: 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011

Springer, 2011

The fourth edition of the International Conference on Geospatial Semantics (GeoS 2011) was held in Brest, France, during May 12–13, 2011.

Geospatial semantics (GEOS) is an emerging research area in the domain of geographic information science. It aims at exploring strategies, computational methods, and tools to support...

Multiple Wiener-Itô Integrals: With Applications to Limit Theorems

Springer, 2013

The goal of this Lecture Note is to prove a new type of limit theorems for normalized sums of strongly dependent random variables that play an important role in probability theory or in statistical physics. Here non-linear functionals of stationary Gaussian fields are considered, and it is shown that the theory of Wiener–Itô...

Be Your Own Coach: Your Pathway to Possibility (Crisp Fifty Minute Series)

Crisp Learning, 2000

This book will show you how to recognize opportunities for personal and professional growth, define commitments to yourself and keep them, develop greater self-confidence and self-awareness, and understand the power of your feelings, moods, and reactions. It is possible for you to develop your own approach to learning and excel without the...

Result Page: 57 56 55 54 53 52 51 50 49 48 47