Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences Commons™

Open Access. Powered by Scholars. Published by Universities.®

Mathematics

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 1771 - 1800 of 2384

Full-Text Articles in Computer Sciences

Dynamic Web Tools For Trigonometry, Steven J. Wilson Jan 2008

Dynamic Web Tools For Trigonometry, Steven J. Wilson

Innovations in Math Technology

In the last 20 years, computer technology having mathematical capability has been developed, improved, and become widely available, but textbook presentations are still largely free of any discussion that might require technology. Technology could be used in mathematical instruction for student drill and practice, for instructor demonstrations that promote conceptual understanding, or for the exploration of mathematical ideas, but software is often designed to be pedagogically generic, leaving its use to the creativity of the instructor. Technological solutions for local machines can be quite extensive, but cost and time constraints then limit availability for student use. The internet has the …

Go to article

Simulating Spatial Partial Differential Equations With Cellular Automata, Brian Paul Strader Jan 2008

Simulating Spatial Partial Differential Equations With Cellular Automata, Brian Paul Strader

Theses Digitization Project

The purpose of this project was to define the relationship and show how an important subset of spatial differential equations can be transformed into cellular automata. Contains source code.

Go to article

Thermal Roots Of Correlation-Based Complexity, Philip Fraundorf Jan 2008

Thermal Roots Of Correlation-Based Complexity, Philip Fraundorf

Physics Faculty Works

Bayesian maxent lets one integrate thermal physics and information theory points of view in the quantitative study of complex systems. Since net surprisal (a free energy analog for measuring “departures from expected”) allows one to place second law constraints on mutual information (a multimoment measure of correlations), it makes a quantitative case for the role of reversible thermalization in the natural history of invention, and suggests multiscale strategies to monitor standing crop as well. It prompts one to track evolved complexity starting from live astrophysically observed processes, rather than only from evidence of past events. Various gradients and boundaries that …

Go to article

Functorial Coalgebraic Logic: The Case Of Many-Sorted Varieties, Alexander Kurz, Daniela Petrişan Jan 2008

Functorial Coalgebraic Logic: The Case Of Many-Sorted Varieties, Alexander Kurz, Daniela Petrişan

Engineering Faculty Articles and Research

Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This paper makes two contributions. First, a previous result characterizing those functors that have presentations is generalized from endofunctors on one-sorted varieties to functors between many-sorted varieties. This yields an equational logic for the presheaf semantics of higher-order abstract syntax. As another application, we show how the move to functors between many-sorted varieties allows to modularly combine syntax and proof systems of different logics. Second, we show how to associate …

Go to article

Molecular Targets Of 2,3,7,8-Tetrachlorodibenzo-P-Dioxin (Tcdd) Within The Zebrafish Ovary: Insights Into Tcdd-Induced Endocrine Disruption And Reproductive Toxicity, Tisha C. King Heiden, Craig Struble, Matthew L. Rise, Martin J. Hessner, Reinhold J. Hutz, Michael J. Carvan Iii Jan 2008

Molecular Targets Of 2,3,7,8-Tetrachlorodibenzo-P-Dioxin (Tcdd) Within The Zebrafish Ovary: Insights Into Tcdd-Induced Endocrine Disruption And Reproductive Toxicity, Tisha C. King Heiden, Craig Struble, Matthew L. Rise, Martin J. Hessner, Reinhold J. Hutz, Michael J. Carvan Iii

Mathematics, Statistics and Computer Science Faculty Research and Publications

TCDD is a reproductive toxicant and endocrine disruptor, yet the mechanisms by which it causes these reproductive alterations are not fully understood. In order to provide additional insight into the molecular mechanisms that underlie TCDD's reproductive toxicity, we assessed TCDD-induced transcriptional changes in the ovary as they relate to previously described impacts on serum estradiol concentrations and altered follicular development in zebrafish. In silico computational approaches were used to correlate candidate regulatory motifs with observed changes in gene expression. Our data suggest that TCDD inhibits follicle maturation via attenuated gonadotropin responsiveness and/or depressed estradiol biosynthesis, and that interference of estrogen-regulated …

