Mathematics Commons^™

Braided Regular Crossed Modules Bifibered Over Regular Groupoids, Alper Odabaş, Erdal Ulualan

Turkish Journal of Mathematics

We show that the forgetful functor from the category ofbraided regular crossed modules to the category of regular (or whiskered) groupoids is a fibration and also a cofibration.

Unions And Ideals Of Locally Strongly Porous Sets, Maya Altinok, Oleksiy Dovgoshey, Mehmet Küçükaslan

Turkish Journal of Mathematics

For subsets of $\mathbb R^+ = [0,∞)$ we introduce a notion of coherently porous sets as the sets for which the upper limit in the definition of porosity at a point is attained along the same sequence. We prove that the union of two strongly porous at $0$ sets is strongly porous if and only if these sets are coherently porous. This result leads to a characteristic property of the intersection of all maximal ideals contained in the family of strongly porous at $0$ subsets of $\mathbb R^+$. It is also shown that the union of a set $A \subseteq …

Generalized Crossed Modules And Group-Groupoids, Mustafa Habi̇l Gürsoy, Hati̇ce Aslan, İlhan İçen

Turkish Journal of Mathematics

In this present work, we present the concept of a crossed module over generalized groupsand we call it a "generalized crossed module". We also define a generalizedgroup-groupoid. Furthermore, we show that the category of generalized crossedmodules is equivalent to that of generalized group-groupoids whose object sets are abelian generalized group.

Extension Of The Darboux Frame Into Euclidean 4-Space And Its Invariants, Mustafa Düldül, Bahar Uyar Düldül, Nuri̇ Kuruoğlu, Ertuğrul Özdamar

Turkish Journal of Mathematics

In this paper, by considering a Frenet curve lying on an oriented hypersurface, we extend the Darboux frame field into Euclidean 4-space $\mathbb{E}^4$. Depending on the linear independency of the curvature vector with the hypersurface's normal, we obtain two cases for this extension. For each case, we obtain some geometrical meanings of new invariants along the curve on the hypersurface. We also give the relationships between the Frenet frame curvatures and Darboux frame curvatures in $\mathbb{E}^4$. Finally, we compute the expressions of the new invariants of a Frenet curve lying on an implicit hypersurface.

Foreword: Special Issue On Coalgebraic Logic, Alexander Kurz

Engineering Faculty Articles and Research

The second Dagstuhl seminar on coalgebraic logics took place from October 7-12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a special issue in Mathematical Structures in Computer Science.

Quasivarieties And Varieties Of Ordered Algebras: Regularity And Exactness, Alexander Kurz

Engineering Faculty Articles and Research

We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets.

We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, in the enriched sense).

A Study Of Fourth-Grade Students' Perceptions On Homework Environment And Academic Motivation In Mathematics, Stefanie Harmon

Walden Dissertations and Doctoral Studies

The problem at an elementary school is teachers' lack of knowledge and information on the perceptions and motivation of students to complete independent mathematics homework. The purpose of this study was to identify students' perceptions regarding their homework environment and academic motivation in mathematics. The study's conceptual framework, attribution theory, supported the examination of drivers of motivation for participants related to homework completion. Guiding research questions, supported by Keller's ARCS model, focused on the identification of students' perceptions of homework attention, relevance, curiosity, satisfaction, and their preferred homework environment. This qualitative research study obtained data from semistructured interviews with 44 …

The Positivication Of Coalgebraic Logics, Fredrik Dahlqvist, Alexander Kurz

Engineering Faculty Articles and Research

We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebraic logic from a boolean one. On the model side this involves canonically computing a endofunctor T': Pos->Pos from an endofunctor T: Set->Set, in a procedure previously defined by the second author et alii called posetification. On the syntax side, it involves canonically computing a syntax-building functor L': DL->DL from a syntax-building functor L: BA->BA, in a dual procedure which we call positivication. These operations are interesting in their own right and we explicitly compute posetifications and positivications in the case …

Interaction Graphs Derived From Activation Functions And Their Application To Gene Regulation, Simon Joyce

Graduate Dissertations and Theses

Interaction graphs are graphic representations of complex networks of mutually interacting components. Their main application is in the field of gene regulatory networks, where they are used to visualize how the expression levels of genes activate or inhibit the expression levels of other genes.

First we develop a natural transformation of activation functions and their derived interaction graphs, called conjugation, that is related to a natural transformation of signed digraphs called switching isomorphism. This is a useful tool for the analysis of interaction graphs used throughout the rest of the dissertation.

We then discuss the question of what restrictions, if …

A Study Of Conductance For A Random, Hierarchically-Structured Material, Daniel Salvador

Honors Theses

I consider a mathematical model for the conductance of a system formed by a hi- erarchical network of random bonds. My simulations show that the net conductance converges to a fixed number γ ≈ 0.35337 when the conductances of the bonds are num- bers selected uniformly at random from the interval (0,1). By linearly approximating the model around γ, I derive a new simplified model which I then study in rigorous mathematical detail. I prove a generalized central limit theorem for the new linearized system.

Properties Of Left-Separated Spaces And Their Unions, Eric Scheidecker

Dissertations and Theses @ UNI

Left-separated spaces are topological spaces which can be well ordered such that every initial segment is closed. In this paper, we examine what topological properties imply left-separation, and under what circumstances left-separation is preserved by unions. We also introduce several known theorems regarding elementary submodels as they are one of the primary tools that we use. We prove that for a topological space X;

1. If X has a point-countable base, then X is left-separated if and only if X has closed intersection with any elementary submodel M such that X ∈ M.

2. If every elementary submodel …

