Refine Results
Sort By
From
To
Page 2
Page 2
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
A General introduction to data analytics
A guide to the principles and methods of data analysis that does not require knowledge of statistics or programming. A guide to the reasoning behind data mining techniques. A unique illustrative example that extends throughout all the chapters. Exercises at the end of each chapter and larger projects at the end of each of the text’s two main parts
Analytical approaches for reinforced concrete
Applies deductive reasoning, logic and mathematics to RC. Laying out, deductively, the principles of RC, it encourages researchers to re-imagine and innovate using a solid conceptual framework. Sections consider the reasoning behind key theories, as well as problems that remain unsolved.
Complexity management : Optimizing product architecture of Industrial products
This book presents a complexity management model that is based on the reasoning that product architecture determines to a considerable extent how external complexity is translated into physical products. The model demonstrates a procedure to optimize a product’s architecture and is applied to several industrial products.
Building information modeling : BIM in current and future practice
Thought leaders from universities and professional practice composed essays exploring BIM's potential to improve the products and processes of architectural design including the structure and content of the tools themselves. These authors provide insights for assessing the current practice and research directions of BIM and speculate about its future. Design Thinking and BIM BIM Analytics Comprehensive BIM Reasoning with BIM Professional BIM BIM Speculations
Mathematical Modelling for Sustainable Development
Mathematics needs Sustainable Development. When science was gradually reinvented in European medieval societies, it was legitimised as contributing to the disclosure of God’s divine creation. The conflicts that emerged became well known as a result of the clash between Galileo and the Church. Science found a new legitimacy through recognition that it was a powerful force against superstition. In the Enlightenment the argument was pushed forward by attributing Progress to the advancement of science: science could produce a better world by promoting rationality. In our modern society, science has become intimately linked to technology. Science for its own sake unfortunately rarely has positive outcomes in terms of research grant applications. Meanwhile, science and technology, and the progress they are supposed to produce, meet with wide scale scepticism. We all know of the current global problems: climate change, resource depletion, a thinning ozone layer, space debris, declining biodiversity, malnutrition, dying ecosystems, global inequity, and the risk of unprecedented nuclear wars
Matematica si parte! : Nozioni di base ed esercizi per il primo anno di Ingegneria = Mathematics, let's go! : Basics and exercises for the first year of Engineering
This manual has been created to allow future engineering students to successfully face their studies. Some basic concepts in mathematics are presented, generally already learned before entering the University. It has been found that not all students have a complete mastery of this set of fundamental notions: therefore this manual provides useful support, in the form of both exercises and theoretical notions. The future student will be able to choose the chapters that interest him most, in order to verify his ability to solve problems such as "Review problems", using his own reasoning skills and knowledge.
Logic, Thought and Action
Contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision.
Logic in Reality
The interface of logic, philosophy and science. It is intended for readers with interest and/or current involvement in process philosophy, ontology and in the philosophy or metaphysical aspects of science, especially, quantum physics, biology and cosmology. The content requires competence in reasoning, but not detailed knowledge of the fields discussed.
Le raisonnement bayésien : Modélisation et inférence = Bayesian reasoning : Modeling and inference
Describes in detail the practice of the Bayesian statistical approach using many examples chosen for their educational interest. The first part gives the general principles of statistical modeling making it possible to supervise but also to come to the aid of the imagination of the apprentice modeler. By examining examples of increasing difficulty, the reader forges the keys to building their own model. The second part presents the most useful calculation algorithms for estimating the unknowns of the model. Each inference method is presented and illustrated by numerous application cases.
Knowledge Representation Techniques : A Rough Set Approach
The basis for the material in this book centers around a long term research project with autonomous unmanned aerial vehicle systems. One of the main research topics in the project is knowledge representation and reasoning. The focus of the research has been on the development of tractable combinations of approximate and nonmonotonic reasoning systems. The techniques developed are based on intuitions from rough set theory. Efforts have been made to take theory into practice by instantiating research results in the context of traditional relational database or deductive database systems.
Knowing Art : Essays in Aesthetics and Epistemology
Knowing Art collects ten original essays written by leading philosophers who distill and build upon recent work at the intersection of aesthetics and epistemology. Specific topics addressed include the objectivity of critical knowledge, the quality of critical testimony, the roles of principles and perception in critical reasoning, phenomenal knowledge of what a work of art is like, the acquisition of factual information and psychological understanding from fictions, and the limits of images as sources of historical evidence. In addressing these topics, the volume also explores the challenges that art poses for theories of knowledge as well as the challenges that artistic knowledge poses to traditional views about art.
Classic Works on the Dempster-Shafer Theory of Belief Functions
This book brings together a collection of classic research papers on the Dempster-Shafer theory of belief functions. By bridging fuzzy logic and probabilistic reasoning, the theory of belief functions has become a primary tool for knowledge representation and uncertainty reasoning in expert systems.
Character Evidence : An Abductive Theory
This book is on evidence for character judgments, This book answers the question using a model of abductive reasoning, commonly called inference to the best explanation. The methodology of the book derives from recent work on models of reasoning in argumentation theory and artificial intelligence. The aim is not just to show how character judgments are made, but to show how they should be properly be made based on sound reasoning, in order to avoid errors and superficial judgments of a kind that are common.
Case-Based Reasoning on Images and Signals
This book is the first edited book that deals with the special topic of signals and images within Case-Based Reasoning (CBR). It offers different learning capabilities, for all phases of a signal-interpreting system, that satisfy different needs during the development process of a signal-interpreting system.
Case based design : Applications in process engineering
The book by Professors is an impressive and in-depth treatment of the essence of the case–based reasoning strategy and case-based design dwelling upon the algorithmic facet of the paradigm, the authors provided an excellent applied research framework by showing how this development can be effectively utilized in real word complicated environment of process engineering.
Biosolids engineering and management
Biosolids Engineering and Management, is a collection of methods of practical design, calculation and numerical examples that illustrate how organized, analytical reasoning can lead to the discovery of clear, direct solutions, especially in the areas of biosolids management, treatment, disposal and beneficial use. The book’s including sludge and biosolids transport, pumping and storage, sludge conversion to biosolids, chlorination, stabilization, regulatory requirements, costs, agricultural land application, landfill, ocean disposal, combustion, incineration and sludge treatment process selection.
Bioinformatics Using Computational Intelligence Paradigms
Bioinformatics as well as Computational Intelligence are undoubtedly remarkably fast growing fields of research and real-world applications with enormous potential for current and future developments. "Bioinformatics using Computational Intelligence Paradigms" contains recent theoretical approaches and guiding applications of biologically inspired information processing systems(Computational Intelligence) against the background of bioinformatics. This carefully edited monograph combines the latest results of Bioinformatics and Computational Intelligence and offers a promising cross-fertilisation and interdisciplinary work between these growing fields.
Being apart from reasons : The role of reasons in public and private moral decision-making
The book presents objections to the most common response given by contemporary legal and political theorists to the moral complexity of decision-making in modern societies, namely: the attempt to release public agents from their argumentative burden by insulating a particular set of reasons from the general.
Arnolds Problems
Arnold's Problems contains mathematical problems.The invariable peculiarity of these problems was that Arnold did not consider mathematics a game with deductive reasoning and symbols, but a part of natural science (especially of physics), i.e. an experimental science. Many of these problems are still at the frontier of research today and are still open, and even those that are mainly solved keep stimulating new research, appearing every year in journals all over the world.The second part of the book is a collection of commentaries, mostly by Arnold's former students, on the current progress in the problems' solutions (featuring a bibliography inspired by them).
