64 research outputs found

    Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences

    Get PDF
    Mathematical fuzzy logic (MFL) specifically targets many-valued logic and has significantly contributed to the logical foundations of fuzzy set theory (FST). It explores the computational and philosophical rationale behind the uncertainty due to imprecision in the backdrop of traditional mathematical logic. Since uncertainty is present in almost every real-world application, it is essential to develop novel approaches and tools for efficient processing. This book is the collection of the publications in the Special Issue “Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences”, which aims to cover theoretical and practical aspects of MFL and FST. Specifically, this book addresses several problems, such as:- Industrial optimization problems- Multi-criteria decision-making- Financial forecasting problems- Image processing- Educational data mining- Explainable artificial intelligence, etc

    Topics in Topology and Homotopy Theory

    Full text link
    This book is an account of certain topics in general and algebraic topology

    Foundations of Software Science and Computation Structures

    Get PDF
    This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.

    2018 Touro College & University System Faculty Publications

    Get PDF
    This is the 2018 edition of the Faculty Publications Book of the Touro College & University System. It includes all eligible 2018 publication citations of faculty within the Touro College & University System, including New York Medical College (NYMC). It was produced as a joint effort of the Touro College Libraries and the Health Sciences Library at NYMC.https://touroscholar.touro.edu/facpubs/1008/thumbnail.jp

    Equivariant instanton homology

    Full text link
    We define four versions of equivariant instanton Floer homology (I+,I−,I∞I^+, I^-, I^\infty and I~\widetilde I) for a class of 3-manifolds and SO(3)SO(3)-bundles over them including all rational homology spheres. These versions are analogous to the four flavors of monopole and Heegaard Floer homology theories. This construction is functorial for a large class of 4-manifold cobordisms, and agrees with Donaldson's definition of equivariant instanton homology for integer homology spheres. Furthermore, one of our invariants is isomorphic to Floer's instanton homology for admissible bundles, and we calculate I∞I^\infty in all cases it is defined, away from characteristic 2. The appendix, possibly of independent interest, defines an algebraic construction of three equivariant homology theories for dg-modules over a dg-algebra, the equivariant homology H+(A,M)H^+(A,M), the coBorel homology H−(A,M)H^-(A,M), and the Tate homology H∞(A,M)H^\infty(A,M). The constructions of the appendix are used to define our invariants.Comment: 221 page

    A historical perspective of the theory of isotopisms

    Get PDF
    In the middle of the twentieth century, Albert and Bruck introduced the theory of isotopisms of non-associative algebras and quasigroups as a generalization of the classical theory of isomorphisms in order to study and classify such structures according to more general symmetries. Since then, a wide range of applications have arisen in the literature concerning the classification and enumeration of different algebraic and combinatorial structures according to their isotopism classes. In spite of that, there does not exist any contribution dealing with the origin and development of such a theory. This paper is a first approach in this regard.Junta de AndalucĂ­
    • 

    corecore