Bootstrap-Based Confidence Intervals In Partially Accelerated Life Testing, Ahmed Mohamed Eshebli

Doctoral Dissertations

"Accelerated life testing (ALT) is utilized to estimate the underlying failure distribution and related parameters of interest in situations where the components under study are designed for long life and therefore will not yield failure data within a reasonable test period. In ALT, life testing is carried out under two or more higher than normal stress levels, with the resulting acceleration of the failure process yielding a sufficient amount of un-censored life-span data within a practical test duration. Usually one (or more) parameters of the life distribution is linked to the stress level through a suitably selected model based on …

Programming Problems On Time Scales: Theory And Computation, Rasheed Basheer Al-Salih

Doctoral Dissertations

"In this dissertation, novel formulations for several classes of programming problems are derived and proved using the time scales technique. The new formulations unify the discrete and continuous programming models and extend them to other cases "in between." Moreover, the new formulations yield the exact optimal solution for the programming problems on arbitrary isolated time scales, which solve an important open problem. Throughout this dissertation, six distinct classes of programming problems are presented as follows. First, the primal as well as the dual time scales linear programming models on arbitrary time scales are formulated. Second, separated linear programming primal and …

Case Study Of Undergraduate Research Projects In Vector Analysis, Alexander Vaninsky, Willy Baez Lara, Madieng Diao, Analilia Mendez

Publications and Research

This paper presents two examples of the undergraduate research projects in vector analysis conducted under the first author’s supervision at one of the community colleges that is an integral part of a large city university. The projects were accomplished by the students pursuing associated degrees in engineering, during their sophomore year. One project was to obtain an explicit formula for the curvature of a curve in plane defined implicitly in rectangular or polar coordinates. Another project was aimed to develop an alternative procedure for finding potential function for a vector field in space based on simultaneous integration. Participation in these …

Unconditionally Energy Stable Numerical Schemes For Hydrodynamics Coupled Fluids Systems, Alexander Yuryevich Brylev

Theses and Dissertations

The thesis consists of two parts. In the first part we propose several second order in time, fully discrete, linear and nonlinear numerical schemes to solve the phase-field model of two-phase incompressible flows in the framework of finite element method. The schemes are based on the second order Crank-Nicolson method for time disretizations, projection method for Navier-Stokes equations, as well as several implicit-explicit treatments for phase-field equations. The energy stability, solvability, and uniqueness for numerical solutions of proposed schemes are further proved. Ample numerical experiments are performed to validate the accuracy and efficiency of the proposed schemes thereafter.

In the …

On Degree Bound For Syzygies Of Polynomial Invariants, Zhao Gao

Senior Independent Study Theses

Suppose G is a finite linearly reductive group. The degree bound for the syzygy ideal of the invariant ring of G is given in [2]. We develop the theory of commutative algebra and give the proof from [2] that the ideal of relations of the minimal set of generators of invariant ring of a finite linearly reductive group G is generated in degree at most 2|G|.

Local Holomorphic Extension Of Cauchy Riemann Functions, Brijitta Antony

Doctoral Dissertations

"The purpose of this dissertation is to give an analytic disc approach to the CR extension problem. Analytic discs give a very convenient tool for holomorphic extension of CR functions. The type function is introduced and showed how these type functions have direct application to important questions about CR extension. In this dissertation the CR extension theorem is proved for a rigid hypersurface M in C² given by y = (Re ω)^m(Im ω)ⁿ where m and n are non-negative integers. If the type function is identically zero at the origin, then there is no CR extension. …

Predator-Prey Coevolution Drives Productivity-Richness Relationships In Planktonic Systems, Zhichao Pu, Michael H. Cortez, Lin Jiang

Mathematics and Statistics Faculty Publications

The relationship between environmental productivity and species richness often varies among empirical studies, and despite much research, simple explanations for this phenomenon remain elusive. We investigated how phytoplankton and zooplankton coevolution shapes productivity-richness relationships in both phytoplankton and zooplankton, using a simple nutrient-phytoplankton-zooplankton model that incorporates size-dependent metabolic rates summarized from empirical studies. The model allowed comparisons of evolved species richness across productivity levels and at different evolutionary times. Our results show that disruptive selection leads to evolutionary branching of phytoplankton and zooplankton. Both the time required for evolutionary branching and the number of evolved species in phytoplankton and zooplankton …

Pulmonary Lesion Texture Classification From Endobronchialultrasonogram Using Texture Analysis, Banphatree Khomkham

Chulalongkorn University Theses and Dissertations (Chula ETD)

This research aims to develop a method to help distinguish the appearance of pulmonary lesions from a high-frequency sound (Endobronchial Ultrasound—EBUS) image. According to medical information, the appearance of smooth or rough texture of a lesion can significantly indicate that it is malignant or benign. In this study, the features that are used in the classification are divided into 3 groups: group 1 consists of 22 standard features, group 2 consists of the proposed features extracted from the weighted sum of the upper and lower GLCM which consists 12 features, and group 3 is the combination of group 1 and …

Mathematical Models For Treatment Time Of Pathogenic Infection In Blood After Antibiotics Administration, Panit Suavansri

Chulalongkorn University Theses and Dissertations (Chula ETD)

The objective in this thesis is to create a mathematical model to predict the period of time needed to clear out the pathogens from the bloodstream after the patient receives certain antibiotics. The result will lead to the time where the drug administration can be terminated. This research is to compute the densities of bacteria and malaria in bloodstream at any given time and to compare this level with the actual results of the patient's blood sampling, which was sent to the laboratory for investigation. The laboratory process of the blood sampling will usually take more than 2-3 days to …