Other Mathematics Commons^™

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 …

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

Oyun: A New, Free Program For Iterated Prisoner’S Dilemma Tournaments In The Classroom, Charles H. Pence, Lara Buchak

Faculty Publications

Evolutionary applications of game theory present one of the most pedagogically accessible varieties of genuine, contemporary theoretical biology. We present here Oyun (oy-oon, http://charlespence.net/oyun), a program designed to run iterated prisoner's dilemma tournaments, competitions between prisoner's dilemma strategies developed by the students themselves. Using this software, students are able to readily design and tweak their own strategies, and to see how they fare both in round-robin tournaments and in “evolutionary” tournaments, where the scores in a given “generation” directly determine contribution to the population in the next generation. Oyun is freely available, runs on Windows, Mac, and Linux computers, …

Applications Of Extenics To 2d-Space And 3d-Space, Florentin Smarandache, Victor Vladareanu

Branch Mathematics and Statistics Faculty and Staff Publications

In this article one proposes several numerical examples for applying the extension set to 2D- and 3D-spaces. While rectangular and prism geometrical figures can easily be decomposed from 2D and 3D into 1D linear problems, similarly for the circle and the sphere, it is not possible in general to do the same for other geometrical figures.

"Our Research Was Centered On Whether Or Not The Following Changes Made To The Pre-Calculus Algebra Class Positively Affected Student Performance…", Andrea Winchester

Summer Community of Scholars Posters (RCEU and HCR Combined Programs)

No abstract provided.

Bad Boundary Behavior In Star Invariant Subspaces Ii, William T. Ross, Andreas Hartmann

Department of Math & Statistics Faculty Publications

We continue our study begun in [HR11] concerning the radial growth of functions in the model spaces (IH²)^⊥.

Boundary Values In Range Spaces Of Co-Analytic Truncated Toeplitz Operator, William T. Ross, Andreas Hartmann

Department of Math & Statistics Faculty Publications

Functions in backward shift invariant subspaces have nice analytic continuation properties outside the spectrum of the inner function defining the space. Inside the spectrum of the inner function, Ahern and Clark showed that under some distribution condition on the zeros and the singular measure of the inner function, it is possible to obtain non-tangential boundary values of every function in the backward shift invariant subspace as well as for their derivatives up to a certain order. Here we will investigate, at least when the inner function is a Blaschke product, the non-tangential boundary values of the functions of the backward …

On The Class Rsi Of J-Contractive Functions Intertwining Solutions Of Linear Differential Equations, Daniel Alpay, Andrey Melnikov, Victor Vinnikov

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we extend and solve in the class of functions RSI mentioned in the title, a number of problems originally set for the class RS of rational functions contractive in the open right-half plane, and unitary on the imaginary line with respect to some preassigned self-adjoint matrix. The problems we consider include the Schur algorithm, the partial realization problem and the Nevanlinna-Pick interpolation problem. The arguments rely on the one-to-one correspondence between elements in a given subclass of RSI and elements in RS. Another important tool in the arguments is a new result pertaining to the classical tangential …

Exploring The Extension Of Natural Operations On Intervals, Matrices And Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

This book extends the natural operations defined on intervals, finite complex numbers and matrices. The intervals [a, b] are such that a ≤ b. But the natural class of intervals [a, b] introduced by the authors are such that a ≥ b or a need not be comparable with b. This way of defining natural class of intervals enables the authors to extend all the natural operations defined on reals to these natural class of intervals without any difficulty. Thus with these natural class of intervals working with interval matrices like stiffness matrices finding eigenvalues takes the same time as …

Characterizing Conflict In Wikipedia, Nathaniel Miller

Mathematics, Statistics, and Computer Science Honors Projects

Wikipedia serves as the Internet's most widely viewed reference. In order to ensure its success, editors who create and maintain articles must resolve conflicts over appropriate article content. Previous research has measured Wikipedia conflict at two levels: single articles and categories of pages. I observe conflicts within small groups of articles, identifying their frequency, size, and intensity. Additionally, I identify individual conflicts spanning multiple articles and effects of conflict upon users' editing habits. I analyze cross-article conflict in three stages. First, I cluster a group of 1.4 million Wikipedia articles. Next, I find individual user conflicts within each article cluster …

The Distribution Of Individual Stock Returns In A Modified Black-Scholes Option Pricing Model, Daniel Lee Richey

College of Graduate Studies: Theses & Dissertations

Author's abstract: There have been many attempts to find a model that can accurately price options. These models are built on many assumptions, including which probability distribution stock returns follow. In this paper, we test several distributions to see which best fit the log returns of 20 different companies over a period between November 1, 2006 to October 31, 2011. If a "best" distribution is found, a modified Black-Scholes model will be defined by modifying the Weiner process. We use Monte Carlo simulations to generate estimated prices under specified parameters, and compare these prices to those simulated by the model …

A Wealth Of Numbers: An Anthology Of 500 Years Of Popular Mathematics Writing, By Benjamin Wardhaugh. Princeton University Press: Princeton, 2012 (Book Review), John A. Adam

Mathematics & Statistics Faculty Publications

(First paragraph) To describe the landscape encompassed by this book I can do no better than to quote the dust jacket: "A Wealth of Numbers includes recreational, classroom, and work mathematics; mathematical histories and biographies; accounts of higher mathematics; explanations of mathematical instruments; discussions of how math should be taught and learned; reflections on the place of math in the world; and math in fiction and humor." More such details can be found on the Princeton University Press website. I shall use this as a point of departure to describe the highlights of my own trajectory through the book. Not …

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.

Outer Restricted Derivations Of Nilpotent Restricted Lie Algebras, Jorg Feldvoss, Salvatore Siciliano, Thomas Weigel

University Faculty and Staff Publications

In this paper we prove that every finite-dimensional nilpotent restricted Lie algebra over a field of prime characteristic has an outer restricted derivation whose square is zero unless the restricted Lie algebra is a torus or it is one-dimensional or it is isomorphic to the three-dimensional Heisenberg algebra in characteristic two as an ordinary Lie algebra. This result is the restricted analogue of a result of Tôgô on the existence of nilpotent outer derivations of ordinary nilpotent Lie algebras in arbitrary characteristic and the Lie-theoretic analogue of a classical group-theoretic result of Gaschütz on the existence of p-power automorphisms …

Fuzzy Linguistic Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Amal

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Centric Cardinal Sine Function, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

According to any standard dictionary, the word "cardinal" is synonymous with "principal", "essential", "fundamental". In centric mathematics (CM), or ordinary mathematics, cardinal is, on the one hand, a number equal to a number of finite aggregate, called the power of the aggregate, and on the other hand, known as the sine cardinal sinc(x) or cosine cardinal cosc(x), is a special function defined by the centric circular function (CCF). sin(x) and cos(x) are commonly used in undulatory physics (see Figure 1) and whose graph, the graph of cardinal sine, which is called as "Mexican hat" (sombrero) because of its shape.

Neutrosophic Masses & Indeterminate Models Applications To Information Fusion, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we introduce the indeterminate models in information fusion, which are due either to the existence of some indeterminate elements in the fusion space or to some indeterminate masses. The best approach for dealing with such models is the neutrosophic logic.

Innovative Uses Of Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy, Indra Venkatbabu

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors bring out the innovative applications of matrices defined, described and developed by them. Here they do not include the natural product on matrices newly described and defined by them in the book on ‘natural product ×n on matrices’.

This book is organized into seven chapters. The first one is introductory in nature. In the second chapter authors give the unique and new way of analyzing the data which is time dependent. We construct three types of matrices called Average Time Dependent data matrix (ATD matrix), Refined Time Dependent Data matrix (RTD matrix) and Combined Effective Time …

Supermodular Lattices, Florentin Smarandache, Iqbal Unnisa, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In lattice theory the two well known equational class of lattices are the distributive lattices and the modular lattices. All distributive lattices are modular however a modular lattice in general is not distributive.

In this book, new classes of lattices called supermodular lattices and semi-supermodular lattices are introduced and characterized as follows: A subdirectly irreducible supermodular lattice is isomorphic to the two element chain lattice C2 or the five element modular lattice M3. A lattice L is supermodular if and only if L is a subdirect union of a two element chain C2 and the five element modular lattice M3.

Special Quasi Dual Numbers And Groupoids, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce a new notion called special quasi dual number, x = a + bg.

Among the reals – 1 behaves in this way, for (– 1)2 = 1 = – (– 1). Likewise –I behaves in such a way (– I)2 = – (– I). These special quasi dual numbers can be generated from matrices with entries from 1 or I using only the natural product ×n. Another rich source of these special quasi dual numbers or quasi special dual numbers is Zn, n a composite number. For instance 8 in Z12 is such that …