Mathematics Commons^™

Gpq Modules And Generalized Armendariz Modules, Liang Zhao, Xiaosheng Zhu

Turkish Journal of Mathematics

Let M_R be a right R-module. We introduce the concept of right generalized p.q.-Baer modules (or simply, right GPQ modules) to extend the notion of right p.q.-Baer modules. We study on the relationship between the GPQ property of a module M_R and various quasi-Armendariz properties. We prove that every right GPQ module is a quasi-Armendariz module. As a sequence, we obtain a general form of some known results considering the p.q.Baer property of a ring, some known results are extended. Moreover, we prove that for the formal triangular ring R constructed from a pair of rings S, T and a …

Generalized Derivations On Lie Ideals In Prime Rings, Öznur Gölbaşi, Emi̇ne Koç

Turkish Journal of Mathematics

Let R be a prime ring with characteristic different from two, U a nonzero Lie ideal of R and f be a generalized derivation associated with d. We prove the following results: (i) If [u,f(u)] \in Z, for all u \in U, then U \subset Z. (ii) (f,d) and (g,h) be two generalized derivations of R such that f(u)v=ug(v), for all u,v \in U, then U \subset Z. (iii) f([u,v])=\pm \lbrack u,v], for all u,v\in U, then U \subset Z.

A Boundary Value Problem For Bitsadze Equation In Matrix Form, Sezayi̇ Hizliyel, Mehmet Çağliyan

Turkish Journal of Mathematics

In this work, we investigate the solvability of the problem \frac{\partial^2w}{\partial \overline\phi ^2}=f Re\{i\phi(z)w(z)\}=\gamma_1(z),Rew_{\overline\phi}(z)=\gamma_2(z) z \in \partial D in the unit disk of complex plane. Here f , \gamma_1 and \gamma_2 are given m \times s-complex matrix-valued functions; f\in L^{p} (\overline{D}), \gamma_1, \gamma_2 \in C(\partial D) and \phi is a generating solution for Q-holomorphic functions.

Blow-Up Time For A Semilinear Parabolic Equation With Variable Reaction, Theodore Kouassi Boni, Remi Kouadio Kouakou

Turkish Journal of Mathematics

In this paper, we address the solution of a semilinear heat equation with variable reaction subject to Dirichlet boundary conditions and nonnegative initial datum. Under some assumptions, we show that the solution of the above problem blows up in a finite time, and its blow-up time goes to that of the solution of a certain differential equation. Finally, we give some numerical results to illustrate our analysis.

Order Continuous Operators On Cd_0(K,E) And Cd_W(K,E)-Spaces, Faruk Polat

Turkish Journal of Mathematics

In [2], Alpay and Ercan characterized order continuous duals of spaces CD_0(K, E) and CD_w(K, E) where K is a compact Hausdorff space without isolated points and E is a Banach lattice. In this note, we generalize their results to an arbitrary Dedekind complete Banach lattice F, that is to say, we characterize order continuous operators on these spaces taking values in an arbitrary Dedekind complete Banach lattice F.

Class Discovery And Prediction Of Tumor With Microarray Data, Bo Liu

All Graduate Theses, Dissertations, and Other Capstone Projects

Current microarray technology is able take a single tissue sample to construct an Affymetrix oglionucleotide array containing (estimated) expression levels of thousands of different genes for that tissue. The objective is to develop a more systematic approach to cancer classification based on Affymetrix oglionucleotide microarrays. For this purpose, I studied published colon cancer microarray data. Colon cancer, with 655,000 deaths worldwide per year, has become the fourth most common form of cancer in the United States and the third leading cause of cancer - related death in the Western world. This research has been focuses in two areas: class discovery, …

Relation Liftings On Preorders And Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil

Engineering Faculty Articles and Research

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets.

Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We introduce formal languages over infinite alphabets where words may contain binders.We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.

Generic Trace Logics, Christian Kissig, Alexander Kurz

Engineering Faculty Articles and Research

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.

Minimal And Near Minimal Congruence Lattice Representations Of Finite Lattices By Finite Algebras On Sets Of Integers, Roger Lee Bunn

Doctoral Dissertations

"We give finite congruence lattice representations of some finite distributive, modular and nonmodular lattices by means of finite algebras on sets of integers. These representations are minimal or near minimal as determined by ρ, a mapping from the class R of finitely representable lattices into the natural numbers N"--Abstract, page iii.

Analysis Of Hdg Methods For Stokes Flow, Bernardo Cockburn, Jay Gopalakrishnan, Ngoc Cuong Nguyen, Jaume Peraire, Francisco-Javier Sayas

Mathematics and Statistics Faculty Publications and Presentations

In this paper, we analyze a hybridizable discontinuous Galerkin method for numerically solving the Stokes equations. The method uses polynomials of degree $ k$ for all the components of the approximate solution of the gradient-velocity-pressure formulation. The novelty of the analysis is the use of a new projection tailored to the very structure of the numerical traces of the method. It renders the analysis of the projection of the errors very concise and allows us to see that the projection of the error in the velocity superconverges. As a consequence, we prove that the approximations of the velocity gradient, the …

Symmetric Nonconforming Mixed Finite Elements For Linear Elasticity, Jay Gopalakrishnan, Johnny Guzmán

Mathematics and Statistics Faculty Publications and Presentations

