Author: Julio C. Urenda
Publisher: Springer Nature
ISBN: 3031167805
Category : Computers
Languages : en
Pages : 246
Book Description
The book explores a new general approach to selecting—and designing—data processing techniques. Symmetry and invariance ideas behind this algebraic approach have been successful in physics, where many new theories are formulated in symmetry terms. The book explains this approach and expands it to new application areas ranging from engineering, medicine, education to social sciences. In many cases, this approach leads to optimal techniques and optimal solutions. That the same data processing techniques help us better analyze wooden structures, lung dysfunctions, and deep learning algorithms is a good indication that these techniques can be used in many other applications as well. The book is recommended to researchers and practitioners who need to select a data processing technique—or who want to design a new technique when the existing techniques do not work. It is also recommended to students who want to learn the state-of-the-art data processing.
Algebraic Approach to Data Processing
Author: Julio C. Urenda
Publisher: Springer Nature
ISBN: 3031167805
Category : Computers
Languages : en
Pages : 246
Book Description
The book explores a new general approach to selecting—and designing—data processing techniques. Symmetry and invariance ideas behind this algebraic approach have been successful in physics, where many new theories are formulated in symmetry terms. The book explains this approach and expands it to new application areas ranging from engineering, medicine, education to social sciences. In many cases, this approach leads to optimal techniques and optimal solutions. That the same data processing techniques help us better analyze wooden structures, lung dysfunctions, and deep learning algorithms is a good indication that these techniques can be used in many other applications as well. The book is recommended to researchers and practitioners who need to select a data processing technique—or who want to design a new technique when the existing techniques do not work. It is also recommended to students who want to learn the state-of-the-art data processing.
Publisher: Springer Nature
ISBN: 3031167805
Category : Computers
Languages : en
Pages : 246
Book Description
The book explores a new general approach to selecting—and designing—data processing techniques. Symmetry and invariance ideas behind this algebraic approach have been successful in physics, where many new theories are formulated in symmetry terms. The book explains this approach and expands it to new application areas ranging from engineering, medicine, education to social sciences. In many cases, this approach leads to optimal techniques and optimal solutions. That the same data processing techniques help us better analyze wooden structures, lung dysfunctions, and deep learning algorithms is a good indication that these techniques can be used in many other applications as well. The book is recommended to researchers and practitioners who need to select a data processing technique—or who want to design a new technique when the existing techniques do not work. It is also recommended to students who want to learn the state-of-the-art data processing.
Algebraic Approaches to Program Semantics
Author: Ernest G. Manes
Publisher: Springer Science & Business Media
ISBN: 1461249627
Category : Computers
Languages : en
Pages : 358
Book Description
In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a program, for example, as the function it computes in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics: it offers algebraic techniques for characterizing the denotation of (i. e. , the function computed by) a program-the properties of the program can then be checked by direct comparison of the denotation with the specification. This book is an introduction to denotational semantics. More specifically, we introduce the reader to two approaches to denotational semantics: the order semantics of Scott and Strachey and our own partially additive semantics.
Publisher: Springer Science & Business Media
ISBN: 1461249627
Category : Computers
Languages : en
Pages : 358
Book Description
In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a program, for example, as the function it computes in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics: it offers algebraic techniques for characterizing the denotation of (i. e. , the function computed by) a program-the properties of the program can then be checked by direct comparison of the denotation with the specification. This book is an introduction to denotational semantics. More specifically, we introduce the reader to two approaches to denotational semantics: the order semantics of Scott and Strachey and our own partially additive semantics.
An Algebraic Approach to Geometry
Author: Francis Borceux
Publisher: Springer Science & Business Media
ISBN: 3319017330
Category : Mathematics
Languages : en
Pages : 440
Book Description
This is a unified treatment of the various algebraic approaches to geometric spaces. The study of algebraic curves in the complex projective plane is the natural link between linear geometry at an undergraduate level and algebraic geometry at a graduate level, and it is also an important topic in geometric applications, such as cryptography. 380 years ago, the work of Fermat and Descartes led us to study geometric problems using coordinates and equations. Today, this is the most popular way of handling geometrical problems. Linear algebra provides an efficient tool for studying all the first degree (lines, planes) and second degree (ellipses, hyperboloids) geometric figures, in the affine, the Euclidean, the Hermitian and the projective contexts. But recent applications of mathematics, like cryptography, need these notions not only in real or complex cases, but also in more general settings, like in spaces constructed on finite fields. And of course, why not also turn our attention to geometric figures of higher degrees? Besides all the linear aspects of geometry in their most general setting, this book also describes useful algebraic tools for studying curves of arbitrary degree and investigates results as advanced as the Bezout theorem, the Cramer paradox, topological group of a cubic, rational curves etc. Hence the book is of interest for all those who have to teach or study linear geometry: affine, Euclidean, Hermitian, projective; it is also of great interest to those who do not want to restrict themselves to the undergraduate level of geometric figures of degree one or two.
Publisher: Springer Science & Business Media
ISBN: 3319017330
Category : Mathematics
Languages : en
Pages : 440
Book Description
This is a unified treatment of the various algebraic approaches to geometric spaces. The study of algebraic curves in the complex projective plane is the natural link between linear geometry at an undergraduate level and algebraic geometry at a graduate level, and it is also an important topic in geometric applications, such as cryptography. 380 years ago, the work of Fermat and Descartes led us to study geometric problems using coordinates and equations. Today, this is the most popular way of handling geometrical problems. Linear algebra provides an efficient tool for studying all the first degree (lines, planes) and second degree (ellipses, hyperboloids) geometric figures, in the affine, the Euclidean, the Hermitian and the projective contexts. But recent applications of mathematics, like cryptography, need these notions not only in real or complex cases, but also in more general settings, like in spaces constructed on finite fields. And of course, why not also turn our attention to geometric figures of higher degrees? Besides all the linear aspects of geometry in their most general setting, this book also describes useful algebraic tools for studying curves of arbitrary degree and investigates results as advanced as the Bezout theorem, the Cramer paradox, topological group of a cubic, rational curves etc. Hence the book is of interest for all those who have to teach or study linear geometry: affine, Euclidean, Hermitian, projective; it is also of great interest to those who do not want to restrict themselves to the undergraduate level of geometric figures of degree one or two.
Discrete-time Signal Processing
Author: Darrell Williamson
Publisher: Springer Science & Business Media
ISBN: 1447105419
Category : Technology & Engineering
Languages : en
Pages : 432
Book Description
This comprehensive and up-to-date book focuses on an algebraic approach to the analysis and design of discrete-time signal processors, including material applicable to numeric and symbolic computation programs such as MATLAB. Written with clarity, it contains the latest detailed research results.
Publisher: Springer Science & Business Media
ISBN: 1447105419
Category : Technology & Engineering
Languages : en
Pages : 432
Book Description
This comprehensive and up-to-date book focuses on an algebraic approach to the analysis and design of discrete-time signal processors, including material applicable to numeric and symbolic computation programs such as MATLAB. Written with clarity, it contains the latest detailed research results.
Quantum Logic in Algebraic Approach
Author: Miklós Rédei
Publisher: Springer Science & Business Media
ISBN: 9401590265
Category : Science
Languages : en
Pages : 244
Book Description
This work has grown out of the lecture notes that were prepared for a series of seminars on some selected topics in quantum logic. The seminars were delivered during the first semester of the 1993/1994 academic year in the Unit for Foundations of Science of the Department of History and Foundations of Mathematics and Science, Faculty of Physics, Utrecht University, The Netherlands, while I was staying in that Unit on a European Community Research Grant, and in the Center for Philosophy of Science, University of Pittsburgh, U. S. A. , where I was staying during the 1994/1995 academic year as a Visiting Fellow on a Fulbright Research Grant, and where I also was supported by the Istvan Szechenyi Scholarship Foundation. The financial support provided by these foundations, by the Center for Philosophy of Science and by the European Community is greatly acknowledged, and I wish to thank D. Dieks, the professor of the Foundations Group in Utrecht and G. Massey, the director of the Center for Philosophy of Science in Pittsburgh for making my stay at the respective institutions possible. I also wish to thank both the members of the Foundations Group in Utrecht, especially D. Dieks, C. Lutz, F. Muller, J. Uffink and P. Vermaas and the participants in the seminars at the Center for Philosophy of Science in Pittsburgh, especially N. Belnap, J. Earman, A. Janis, J. Norton, and J.
Publisher: Springer Science & Business Media
ISBN: 9401590265
Category : Science
Languages : en
Pages : 244
Book Description
This work has grown out of the lecture notes that were prepared for a series of seminars on some selected topics in quantum logic. The seminars were delivered during the first semester of the 1993/1994 academic year in the Unit for Foundations of Science of the Department of History and Foundations of Mathematics and Science, Faculty of Physics, Utrecht University, The Netherlands, while I was staying in that Unit on a European Community Research Grant, and in the Center for Philosophy of Science, University of Pittsburgh, U. S. A. , where I was staying during the 1994/1995 academic year as a Visiting Fellow on a Fulbright Research Grant, and where I also was supported by the Istvan Szechenyi Scholarship Foundation. The financial support provided by these foundations, by the Center for Philosophy of Science and by the European Community is greatly acknowledged, and I wish to thank D. Dieks, the professor of the Foundations Group in Utrecht and G. Massey, the director of the Center for Philosophy of Science in Pittsburgh for making my stay at the respective institutions possible. I also wish to thank both the members of the Foundations Group in Utrecht, especially D. Dieks, C. Lutz, F. Muller, J. Uffink and P. Vermaas and the participants in the seminars at the Center for Philosophy of Science in Pittsburgh, especially N. Belnap, J. Earman, A. Janis, J. Norton, and J.
Orthomodular Lattices
Author: L. Beran
Publisher: Springer Science & Business Media
ISBN: 9400952155
Category : Computers
Languages : en
Pages : 412
Book Description
Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. Bowever, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programmi ng profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "completely integrable systems", "chaos, synergetics and large-s.cale order", which are almost impossible to fit into the existing classifica tion schemes. They draw upon widely different sections of mathe matics.
Publisher: Springer Science & Business Media
ISBN: 9400952155
Category : Computers
Languages : en
Pages : 412
Book Description
Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. Bowever, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programmi ng profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "completely integrable systems", "chaos, synergetics and large-s.cale order", which are almost impossible to fit into the existing classifica tion schemes. They draw upon widely different sections of mathe matics.
The Logico-Algebraic Approach to Quantum Mechanics
Author: C.A. Hooker
Publisher: Springer Science & Business Media
ISBN: 9401017956
Category : Science
Languages : en
Pages : 611
Book Description
The twentieth century has witnessed a striking transformation in the un derstanding of the theories of mathematical physics. There has emerged clearly the idea that physical theories are significantly characterized by their abstract mathematical structure. This is in opposition to the tradi tional opinion that one should look to the specific applications of a theory in order to understand it. One might with reason now espouse the view that to understand the deeper character of a theory one must know its abstract structure and understand the significance of that struc ture, while to understand how a theory might be modified in light of its experimental inadequacies one must be intimately acquainted with how it is applied. Quantum theory itself has gone through a development this century which illustrates strikingly the shifting perspective. From a collection of intuitive physical maneuvers under Bohr, through a formative stage in which the mathematical framework was bifurcated (between Schrödinger and Heisenberg) to an elegant culmination in von Neumann's Hilbert space formulation the elementary theory moved, flanked even at the later stage by the ill-understood formalisms for the relativistic version and for the field-theoretic altemative; after that we have a gradual, but constant, elaboration of all these quantal theories as abstract mathematical struc tures (their point of departure being von Neumann's formalism) until at the present time theoretical work is heavily preoccupied with the manip ulation of purely abstract structures.
Publisher: Springer Science & Business Media
ISBN: 9401017956
Category : Science
Languages : en
Pages : 611
Book Description
The twentieth century has witnessed a striking transformation in the un derstanding of the theories of mathematical physics. There has emerged clearly the idea that physical theories are significantly characterized by their abstract mathematical structure. This is in opposition to the tradi tional opinion that one should look to the specific applications of a theory in order to understand it. One might with reason now espouse the view that to understand the deeper character of a theory one must know its abstract structure and understand the significance of that struc ture, while to understand how a theory might be modified in light of its experimental inadequacies one must be intimately acquainted with how it is applied. Quantum theory itself has gone through a development this century which illustrates strikingly the shifting perspective. From a collection of intuitive physical maneuvers under Bohr, through a formative stage in which the mathematical framework was bifurcated (between Schrödinger and Heisenberg) to an elegant culmination in von Neumann's Hilbert space formulation the elementary theory moved, flanked even at the later stage by the ill-understood formalisms for the relativistic version and for the field-theoretic altemative; after that we have a gradual, but constant, elaboration of all these quantal theories as abstract mathematical struc tures (their point of departure being von Neumann's formalism) until at the present time theoretical work is heavily preoccupied with the manip ulation of purely abstract structures.
Mathematical Methods in Interdisciplinary Sciences
Author: Snehashish Chakraverty
Publisher: John Wiley & Sons
ISBN: 1119585503
Category : Mathematics
Languages : en
Pages : 464
Book Description
Brings mathematics to bear on your real-world, scientific problems Mathematical Methods in Interdisciplinary Sciences provides a practical and usable framework for bringing a mathematical approach to modelling real-life scientific and technological problems. The collection of chapters Dr. Snehashish Chakraverty has provided describe in detail how to bring mathematics, statistics, and computational methods to the fore to solve even the most stubborn problems involving the intersection of multiple fields of study. Graduate students, postgraduate students, researchers, and professors will all benefit significantly from the author's clear approach to applied mathematics. The book covers a wide range of interdisciplinary topics in which mathematics can be brought to bear on challenging problems requiring creative solutions. Subjects include: Structural static and vibration problems Heat conduction and diffusion problems Fluid dynamics problems The book also covers topics as diverse as soft computing and machine intelligence. It concludes with examinations of various fields of application, like infectious diseases, autonomous car and monotone inclusion problems.
Publisher: John Wiley & Sons
ISBN: 1119585503
Category : Mathematics
Languages : en
Pages : 464
Book Description
Brings mathematics to bear on your real-world, scientific problems Mathematical Methods in Interdisciplinary Sciences provides a practical and usable framework for bringing a mathematical approach to modelling real-life scientific and technological problems. The collection of chapters Dr. Snehashish Chakraverty has provided describe in detail how to bring mathematics, statistics, and computational methods to the fore to solve even the most stubborn problems involving the intersection of multiple fields of study. Graduate students, postgraduate students, researchers, and professors will all benefit significantly from the author's clear approach to applied mathematics. The book covers a wide range of interdisciplinary topics in which mathematics can be brought to bear on challenging problems requiring creative solutions. Subjects include: Structural static and vibration problems Heat conduction and diffusion problems Fluid dynamics problems The book also covers topics as diverse as soft computing and machine intelligence. It concludes with examinations of various fields of application, like infectious diseases, autonomous car and monotone inclusion problems.
Mathematical Methods in Interdisciplinary Sciences
Author: Snehashish Chakraverty
Publisher: John Wiley & Sons
ISBN: 1119585651
Category : Mathematics
Languages : en
Pages : 464
Book Description
Brings mathematics to bear on your real-world, scientific problems Mathematical Methods in Interdisciplinary Sciences provides a practical and usable framework for bringing a mathematical approach to modelling real-life scientific and technological problems. The collection of chapters Dr. Snehashish Chakraverty has provided describe in detail how to bring mathematics, statistics, and computational methods to the fore to solve even the most stubborn problems involving the intersection of multiple fields of study. Graduate students, postgraduate students, researchers, and professors will all benefit significantly from the author's clear approach to applied mathematics. The book covers a wide range of interdisciplinary topics in which mathematics can be brought to bear on challenging problems requiring creative solutions. Subjects include: Structural static and vibration problems Heat conduction and diffusion problems Fluid dynamics problems The book also covers topics as diverse as soft computing and machine intelligence. It concludes with examinations of various fields of application, like infectious diseases, autonomous car and monotone inclusion problems.
Publisher: John Wiley & Sons
ISBN: 1119585651
Category : Mathematics
Languages : en
Pages : 464
Book Description
Brings mathematics to bear on your real-world, scientific problems Mathematical Methods in Interdisciplinary Sciences provides a practical and usable framework for bringing a mathematical approach to modelling real-life scientific and technological problems. The collection of chapters Dr. Snehashish Chakraverty has provided describe in detail how to bring mathematics, statistics, and computational methods to the fore to solve even the most stubborn problems involving the intersection of multiple fields of study. Graduate students, postgraduate students, researchers, and professors will all benefit significantly from the author's clear approach to applied mathematics. The book covers a wide range of interdisciplinary topics in which mathematics can be brought to bear on challenging problems requiring creative solutions. Subjects include: Structural static and vibration problems Heat conduction and diffusion problems Fluid dynamics problems The book also covers topics as diverse as soft computing and machine intelligence. It concludes with examinations of various fields of application, like infectious diseases, autonomous car and monotone inclusion problems.
N-ary Relations for Logical Analysis of Data and Knowledge
Author: Kulik, Boris
Publisher: IGI Global
ISBN: 1522527834
Category : Mathematics
Languages : en
Pages : 317
Book Description
Mathematics has been used as a tool in logistical reasoning for centuries. Examining how specific mathematic structures can aid in data and knowledge management helps determine how to efficiently and effectively process more information in these fields. N-ary Relations for Logical Analysis of Data and Knowledge is a critical scholarly reference source that provides a detailed study of the mathematical techniques currently involved in the progression of information technology fields. Featuring relevant topics that include algebraic sets, deductive analysis, defeasible reasoning, and probabilistic modeling, this publication is ideal for academicians, students, and researchers who are interested in staying apprised of the latest research in the information technology field.
Publisher: IGI Global
ISBN: 1522527834
Category : Mathematics
Languages : en
Pages : 317
Book Description
Mathematics has been used as a tool in logistical reasoning for centuries. Examining how specific mathematic structures can aid in data and knowledge management helps determine how to efficiently and effectively process more information in these fields. N-ary Relations for Logical Analysis of Data and Knowledge is a critical scholarly reference source that provides a detailed study of the mathematical techniques currently involved in the progression of information technology fields. Featuring relevant topics that include algebraic sets, deductive analysis, defeasible reasoning, and probabilistic modeling, this publication is ideal for academicians, students, and researchers who are interested in staying apprised of the latest research in the information technology field.