Open Access. Powered by Scholars. Published by Universities.®
- Institution
Articles 1 - 3 of 3
Full-Text Articles in Other Mathematics
Special Fuzzy Matrices For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral
Special Fuzzy Matrices For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral
Branch Mathematics and Statistics Faculty and Staff Publications
This book is a continuation of the book, "Elementary fuzzy matrix and fuzzy models for socio-scientists" by the same authors. This book is a little advanced because we introduce a multi-expert fuzzy and neutrosophic models. It mainly tries to help social scientists to analyze any problem in which they need multi-expert systems with multi-models. To cater to this need, we have introduced new classes of fuzzy and neutrosophic special matrices. The first chapter is essentially spent on introducing the new notion of different types of special fuzzy and neutrosophic matrices, and the simple operations on them which are needed in …
Carathéodory Functions In The Banach Space Setting, Daniel Alpay, Olga Timoshenko, Dan Volok
Carathéodory Functions In The Banach Space Setting, Daniel Alpay, Olga Timoshenko, Dan Volok
Mathematics, Physics, and Computer Science Faculty Articles and Research
We prove representation theorems for Carathéodory functions in the setting of Banach spaces.
Pi-Calculus In Logical Form, Marcello M. Bonsangue, Alexander Kurz
Pi-Calculus In Logical Form, Marcello M. Bonsangue, Alexander Kurz
Engineering Faculty Articles and Research
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is done by defining a logical counterpart of categorical constructions including dynamic name allocation and name exponentiation, and showing that they are dual to standard constructs in functor categories. We show that initial algebras of functors defined in terms of these constructs give rise to a logic that is sound, complete, and characterises bisimilarity. The approach is modular, and we apply it to derive a logical formulation of pi-calculus. The resulting logic is a …