Mathematics Commons^™

Neutrosophic Super Matrices And Quasi Super Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors study neutrosophic super matrices. The concept of neutrosophy or indeterminacy happens to be one the powerful tools used in applications like FCMs and NCMs where the expert seeks for a neutral solution. Thus this concept has lots of applications in fuzzy neutrosophic models like NRE, NAM etc. These concepts will also find applications in image processing where the expert seeks for a neutral solution. Here we introduce neutrosophic super matrices and show that the sum or product of two neutrosophic matrices is not in general a neutrosophic super matrix. Another interesting feature of this book is …

Mathematical Analysis Of The Problems Faced By The People With Disabilities (Pwds), Florentin Smarandache, W.B. Vasantha Kandasamy, A. Praveen Prakash

Branch Mathematics and Statistics Faculty and Staff Publications

The authors in this book have analyzed the socio-economic and psychological problems faced by People with Disabilities (PWDs) and their families. The study was made by collecting data using both fuzzy linguistic questionnaire / by interviews in case they are not literates from 2,15,811 lakhs people. This data was collected using the five Non Government Organizations (NGOs) from northern Tamil Nadu. Now any reader would be interested to know whether the Tamils (natives of Tamil Nadu) had ever spoken about people with disability. Even before 2000 years tamils had heroic poetry Purananuru (28th poem) about the war fare methods. In …

Semigroup As Graphs, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors study the zero divisor graph and unit graph of a semigroup. The zero divisor graphs of semigroups Zn under multiplication is studied and characterized.

Erasure Techniques In Mrd Codes, Florentin Smarandache, W.B. Vasantha Kandasamy, R. Sujatha, R.S. Raja Durai

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors study the erasure techniques in concatenated Maximum Rank Distance (MRD) codes. The authors for the first time in this book introduce the new notion of concatenation of MRD codes with binary codes, where we take the outer code as the RD code and the binary code as the inner code. The concatenated code consists of the codewords of the outer code expressed in terms of the alphabets of the inner code. These new class of codes are defined as CRM codes. This concatenation techniques helps one to construct any CRM code of desired minimum distance …

The Geometry Of Homological Triangles, Florentin Smarandache, Ion Patrascu

Branch Mathematics and Statistics Faculty and Staff Publications

This book is addressed to students, professors and researchers of geometry, who will find herein many interesting and original results. The originality of the book The Geometry of Homological Triangles consists in using the homology of triangles as a “filter” through which remarkable notions and theorems from the geometry of the triangle are unitarily passed. Our research is structured in seven chapters, the first four are dedicated to the homology of the triangles while the last ones to their applications. In the first chapter one proves the theorem of homological triangles (Desargues, 1636), one survey the remarkable pairs of homological …

Set Ideal Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors for the first time introduce a new type of topological spaces called the set ideal topological spaces using rings or semigroups, or used in the mutually exclusive sense. This type of topological spaces use the class of set ideals of a ring (semigroups). The rings or semigroups can be finite or infinite order. By this method we get complex modulo finite integer set ideal topological spaces using finite complex modulo integer rings or finite complex modulo integer semigroups. Also authors construct neutrosophic set ideal toplogical spaces of both finite and infinite order as well as …

Colonel Blotto Games And Lancaster's Equations: A Novel Military Modeling Combination, Andrew Collins, Patrick T. Hester

VMASC Publications

Military strategists face a difficult task when engaged in a battle against an adversarial force. They have to predict both what tactics their opponent will employ and the outcomes of any resultant conflicts in order to make the best decision about their actions. Game theory has been the dominant technique used by analysts to investigate the possible actions that an enemy will employ. Traditional game theory can be augmented by use of Lanchester equations, a set of differential equations used to determine the outcome of a conflict. This paper demonstrates a novel combination of game theory and Lanchester equations using …

Comparative Investigation Of Cognitive And Pragmatic Thinking Modes Linear Algebra, Enayatollah Kalantarian

Open Access Theses & Dissertations

The analysis focused on the presence of different thinking modes found on the interview and responses to questions related to linear independence, span, and spanning sets of two students taking their first linear algebra course at the college level. The findings provide insight on how first year linear algebra students move from one thinking mode to another. The focal point of this research was to document and discern the similarities and differences between student thinking modes displayed on their interviews and class assignments.

Based on the analysis, it was concluded that the level of exposure of the two students to …

Assessing Impulsive-Analytic Disposition: The Likelihood-To-Act Survey And Other Instruments, Kien H. Lim, Amy E. Wagler

Departmental Papers (Math)

The likelihood-to-act (LtA) survey is a 32-item instrument that measures impulsive and analytic dispositions in solving math problems. In this research report, we compare it to other instruments related to the impulsive-analytic construct such as Frederick’s Cognitive Reflection Test (CRT) and the Barratt Impulsive Scale in terms of mean scores, Cronbach alpha values, and correlation values. Both LtA-Impulsive and LtA-Analytic subscales have acceptable reliabilities of 0.79 and 0.83 respectively. The LtA-Analytic and LtA-Difference (analytic-impulsive difference) correlated well with other the Need for Cognition subscale and CRT scores. The correlations involving LtA-Impulsive subscale were unexpected and call for further investigation.

Impulsive-Analytic Disposition In Mathematical Problem Solving: A Survey And A Mathematics Test, Kien H. Lim, Amy E. Wagler

Departmental Papers (Math)