Go to article

Super Fuzzy Matrices And Super Fuzzy Models For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Amal Jan 2008

Super Fuzzy Matrices And Super Fuzzy Models For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Amal

Branch Mathematics and Statistics Faculty and Staff Publications

The concept of supermatrix for social scientists was first introduced by Paul Horst. The main purpose of his book was to introduce this concept to social scientists, students, teachers and research workers who lacked mathematical training. He wanted them to be equipped in a branch of mathematics that was increasingly valuable for the analysis of scientific data. This book introduces the concept of fuzzy super matrices and operations on them. The author has provided only those operations on fuzzy supermatrices that are essential for developing super fuzzy multi expert models. We do not indulge in labourious use of suffixes or …

Go to article

Set Linear Algebra And Set Fuzzy Linear Algebra, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral Jan 2008

Set Linear Algebra And Set Fuzzy Linear Algebra, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book, the authors define the new notion of set vector spaces which is the most generalized form of vector spaces. Set vector spaces make use of the least number of algebraic operations, therefore, even a non-mathematician is comfortable working with it. It is with the passage of time, that we can think of set linear algebras as a paradigm shift from linear algebras. Here, the authors have also given the fuzzy parallels of these new classes of set linear algebras. This book abounds with examples to enable the reader to understand these new concepts easily. Laborious theorems and …

Go to article

Pathos: Pervasive At Home Sleep Monitoring, Ian Obermiller, Sheikh Iqbal Ahamed Jan 2008

Pathos: Pervasive At Home Sleep Monitoring, Ian Obermiller, Sheikh Iqbal Ahamed

Mathematics, Statistics and Computer Science Faculty Research and Publications

Sleeping disorders affect a large percentage of the population, and many of them go undiagnosed each year because the method of diagnosis is to stay overnight at a sleep center. Because pervasive technologies have become so prevalent and affordable, sleep monitoring is no longer confined to a permanent installation, and can therefore be brought directly into the user home. We present a unique solution to the problem of home sleep monitoring that has the possibility to take the place of and expand on the data from a sleep center. PATHOS focuses not only on analyzing patterns during the night, but …

Go to article

Characterization Of Digraphs With Equal Domination Graphs And Underlying Graphs, Kim A. S. Factor, Larry J. Langley Jan 2008

Characterization Of Digraphs With Equal Domination Graphs And Underlying Graphs, Kim A. S. Factor, Larry J. Langley

Mathematics, Statistics and Computer Science Faculty Research and Publications

A domination graph of a digraph D , dom(D)dom(D), is created using the vertex set of D and edge {u,v}∈E[dom(D)]{u,v}∈E[dom(D)] whenever (u,z)∈A(D)(u,z)∈A(D) or (v,z)∈A(D)(v,z)∈A(D) for every other vertex z∈V(D)z∈V(D). The underlying graph of a digraph DD, UG(D)UG(D), is the graph for which D is a biorientation. We completely characterize digraphs whose underlying graphs are identical to their domination graphs, UG(D)=dom(D)UG(D)=dom(D). The maximum and minimum number of single arcs in these digraphs, and their characteristics, is given.

Go to article

Empirical Bayes And Hierarchical Bayes Estimation Of Skew Normal Populations, Naveen K. Bansal, Mehdi Maadooliat, Xiaowei Wang Jan 2008

Empirical Bayes And Hierarchical Bayes Estimation Of Skew Normal Populations, Naveen K. Bansal, Mehdi Maadooliat, Xiaowei Wang

Mathematics, Statistics and Computer Science Faculty Research and Publications

We develop empirical and hierarchical Bayesian methodologies for the skew normal populations through the EM algorithm and the Gibbs sampler. A general concept of skewness to the normal distribution is considered throughout. Motivations are given for considering the skew normal population in applications, and an example is presented to demonstrate why the skew normal distribution is more applicable than the normal distribution for certain applications.

