Bitopological Duality For Distributive Lattices And Heyting Algebras,
2010
New Mexico State University
Bitopological Duality For Distributive Lattices And Heyting Algebras, Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
Engineering Faculty Articles and Research
We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spaces—the duals of Boolean algebras—and show that they are exactly the bitopological duals of bounded distributive lattices. The category PStone of pairwise Stone spaces is isomorphic to the category Spec of spectral spaces and to the category Pries of Priestley spaces. In fact, the isomorphism of Spec and Pries is most naturally seen through PStone by first establishing that Pries is isomorphic to PStone, and then showing that PStone is isomorphic to Spec. We provide the bitopological and spectral descriptions of many algebraic concepts important for the study …
Algebraic Theories Over Nominal Sets,
2010
Chapman University
Algebraic Theories Over Nominal Sets, Alexander Kurz, Daniela Petrişan, Jiří Velebil
Engineering Faculty Articles and Research
We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to introduce new notions of finitary based monads and uniform monads. In a second part we spell out these notions in the language of universal algebra, show how to recover the logics of Gabbay-Mathijssen and Clouston-Pitts, and apply classical results from universal algebra.
Krein Systems And Canonical Systems On A Finite Interval: Accelerants With A Jump Discontinuity At The Origin And Continuous Potentials,
2010
Chapman University
Krein Systems And Canonical Systems On A Finite Interval: Accelerants With A Jump Discontinuity At The Origin And Continuous Potentials, Daniel Alpay, I. Gohberg, M. A. Kaashoek, L. Lerer, A. Sakhnovich
Mathematics, Physics, and Computer Science Faculty Articles and Research
This paper is devoted to connections between accelerants and potentials of Krein systems and of canonical systems of Dirac type, both on a finite interval. It is shown that a continuous potential is always generated by an accelerant, provided the latter is continuous with a possible jump discontinuity at the origin. Moreover, the generating accelerant is uniquely determined by the potential. The results are illustrated on pseudo-exponential potentials. The paper is a continuation of the earlier paper of the authors [1] dealing with the direct problem for Krein systems.
Is The Notion Of Mathematical Object An Historical Notion?,
2010
Chapman University
Is The Notion Of Mathematical Object An Historical Notion?, Marco Panza
MPP Published Research
"Both historians and philosophers of mathematics frequently speak of mathematical objects. Are they speaking of the same or of similar things? Better: are they appealing to the same notion or to similar notions?"
Super Special Codes Using Super Matrices,
2010
University of New Mexico
Super Special Codes Using Super Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral
Branch Mathematics and Statistics Faculty and Staff Publications
The new classes of super special codes are constructed in this book using the specially constructed super special vector spaces. These codes mainly use the super matrices. These codes can be realized as a special type of concatenated codes. This book has four chapters. In chapter one basic properties of codes and super matrices are given. A new type of super special vector space is constructed in chapter two of this book. Three new classes of super special codes namely, super special row code, super special column code and super special codes are introduced in chapter three. Applications of these …
Advances And Applications Of Dsmt For Information Fusion (In Chinese),
2010
University of New Mexico
Advances And Applications Of Dsmt For Information Fusion (In Chinese), Florentin Smarandache, Jean Dezert
Branch Mathematics and Statistics Faculty and Staff Publications
No abstract provided.
Interval Linear Algebra,
2010
University of New Mexico
Interval Linear Algebra, Florentin Smarandache, W.B. Vasantha Kandasamy
Branch Mathematics and Statistics Faculty and Staff Publications
This Interval arithmetic or interval mathematics developed in 1950’s and 1960’s by mathematicians as an approach to putting bounds on rounding errors and measurement error in mathematical computations. However no proper interval algebraic structures have been defined or studies. In this book we for the first time introduce several types of interval linear algebras and study them. This structure has become indispensable for these concepts will find applications in numerical optimization and validation of structural designs. In this book we use only special types of intervals and introduce the notion of different types of interval linear algebras and interval vector …
Rank Distance Bicodes And Their Generalization,
2010
University of New Mexico
Rank Distance Bicodes And Their Generalization, Florentin Smarandache, W.B. Vasantha Kandasamy, N. Suresh Babu, R.S. Selvaraj
Branch Mathematics and Statistics Faculty and Staff Publications
In this book the authors introduce the new notion of rank distance bicodes and generalize this concept to Rank Distance n-codes (RD n-codes), n, greater than or equal to three. This definition leads to several classes of new RD bicodes like semi circulant rank bicodes of type I and II, semicyclic circulant rank bicode, circulant rank bicodes, bidivisible bicode and so on. It is important to mention that these new classes of codes will not only multitask simultaneously but also they will be best suited to the present computerised era. Apart from this, these codes are best suited in cryptography. …
Interval Groupoids,
2010
University of New Mexico
Interval Groupoids, Florentin Smarandache, W.B. Vasantha Kandasamy, Moon Kumar Chetry
Branch Mathematics and Statistics Faculty and Staff Publications
This book introduces several new classes of groupoid, like polynomial groupoids, matrix groupoids, interval groupoids, polynomial interval groupoids, matrix interval groupoids and their neutrosophic analogues.
Fusion Of Sources Of Evidence With Different Importances And Reliabilities,
2010
University of New Mexico
Fusion Of Sources Of Evidence With Different Importances And Reliabilities, Florentin Smarandache, Jean Dezert, J.M. Tacnet
Branch Mathematics and Statistics Faculty and Staff Publications
This paper presents a new approach for combining sources of evidences with different importances and reliabilities. Usually, the combination of sources of evidences with different reliabilities is done by the classical Shafer’s discounting approach. Therefore, to consider unequal importances of sources, if any, a similar reliability discounting process is generally used, making no difference between the notion of importance and reliability. In fact, in multicriteria decision context, these notions should be clearly distinguished. This paper shows how this can be done and we provide simple examples to show the differences between both solutions for managing importances and reliabilities of sources. …
Ethnomathematics For Capacity Building In Mathematics Education,
2010
Ateneo de Manila University
Ethnomathematics For Capacity Building In Mathematics Education, Catherine P. Vistro-Yu
Mathematics Faculty Publications
The Mathematics Framework for Philippine Basic Education (MATHTED and SEI, in press), a document that aims to guide the development of curricular contents in mathematics, identifies cultural-rootedness as one of the cognitive values that mathematics education in the Philippines must inculcate. Cultural-rootedness is defined as ?appreciating the cultural value of mathematics and its origins in many cultures, its rich history and how it has grown and continues to evolve?. Ethnomathematics, described as the ?mathematics which is practiced among identifiable cultural groups, such as national tribal societies, labor groups, children of a certain age bracket, professional classes and so on? (D?Ambrosio, …
On The Characteristics Of A Class Of Gaussian Processes Within The White Noise Space Setting,
2010
Chapman University
On The Characteristics Of A Class Of Gaussian Processes Within The White Noise Space Setting, Daniel Alpay, Haim Attia, David Levanony
Mathematics, Physics, and Computer Science Faculty Articles and Research
Using the white noise space framework, we define a class of stochastic processes which include as a particular case the fractional Brownian motion and its derivative. The covariance functions of these processes are of a special form, studied by Schoenberg, von Neumann and Krein.
Discrete-Time Multi-Scale Systems,
2010
Chapman University
Discrete-Time Multi-Scale Systems, Daniel Alpay, Mamadou Mboup
Mathematics, Physics, and Computer Science Faculty Articles and Research
We introduce multi-scale filtering by the way of certain double convolution systems. We prove stability theorems for these systems and make connections with function theory in the poly-disc. Finally, we compare the framework developed here with the white noise space framework, within which a similar class of double convolution systems has been defined earlier.
Linear Stochastic State Space Theory In The White Noise Space Setting,
2010
Chapman University
Linear Stochastic State Space Theory In The White Noise Space Setting, Daniel Alpay, David Levanony, Ariel Pinhas
Mathematics, Physics, and Computer Science Faculty Articles and Research
We study state space equations within the white noise space setting. A commutative ring of power series in a countable number of variables plays an important role. Transfer functions are rational functions with coefficients in this commutative ring, and are characterized in a number of ways. A major feature in our approach is the observation that key characteristics of a linear, time invariant, stochastic system are determined by the corresponding characteristics associated with the deterministic part of the system, namely its average behavior.
Linear Stochastic Systems: A White Noise Approach,
2010
Chapman University
Linear Stochastic Systems: A White Noise Approach, Daniel Alpay, David Levanony
Mathematics, Physics, and Computer Science Faculty Articles and Research
Using the white noise setting, in particular the Wick product, the Hermite transform, and the Kondratiev space, we present a new approach to study linear stochastic systems, where randomness is also included in the transfer function. We prove BIBO type stability theorems for these systems, both in the discrete and continuous time cases. We also consider the case of dissipative systems for both discrete and continuous time systems. We further study ℓ1-ℓ2 stability in the discrete time case, and L2-L∞ stability in the continuous time case.
