Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Algebra (18)
- Logic and Foundations (10)
- Discrete Mathematics and Combinatorics (8)
- Algebraic Geometry (7)
- Analysis (7)
-
- Engineering (6)
- Number Theory (6)
- Computer Engineering (5)
- Computer Sciences (5)
- Other Computer Engineering (5)
- Other Computer Sciences (4)
- Applied Mathematics (3)
- Geometry and Topology (3)
- Arts and Humanities (2)
- Business (2)
- Digital Communications and Networking (2)
- Philosophy (2)
- Set Theory (2)
- Aerospace Engineering (1)
- Aviation (1)
- Behavior and Ethology (1)
- Computational Engineering (1)
- Curriculum and Instruction (1)
- Data Storage Systems (1)
- Ecology and Evolutionary Biology (1)
- Education (1)
- Educational Methods (1)
- Institution
-
- University of New Mexico (12)
- Chapman University (10)
- Bryant University (2)
- University of Richmond (2)
- Butler University (1)
-
- California Polytechnic State University, San Luis Obispo (1)
- City University of New York (CUNY) (1)
- Claremont Colleges (1)
- Gettysburg College (1)
- Louisiana State University (1)
- Macalester College (1)
- Old Dominion University (1)
- Olivet Nazarene University (1)
- Technological University Dublin (1)
- University of South Alabama (1)
- Keyword
-
- Neutrosophic logic (5)
- Mathematics (3)
- White noise space (3)
- Coalgebra (2)
- Complex variables (2)
-
- Modal logic (2)
- Wick product (2)
- Abelian p-ideal (1)
- Aeroelasticity (1)
- Algebraic structures (1)
- Algebraic theories (1)
- Altruism (1)
- Analysis of learning outcomes (1)
- Assessment (1)
- Assessment tool (1)
- Belief functions (1)
- Bifurcation analysis (1)
- Big data (1)
- Biosensors (1)
- Bistability (1)
- Books (1)
- Boundary values (1)
- Burkholder (1)
- Bursting (1)
- Calculation (1)
- Cardinal SINE FUNCTION (1)
- Careers and professions (1)
- Categorical Semantics (1)
- Category Theory (1)
- Coalgebras (1)
- Publication
-
- Branch Mathematics and Statistics Faculty and Staff Publications (12)
- Mathematics, Physics, and Computer Science Faculty Articles and Research (6)
- Engineering Faculty Articles and Research (3)
- Department of Math & Statistics Faculty Publications (2)
- All HMC Faculty Publications and Research (1)
-
- Doctoral (1)
- Faculty Publications (1)
- Faculty Scholarship – Mathematics (1)
- Honors Projects in Finance (1)
- Honors Projects in Mathematics (1)
- MPP Published Research (1)
- Math Faculty Publications (1)
- Mathematics & Statistics Faculty Publications (1)
- Mathematics, Statistics, and Computer Science Honors Projects (1)
- Publications and Research (1)
- STAR Program Research Presentations (1)
- Scholarship and Professional Work - LAS (1)
- University Faculty and Staff Publications (1)
Articles 31 - 37 of 37
Full-Text Articles in Other Mathematics
On The Class Rsi Of J-Contractive Functions Intertwining Solutions Of Linear Differential Equations, Daniel Alpay, Andrey Melnikov, Victor Vinnikov
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 …
Stochastic Processes Induced By Singular Operators, Daniel Alpay, Palle Jorgensen
Stochastic Processes Induced By Singular Operators, Daniel Alpay, Palle Jorgensen
Mathematics, Physics, and Computer Science Faculty Articles and Research
In this paper we study a general family of multivariable Gaussian stochastic processes. Each process is prescribed by a fixed Borel measure σ on Rn. The case when σ is assumed absolutely continuous with respect to Lebesgue measure was stud- ied earlier in the literature, when n = 1. Our focus here is on showing how different equivalence classes (defined from relative absolute continuity for pairs of measures) translate into concrete spectral decompositions of the corresponding stochastic processes under study. The measures σ we consider are typically purely singular. Our proofs rely on the theory of (singular) unbounded operators in …
Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický
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 …
Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz
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.
New Topological C-Algebras With Applications In Linear Systems Theory, Daniel Alpay, Guy Salomon
New Topological C-Algebras With Applications In Linear Systems Theory, Daniel Alpay, Guy Salomon
Mathematics, Physics, and Computer Science Faculty Articles and Research
Motivated by the Schwartz space of tempered distributions S′ and the Kondratiev space of stochastic distributions S−1 we define a wide family of nuclear spaces which are increasing unions of (duals of) Hilbert spaces H′p,p∈N, with decreasing norms |⋅|p. The elements of these spaces are functions on a free commutative monoid. We characterize those rings in this family which satisfy an inequality of the form |f∗g|p≤A(p−q)|f|q|g|p for all p≥q+d, where * denotes the convolution in the monoid, A(p−q) is a strictly positive number and d is a fixed natural number (in this case we obtain commutative topological C-algebras). Such an …
Boundary Values In Range Spaces Of Co-Analytic Truncated Toeplitz Operator, William T. Ross, Andreas Hartmann
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 …
Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema
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, …