Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Petr Hájek on Mathematical Fuzzy Logic
This volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on Hájek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of Hájek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic. Articles in the volume also focus on the treatment of vagueness, building connections between Hájek's favorite fuzzy logic and linguistic models of vagueness....
Rethinking Nature
This textbook provides an overview of different ways of conceptualising nature in epistemological terms, reflecting the tensions between the polarities of humans as masters or protectors of nature, or as part of or outside of nature.
Metamathematics of First-Order Arithmetic
A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.
Advances and Technical Standards in Neurosurgery
Advances J. Maarrawi, P. Mertens, R. Peyron, L. Garcia-Larrea, M. Sindou: Functional exploration for neuropathic pain. - Z. H. Rappaport: The neuroscientific foundations of free will. - A. Hejcl, P. Jendelova, E. Sykova: Experimental reconstruction of the injured spinal cord. - M. Visocchi: Advances in video-assisted anterior surgical approach to the craniovertebral junction. Technical Standards N. Akalan: Myelomeningocele (Open spina bifida): Surgical management. - M. Stoffel, C. Stüer, F. Ringel, B. Meyer: Treatment of infections of the spine. - I. Massimi, F. Novegno, C. di Rocco: Chiari Type 1 malformation in children.
Intelligent Decision Technologies 2017
The volume presents a collection of peer-reviewed articles from the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT-17), held in Vilamoura, Algarve, Portugal on 21–23 June 2017. The conference addressed critical areas of computer science, as well as promoting knowledge transfer and the generation of new ideas in the field of intelligent decision making, project management and data analysis. The range of topics addressed includes methods of classification, prediction, data analysis, decision support, modeling, social media and many more in such diverse areas as finance, linguistics, management and transportation.
Recent Progress in General Topology II
The book presents surveys describing recent developments in most of the primary subfields of General Topology and its applications to Algebra and Analysis during the last decade. It follows freely the previous edition (North Holland, 1992), Open Problems in Topology (North Holland, 1990) and Handbook of Set-Theoretic Topology (North Holland, 1984). The book was prepared in connection with the Prague Topological Symposium, held in 2001. During the last 10 years the focus in General Topology changed and therefore the selection of topics differs slightly from those chosen in 1992. The following areas experienced significant developments: Topological Groups, Function Spaces, Dimension Theory, Hy...
Applied General Systems Research
This volume consists of a selection of papers presented at the International Conference on Applied General Systems Research: Recent Developments and Trends which was held on the campus of the State University of New York at Binghamton in August 15-19, 1977, under the sponsorship of the Special Panel on Systems Science of the NATO Scientific Affairs Division. General systems research is a fairly new field which has been developing in the course of the last two or three decades. In my op~n10n, it can be best described as a movement which involves the study of all structural and context independent aspects of problem solving. As such, it is cross-disciplinary in nature and, in this sense, it mi...
Uncertain Information Processing In Expert Systems
Uncertain Information Processing in Expert Systems systematically and critically examines probabilistic and rule-based (compositional, MYCIN-like) systems, the two most important families of expert systems dealing with uncertainty. The book features a detailed introduction to probabilistic systems (including methods using graphical models and methods of knowledge integration), an analysis of compositional systems based on algebraic considerations, an application of graphical models, and the Dempster-Shafer theory of evidence and its use in expert systems. The book will be useful to anyone working in artificial intelligence, statistical computing, symbolic logic, and expert systems.
Mechanizing Hypothesis Formation
Hypothesis formation is known as one of the branches of Artificial Intelligence, The general question of Artificial IntelligencE' ,"Can computers think?" is specified to the question ,"Can computers formulate and justify hypotheses?" Various attempts have been made to answer the latter question positively. The present book is one such attempt. Our aim is not to formalize and mechanize the whole domain of inductive reasoning. Our ultimate question is: Can computers formulate and justify scientific hypotheses? Can they comprehend empirical data and process them rationally, using the apparatus of modern mathematical logic and statistics to try to produce a rational image of the observed empiric...
