Physical Sciences and Mathematics | Open Access Articles

Analysis Of Salvinorin A In Plants, Water, And Urine Using Solid-Phase Microextraction-Comprehensive Two-Dimensional Gas Chromatography–Time Of Flight Mass Spectrometry, Brian Barnes, Nicholas Snow

Nicholas A Snow

No abstract provided.

Go to article

Realizing Step Functions As Harmonic Measure Distributions Of Planar Domains, Maria Snpes

Maria Snipes

No abstract provided.

Go to article

Converting Glx2-1 Into An Active Glyoxalase Ii, Pattraranee Limphong, Nicole Adams, Matthew Rouhier, Ross Mckinney, Melissa Naylor, Brian Bennett, Christopher Makaroff, Michael Crowder

Matthew F Rouhier

Arabidopsis thaliana glyoxalase 2-1 (GLX2-1) exhibits extensive sequence similarity with GLX2 enzymes but is catalytically inactive with SLG, the GLX2 substrate. In an effort to identify residues essential for GLX2 activity, amino acid residues were altered at positions 219, 246, 248, 325, and 328 in GLX2-1 to be the same as those in catalytically active human GLX2. The resulting enzymes were overexpressed, purified, and characterized using metal analyses, fluorescence spectroscopy, and steady-state kinetics to evaluate how these residues affect metal binding, structure, and catalysis. The R246H/N248Y double mutant exhibited low level S-lactoylglutathione hydrolase activity, while the R246H/N248Y/Q325R/R328K mutant exhibited a …

Go to article

Revised Plan For Institutionalizing Undergraduate Research At Kenyon College, Kerry Rouhier, Dan Hartnett, Jan Kmetko, Joe Murphy

Kerry A Rouhier

No abstract provided.

Go to article

Metalogic Notes, Saverio Perugini

Saverio Perugini

A collection of notes, formulas, theorems, postulates and terminology in symbolic logic, syntactic notions, semantic notions, linkages between syntax and semantics, soundness and completeness, quantified logic, first-order theories, Goedel's First Incompleteness Theorem and more.

Go to article

Statistics Notes, Saverio Perugini

Saverio Perugini

A collection of terms, definitions, formulas and explanations about statistics.

Go to article

Embedding Modal Nonmonotonic Logics Into Default Logic, Robert Milnikel

Robert Milnikel

We present a straightforward embedding of modal nonmonotonic logics into default logic.

Go to article

Derivability In Certain Subsystems Of The Logic Of Proofs Is -Complete, Robert Milnikel

Robert Milnikel

The Logic of Proofs realizes the modalities from traditional modal logics with proof polynomials , so an expression □F becomes t:F where t is a proof polynomial representing a proof of or evidence for F. The pioneering work on explicating the modal logic S4 is due to S. Artemov and was extended to several subsystems by V. Brezhnev. In 2000, R. Kuznets presented a algorithm for deducibility in these logics; in the present paper we will show that the deducibility problem is-complete. (The analogous problem for traditional modal logics is PSPACE-complete.) Both Kuznets’s work and the present results make assumptions …

Go to article

Skeptical Reasoning In Fc-Normal Logic Programs Is Π^1_1-Complete, Robert Milnikel

Robert Milnikel

FC-normal logic programs are a generalization by Marek, Nerode, and Remmel of Reiter's normal default theories. They have the property that, unlike most logic programs, they are guaranteed to have simple stable models. In this paper it is shown that the problem of skeptical reasoning in FC-normal programs is Π^1_1-complete, the same complexity as for logic programs without the restriction of FC-normality. FC-normal programs are defined in such a way as to make testing a program for FC-normality very difficult in general. A large subclass of FC-normal programs, locally FC-normal programs, is defined, shown to be recursive, and shown to …

Go to article

Sequent Calculi For Skeptical Reasoning In Predicate Default Logic And Other Nonmonotonic Logics, Robert Milnikel