Go to article

Unit Rectangle Visibility Graphs, Alice M. Dean, Joanna A. Ellis-Monaghan, Sarah J. Hamilton, Greta Pangborn Dec 2007

Unit Rectangle Visibility Graphs, Alice M. Dean, Joanna A. Ellis-Monaghan, Sarah J. Hamilton, Greta Pangborn

Mathematics, Statistics and Computer Science Faculty Research and Publications

Over the past twenty years, rectangle visibility graphs have generated consider- able interest, in part due to their applicability to VLSI chip design. Here we study unit rectangle visibility graphs, with fixed dimension restrictions more closely modeling the constrained dimensions of gates and other circuit components in computer chip applications. A graph G is a unit rectangle visibility graph (URVG) if its vertices can be represented by closed unit squares in the plane with sides parallel to the axes and pairwise disjoint interiors, in such a way that two vertices are adjacent if and only if there is a non-degenerate …

Go to article

Reed-Solomon Codes Construction & Decoding, Samuel J. Parsons Dec 2007

Reed-Solomon Codes Construction & Decoding, Samuel J. Parsons

Honors Capstones

Capstone submitted as a graduation requirement for the BSU Honors Program.

Go to article

Band Unfoldings And Prismatoids: A Counterexample, Joseph O'Rourke Oct 2007

Band Unfoldings And Prismatoids: A Counterexample, Joseph O'Rourke

Computer Science: Faculty Publications

This note shows that the hope expressed in [ADL+07]--that the new algorithm for edge-unfolding any polyhedral band without overlap might lead to an algorithm for unfolding any prismatoid without overlap--cannot be realized. A prismatoid is constructed whose sides constitute a nested polyhedral band, with the property that every placement of the prismatoid top face overlaps with the band unfolding.

Go to article

A Nifty Tool For Studying Program And System Behaviors: Nifty Tools, Pete Sanderson, Kenneth Vollmar Oct 2007

A Nifty Tool For Studying Program And System Behaviors: Nifty Tools, Pete Sanderson, Kenneth Vollmar

Mathematics Faculty Scholarship

MARS is an integrated development environment (IDE) and simulator for MIPS assembly language programming. New features enable MARS to be a useful tool for discovery and experimentation even in courses that do not involve assembly language programming.

Go to article

How Geometer’S Sketchpad Improves Student Learning, William George Awe Oct 2007

How Geometer’S Sketchpad Improves Student Learning, William George Awe

Mathematics Graduate Theses

This study investigated whether dynamic software improves learning and reviews different types of dynamic software. The study then narrows its focus to one type of dynamic software, Geometer’s Sketchpad and studies how Geometer’s Sketchpad, in itself, improves student learning. The researcher identified what dynamic software is, the importance of dynamic software and different types of dynamic software. The researcher also identifies how dynamic software is utilized in schools and researches how to improve the use of dynamic software in schools. Dynamic software, and Geometer’s Sketchpad, In particular, was found to improve learning across grade levels and with different levels of …

Go to article

A Software-Based Trust Framework For Distributed Industrial Management Systems, Sheikh Iqbal Ahamed, Mohammad Zulkernine, Steve Wolfe Oct 2007

A Software-Based Trust Framework For Distributed Industrial Management Systems, Sheikh Iqbal Ahamed, Mohammad Zulkernine, Steve Wolfe

Mathematics, Statistics and Computer Science Faculty Research and Publications

One of the major problems in industrial security management is that most organizations or enterprises do not provide adequate guidelines or well-defined policy with respect to trust management, and trust is still an afterthought in most security engineering projects. With the increase of handheld devices, managers of business organizations tend to use handheld devices to access the information systems. However, the connection or access to an information system requires appropriate level of trust. In this paper, we present a flexible, manageable, and configurable software-based trust framework for the handheld devices of mangers to access distributed information systems. The presented framework …

