Research: Art, Information, And Academic Inquiry, 2024 University of Maine

#### Research: Art, Information, And Academic Inquiry, Luke D. Mckinney

*Electronic Theses and Dissertations*

In light of the rapidly changing landscape of knowledge production and dissemination, this paper proposes a reformation of academic research that integrates artistic methodologies, emphasizes interdisciplinary collaboration, and prioritizes clear communication to both specialized and general audiences. By reconceptualizing research as a multidimensional, embodied practice that encompasses both rational and irrational elements, we can create a more inclusive, adaptable, and effective approach to scholarship that bridges the rational divide between artistic and scientific inquiry that allows for the engagement of Artistic Research from within the institution, ultimately leading to more innovative and impactful contributions to human knowledge.

Discordium Mathematica - A Symphony In Aleph Minor, 2024 Aravali Asset Management

#### Discordium Mathematica - A Symphony In Aleph Minor, Vijay Fafat

*Journal of Humanistic Mathematics*

How did Mathematics arise? Who created it? Why is it subject to Godel’s Incompleteness Theorems? And what does all this have to do with Coleridge’s poem, “*Kubla Khan*”, and “*The Person from Porlock*”? Here is a complete mythology of Mathematics set in an epic poetry format, fusing thoughts and verses from Western religions and Eastern mysticism… Those with immense patience and careful reading shall reap the fruit… (best read on a large screen or in printed form)

#### A Thesis, Or Digressions On Sculptural Practice: In Which, Concepts & Influences Thereof Are Explained, Set Forth, Catalogued, Or Divulged By Way Of Commentaries To A Poem, First Conceived By The Artist, Fed Through Chatg.P.T., And Re-Edited By The Artist, To Which Are Added, Annotated References, Impressions And Ruminations Thereof, Also Including Private Thoughts & Personal Accounts Of The Artist, Jaimie An

*Masters Theses*

This thesis is an exercise in, perhaps a futile, attempt to trace just some of the ideas, stories, and musings I might meander through in my process. It’s not quite a map, nor is it a neat catalogue; it is a haphazard collection of tickets and receipts from a travel abroad, carelessly tossed in a carry-on, only to be stashed upon returning home. These ideas are derived from much greater thinkers and authors than myself; I am a mere collector or a translator, if that, and not a very good one, for much is lost. I do not claim comprehensive …

Canonical Extensions Of Quantale Enriched Categories, 2024 Chapman University

#### Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz

*MPP Research Seminar*

No abstract provided.

Formalization Of A Security Framework Design For A Health Prescription Assistant In An Internet Of Things System, 2024 Stephen F Austin State University

#### Formalization Of A Security Framework Design For A Health Prescription Assistant In An Internet Of Things System, Thomas Rolando Mellema

*Electronic Theses and Dissertations*

Security system design flaws will create greater risks and repercussions as the systems being secured further integrate into our daily life. One such application example is incorporating the powerful potential of the concept of the Internet of Things (IoT) into software services engineered for improving the practices of monitoring and prescribing effective healthcare to patients. A study was performed in this application area in order to specify a security system design for a Health Prescription Assistant (HPA) that operated with medical IoT (mIoT) devices in a healthcare environment. Although the efficiency of this system was measured, little was presented to …

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.

(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 …

(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.

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.

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.