Digital Commons Network^™

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

Geometrical Models For Grain Dynamics, Giovani L. Vasconcelos, J. J. P. Veerman

Mathematics and Statistics Faculty Publications and Presentations

We study models for the gravity-driven, dissipative motion of a single grain on an inclined rough surface. Imposing some conditions on the momentum loss due to the collisions between the particle and the surface, we arrive at a class of models in which the grain dynamics is described by one-dimensional maps. The dynamics of these maps is studied in detail. We prove the existence of various dynamical phases and show that the presence of these phases is independent of the restitution law (within the class considered).

Smarandache Type Functions Obtained By Duality, Florentin Smarandache, C Dumitrescu, N Varlan, St Zamfir, E Radescu, N Radescu

Branch Mathematics and Statistics Faculty and Staff Publications

we extend the Smarandache function from the set N* of positive integers to the set Q of rationals

Conjectures On Partitions Of Integers As Summations Of Primes, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this short note many conjectures on partitions of integers as summations of prime numbers are presented, which are extension of Goldbach conjecture.

Pseudospectral Solution Of The Two-Dimensional Navier{Stokes Equations In A Disk, Evangelos A. Coutsias, David J. Torres

Branch Mathematics and Statistics Faculty and Staff Publications

An efficient and accurate algorithm for solving the two-dimensional (2D) incompressible Navier-Stokes equations on a disk with no-slip boundary conditions is described. The vorticity stream function formulation of these equations is used, and spatially the vorticity and stream functions are expressed as Fourier-Chebyshev expansions. The Poisson and Helmholtz equations which arise from the implicit-explicit time marching scheme are solved as banded systems using a postconditioned spectral tau-method. The polar coordinate singularity is handled by expanding fields radially over the entire diameter using a parity modified Chebyshev series and building partial regularity into the vorticity. The no-slip boundary condition is enforced …

Asupra Unor Noi Functii În Teoria Numerelor, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Performantele matematicii actuale,ca si descoperirile din viitor isi au,desigur, inceputul in cea mai veche si mai aproape de filozofie ramura a matematicii, in teoria numerelor. Matematicienii din toate timpurile au fost, sunt si vor fi atrasi de frumusetea si varietatea problemelor specifice acestei ramuri a matematicii. Regina a matematicii, care la randul ei este regina a stiintelor, dupa cum spunea Gauss, teoria numerelor straluceste cu lumina si atractiile ei, fascinandu-ne si usurandu-ne drumul cunoasterii legitatilor ce guverneaza macrocosmosul si microcosmosul. De la etapa antichitatii, cand teoria numerelor era cuprinsa in aritmetica, la etapa aritmeticii superioare din perioada Renasterii, cand teoria …

An Efficient Implementation Of The Transportation Problem, Alissa Michele Sustarsic

UNF Graduate Theses and Dissertations

The transportation problem is a special type of linear program in which the objective is to minimize the total cost of shipping a single commodity from a number of sources (m) to a number of destinations or sinks (n).

Because of the special structure of the transportation problem, a special algorithm can be designed to find an optimal solution efficiently. Due to the large amount of information in the problem, judicious storage and management of the data are essential requirements of any viable implementation of the transportation algorithm.

Using sparse matrix techniques to store the solution …

Robust I-Sample Analysis Of Means Type Randomization Tests For Variances, Anthony Joseph Bernard

UNF Graduate Theses and Dissertations

The advent of powerful computers has brought about the randomization technique for testing statistical hypotheses. Randomization tests are based on shuffles or rearrangements of the (combined) sample. Putting each of the I samples "in a bowl" forms the combined sample. Drawing samples "from the bowl" forms a shuffle. Shuffles can be made with or without replacement.

In this thesis, analysis of means type randomization tests will be presented to solve the homogeneity of variance problem. An advantage of these tests is that they allow the user to graphically present the results via a decision chart similar to a Shewhart control …

On The Basic Representation Theorem For Convex Domination Of Measures, J. Elton, Theodore P. Hill

Research Scholars in Residence

A direct, constructive proof is given for the basic representation theorem for convex domination of measures. The proof is given in the finitistic case (purely atomic measures with a finite number of atoms), and a simple argument is then given to extend this result to the general case, including both probability measures and finite Borel measures on infinite-dimensional spaces. The infinite-dimensional case follows quickly from the finite-dimensional case with the use of the approximation property.

Fan-Type Conditions For Collapsible Graphs, Zhi-Hong Chen

Scholarship and Professional Work - LAS

No abstract provided.

Essay On Deprivation, Poverty And Well-Being., Diganta Mukherjee Dr.

Doctoral Theses

Issues like inequity, deprivation and poverty have been a focus of interest for social scientists for a long time. The present thesis explores a few aspects of the above issues. It ermbodies the fruit of my intellectual perambulation in the Economic Research Unit of Indian Statistical Institute (ISI) during the years 1995 - 97. The text is divided into six chapters. The first chapter gives a general overview of different aspects of measuring inequality, deprivation and poverty. The second, third and fourth chapters take up the issue of deprivation measurement in detail. They contain discussions on deprivation ordering, indices and …

Natural Math, Maria Droujkova

Humanistic Mathematics Network Journal

No abstract provided.

Do The Great While It Is Still Small: Humanistic Teaching In The Elementary School, John Eichinger

Humanistic Mathematics Network Journal

No abstract provided.

The Legend Of The Apple, Raul A. Simon

Humanistic Mathematics Network Journal

No abstract provided.

What Does Equality Mean?--The Basque View, Marcia Ascher

Humanistic Mathematics Network Journal

No abstract provided.

On Solving Equations, Negative Numbers, And Other Absurdities: Part Ii, Ralph A. Raimi

Humanistic Mathematics Network Journal

No abstract provided.

Mathematics Found In Poetry, Alexis Mann

Humanistic Mathematics Network Journal

No abstract provided.

Plastic Pebbles, Virginie H. Mitchem

Humanistic Mathematics Network Journal

No abstract provided.

Architecture And Mathematics: An Introduction For Elementary And Middle School Children, Kim Williams

Humanistic Mathematics Network Journal

No abstract provided.

Nine And One Third Circles Of Rejoicing, Michael Capobianco

Humanistic Mathematics Network Journal

No abstract provided.

Manifesto On Mathematical Education, Saunders Mac Lane

Humanistic Mathematics Network Journal

No abstract provided.

From My Dance Is Mathematics: Poems From A Mathematics Teacher, Joanne S. Growney

Humanistic Mathematics Network Journal

No abstract provided.

Stability And Reconstruction For An Inverse Problem For The Heat Equation, Kurt Bryan, Lester Caudill

Department of Math & Statistics Faculty Publications

We examine the inverse problem of determining the shape of some unknown portion of the boundary of a region Ω from measurements of the Cauchy data for solutions to the heat equation on Ω. By suitably linearizing the inverse problem we obtain uniqueness and continuous dependence results. We propose an algorithm for recovering estimates of the unknown portion of the surface and use the insight gained from a detailed analysis of the inverse problem to regularize the inversion. Several computational examples are presented.

Interior Blowup In A Convection-Diffusion Equation, Christopher P. Grant

Faculty Publications

This paper addresses the qualitative behavior of a nonlinear convection-diffusion equation on a smooth bounded domain in Rn, in which the strength of the convection grows superlinearly as the density increases. While the initial-boundary value problem is guaranteed to have a local-in-time solution for smooth initial data, it is possible for this solution to be extinguished in nite time. We demonstrate that the way this may occur is through nite-time "blow up," i.e., the unboundedness of the solution in arbitrarily small neighborhoods of one or more points in the closure of the spatial domain. In special circumstances, such as the …

A Continuum Analysis Of The Chemotactic Signal Seen By Dictyostelium Discoideum, J. C. Dallon, H. G. Othmer

Faculty Publications

We develop a mathematical model of cell-to-cell-signalling in Dictyostelium discoideum that predicts the cAMP signal seen by individual cells in early aggregation. The model employs two cells on a plane and is designed to predict the space-time characteristics of both the extracellular cAMP signal seen by one cell when a nearby cell relays, and the intracellular cAMP response produced by the stimulus in the receiving cell. The effect of membrane bound phosphodiesterase is studied and it is shown that cells can orient effectively even in its absence. Our results give a detailed picture of how the spatio-temporal characteristics of the …

Finding Cyclic Redundancy Check Polynomials For Multilevel Systems, James A. Davis, Miranda Mowbray, Simon Crouch

Department of Math & Statistics Faculty Publications

This letter describes a technique for finding cyclic redundancy check polynomials for systems for transmission over symmetric channels which encode information in multiple voltage levels, so that the resulting redundancy check gives good error protection and is efficient to implement. The codes which we construct have a Hamming distance of 3 or 4. We discuss a way to reduce burst error in parallel transmissions and some tricks for efficient implementation of the shift register for these polynomials. We illustrate our techniques by discussing a particular example where the number of levels is 9, but they are applicable in general.

Rank One And Loosely Bernoulli Actions In Zᵈ, Aimee S.A. Johnson, A. A. Şahin

Mathematics & Statistics Faculty Works

We define rank one for Zᵈ actions and show that those rank one actions with a certain tower shape are loosely Bernoulli for d greater than or equal to 1. We also construct a zero entropy Z² loosely Bernoulli action with a zero entropy, ergodic, non-loosely Bernoulli one-dimensional subaction.

On The Dynamics Of Stochastic Differential Equations (Ellis B. Stouffer Colloquium, University Of Kansas), Salah-Eldin A. Mohammed

Miscellaneous (presentations, translations, interviews, etc)

We formulate and outline a proof of the Local Stable Manifold Theorem for stochastic differential equations (SDE's) in Euclidean space (joint work with M. Scheutzow). This is a central result in dynamical systems with noise. Starting with the existence of a stochastic flow for an SDE, we introduce the notion of a hyperbolic stationary trajectory. We prove the existence of invariant random stable and unstable manifolds in the neighborhood of a hyperbolic stationary solution. For Stratonovich noise, the stable and unstable manifolds are dynamically characterized using forward and backward solutions of the anticipating SDE.

Complexity Reduction In State-Based Modeling, Martin Zwick

Complex Systems Faculty Publications and Presentations

For a system described by a relation among qualitative variables (or quantitative variables "binned" into symbolic states), expressed either set-theoretically or as a multivariate joint probability distribution, complexity reduction (compression of representation) is normally achieved by modeling the system with projections of the overall relation. To illustrate, if ABCD is a four variable relation, then models ABC:BCD or AB:BC:CD:DA, specified by two triadic or four dyadic relations, respectively, represent simplifications of the ABCD relation. Simplifications which are lossless are always preferred over the original full relation, while simplifications which lose constraint are still preferred if the reduction of complexity more …

Cohomology Of Polynomials Under An Irrational Rotation, Lawrence W. Baggett, Herbert A. Medina, Kathy D. Merrill

Mathematics, Statistics and Data Science Faculty Works

A new description of cohomology of functions under an irrational rotation is given in terms of symmetry properties of the functions on subintervals of [0, 1]. This description yields a method for passing information about the cohomology classes for a given irrational to the cohomology classes for an equivalent irrational.