Go to article

Unfolding Restricted Convex Caps, Joseph O'Rourke Sep 2007

Unfolding Restricted Convex Caps, Joseph O'Rourke

Computer Science: Faculty Publications

This paper details an algorithm for unfolding a class of convex polyhedra, where each polyhedron in the class consists of a convex cap over a rectangular base, with several restrictions: the cap’s faces are quadrilaterals, with vertices over an underlying integer lattice, and such that the cap convexity is "radially monotone," a type of smoothness constraint. Extensions of Cauchy’s arm lemma are used in the proof of non-overlap.

Go to article

Nonlinear Dynamics In Combinatorial Games: Renormalizing Chomp, Eric J. Friedman, Adam S. Landsberg Jun 2007

Nonlinear Dynamics In Combinatorial Games: Renormalizing Chomp, Eric J. Friedman, Adam S. Landsberg

WM Keck Science Faculty Papers

We develop a new approach to combinatorial games that reveals connections between such games and some of the central ideas of nonlinear dynamics: scaling behaviors, complex dynamics and chaos, universality, and aggregation processes. We take as our model system the combinatorial game Chomp, which is one of the simplest in a class of "unsolved" combinatorial games that includes Chess, Checkers, and Go. We discover that the game possesses an underlying geometric structure that "grows" (reminiscent of crystal growth), and show how this growth can be analyzed using a renormalization procedure adapted from physics. In effect, this methodology allows one to …

Go to article

Teach A Course In The Math Of Voting And Choice, Karl-Dieter Crisman Jun 2007

Teach A Course In The Math Of Voting And Choice, Karl-Dieter Crisman

ACMS Conference Proceedings 2007

Many mathematics instructors at the college level are looking for a curricular option that has the potential to serve a number of different constituencies. It could be to encourage more students to take math courses, or to give worthwhile options to students who need to take math but who are not ready for calculus (or its sequence). On the other hand, one may wish to add a new course for majors outside of the typical offerings, or even to prepare students for undergraduate research. The mathematics of voting and choice is ideally suited to meet all these needs in the …

Go to article

Bach (To The Calculus Of) Variations, Charles R. Hampton Jun 2007

Bach (To The Calculus Of) Variations, Charles R. Hampton

ACMS Conference Proceedings 2007

While it is quite common for professionals (doctors, lawyers, academics, etc) to be talented in many ways, including musical talent, there is a special connection between music and mathematics. Musicians collectively are not more talented in mathematics than other professionals and other academics. This paper examines the connections between math and music, particularly calculus and the music of Johann Sebastian Bach.

Go to article

Chaos Theory And Metaphysical (In) Determinism, Tim Rogalsky Jun 2007

Chaos Theory And Metaphysical (In) Determinism, Tim Rogalsky

ACMS Conference Proceedings 2007

This paper will begin by introducing the issues that arise from chaos theory for the Christian mathematician and scientist: What is at stake in this debate? It will then briefly review chaos theory, by means of two examples. It will then introduce the metaphysical interpretations given to chaos theory by three different scientist-theologians. The paper will conclude with a brief introduction to open theists, and analyze their use of chaos theory to supper their theological claims.

Go to article

Trigonometry Without Sines And Geometry Without Angles, Phillip Lestmann Jun 2007

Trigonometry Without Sines And Geometry Without Angles, Phillip Lestmann

ACMS Conference Proceedings 2007

In his book, Divine Proportions, N. J. Wildberger advocates for a "rational" trigonometry by substituting the squares of the common trigonometric ratios for those ratios themselves. This presentation examines and critiques the claims of the book by evaluating its presented methods.

Go to article

Portrayls Of Mathematics In Culture, Jeremy Case Jun 2007

Portrayls Of Mathematics In Culture, Jeremy Case

ACMS Conference Proceedings 2007

This paper looks at various portrays of mathematicians in culture, and how that can influence perceptions of mathematics.