We present a family of mixed methods for linear elasticity that yield exactly symmetric, but only weakly conforming, stress approximations. The method is presented in both two and three dimensions (on triangular and tetrahedral meshes). The method is efficiently implementable by hybridization. The degrees of freedom of the Lagrange multipliers, which approximate the displacements at the faces, solve a symmetric positive-definite system. The design and analysis of this method is motivated by a new set of unisolvent degrees of freedom for symmetric polynomial matrices. These new degrees of freedom are also used to give a new simple calculation of the …

Balance Systems And The Variational Bicomplex, Serge Preston

Mathematics and Statistics Faculty Publications and Presentations

In this work we show that the systems of balance equations (balance systems) of continuum thermodynamics occupy a natural place in the variational bicomplex formalism. We apply the vertical homotopy decomposition to get a local splitting (in a convenient domain) of a general balance system as the sum of a Lagrangian part and a complemental "pure non-Lagrangian" balance system. In the case when derivatives of the dynamical fields do not enter the constitutive relations of the balance system, the "pure non-Lagrangian" systems coincide with the systems introduced by S. Godunov [Soviet Math. Dokl. 2 (1961), 947–948] and, later, asserted as …

The Weil Pairing On Elliptic Curves And Its Cryptographic Applications, Alex Edward Aftuck

UNF Graduate Theses and Dissertations

This thesis presents the Weil pairing on elliptic curves as a tool to implement a tripartite Diffie-Helman key exchange. Elliptic curves are introduced, as well as the addition operation that creates a group structure on its points. In leading to the definition of the Weil pairing, divisors of rational functions are studied, as well as the Weierstrass }-function, which shows the complex lattice as isomorphic to elliptic curves. Several important qualities of the Weil pairing are proved, and Miller's algorithm for quick calculation is shown. Next, the bipartite Diffie-Helman key exchange is discussed over finite fields and elliptic curves. Finally …

Combinatorial Aspects Of Excedances And The Frobenius Complex, Eric Logan Clark

University of Kentucky Doctoral Dissertations

In this dissertation we study the excedance permutation statistic. We start by extending the classical excedance statistic of the symmetric group to the affine symmetric group eSn and determine the generating function of its distribution. The proof involves enumerating lattice points in a skew version of the root polytope of type A. Next we study the excedance set statistic on the symmetric group by defining a related algebra which we call the excedance algebra. A combinatorial interpretation of expansions from this algebra is provided. The second half of this dissertation deals with the topology of the Frobenius complex, that …

Modeling, Analysis, And Simulation Of Discrete-Continuum Models Of Step-Flow Epitaxy: Bunching Instabilities And Continuum Limits, Nicholas O. Kirby

University of Kentucky Doctoral Dissertations

Vicinal surfaces consist of terraces separated by atomic steps. In the step-flow regime, deposited atoms (adatoms) diffuse on terraces, eventually reaching steps where they attach to the crystal, thereby causing the steps to move. There are two main objectives of this work. First, we analyze rigorously the differences in qualitative behavior between vicinal surfaces consisting of infinitely many steps and nanowires whose top surface consists of a small number of steps bounded by a reflecting wall. Second, we derive the continuum model that describes the macroscopic behavior of vicinal surfaces from detailed microscopic models of step dynamics.

We use the …

3-D Computational Investigation Of Viscoelastic Biofilms Using Gpus, Paisa Seeluangsawat

Theses and Dissertations

A biofilm is a slimy colony of bacteria and the materials they secrete, collectively called “extracellular polymeric substances (EPS)”. The EPS consists mostly of bio-polymers, which cross link into a network that behave viscoelastically under deformation. We propose a single-fluid multi-component phase field model of biofilms that captures this behavior, then use numerical simulations on GPUs to investigate the biofilm’s growth and its hydrodynamics properties.

An Investigation Into The Use Of Neural Networks For The Prediction Of The Stock Exchange Of Thailand, Suchira Chaigusin

Theses: Doctorates and Masters

Stock markets are affected by many interrelated factors such as economics and politics at both national and international levels. Predicting stock indices and determining the set of relevant factors for making accurate predictions are complicated tasks. Neural networks are one of the popular approaches used for research on stock market forecast. This study developed neural networks to predict the movement direction of the next trading day of the Stock Exchange of Thailand (SET) index. The SET has yet to be studied extensively and research focused on the SET will contribute to understanding its unique characteristics and will lead to identifying …

Enhancing The Teaching And Learning Of Computational Estimation In Year 6, Paula Mildenhall

Theses: Doctorates and Masters

There have been repeated calls for computational estimation to have a more prominent position in mathematics teaching and learning but there is still little evidence that quality time is being spent on this topic. Estimating numerical quantities is a useful skill for people to be able to use in their everyday lives in order to meet their personal needs. It is also accepted that number sense is an important component of mathematics learning (McIntosh, Reys, Reys, Bana, & Farrell, 1997; Paterson, 2004) and that computational estimation is an important part of number sense (Edwards, 1984; Markovits & Sowder, 1988; Schoen, …

Rank 2 Distributions Of Monge Equations: Symmetries, Equivalences, Ex-Tensions, Ian M. Anderson, B. Kruglikov

Mathematics and Statistics Faculty Publications

By developing the Tanaka theory for rank 2 distributions, we completely classify classical Monge equations having maximal finite-dimensional symmetry algebras with fixed (albeit arbitrary) pair of its orders. Investigation of the corresponding Tanaka algebras leads to a new Lie-Backlund theorem. We prove that all flat Monge equations are successive integrable extensions of the Hilbert-Cartan equation. Many new examples are provided.