Best Selling Books by Pavel

We all frequently use the word "concept". Yet, do we know what we mean using this word in sundry contexts? Can we say, for example, that there can be several concepts of an object? Or can we state that concepts develop? What type of relation connects concepts with the expressions of a natural language? What is the meaning of an expression? Is Quine''s ''stimulus meaning'' the only possibility of defining meaning? The author of this book (and of "Concepts and Objects", 1998) offers some answers to these (and many other) questions from the viewpoint of transparent intensional logic, which was founded by the late Czech logician Pavel Tich ''y.

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability. Emphasis is on explaining the essence of concepts and the ideas of proofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to more difficult ones. The notes after each section present some formal definitions, theorems and proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who are interested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory.

Modelling forms a vital part of all engineering design, yet many hydraulic engineers are not fully aware of the assumptions they make. These assumptions can have important consequences when choosing the best model to inform design decisions. Considering the advantages and limitations of both physical and mathematical methods, this book will help you identify the most appropriate form of analysis for the hydraulic engineering application in question. All models require the knowledge of their background, good data and careful interpretation and so this book also provides guidance on the range of accuracy to be expected of the model simulations and how they should be related to the prototype. Applications to models include: open channel systems closed conduit flows storm drainage systems estuaries coastal and nearshore structures hydraulic structures. This an invaluable guide for students and professionals.

The new edition of this book detailing the theory of linear-Hilbert space operators and their use in quantum physics contains two new chapters devoted to properties of quantum waveguides and quantum graphs. The bibliography contains 130 new items.

