Books in Mathematics

The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

Books Journals

The Many Valued and Nonmonotonic Turn in Logic

1st Edition
Volume 8
July 6, 2007
Dov M. Gabbay + 1 more
English
eBook
9 7 8 0 0 8 0 5 4 9 3 9 2

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are allowed as inputs and outputs to consequence relations. Many-valued, dialetheic, fuzzy and quantum logics are, among other things, principled attempts to regulate the flow-through of sentences that are neither true nor false. On the second, or non-monotonic, approach, constraints are placed on inputs (and sometimes on outputs) of a classical consequence relation, with a view to producing a notion of consequence that serves in a more realistic way the requirements of real-life inference. Many-valued logics produce an interesting problem. Non-bivalent inputs produce classically valid consequence statements, for any choice of outputs. A major task of many-valued logics of all stripes is to fashion an appropriately non-classical relation of consequence.The chief preoccupation of non-monotonic (and default) logicians is how to constrain inputs and outputs of the consequence relation. In what is called “left non-monotonicity”, it is forbidden to add new sentences to the inputs of true consequence-statemen... The restriction takes notice of the fact that new information will sometimes override an antecedently (and reasonably) derived consequence. In what is called “right non-monotonicity”, limitations are imposed on outputs of the consequence relation. Most notably, perhaps, is the requirement that the rule of or-introduction not be given free sway on outputs. Also prominent is the effort of paraconsistent logicians, both preservationist and dialetheic, to limit the outputs of inconsistent inputs, which in classical contexts are wholly unconstrained.In some instances, our two themes coincide. Dialetheic logics are a case in point. Dialetheic logics allow certain selected sentences to have, as a third truth value, the classical values of truth and falsity together. So such logics also admit classically inconsistent inputs. A central task is to construct a right non-monotonic consequence relation that allows for these many-valued, and inconsistent, inputs.The Many Valued and Non-Monotonic Turn in Logic is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science, AI, linguistics, cognitive science, argumentation theory, and the history of ideas.

Practical Data Analysis in Chemistry

1st Edition
Volume 26
July 6, 2007
Marcel Maeder + 1 more
English
eBook
9 7 8 0 0 8 0 5 4 8 8 3 8

The majority of modern instruments are computerised and provide incredible amounts of data. Methods that take advantage of the flood of data are now available; importantly they do not emulate 'graph paper analyses' on the computer. Modern computational methods are able to give us insights into data, but analysis or data fitting in chemistry requires the quantitative understanding of chemical processes. The results of this analysis allows the modelling and prediction of processes under new conditions, therefore saving on extensive experimentation. Practical Data Analysis in Chemistry exemplifies every aspect of theory applicable to data analysis using a short program in a Matlab or Excel spreadsheet, enabling the reader to study the programs, play with them and observe what happens. Suitable data are generated for each example in short routines, this ensuring a clear understanding of the data structure. Chapter 2 includes a brief introduction to matrix algebra and its implementation in Matlab and Excel while Chapter 3 covers the theory required for the modelling of chemical processes. This is followed by an introduction to linear and non-linear least-squares fitting, each demonstrated with typical applications. Finally Chapter 5 comprises a collection of several methods for model-free data analyses.

Advances in Computers

1st Edition
Volume 71
July 5, 2007
Marvin Zelkowitz
English
eBook
9 7 8 0 0 8 0 5 4 5 1 0 3

Advances in Computers covers new developments in computer technology. Most chapters present an overview of a current subfield within computers, with many citations, and often include new developments in the field by the authors of the individual chapters. Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers. This current volume includes six chapters on nanotechnology emphasizing its use in biological applications. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

Stochastic Modelling in Process Technology

1st Edition
Volume 211
July 3, 2007
Herold G. Dehling + 2 more
English
eBook
9 7 8 0 0 8 0 5 4 8 9 7 5

There is an ever increasing need for modelling complex processes reliably. Computational modelling techniques, such as CFD and MD may be used as tools to study specific systems, but their emergence has not decreased the need for generic, analytical process models. Multiphase and multicomponent systems, and high-intensity processes displaying a highly complex behaviour are becoming omnipresent in the processing industry. This book discusses an elegant, but little-known technique for formulating process models in process technology: stochastic process modelling. The technique is based on computing the probability distribution for a single particle's position in the process vessel, and/or the particle's properties, as a function of time, rather than - as is traditionally done - basing the model on the formulation and solution of differential conservation equations. Using this technique can greatly simplify the formulation of a model, and even make modelling possible for processes so complex that the traditional method is impracticable. Stochastic modelling has sporadically been used in various branches of process technology under various names and guises. This book gives, as the first, an overview of this work, and shows how these techniques are similar in nature, and make use of the same basic mathematical tools and techniques. The book also demonstrates how stochastic modelling may be implemented by describing example cases, and shows how a stochastic model may be formulated for a case, which cannot be described by formulating and solving differential balance equations.

Advances in Computers