The Likelihood-to-Act (LtA) survey and a mathematics test were used in this study to assess students’ impulsive-analytic disposition in the context of mathematical problem solving. The results obtained from these two instruments were compared to those obtained using two widely-used scales: Need for Cognition (NFC) and Barratt Impulsivity Scale (BIS). The exhibited correlations of the LtA scores with the NFC, BIS, and a math test provide evidence of the criterion validity of the analytic LtA items, and suggests further revision of the impulsive LtA items to improve the overall measurement validity of the LtA scale. Students LtA scores were found …

Dihedral Cayley Directed Strongly Regular Graphs, Jose Jonathan Gamez

Open Access Theses & Dissertations

A graph is a directed strongly regular graph (DSRG) if and only if the number of paths of length 2 from x to y is: λ, if there is an edge from x to y; μ, if there is not an edge from x to y (with x not equal to y); and t, if x = y. For every vertex in G, the in-degree and out-degree is k. The number of vertices in G is denoted by v. If G is a group and S a subset of G, then the …

Partial Orders For Representing Uncertainty, Causality And Decision Making: General Properties, Operations, And Algorithms, Francisco Adolfo Zapata

Open Access Theses & Dissertations

One of the main objectives of science and engineering is to help people select the most beneficial decisions. To make these decisions, we must know people's preferences, we must have the information about different possible consequences of different decisions. Since information is never absolutely accurate and precise, we must also have information about the degree of certainty of different parts on information. All these types of information naturally lead to partial orders:

- For preferences, a <= b means that b is preferable to a. This relation is used in decision theory.

- For events, a <= b means that a can influence b. This causality relation is one of the fundamental notions of physics, especially of physics of space-time.

* For uncertain statements, a <= b means that a is less certain than b. This relation is used in logics describing uncertainty, such as fuzzy logic.

In each of these areas, there is abundant research about studying the corresponding partial orders. …

Image Reconstruction Through Polyfiltered Variation Minimization, Michael Hagen

Master's Theses and Doctoral Dissertations

There has been considerable interest in reconstruction of remotely sensed imagery from incomplete frequency measurements for some time now. Given the nature of the collection process, it may be that portions of the spectrum are either missing or corrupted such that one is left with an incomplete representation of the original image. The advances in both the theory and available software for sparse signal reconstruction through function minimization make it an attractive approach for recreating the missing frequency data. It is the aim of this thesis to generalize the reconstruction technique known as Total Variation (TV) minimization from a signal …

An Epidemiological Model Of Rift Valley Fever With Spatial Dynamics, Tianchan Niu, Holly D. Gaff, Yiannis E. Papelis, David M. Hartley

Biological Sciences Faculty Publications

As a category A agent in the Center for Disease Control bioterrorism list, Rift Valley fever (RVF) is considered a major threat to the United States (USA). Should the pathogen be intentionally or unintentionally introduced to the continental USA, there is tremendous potential for economic damages due to loss of livestock, trade restrictions, and subsequent food supply chain disruptions. We have incorporated the effects of space into a mathematical model of RVF in order to study the dynamics of the pathogen spread as affected by the movement of humans, livestock, and mosquitoes. The model accounts for the horizontal transmission of …

Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 12411 “Coalgebraic Logics”. The seminar deals with recent developments in the area of coalgebraic logic, a branch of logics which combines modal logics with coalgebraic semantics. Modal logic finds its uses when reasoning about behavioural and temporal properties of computation and communication, coalgebras have evolved into a general theory of systems. Consequently, it is natural to combine both areas for a mathematical description of system specification. Coalgebraic logics are closely related to the broader categories semantics/formal methods and verification/logic.

Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover modality depending on the type functor. Its semantics is defined in terms of a categorically defined relation lifting operation.

As the main contributions of our paper we introduce a derivation system, and prove that it provides a sound and complete axiomatization for the collection of coalgebraically valid inequalities. Our soundness and completeness proof is algebraic, …

Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary set-functor is given and proven to be strongly complete under additional assumptions. We proceed in three parts.

Part I argues that sifted colimit preserving functors are those functors that preserve universal algebraic structure. Our main theorem here states that a functor preserves sifted colimits if and only if it has a finitary presentation by operations and equations. Moreover, the presentation of the …

Characterizations Of Logistic Distribution Through Order Statistics With Independent Exponential Shifts, M. Ahsanullah, George Yanev, Constantin Onica

School of Mathematical & Statistical Sciences Faculty Publications

Distributional properties of logistic order statistics subject to independent exponential one-sided and two-sided shifts are established. Utilizing these properties, we extend several known results and obtain new characterizations of the logistic distribution.

White Noise Based Stochastic Calculus Associated With A Class Of Gaussian Processes, Daniel Alpay, Haim Attia, David Levanony

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using the white noise space setting, we define and study stochastic integrals with respect to a class of stationary increment Gaussian processes. We focus mainly on continuous functions with values in the Kondratiev space of stochastic distributions, where use is made of the topology of nuclear spaces. We also prove an associated Ito formula.

An Interpolation Problem For Functions With Values In A Commutative Ring, Daniel Alpay, Haim Attia

Mathematics, Physics, and Computer Science Faculty Articles and Research

It was recently shown that the theory of linear stochastic systems can be viewed as a particular case of the theory of linear systems on a certain commutative ring of power series in a countable number of variables. In the present work we study an interpolation problem in this setting. A key tool is the principle of permanence of algebraic identities.