Bioinformatics Algorithms: an Active Learning Approach is one of the first textbooks to emerge from the recent Massive Online Open Course (MOOC) revolution. A light-hearted and analogy-filled companion to the authors'' acclaimed online course (http://coursera.org/course/bioinformatics), this book presents students with a dynamic approach to learning bioinformatics. It strikes a unique balance between practical challenges in modern biology and fundamental algorithmic ideas, thus capturing the interest of students of biology and computer science students alike.Each chapter begins with a central biological question, such as "Are There Fragile Regions in the Human Genome?" or "Which DNA Patterns Play the Role of Molecular Clocks?" and then steadily develops the algorithmic sophistication required to answer this question. Hundreds of exercises are incorporated directly into the text as soon as they are needed; readers can test their knowledge through automated coding challenges on Rosalind (http://rosalind.info), an online platform for learning bioinformatics.The textbook website (http://bioinformaticsalgorithms.org) directs readers toward additional educational materials, including video lectures and PowerPoint slides.

Multi Criteria Decision Making (MCDM) is a generic term for all methods that help people making decisions according to their preferences, in situations where there is more than one conflicting criterion. It is a branch of operational research dealing with finding optimal results in complex scenarios including various indicators, conflicting objectives and criteria. The approach of MCDM involves decision making concerning quantitative and qualitative factors. The importance and success of MCDM are due to the fact that they have successfully dealt with different types of problematics for supporting decision makers such as choice, ranking and sorting, description. Even though, each of the different problematics in MCDM is important, Multi-Criteria Decision-Making Sorting Methods will focus on sorting approaches across a wide range of interesting techniques and research disciplines. The applications which have been and can be solved by these techniques are more and more important in current real-world decision-making problems. Therefore, the book provides a clear overview of MCDM sorting methods and the different tools which can be used to solve real-world problems by revising such tools and characterizing them according to their performance and suitability for different types of problems. The book is aimed at a broad audience including computer scientists, engineers, geography and GIS experts, business and financial management experts, environment experts, and all those professional people interested in MCDM and its applications. The book may also be useful for teaching MCDM courses in fields such as industrial management, computer science, and applied mathematics, as new developments in multi-criteria decision making. - Provides insights into the latest research trends in MCDM sorting methods and fuzzy-based approaches - Focuses on the application of MCDM sorting methods to GIS based problems - Presents engineers, computer scientists and researchers with effective and efficient solutions to real-world problems

This book provides a synthesis of sustainable development, formulating and promoting a lifestyle that would facilitate the reasonable satisfaction of the needs of all people throughout the world, be environmental friendly, and not exceed the carrying capacity of ecosystems. It details the “big picture” of the human story, discussing cultural evolutions and current global issues, including the influence of humans on the environment. The text is, above all, a comprehensive and future-oriented study, mapping the potential opportunities and threats associated with development. It discusses phenomena that are both easily demonstrable and those which are harder to prove.

This volume provides a comprehensive overview of the Czech political past and present. Giving first an overview of Czech history before 1989 and the Velvet Revolution, the authors then analyze the political system and culture that has formed since 1989 against the historical background of political transformation.

This open access book gives a systematic introduction into the spectral theory of differential operators on metric graphs. Main focus is on the fundamental relations between the spectrum and the geometry of the underlying graph. The book has two central themes: the trace formula and inverse problems. The trace formula is relating the spectrum to the set of periodic orbits and is comparable to the celebrated Selberg and Chazarain-Duistermaat-Guillemin-Melrose trace formulas. Unexpectedly this formula allows one to construct non-trivial crystalline measures and Fourier quasicrystals solving one of the long-standing problems in Fourier analysis. The remarkable story of this mathematical odyssey is presented in the first part of the book. To solve the inverse problem for Schrödinger operators on metric graphs the magnetic boundary control method is introduced. Spectral data depending on the magnetic flux allow one to solve the inverse problem in full generality, this means to reconstruct not only the potential on a given graph, but also the underlying graph itself and the vertex conditions. The book provides an excellent example of recent studies where the interplay between different fields like operator theory, algebraic geometry and number theory, leads to unexpected and sound mathematical results. The book is thought as a graduate course book where every chapter is suitable for a separate lecture and includes problems for home studies. Numerous illuminating examples make it easier to understand new concepts and develop the necessary intuition for further studies.

In an unnamed country, a group of fugitives flee their native village after an attack by the army. Their houses bombed and ransacked, their husbands, children, parents killed, they are seeking sanctuary across the border. In the winter ice a man tries to unearth the remains of his mother and father from a mass grave, determined to take them to a proper burial place. A sadistic military commander, before a group of young officers and the terrified women they have abducted, outlines a terrifying plan of torture, rape and murder in order to prop up his country''s crumbling empire.Meanwhile, in an underground gallery, a sniper hides, picking off innocents in a besieged city. His apocalyptic, hallucinatory voice provides Sniper with its main themes, the insanity of war and the terrifying exhilaration it excites in its perpetrators.

A modern and thorough treatment of the field for upper-level undergraduate and graduate courses in materials science and chemistry.

Help drive the next wave of smart, connected devices. Guided by two experts on Windows Embedded CE, you''ll examine the core architecture, tools, and techniques that streamline the development process--and help get your ideas to market faster. Discover how to: Install the development environment and toolset Apply the device-planning practices that help optimize development time and resources Exploit the unified build system, including batch file and console utilities Use--or create--board support packages for hardware-specific code Dig into driver infrastructure, classes, and development processes Design and configure a custom run-time image Test and verify devices with the Windows Embedded CE Test Kit Create an SDK to extend your application to third-party developers

What you''re looking at is a real story of a person just like anyone else, but with a story that slips beyond the conventional bounds of earthly life. This book has two authors: one of them is the source of memories, and the other one is their recorder. It is a vivid, descriptive and detailed story of death in the previous incarnation, transition to the space beyond incarnations, preparation for the current incarnation on earth, the choice of terms and details of the forthcoming life, and labor and memories from infancy. The book explains many, if not all, aspects of our lives. It also describes the events that helped the author restore this rare memory, how the future of our planet depends on every person individually, and puts forth generalizations and profound conclusions.

Using Priming Methods in Second Language Research is an accessible introduction to the use of auditory, semantic, and syntactic priming methods for second language (L2) processing and acquisition research. It provides a guide for the use, design, and implementation of priming tasks and an overview of how to analyze and report priming research. Key principles about auditory, semantic, and syntactic priming are introduced, and issues for L2 researchers to consider when designing priming studies are pointed out. Empirical studies that have adopted priming methods are highlighted to illustrate the application of experimental techniques from psychology to L2 processing and acquisition research. Each chapter concludes with follow-up questions and activities that provide additional reinforcement of the chapter content, while the final chapter includes data sets that can be used to practice the statistical tests commonly used with priming data.

IBM WebSphere® Message Broker is a lightweight, advanced enterprise service bus (ESB) that provides a broad range of integration capabilities that enable companies to rapidly integrate internal applications and connect to partner applications. Messages from business applications can be transformed, augmented and routed to other business applications. The types and complexity of the integration required will vary by company, application types, and a number of other factors. Processing logic in WebSphere Message Broker is implemented using message flows. Through message flows, messages from business applications can be transformed, augmented, and routed to other business applications. Message flows are created by connecting nodes together. A wide selection of built-in nodes are provided with WebSphere Message Broker. These nodes perform tasks that are associated with message routing, transformation, and enrichment. Message flows are created and tested using the Message Broker Toolkit, a sophisticated, easy-to-use programming tool that provides a full range of programming aids. This IBM® Redbooks® publication focuses on two specific integration requirements that apply to many midmarket companies. The first is the ability to use WebSphere Message Broker to integrate Microsoft.NET applications into a broader connectivity solution. WebSphere Message Broker V8 introduces the ability to integrate with existing Microsoft .NET Framework applications. A .NET assembly can be called from within a message flow and the WebSphere Message Broker runtime can host and run .NET code. Solutions explored in this book cover connectivity to applications using Windows Communications Framework (WCF), Microsoft Message Queuing, Microsoft Dynamics CRM, and other Microsoft applications. The second is the ability to integrate WebSphere Message Broker with file transfer networks, specifically with WebSphere MQ File Transfer Edition and IBM Sterling Connect Direct.

Whether you''re an expert or new to the field, this unique resource offers you a thorough overview of the principles and design of magnetic sensors and magnetometers, as well as guidance in applying specific devices in the real world. From exploring sensor and magnetometer properties for optimum system design... to the testing and calibration of precise magnetometers for full utilization, this book serves as your complete reference.

Beyond Vision is the first English-language collection of essays on art by Pavel Florensky (1882–1937), Russian philosopher, priest, linguist, scientist, mathematician – and art historian. In addition to seven essays by Florensky, the book includes a biographical introduction and an examination of Florensky’s contribution as an art historian by Nicoletta Misler. Beyond Vision reveals Florensky’s fundamental attitudes to the vital questions of construction, composition, chronology, function and destination in the fields of painting, sculpture and design. His reputation as a theologian and philosopher is already established in the English-speaking world, but this first collection in English of his art essays (translated by Wendy Salmond) will be a revelation to those in the field. Pavel Florensky was a true polymath: trained in mathematics and philosophy at Moscow University, he rejected a scholarship in advanced mathematics in order to study theology at the Moscow Theological Academy. He was also an expert linguist, scientist and art historian. A victim of the Soviet government’s animosity towards religion, he was condemned to a Siberian labor camp in 1933 where he continued his work under increasingly difficult circumstances. He was executed in 1937.

3D printing has rapidly established itself as an essential enabling technology within research and industrial chemistry laboratories. Since the early 2000s, when the first research papers applying this technique began to emerge, the uptake by the chemistry community has been both diverse and extraordinary, and there is little doubt that this fascinating technology will continue to have a major impact upon the chemical sciences going forward. This book provides a timely and extensive review of the reported applications of 3D Printing techniques across all fields of chemical science. Describing, comparing, and contrasting the capabilities of all the current 3D printing technologies, this book provides both background information and reader inspiration, to enable users to fully exploit this developing technology further to advance their research, materials and products. It will be of interest across the chemical sciences in research and industrial laboratories, for chemists and engineers alike, as well as the wider science community.

A former KGB officer recounts his role in the murder of Trotsky and obtaining information about the atomic bomb