- Table View
- List View
Local Polynomial Modelling and Its Applications: Monographs on Statistics and Applied Probability 66 (ISSN)
by Jianqing FanData-analytic approaches to regression problems, arising from many scientific disciplines are described in this book. The aim of these nonparametric methods is to relax assumptions on the form of a regression function and to let data search for a suitable function that describes the data well. The use of these nonparametric functions with parametric techniques can yield very powerful data analysis tools. Local polynomial modeling and its applications provides an up-to-date picture on state-of-the-art nonparametric regression techniques. The emphasis of the book is on methodologies rather than on theory, with a particular focus on applications of nonparametric techniques to various statistical problems. High-dimensional data-analytic tools are presented, and the book includes a variety of examples. This will be a valuable reference for research and applied statisticians, and will serve as a textbook for graduate students and others interested in nonparametric regression.
Local Quantum Measurement and Relativity (Fundamental Theories of Physics #201)
by Christian BeckThis book treats various aspects of the quantum theory of measurement, partially in a relativistic framework. Measurement(-like) processes in quantum theory are identified and analysed; and the quantum operator formalism is derived in full generality without postulating operators as observables. Consistency conditions are derived, expressing the requirement of Lorentz-frame independence of outcomes of spacelike separated measurements and implying the impossibility of using quantum nonlocality to send signals faster than light. Local commutativity is scrutinized. The localization problem of relativistic quantum theory is studied, including comprehensive derivation of the theorems of Hegerfeld, Malament and Reeh-Schlieder. Finally, the quantum formalism is derived from the dynamics of particles with definite positions in Bohmian mechanics.
Local Systems in Algebraic-Arithmetic Geometry (Lecture Notes in Mathematics #2337)
by Hélène EsnaultThe topological fundamental group of a smooth complex algebraic variety is poorly understood. One way to approach it is to consider its complex linear representations modulo conjugation, that is, its complex local systems. A fundamental problem is then to single out the complex points of such moduli spaces which correspond to geometric systems, and more generally to identify geometric subloci of the moduli space of local systems with special arithmetic properties. Deep conjectures have been made in relation to these problems. This book studies some consequences of these conjectures, notably density, integrality and crystallinity properties of some special loci.This monograph provides a unique compelling and concise overview of an active area of research and is useful to students looking to get into this area. It is of interest to a wide range of researchers and is a useful reference for newcomers and experts alike.
Local Times and Excursion Theory for Brownian Motion
by Ju-Yi Yen Marc YorThis monograph discusses the existence and regularity properties of local times associated to a continuous semimartingale, as well as excursion theory for Brownian paths. Realizations of Brownian excursion processes may be translated in terms of the realizations of a Wiener process under certain conditions. With this aim in mind, the monograph presents applications to topics which are not usually treated with the same tools, e. g. : arc sine law, laws of functionals of Brownian motion, and the Feynman-Kac formula.
Localized Dynamics of Thin-Walled Shells (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)
by Gennadi I. Mikhasev Petr E. TovstikLocalized Dynamics of Thin-Walled Shells focuses on localized vibrations and waves in thin-walled structures with variable geometrical and physical characteristics. It emphasizes novel asymptotic methods for solving boundary-value problems for dynamic equations in the shell theory, in the form of functions which are highly localized near both fixed and moving lines/points on the shell surface. Features First-of-its-kind work, synthesizing knowledge of the localization of vibrations and waves in thin-walled shells with a mathematical tool to study them Suitable for researchers working on the dynamics of thin shells and also as supplementary reading for undergraduates studying asymptotic methods Offers detailed analysis of wave processes in shells with varying geometric and physical parameters
Localized Excitations in Nonlinear Complex Systems
by Ricardo Carretero-González Jesús Cuevas-Maraver Dimitri Frantzeskakis Nikos Karachalios Panayotis Kevrekidis Faustino Palmero-AcebedoThe study of nonlinear localized excitations is a long-standing challenge for research in basic and applied science, as well as engineering, due to their importance in understanding and predicting phenomena arising in nonlinear and complex systems, but also due to their potential for the development and design of novel applications. This volume is a compilation of chapters representing the current state-of-the-art on the field of localized excitations and their role in the dynamics of complex physical systems.
Locally Convex Quasi *-Algebras and their Representations (Lecture Notes in Mathematics #2257)
by Camillo Trapani Maria FragoulopoulouThis book offers a review of the theory of locally convex quasi *-algebras, authored by two of its contributors over the last 25 years. Quasi *-algebras are partial algebraic structures that are motivated by certain applications in Mathematical Physics. They arise in a natural way by completing a *-algebra under a locally convex *-algebra topology, with respect to which the multiplication is separately continuous. Among other things, the book presents an unbounded representation theory of quasi *-algebras, together with an analysis of normed quasi *-algebras, their spectral theory and a study of the structure of locally convex quasi *-algebras. Special attention is given to the case where the locally convex quasi *-algebra is obtained by completing a C*-algebra under a locally convex *-algebra topology, coarser than the C*-topology.Introducing the subject to graduate students and researchers wishing to build on their knowledge of the usual theory of Banach and/or locally convex algebras, this approach is supported by basic results and a wide variety of examples.
Locally Convex Spaces
by M. Scott OsborneFor most practicing analysts who use functional analysis, the restriction to Banach spaces seen in most real analysis graduate texts is not enough for their research. This graduate text, while focusing on locally convex topological vector spaces, is intended to cover most of the general theory needed for application to other areas of analysis. Normed vector spaces, Banach spaces, and Hilbert spaces are all examples of classes of locally convex spaces, which is why this is an important topic in functional analysis. While this graduate text focuses on what is needed for applications, it also shows the beauty of the subject and motivates the reader with exercises of varying difficulty. Key topics covered include point set topology, topological vector spaces, the Hahn-Banach theorem, seminorms and Fréchet spaces, uniform boundedness, and dual spaces. The prerequisite for this text is the Banach space theory typically taught in a beginning graduate real analysis course.
Locating Eigenvalues in Graphs: Algorithms and Applications (SpringerBriefs in Mathematics)
by Carlos Hoppen David P. Jacobs Vilmar TrevisanThis book focuses on linear time eigenvalue location algorithms for graphs. This subject relates to spectral graph theory, a field that combines tools and concepts of linear algebra and combinatorics, with applications ranging from image processing and data analysis to molecular descriptors and random walks. It has attracted a lot of attention and has since emerged as an area on its own.Studies in spectral graph theory seek to determine properties of a graph through matrices associated with it. It turns out that eigenvalues and eigenvectors have surprisingly many connections with the structure of a graph. This book approaches this subject under the perspective of eigenvalue location algorithms. These are algorithms that, given a symmetric graph matrix M and a real interval I, return the number of eigenvalues of M that lie in I. Since the algorithms described here are typically very fast, they allow one to quickly approximate the value of any eigenvalue, which is a basic step in most applications of spectral graph theory. Moreover, these algorithms are convenient theoretical tools for proving bounds on eigenvalues and their multiplicities, which was quite useful to solve longstanding open problems in the area. This book brings these algorithms together, revealing how similar they are in spirit, and presents some of their main applications.This work can be of special interest to graduate students and researchers in spectral graph theory, and to any mathematician who wishes to know more about eigenvalues associated with graphs. It can also serve as a compact textbook for short courses on the topic.
Loewner's Theorem on Monotone Matrix Functions (Grundlehren der mathematischen Wissenschaften #354)
by Barry SimonThis book provides an in depth discussion of Loewner’s theorem on the characterization of matrix monotone functions. The author refers to the book as a ‘love poem,’ one that highlights a unique mix of algebra and analysis and touches on numerous methods and results. The book details many different topics from analysis, operator theory and algebra, such as divided differences, convexity, positive definiteness, integral representations of function classes, Pick interpolation, rational approximation, orthogonal polynomials, continued fractions, and more. Most applications of Loewner’s theorem involve the easy half of the theorem. A great number of interesting techniques in analysis are the bases for a proof of the hard half. Centered on one theorem, eleven proofs are discussed, both for the study of their own approach to the proof and as a starting point for discussing a variety of tools in analysis. Historical background and inclusion of pictures of some of the main figures who have developed the subject, adds another depth of perspective.The presentation is suitable for detailed study, for quick review or reference to the various methods that are presented. The book is also suitable for independent study. The volume will be of interest to research mathematicians, physicists, and graduate students working in matrix theory and approximation, as well as to analysts and mathematical physicists.
Loewy Decomposition of Linear Differential Equations
by Fritz SchwarzThe central subject of the book is the generalization of Loewy's decomposition - originally introduced by him for linear ordinary differential equations - to linear partial differential equations. Equations for a single function in two independent variables of order two or three are comprehensively discussed. A complete list of possible solution types is given. Various ad hoc results available in the literature are obtained algorithmically. The border of decidability for generating a Loewy decomposition are explicitly stated. The methods applied may be generalized in an obvious way to equations of higher order, in more variables or systems of such equations.
Logic: 15th International Workshop, Wollic 2008 Edinburgh, Uk, July 1-4, 2008, Proceedings (Lecture Notes In Computer Science Ser. #5110)
by Wilfrid HodgesIf a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material. 'A lively and stimulating book' Philosophy
Logic: The Theory of Formal Inference
by Morris Lazerowitz Alice AmbroseGeared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors in this field. A preliminary section opens the subject under the heading of truth-functions. Two subsequent parts on quantification and classes, each subdivided into numerous brief specifics, complete the overview. Suitable for students of philosophy as well as mathematics, the three-part treatment begins with the intuitive development of the standard theory of sentential connectives (called "operators"). The theory is further developed with the assistance of truth-tables and ultimately as a logistic system. Part II explores first-order quantification theory. In addition to examining most of the familiar laws that can be expressed by monadic formulas, the text addresses polyadic principles and the theories of identity and descriptions. Part III focuses on elementary concepts of classes, from class membership and class inclusion to the algebra of classes. Each part concludes with a series of exercises.
Logic: a Brief Course
by Daniele MundiciThis short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.
Logic and Algebra (Lecture Notes In Pure And Applied Mathematics Ser. #180)
by Aldo Ursini Paolo Aglianò""Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in Siena, Italy, in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic in Italy since the 1960s.
Logic and Algebraic Structures in Quantum Computing
by Jennifer Chubb Ali Eskandarian Valentina HarizanovArising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. <P><P>Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods and structures of operator theory, category theory, and knot theory in an effort to gain insight into the fundamental questions in quantum theory and logic. The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.
Logic And Contemporary Rhetoric: The Use Of Reason In Everyday Life (Mindtap Course List Ser.)
by Frank Boardman Nancy M. Cavender Howard KahaneLOGIC AND CONTEMPORARY RHETORIC: THE USE OF REASON IN EVERYDAY LIFE, 13th Edition, introduces you to sound reasoning using current, relevant, and stimulating examples in a witty and invigorating writing style. Combining examples from television, newspapers, magazines, advertisements, and our nation's political dialogue, this classic text brings the concepts to life and puts critical-thinking skills into a context that you will retain and use throughout your life.
Logic and Discrete Mathematics: A Concise Introduction
by Willem Conradie Valentin GorankoA concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics Concise, clear and uncluttered presentation with numerous examples. Covers some applications including cryptographic systems, discrete probability and network algorithms. Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study.
Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual
by Willem Conradie Valentin Goranko Claudette RobinsonSolutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in this accompanying solutions manual.
Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings (Lecture Notes in Computer Science #11600)
by Md. Aquil Khan Amaldev ManuelThis book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.
Logic and Philosophy of Mathematics in the Early Husserl
by Stefania CentroneLogic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from reading Husserl's early work as a more or less immature sketch of claims consolidated only in his later phenomenology, and unlike the majority of historians of logic she emphasizes the systematic strength and the originality of Husserl's logico-mathematical work. The book attempts to reconstruct the discussion between Husserl and those philosophers and mathematicians who contributed to new developments in logic, such as Leibniz, Bolzano, the logical algebraists (especially Boole and Schröder), Frege, and Hilbert and his school. It presents both a comprehensive critical examination of some of the major works produced by Husserl and his antagonists in the last decade of the 19th century and a formal reconstruction of many texts from Husserl's Nachlaß that have not yet been the object of systematical scrutiny. This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to analytical philosophers and phenomenologists with a background in standard logic.
Logic and Philosophy of Mathematics in the Early Husserl (Synthese Library #345)
by Stefania CentroneLogic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from reading Husserl’s early work as a more or less immature sketch of claims consolidated only in his later phenomenology, and unlike the majority of historians of logic she emphasizes the systematic strength and the originality of Husserl’s logico-mathematical work. The book attempts to reconstruct the discussion between Husserl and those philosophers and mathematicians who contributed to new developments in logic, such as Leibniz, Bolzano, the logical algebraists (especially Boole and Schröder), Frege, and Hilbert and his school. It presents both a comprehensive critical examination of some of the major works produced by Husserl and his antagonists in the last decade of the 19th century and a formal reconstruction of many texts from Husserl’s Nachlaß that have not yet been the object of systematical scrutiny. This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to analytical philosophers and phenomenologists with a background in standard logic.
Logic as a Tool: A Guide to Formal Logical Reasoning (Wiley Desktop Editions Ser.)
by Valentin GorankoWritten in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level, and provides the reader with technical skills needed for practical derivations in them. Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ. •Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples •Emphasis both on conceptual understanding and on developing practical skills •Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic •Includes extensive sets of exercises, many of them provided with solutions or answers•Supplemented by a website including detailed slides, additional exercises and solutionsFor more information browse the book's website at: https://logicasatool.wordpress.com
Logic as Universal Science
by Anssi KorhonenLogic as Universal Science offers a detailed reconstruction of the underlying philosophy in The Principles of Mathematics showing how Russell sought to deliver a death blow to the dominant Kantian view that formal logic is a concise and dry science and unable to enlarge our understanding.
Logic-Based Benders Decomposition: Theory and Applications (Synthesis Lectures on Operations Research and Applications)
by John HookerThis book is the first comprehensive guide to logic-based Benders decomposition (LBBD), a general and versatile method for breaking large, complex optimization problems into components that are small enough for practical solution. The author introduces logic-based Benders decomposition for optimization, which substantially generalizes the classical Benders method. It can reduce solution times by orders of magnitude and allows decomposition to be applied to a much wider variety of optimization problems. On the theoretical side, this book provides a full account of inference duality concepts that underlie LBBD, as well as a description of how LBBD can be combined with stochastic and robust optimization, heuristic methods, and decision diagrams. It also clarifies the connection between LBBD and combinatorial Benders cuts for mixed integer programming. On the practical side, it explains how LBBD has been applied to a rapidly growing variety of problem domains. After describing basic theory, this book provides a comprehensive review of the rapidly growing literature that describes these applications, in each case explaining how LBBD is adapted to the problem at hand. In doing so this work provides a sourcebook of ideas for applying LBBD to new problems as they arise.