Go to article

Integrating Moral And Spiritual Themes In Middle School And High School Mathematics Teaching Units, Dave Klanderman, Sean Bird Jun 2007

Integrating Moral And Spiritual Themes In Middle School And High School Mathematics Teaching Units, Dave Klanderman, Sean Bird

ACMS Conference Proceedings 2007

In 2006, the Kuyers Institute published a total of nine math lessons for the middle school and high school which incorporate a Christian perspective. This paper examines the impact of teaching all of these lessons at a the high school level as well as selected lessons at the college level with preservice elementary and secondary mathematics teachers.

Go to article

An Augustinian Perspective On The Philosophy Of Mathematics, James Bradley Jun 2007

An Augustinian Perspective On The Philosophy Of Mathematics, James Bradley

ACMS Conference Proceedings 2007

Enlightenment thinkers saw the universe as mechanistic and mathematics as the language in which the universe is written. They viewed mathematics as eternal, as transcending human minds, and as comprehensible by human beings. Thus mathematics, from their perspective, is our best tool for understanding the secrets of nature. This outlook was nicely summarized by Morris Kline: (Kline, 1953) In brief the whole world is the totality of mathematically expressible motions of objects in space and time, and the entire universe is a great, harmonious, and mathematically designed machine. From a Christian perspective, however, the Enlightenment outlook is flawed. It privileges …

Go to article

Rules And Insights: Connecting The Mathematical And Linguistic Abilities Of C.S. Lewis, Kim Jongerius Jun 2007

Rules And Insights: Connecting The Mathematical And Linguistic Abilities Of C.S. Lewis, Kim Jongerius

ACMS Conference Proceedings 2007

While most biographical works on C.S. Lewis give passing reference to Lewis' problems with elementary mathematics, few have made an attempt at diagnosing the difficulty or exploring its impact on his writing. A careful study of family correspondence, however, makes it clear that his learning difficulties were not with mathematics alone and suggests connections between attitudes toward and abilities in both mathematics and language. This paper will make these connections clear and will illustrate their ties to Lewis' effective mathematical references.

Go to article

Counting Tulips: Three Combinatorial Proofs, Eric Gossett Jun 2007

Counting Tulips: Three Combinatorial Proofs, Eric Gossett

ACMS Conference Proceedings 2007

A gardener has r ≥ 1 red tulips and b ≥ 1 blue tulips, each in its own pot. She plans to plant them in a line along the edge of her driveway. In how many visually distinguishable ways can she arrange them?

Go to article

Tanzania, Mathematics, And Me: Reflections From My Work With Tanzanian Teachers, Mandi Maxwell Jun 2007

Tanzania, Mathematics, And Me: Reflections From My Work With Tanzanian Teachers, Mandi Maxwell

ACMS Conference Proceedings 2007

In June 2006 I had the privilege of participating in a four-day teacher training workshop in Mumba, Tanzania. In this paper I will discuss the challenges and triumphs of working with Tanzanian Secondary Mathematics teachers. We will discuss the educational environment, teaching strategies, and curricular issues that affect mathematics teachers in rural areas of Tanzania and contrast that with the American educational experience. We will also discuss some of the goals of the Teacher Training workshop that my colleagues and I led and look at some of the specific mathematical ideas and applications that I shared with the Mathematics teachers …

Go to article

Mathematical Knowledge And Leibniz' Epstemology, Jonathan Zderad Jun 2007

Mathematical Knowledge And Leibniz' Epstemology, Jonathan Zderad

ACMS Conference Proceedings 2007

No abstract provided.

Go to article

Integrating Ethics Into The Database Course With A Focus On Data Modeling And Normalization, James F. Glasgow, Ph.D Jun 2007

Integrating Ethics Into The Database Course With A Focus On Data Modeling And Normalization, James F. Glasgow, Ph.D

ACMS Conference Proceedings 2007

No abstract provided.

Go to article

First Prev Next Last