1st Edition
Volume 70
June 7, 2007
Marvin Zelkowitz
English
eBook
9 7 8 0 0 8 0 5 2 4 4 1 2

Advances in Computers covers new developments in computer technology. Most chapters present an overview of a current subfield within computers, with many citations, and often include new developments in the field by the authors of the individual chapters. Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers. This current volume includes six chapters on hardware development in the educational market, intelligent search strategies, domain specific languages and trustworthiness and risks in computer technology. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

Numerical Methods for Roots of Polynomials - Part I

1st Edition
Volume 14
June 4, 2007
J.M. McNamee
English
eBook
9 7 8 0 0 8 0 4 8 9 4 7 6

Numerical Methods for Roots of Polynomials - Part I (along with volume 2 covers most of the traditional methods for polynomial root-finding such as Newton’s, as well as numerous variations on them invented in the last few decades. Perhaps more importantly it covers recent developments such as Vincent’s method, simultaneous iterations, and matrix methods. There is an extensive chapter on evaluation of polynomials, including parallel methods and errors. There are pointers to robust and efficient programs. In short, it could be entitled “A Handbook of Methods for Polynomial Root-finding”. This book will be invaluable to anyone doing research in polynomial roots, or teaching a graduate course on that topic.

Viability, Invariance and Applications

1st Edition
Volume 207
June 4, 2007
Ovidiu Carja + 2 more
English
eBook
9 7 8 0 0 8 0 5 2 1 6 6 4

The book is an almost self-contained presentation of the most important concepts and results in viability and invariance. The viability of a set K with respect to a given function (or multi-function) F, defined on it, describes the property that, for each initial data in K, the differential equation (or inclusion) driven by that function or multi-function) to have at least one solution. The invariance of a set K with respect to a function (or multi-function) F, defined on a larger set D, is that property which says that each solution of the differential equation (or inclusion) driven by F and issuing in K remains in K, at least for a short time.The book includes the most important necessary and sufficient conditions for viability starting with Nagumo’s Viability Theorem for ordinary differential equations with continuous right-hand sides and continuing with the corresponding extensions either to differential inclusions or to semilinear or even fully nonlinear evolution equations, systems and inclusions. In the latter (i.e. multi-valued) cases, the results (based on two completely new tangency concepts), all due to the authors, are original and extend significantly, in several directions, their well-known classical counterparts.

Security+ Study Guide

2nd Edition
May 29, 2007
Ido Dubrawsky + 1 more
English
eBook
9 7 8 0 0 8 0 5 5 5 4 3 0

Over 700,000 IT Professionals Have Prepared for Exams with Syngress Authored Study GuidesThe Security+ Study Guide & Practice Exam is a one-of-a-kind integration of text and and Web-based exam simulation and remediation. This system gives you 100% coverage of official CompTIA Security+ exam objectives plus test preparation software for the edge you need to achieve certification on your first try! This system is comprehensive, affordable, and effective!* Completely Guaranteed Coverage of All Exam ObjectivesAll five Security+ domains are covered in full: General Security Concepts, Communication Security, Infrastructure Security, Basics of Cryptography, and Operational / Organizational Security * Fully Integrated LearningThis package includes a Study Guide and one complete practice exam. * Each chapter starts by explaining the exam objectives covered in the chapterYou will always know what is expected of you within each of the exam’s domains.* Exam-Specific Chapter ElementsNotes, Tips, Alerts, Exercises, Exam’s Eyeview, and Self Test with fully explained answers. * Test What You LearnedHundreds of self-test review questions test your knowledge of specific exam objectives. A Self Test Appendix features answers to all questions with complete explanations of correct and incorrect answers.

Advances in Computers

1st Edition
Volume 69
May 3, 2007
Marvin Zelkowitz
English
eBook
9 7 8 0 0 8 0 5 2 4 4 0 5

The series covers new developments in computer technology. Most chapters present an overview of a current subfield within computers, with many citations, and often include new developments in the field by the authors of the individual chapters. Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers. This current volume emphasizes architectural advances and includes five chapters on hardware development, games for mobile devices such as cell phones, and open source software development. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

Handbook of Differential Equations: Stationary Partial Differential Equations

1st Edition
Volume 4
May 3, 2007
Michel Chipot
English
eBook
9 7 8 0 0 8 0 5 2 1 8 3 1

A collection of self contained state-of-the art surveys. The authors have made an effort to achieve readability for mathematicians and scientists from other fields, for this series of handbooks to be a new reference for research, learning and teaching.

Related subjects

Mathematics and applied mathematics

Statistics and probability

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Books in Mathematics

The Many Valued and Nonmonotonic Turn in Logic

Practical Data Analysis in Chemistry

Advances in Computers

Stochastic Modelling in Process Technology

Advances in Computers

Numerical Methods for Roots of Polynomials - Part I

Viability, Invariance and Applications

Security+ Study Guide

Advances in Computers

Handbook of Differential Equations: Stationary Partial Differential Equations

Related subjects