Multiscale Modelling Of Brain Networks And The Analysis Of Dynamic Processes In Neurodegenerative Disorders, 2024 Wilfrid Laurier University
Multiscale Modelling Of Brain Networks And The Analysis Of Dynamic Processes In Neurodegenerative Disorders, Hina Shaheen
Theses and Dissertations (Comprehensive)
The complex nature of the human brain, with its intricate organic structure and multiscale spatio-temporal characteristics ranging from synapses to the entire brain, presents a major obstacle in brain modelling. Capturing this complexity poses a significant challenge for researchers. The complex interplay of coupled multiphysics and biochemical activities within this intricate system shapes the brain's capacity, functioning within a structure-function relationship that necessitates a specific mathematical framework. Advanced mathematical modelling approaches that incorporate the coupling of brain networks and the analysis of dynamic processes are essential for advancing therapeutic strategies aimed at treating neurodegenerative diseases (NDDs), which afflict millions of …
Reducing Food Scarcity: The Benefits Of Urban Farming, 2023 Brigham Young University
Reducing Food Scarcity: The Benefits Of Urban Farming, S.A. Claudell, Emilio Mejia
Journal of Nonprofit Innovation
Urban farming can enhance the lives of communities and help reduce food scarcity. This paper presents a conceptual prototype of an efficient urban farming community that can be scaled for a single apartment building or an entire community across all global geoeconomics regions, including densely populated cities and rural, developing towns and communities. When deployed in coordination with smart crop choices, local farm support, and efficient transportation then the result isn’t just sustainability, but also increasing fresh produce accessibility, optimizing nutritional value, eliminating the use of ‘forever chemicals’, reducing transportation costs, and fostering global environmental benefits.
Imagine Doris, who is …
Many-Valued Coalgebraic Logic: From Boolean Algebras To Primal Varieties, 2023 Chapman University
Many-Valued Coalgebraic Logic: From Boolean Algebras To Primal Varieties, Alexander Kurz, Wolfgang Poiger
Engineering Faculty Articles and Research
We study many-valued coalgebraic logics with primal algebras of truth-degrees. We describe a way to lift algebraic semantics of classical coalgebraic logics, given by an endofunctor on the variety of Boolean algebras, to this many-valued setting, and we show that many important properties of the original logic are inherited by its lifting. Then, we deal with the problem of obtaining a concrete axiomatic presentation of the variety of algebras for this lifted logic, given that we know one for the original one. We solve this problem for a class of presentations which behaves well with respect to a lattice structure …
Soundness And Completeness Results For The Logic Of Evidence Aggregation And Its Probability Semantics, 2023 The Graduate Center, City University of New York
Soundness And Completeness Results For The Logic Of Evidence Aggregation And Its Probability Semantics, Eoin Moore
Dissertations, Theses, and Capstone Projects
The Logic of Evidence Aggregation (LEA), introduced in 2020, offers a solution to the problem of evidence aggregation, but LEA is not complete with respect to the intended probability semantics. This left open the tasks to find sound and complete semantics for LEA and a proper axiomatization for probability semantics. In this thesis we do both. We also develop the proof theory for some LEA-related logics and show surprising connections between LEA-related logics and Lax Logic.
One Formula For Non-Prime Numbers: Motivations And Characteristics, 2023 Department of Basic Science, Faculty of Engineering, The British University in Egypt
One Formula For Non-Prime Numbers: Motivations And Characteristics, Mahmoud Mansour, Kamal Hassan Prof.
Basic Science Engineering
Primes are essential for computer encryption and cryptography, as they are fundamental units of whole numbers and are of the highest importance due to their mathematical qualities. However, identifying a pattern of primes is not easy. Thinking in a different way may get benefits, by considering the opposite side of the problem which means focusing on non-prime numbers. Recently, researchers introduced, the pattern of non-primes in two maximal sets while in this paper, non-primes are presented in one formula. Getting one-way formula for non-primes may pave the way for further applications based on the idea of primes.
(R1986) Neutrosophic Soft Contra E-Continuous Maps, Contra E-Irresolute Maps And Application Using Distance Measure, 2023 Annamalai University
(R1986) Neutrosophic Soft Contra E-Continuous Maps, Contra E-Irresolute Maps And Application Using Distance Measure, P. Revathi, K. Chitirakala, A. Vadivel
Applications and Applied Mathematics: An International Journal (AAM)
We introduce and investigate neutrosophic soft contra e-continuous maps and contra e-irresolute maps in neutrosophic soft topological spaces with examples. Also, neutrosophic soft contra econtinuous maps are compared with neutrosophic soft continuous maps, δ-continuous maps, δ- semi continuous maps, δ-pre continuous maps and e∗ continuous maps in neutrosophic soft topological spaces. We derive some useful results and properties related to them. An application in decision making problem using distance measure is given. An example of a candidate selection from a company interview is formulated as neutrosophic soft model problem and the hamming distance measure is applied to calculate the distance …
(R1957) Some Types Of Continuous Function Via N-Neutrosophic Crisp Topological Spaces, 2023 Government Arts College (Autonomous)
(R1957) Some Types Of Continuous Function Via N-Neutrosophic Crisp Topological Spaces, A. Vadivel, C. John Sundar
Applications and Applied Mathematics: An International Journal (AAM)
The aim of this article is to introduced a new type of continuous functions such as N-neutrosophic crisp gamma continuous and weakly N-neutrosophic crisp gamma continuous functions in a N-neutrosophic crisp topological space and also discuss a relation between them in a N-neutrosophic crisp topological spaces. We also investigate some of their properties in N-neutrosophic crisp gamma continuous function via N-neutrosophic crisp topological spaces. Further, a contra part of continuity called N-neutrosophic crisp gamma-contra continuous map in a N-neutrosophic crisp topology is also initiated. Finally, an application based on neutrosophic score function of medical diagnosis is examined with graphical representation.
(R1965) Some More Properties On Generalized Double Fuzzy Z Alpha Open Sets, 2023 J. J. College of Arts and Science (Autonomous), Affiliated to Bharathidasan University
(R1965) Some More Properties On Generalized Double Fuzzy Z Alpha Open Sets, K. Jayapandian, A. Saivarajan, O. Uma Maheswari, J. Sathiyaraj
Applications and Applied Mathematics: An International Journal (AAM)
In this paper, a new class of sets termed as double fuzzy generalized Z alpha closed sets and double fuzzy generalized Z alpha open sets are introduced with the help of double fuzzy Z alpha open and double fuzzy Z alpha closed sets, respectively. Using these sets double fuzzy generalized Z alpha border, double fuzzy generalized Z alpha exterior and double fuzzy generalized Z alpha frontier of a fuzzy set in double fuzzy topological spaces are introduced. Also, the topological properties and characterizations of these sets and operators are studied. Furthermore, suitable examples have been provided to illustrate the theory.
(R1997) Distance Measures Of Complex Fermatean Fuzzy Number And Their Application To Multi-Criteria Decision-Making Problem, 2023 Annamalai University
(R1997) Distance Measures Of Complex Fermatean Fuzzy Number And Their Application To Multi-Criteria Decision-Making Problem, V. Chinnadurai, S. Thayalan, A. Bobin
Applications and Applied Mathematics: An International Journal (AAM)
Multi-criteria decision-making (MCDM) is the most widely used decision-making method to solve many complex problems. However, classical MCDM approaches tend to make decisions when the parameters are imprecise or uncertain. The concept of a complex fuzzy set is new in the field of fuzzy set theory. It is a set that can collect and interpret the membership grades from the unit circle in a plane instead of the interval [0,1]. CFS cannot deal with membership and non-membership grades, while complex intuitionistic fuzzy set and complex Pythagorean fuzzy set works only for a limited range of values. The concept of a …
Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, 2023 California Polytechnic State University, San Luis Obispo
Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, Robert K. Thompson, Robert K. Thompson
Master's Theses
Due to the difficulty of obtaining formal proofs, there is increasing interest in partially or completely automating proof search in interactive theorem provers. Despite being a theorem prover with an active community and plentiful corpus of 170,000+ theorems, no deep learning system currently exists to help automate theorem proving in ACL2. We have developed a machine learning system that generates recommendations to automatically complete proofs. We show that our system benefits from the copy mechanism introduced in the context of program repair. We make our system directly accessible from within ACL2 and use this interface to evaluate our system in …
On Specifications Of Positive Data Models With Effectively Separable Kernels Of Algorithmic Representations, 2023 National University of Uzbekistan
On Specifications Of Positive Data Models With Effectively Separable Kernels Of Algorithmic Representations, Nodira R. Karimova
Bulletin of National University of Uzbekistan: Mathematics and Natural Sciences
It is established that any effectively separable multi-sorted positively representable model with an effectively separable representation kernel has an enrichment that is the only (up to isomorphism) model constructed from constants for a suitable computably enumerable set of sentences.
What Is A Number?, 2023 La Salle University
What Is A Number?, Nicholas Radley
HON499 projects
This essay is, in essence, an attempt to make a case for mathematical platonism. That is to say, that we argue for the existence of mathematical objects independent of our perception of them. The essay includes a somewhat informal construction of number systems ranging from the natural numbers to the complex numbers.
Reverse Mathematics Of Ramsey's Theorem, 2023 California State University, San Bernardino
Reverse Mathematics Of Ramsey's Theorem, Nikolay Maslov
Electronic Theses, Projects, and Dissertations
Reverse mathematics aims to determine which set theoretic axioms are necessary to prove the theorems outside of the set theory. Since the 1970’s, there has been an interest in applying reverse mathematics to study combinatorial principles like Ramsey’s theorem to analyze its strength and relation to other theorems. Ramsey’s theorem for pairs states that for any infinite complete graph with a finite coloring on edges, there is an infinite subset of nodes all of whose edges share one color. In this thesis, we introduce the fundamental terminology and techniques for reverse mathematics, and demonstrate their use in proving Kőnig's lemma …
Generations Of Reason: A Family’S Search For Meaning In Post-Newtonian England (Book Review), 2023 Dordt University
Generations Of Reason: A Family’S Search For Meaning In Post-Newtonian England (Book Review), Calvin Jongsma
Faculty Work Comprehensive List
Reviewed Title: Generations of Reason: A Family's Search for Meaning in Post-Newtonian England by Joan L. Richards. New Haven, CT: Yale University Press, 2021. 456 pp. ISBN: 9780300255492.
Richard Whately's Revitalization Of Syllogistic Logic, 2023 Dordt University
Richard Whately's Revitalization Of Syllogistic Logic, Calvin Jongsma
Faculty Work Comprehensive List
This is an expanded version of the first chapter Richard Whately’s Revitalization of Syllogistic Logic in Aristotle’s Syllogism and the Creation of Modern Logic edited by Lukas M. Verburgt and Matteo Cosci (Bloomsbury, 2023). Drawing upon the author’s 1982 Ph. D. dissertation (https://digitalcollections.dordt.edu/faculty_work/230/ ) and more current scholarship, this essay traces the critical historical background to Whately’s work in more detail than could be done in the published version.
Self-Reference And Diagonalisation, 2023 Technische Universität Darmstadt
Self-Reference And Diagonalisation, Joël A. Doat
Journal of Humanistic Mathematics
This poem is an exercise on self-reference and diagonalisation in mathematics featuring Turing’s proof of the undecidability of the halting problem, Cantor’s cardinality argument, the Burali-Forti paradox, and Epimenides' liar paradox.
Using Bloom's Taxonomy For Math Outreach Within And Outside The Classroom, 2023 Benedictine University
Using Bloom's Taxonomy For Math Outreach Within And Outside The Classroom, Manmohan Kaur
Journal of Humanistic Mathematics
Not everyone is a great artist, but we don’t often hear, “I dislike art.” Most people are able to appreciate visual arts, music and sports, without necessarily excelling in it themselves. On the other hand, the phrase “I dislike math” is widely prevalent. This is especially ironic in our current society, where mathematics affects our day-to-day activities in essential ways such as e-commerce and e-mail. This paper describes the opportunity to popularize mathematics by focusing on its fun and creative aspects, and illustrates this opportunity through a brief discussion of interdisciplinary topics that expose the beauty, elegance and value of …
Completeness Of Nominal Props, 2023 Runtime Verication Inc.
Completeness Of Nominal Props, Samuel Balco, Alexander Kurz
Engineering Faculty Articles and Research
We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric monoidal theories and nominal monoidal theories, which allows us to transfer completeness results between ordinary and nominal calculi for string diagrams.
Symbolic Logic, 2023 CSU, San Bernardino
Symbolic Logic, Tony Roy
Books
Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Godel's completeness and incompleteness theorems. The text naturally divides into two volumes, the first for reasoning in logic, the second for reasoning about it.
The first volume includes parts I and II of the text. Part I introduces the complete classical predicate calculus with equality, including both axiomatic and natural derivation systems. Part II transitions to methods for reasoning about logic, including direct reasoning from definitions and mathematical induction.
The second volume includes parts III and IV of the text. Part III develops basic results in …
(R1976) A Novel Approach To Solve Fuzzy Rough Matrix Game With Two Players, 2022 University of Rajasthan
(R1976) A Novel Approach To Solve Fuzzy Rough Matrix Game With Two Players, Vinod Jangid, Ganesh Kumar, Gaurav Sharama, Vishnu Narayan Mishra
Applications and Applied Mathematics: An International Journal (AAM)
This paper proposes a new method for solving a two-person zero-sum fuzzy matrix game with goals, payoffs, and decision variables represented as triangular fuzzy rough numbers. We created a pair of fully fuzzy rough linear programming problems for players. Triangular fuzzy rough numbers can be used to formulate two fuzzy linear programming problems for the first player in the form of upper approximation intervals and lower approximation intervals. Two problems for the second player can be created in the same way. These problems have been split into five sub-crisp problems for the player first and five sub-crisp problems for the …