Robert Milnikel

Sequent calculi for skeptical consequence in predicate default logic, predicate stable model logic programming, and infinite autoepistemic theories are presented and proved sound and complete. While skeptical consequence is decidable in the finite propositional case of all three formalisms, the move to predicate or infinite theories increases the complexity of skeptical reasoning to being Π 1 1 -complete. This implies the need for sequent rules with countably many premises, and such rules are employed.

Go to article

The Complexity Of Predicate Default Logic Over A Countable Domain, Robert Milnikel

Robert Milnikel

Lifschitz introduced the notion of defining extensions of predicate default theories not as absolute, but relative to a specified domain. We look specifically at default theories over a countable domain and show the set of default theories which possess an ω-extension is Σ21-complete. That the set is in Σ21 is shown by writing a nearly circumscriptive formula whose ω-models correspond to the ω-extensions of a given default theory; similarly, Σ21-hardness is established by a method for translating formulas into default theories in such a way that ω-models of the circumscriptive formula correspond to ω-extensions of the default theory. (That the …

Go to article

Rapid Acid Treatment Of Escherichia Coli: Transcriptomic Response And Recovery, Brian Jones, Geetha Kannan, Jessica C. Wilks, Devon M. Fitzgerald, Sandra S. Bondurant, Joan L. Slonczewski

Brian Jones

Background: Many E. coli genes show pH-dependent expression during logarithmic growth in acid (pH 5–6) or in base (pH 8–9). The effect of rapid pH change, however, has rarely been tested. Rapid acid treatment could distinguish between genes responding to external pH, and genes responding to cytoplasmic acidification, which occurs transiently following rapid external acidification. It could reveal previously unknown acid-stress genes whose effects are transient, as well as show which acid-stress genes have a delayed response. Results: Microarray hybridization was employed to observe the global gene expression of E. coli K-12 W3110 following rapid acidification of the external medium, …

Go to article

Tree And Forest Weights And Their Application To Nonuniform Random Graphs, Brian Jones, Boris G. Pittel, Joseph S. Verducci

Brian Jones

For a complete graph Kn on n vertices with weighted edges, define the weight of a spanning tree (more generally, spanning forest) as the product of edge weights involved. Define the tree weight (forest weight) of Kn as the total weight of all spanning trees (forests). The uniform edge weight distribution is shown to maximize the tree weight, and an explicit bound on the tree weight is formulated in terms of the overall variance of edge weights as well as the variance of the sum of edge weights over nodes. An application to sparse random graphs leads to a bound …

Go to article

Oxygen Limitation Modulates Ph Regulation Of Catabolism And Hydrogenases, Multidrug Transporters, And Envelope Composition In Escherichia Coli K-12, Brian Jones, Everett T. Hayes, Jessica C. Wilks, Piero Sanfilippo, Elizabeth Yohannes, Daniel P. Tate, Michael D. Radmacher, Joan L. Slonczewski, Sandra S. Bondurant

Brian Jones

Background: In Escherichia coli, pH regulates genes for amino-acid and sugar catabolism, electron transport, oxidative stress, periplasmic and envelope proteins. Many pH-dependent genes are co-regulated by anaerobiosis, but the overall intersection of pH stress and oxygen limitation has not been investigated. Results: The pH dependence of gene expression was analyzed in oxygen-limited cultures of E. coli K-12 strain W3110. E. coli K-12 strain W3110 was cultured in closed tubes containing LBK broth buffered at pH 5.7, pH 7.0, and pH 8.5. Affymetrix array hybridization revealed pH-dependent expression of 1,384 genes and 610 intergenic regions. A core group of 251 genes …

Go to article

Conditions Equivalent To The Existence Of Odd Perfect Numbers, Judy Holdener

Judy Holdener

No abstract provided.

Go to article

A Cryptographic Scavenger Hunt, Judy Holdener

Judy Holdener

In this article, the authors present a mathematical scavenger hunt designed to motivate and excite students learning RSA cryptography in an introductory number theory course. The hunt relies on the RSA cryptosystem, in which Maple is used to encipher and decipher secret information contained within the clues.

Go to article

Generalized Thue-Morse Sequences And The Von Koch Curve, Judy Holdener

Judy Holdener

: In a recent paper, Ma and Holdener used turtle geometry and polygon maps to show that the Thue-Morse sequence encodes the von Koch curve. In the ﬁnal paragraph of this same paper, they ask whether or not there exist certain generalized Thue-Morse sequences that also encode the curve. Here we answer this question in the aﬃrmative, providing an inﬁnite family of words that generate generalized Thue-Morse sequences encoding the von Koch curve.

Go to article

When Thue-Morse Meets Koch, Judy Holdener

Judy Holdener

In this paper, we reveal a remarkable connection between the Thue-Morse sequence and the Koch snow°ake. Using turtle geometry and polygon maps, we realize the Thue-Morse sequence as the limit of polygonal curves in the plane. We then prove that a sequence of such curves converges to the Koch snow°ake in the Hausdor® metric. In the ¯nal section we consider generalized Thue-Morse sequences and provide a characterization of those that encode curves converging to the Koch snow°ake.

Go to article

Parametric Plots: A Creative Outlet, Judy Holdener

Judy Holdener

No abstract provided.

Go to article

A Classification Of Periodic Turtle Sequences, Judy A. Holdener, A. Wagaman

Judy Holdener

A turtle sequence is a word constructed from an alphabet of two letters: F, which represents the forward motion of a turtle in the plane, and L, which represents a counterclockwise turn. In this paper, we investigate such sequences and establish links between the combinatoric properties of words and the geometric properties of the curves they generate. In particular, we classify periodic turtle sequences in terms of their closure (or lack thereof).

Go to article

Abundancy “Outlaws” Of The Form Σ(N)+T N, Judy A. Holdener, William G. Stanton

Judy Holdener

The abundancy index of a positive integer n is deﬁned to be the rational number I(n) = σ(n)/n, where σ is the sum of divisors function σ(n) = P d|n d. An abundancy outlaw is a rational number greater than 1 that fails to be in the image of of the map I. In this paper, we consider rational numbers of the form (σ(N) + t)/N and prove that under certain conditions such rationals are abundancy outlaws.

Go to article

Product-Free Sets In The Card Game Set, Judy Holdener

Judy Holdener

The card game SET has attracted the attention of math and game enthusiasts alike. In this article, I present a first semester Abstract Algebra project that guides the students through an algebraic formulation of the game. There are many interesting mathematical questions that one can ask about the game, and I illustrate how the project can be used to get students working on such questions. In this way, the project can also serve as an opportunity for undergraduate research.

Go to article

Art And Design In Mathematic, Judy Holdener

Judy Holdener

No abstract provided.

Go to article

A Latent Variable Transformation Model Approach For Exploring Dysphagia, Anna Snavely, David P. Harrington, Yi Li

David E. Harrington

No abstract provided.

Go to article

Mat-Rix-Toe: Improving Writing Through A Game-Based Project In Linear Algebra, Adam Graham-Squire, Elin Farnell, Julianna Stockton

Elin R Farnell

The Mat-Rix-Toe project utilizes a matrix-based game to deepen students’ understanding of linear algebra concepts and strengthen students’ ability to express themselves mathematically. The project was administered in three classes using slightly different approaches, each of which included some editing component to encourage the improvement of the students’ mathematical thinking and writing. Differences in the implementation of the project illustrate the benefits and drawbacks of various methods of editing in the mathematics classroom and highlight recommendations for improvements in future implementations of the project.

Go to article

Determinants Of Local And Migratory Movements Of Great Lakes Double-Crested Cormorants, Alban Guillaumet, Brian Dorr, Guiming Wang, Jimmy D. Taylor, Richard B. Chipman, Heidi Scherr, Jeff Bowman, Kenneth F. Abraham, Terry J. Doyle, Elizabeth Cranker

Jeff Bowman

We investigated how individual strategies combine with demographic and ecological factors to determine local and migratory movements in the double-crested cormorants (Phalacrocorax auritus). One hundred and forty-five cormorants were captured from 14 nesting colonies across the Great Lakes area and fitted with satellite transmitters. We first tested the hypotheses that sexual segregation, density-dependent effects, and the intensity of management operations influenced home range size during the breeding season. The influence of these factors appeared to be limited in part due to random variability in foraging and dispersal decisions at individual and colony levels. We also designed a statistical framework to …

Go to article

2012 Georgia Scholarship Of Stem Teaching And Learning Conference Program, Georgia Scholarship Of Stem Teaching And Learning Conference

Interdisciplinary STEM Teaching & Learning Conference (2012-2019)

Conference Program

Go to article

Electrochemical Investigation Of Homogenous Species At An Electrode Interface, Christopher Larsen Iii

Chemistry and Chemical Biology ETDs

CO2 reduction is a pressing problem worldwide, and one obstacle in the electrochemical conversion of CO2 to more useful C1 products such as methanol and formic acid is the kinetic barrier known as overpotential. The overpotential of rearranging the nuclei in CO2 to accommodate electron transfer can be lowered by pre-bending the CO2 molecule in an adduct-mediated complex. The work presented in Part I utilizes a combination of hard and soft donors on pincer-like ligands to effect the bending of CO2 prior to electrochemical reduction. A large majority of the work consists of using Group 4 metallocenes, but Chapter 3 …

Go to article

Will Passive Protection Save Congo Forests?, Gillian L. Galford, Britaldo S. Soares-Filho, Laura J. Sonter, Nadine Laporte

Rubenstein School of Environment and Natural Resources Faculty Publications

Central Africa's tropical forests are among the world's largest carbon reserves. Historically, they have experienced low rates of deforestation. Pressures to clear land are increasing due to development of infrastructure and livelihoods, foreign investment in agriculture, and shifting land use management, particularly in the Democratic Republic of Congo (DRC). The DRC contains the greatest area of intact African forests. These store approximately 22 billion tons of carbon in aboveground live biomass, yet only 10% are protected. Can the status quo of passive protection - forest management that is low or nonexistent - ensure the preservation of this forest and its …

Go to article

The Role Of Sister Cities’ Staff Exchanges In Developing “Learning Cities”: Exploring Necessary And Sufficient Conditions In Social Capital Development Utilizing Proportional Odds Modeling, Patrick H. Buckley, Akio Takahashi, Amy D. Anderson

Mathematics Faculty Publications

In the last half century former international adversaries have become cooperators through networking and knowledge sharing for decision making aimed at improving quality of life and sustainability; nowhere has this been more striking then at the urban level where such activity is seen as a key component in building “learning cities” through the development of social capital. Although mega-cities have been leaders in such efforts, mid-sized cities with lesser resource endowments have striven to follow by focusing on more frugal sister city type exchanges. The underlying thesis of our research is that great value can be derived from city-to-city exchanges …

Go to article

Full-Text Articles in Physical Sciences and Mathematics

Analysis Of Salvinorin A In Plants, Water, And Urine Using Solid-Phase Microextraction-Comprehensive Two-Dimensional Gas Chromatography–Time Of Flight Mass Spectrometry, Brian Barnes, Nicholas Snow

Nicholas A Snow

Realizing Step Functions As Harmonic Measure Distributions Of Planar Domains, Maria Snpes

Maria Snipes

Converting Glx2-1 Into An Active Glyoxalase Ii, Pattraranee Limphong, Nicole Adams, Matthew Rouhier, Ross Mckinney, Melissa Naylor, Brian Bennett, Christopher Makaroff, Michael Crowder

Matthew F Rouhier

Revised Plan For Institutionalizing Undergraduate Research At Kenyon College, Kerry Rouhier, Dan Hartnett, Jan Kmetko, Joe Murphy

Kerry A Rouhier

Metalogic Notes, Saverio Perugini

Saverio Perugini

Statistics Notes, Saverio Perugini

Saverio Perugini

Embedding Modal Nonmonotonic Logics Into Default Logic, Robert Milnikel

Robert Milnikel

Derivability In Certain Subsystems Of The Logic Of Proofs Is -Complete, Robert Milnikel

Robert Milnikel

Skeptical Reasoning In Fc-Normal Logic Programs Is Π^1_1-Complete, Robert Milnikel

Robert Milnikel

Sequent Calculi For Skeptical Reasoning In Predicate Default Logic And Other Nonmonotonic Logics, Robert Milnikel

Robert Milnikel

The Complexity Of Predicate Default Logic Over A Countable Domain, Robert Milnikel

Robert Milnikel

Rapid Acid Treatment Of Escherichia Coli: Transcriptomic Response And Recovery, Brian Jones, Geetha Kannan, Jessica C. Wilks, Devon M. Fitzgerald, Sandra S. Bondurant, Joan L. Slonczewski

Brian Jones

Tree And Forest Weights And Their Application To Nonuniform Random Graphs, Brian Jones, Boris G. Pittel, Joseph S. Verducci

Brian Jones

Brian Jones

Conditions Equivalent To The Existence Of Odd Perfect Numbers, Judy Holdener

Judy Holdener

A Cryptographic Scavenger Hunt, Judy Holdener

Judy Holdener

Generalized Thue-Morse Sequences And The Von Koch Curve, Judy Holdener

Judy Holdener

When Thue-Morse Meets Koch, Judy Holdener

Judy Holdener

Parametric Plots: A Creative Outlet, Judy Holdener

Judy Holdener

A Classification Of Periodic Turtle Sequences, Judy A. Holdener, A. Wagaman

Judy Holdener

Abundancy “Outlaws” Of The Form Σ(N)+T N, Judy A. Holdener, William G. Stanton

Judy Holdener

Product-Free Sets In The Card Game Set, Judy Holdener

Judy Holdener

Art And Design In Mathematic, Judy Holdener

Judy Holdener

A Latent Variable Transformation Model Approach For Exploring Dysphagia, Anna Snavely, David P. Harrington, Yi Li

David E. Harrington

Mat-Rix-Toe: Improving Writing Through A Game-Based Project In Linear Algebra, Adam Graham-Squire, Elin Farnell, Julianna Stockton

Elin R Farnell

Determinants Of Local And Migratory Movements Of Great Lakes Double-Crested Cormorants, Alban Guillaumet, Brian Dorr, Guiming Wang, Jimmy D. Taylor, Richard B. Chipman, Heidi Scherr, Jeff Bowman, Kenneth F. Abraham, Terry J. Doyle, Elizabeth Cranker

Jeff Bowman

2012 Georgia Scholarship Of Stem Teaching And Learning Conference Program, Georgia Scholarship Of Stem Teaching And Learning Conference

Interdisciplinary STEM Teaching & Learning Conference (2012-2019)

Electrochemical Investigation Of Homogenous Species At An Electrode Interface, Christopher Larsen Iii

Chemistry and Chemical Biology ETDs

Will Passive Protection Save Congo Forests?, Gillian L. Galford, Britaldo S. Soares-Filho, Laura J. Sonter, Nadine Laporte

Rubenstein School of Environment and Natural Resources Faculty Publications

The Role Of Sister Cities’ Staff Exchanges In Developing “Learning Cities”: Exploring Necessary And Sufficient Conditions In Social Capital Development Utilizing Proportional Odds Modeling, Patrick H. Buckley, Akio Takahashi, Amy D. Anderson

Mathematics Faculty Publications