Computer Sciences Commons^™

Reading Assignments And Assessments: Are Your Students Reading Math Texts Before Class, After Class, Both, Or Neither?, David Klanderman, Mandi Maxwell, Sharon Robbert, Bill Boerman-Cornell

ACMS Conference Proceedings 2013

In his recent book What the Best College Students Do [Bain, 2012], Ken Bain defines a number of different types of students including “surface learners,” “strategic learners,” “routine experts,” and finally, “deep learners.” In our mathematics courses at Trinity, we have found examples of all of these student types. A major determinant of their preferred approach to learning appears to be the ways and degrees to which mathematical texts and other written materials are read prior to class sessions. Each full-time member of the department both assigns and assesses the reading of mathematical materials prior to class sessions. Assessment methods, …

Philosophy Of “Spinning Wheels”, Loredana Ciurariu

ACMS Conference Proceedings 2013

In this material I will speak about some well-known mechanisms studied by students and engineers emphasizing the impact which “spinning wheels” had and have in development of the society, on Christians and the church. Also the discovery of the machineries determines major changes in the people’s outlook and leads to new trends in philosophy and Christianity. Then, I will give some examples from the Bible where “spinning wheels” it seems to appear: Judges 16:21, Ezekiel 1 and Revelation. It is also interesting to see 2 Kings 2:9-12, 2 Kings 6:13-18 and maybe Daniel 7:9.

In addition, an avi file where …

An Investigation Of Hi Ho! Cherry-O Using Markov Chains, Nicholas C. Zoller

ACMS Conference Proceedings 2013

In the children’s board game Hi Ho! Cherry-O, players attempt to move 10 cherries from their trees to a bucket in the center of the game board. A spinner determines whether a turn includes moving cherries from tree to bucket or bucket to tree. The winner of the game is the first player to move all of her cherries from her tree to the bucket. We model the gameplay using a Markov chain and calculate the expected number of turns needed to complete one game. Then we investigate what happens when the rules are changed. We discover that rules …

The Structures Of The Actual World, Walter J. Schultz, Lisanne D’ Andrea Winslow

ACMS Conference Proceedings 2013

Scripture teaches that God has a plan for the universe. In this paper we argue that in order for it to function as a plan, it must have a temporal structure, a representational structure, and a proto-causal structure. This paper presents a formal model of the these three structures. As it turns out, the structures of God’s plan are best understood as the structures of a musical composition. We, then very briefly describe its implications. The first is that this model (based ultimately in the doctrine of God) grounds a metaphysics of science. Second, it grounds a structuralist philosophy of …

Perspectives On Chaos: Reflections Of A Mathematical Physicist, Kyle Spyksma

ACMS Conference Proceedings 2013

Chaos Theory, the mathematical media darling of the ’90s, has become less of a societal fad and research interest over the past couple of decades. However, from a mathematical physicists’ perspective, issues surrounding Chaos Theory can be valuable aides in forming views on how mathematics, science and reality relate. In this talk, I will briefly explore how Chaos Theory can shape views of these relationships, with a focus on the language we use and (perhaps unintentionally) abuse when doing science and mathematics.

Introduction (2013), Eric Gossett

ACMS Conference Proceedings 2013

Nineteenth Conference of the Association of Christians in the Mathematical Sciences

Paper Abstracts (2013), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2013

Nineteenth Conference of the Association of Christians in the Mathematical Sciences

Schedule (2013), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2013

Nineteenth Conference of the Association of Christians in the Mathematical Sciences

Table Of Contents (2013), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2013

Nineteenth Conference of the Association of Christians in the Mathematical Sciences

19th Conference Of The Associations Of Christians In The Mathematical Sciences, Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2013

Association of Christians in the Mathematical Sciences 19th Biennial Conference Proceedings, May 29 - June 1, 2011, Bethel University.

Gene Regulatory Network Reconstruction Using Dynamic Bayesian Networks, Haoni Li

Dissertations

High-content technologies such as DNA microarrays can provide a system-scale overview of how genes interact with each other in a network context. Various mathematical methods and computational approaches have been proposed to reconstruct GRNs, including Boolean networks, information theory, differential equations and Bayesian networks. GRN reconstruction faces huge intrinsic challenges on both experimental and theoretical fronts, because the inputs and outputs of the molecular processes are unclear and the underlying principles are unknown or too complex.

In this work, we focused on improving the accuracy and speed of GRN reconstruction with Dynamic Bayesian based method. A commonly used structure-learning algorithm …

On High-Performance Parallel Decimal Fixed-Point Multiplier Designs, Ming Zhu

College of Engineering: Graduate Celebration Programs

Decimal computations are required in finance, and etc.

• Precise representation for decimals (E.g. 0.2, 0.7… )
• Performance Requirements (Software simulations are very slow)

Group Developed Weighing Matrices, K. T. Arasu, Jeffrey R. Hollon

Mathematics and Statistics Faculty Publications

A weighing matrix is a square matrix whose entries are 1, 0 or −1, such that the matrix times its transpose is some integer multiple of the identity matrix. We examine the case where these matrices are said to be devel- oped by an abelian group. Through a combination of extending previous results and by giving explicit constructions we will answer the question of existence for 318 such matrices of order and weight both below 100. At the end, we are left with 98 open cases out of a possible 1,022. Further, some of the new results provide insight into …

Lattice Boltzmann Simulations Of Thermal Convective Flows In Two Dimensions, Jia Wang, Donghai Wang, Pierre Lallemand, Li-Shi Luo

Mathematics & Statistics Faculty Publications

In this paper we study the lattice Boltzmann equation (LBE) with multiple-relaxation-time (MRT) collision model for incompressible thermo-hydrodynamics with the Boussinesq approximation. We use the MRT thermal LBE (TLBE) to simulate the following two flows in two dimensions: the square cavity with differentially heated vertical walls and the Rayleigh-Benard convection in a rectangle heated from below. For the square cavity, the flow parameters in this study are the Rayleigh number Ra = 10³-10⁶, and the Prandtl number Pr = 0.71; and for the Rayleigh-Benard convection in a rectangle, Ra = 2 ^. 10³, 10 …

A Convex Optimization Algorithm For Sparse Representation And Applications In Classification Problems, Reinaldo Sanchez Arias

Open Access Theses & Dissertations

In pattern recognition and machine learning, a classification problem refers to finding an algorithm for assigning a given input data into one of several categories. Many natural signals are sparse or compressible in the sense that they have short representations when expressed in a suitable basis. Motivated by the recent successful development of algorithms for sparse signal recovery, we apply the selective nature of sparse representation to perform classification. Any test sample is represented in an overcomplete dictionary with the training sample as base elements. A given test sample can be expressed as a linear combination of only those training …

Dynamic Processes In Network Goods: Modeling, Analysis And Applications, Arnut Paothong

USF Tampa Graduate Theses and Dissertations

The network externality function plays a very important role in the study of economic network industries. Moreover, the consumer group dynamic interactions coupled with network externality concept is going to play a dominant role in the network goods in the 21st century. The existing literature is stemmed on a choice of externality function with certain quantitative properties. The utility function coupled with the network externality function is used to investigate static properties of rational equilibrium. The aim of this work is to systematically initiate a development of quantitative effects of the concept of network externality and its influence on the …

Numerical Studies For Solving Fractional Riccati Differential Equation, N. H. Sweilam, M. M. Khader, A. M. S. Mahdy

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, finite difference method (FDM) and Pade'-variational iteration method (Pade'- VIM) are successfully implemented for solving the nonlinear fractional Riccati differential equation. The fractional derivative is described in the Caputo sense. The existence and the uniqueness of the proposed problem are given. The resulting nonlinear system of algebraic equations from FDM is solved by using Newton iteration method; moreover the condition of convergence is verified. The convergence's domain of the solution is improved and enlarged by Pade'-VIM technique. The results obtained by using FDM is compared with Pade'-VIM. It should be noted that the Pade'-VIM is preferable because …

Ubiquity Of Data And Model Fusion: From Geophysics And Environmental Sciences To Estimating Individual Risk During An Epidemic, Omar Ochoa, Aline Jaimes, Christian Servin, Craig Tweedie, Aaron Velasco, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, we need to combine the results of measuring a local value of a certain quantity with results of measuring average values of this same quantity. For example, in geosciences, we need to combine the seismic models (which describe density at different locations and depths) with gravity models which describe density averaged over certain regions. Similarly, in estimating the risk of an epidemic to an individual, we need to combine probabilities describe the risk to people of the corresponding age group, to people of the corresponding geographical region, etc. In this paper, we provide general techniques for …

Degree Constrained Triangulation, Roshan Gyawali

UNLV Theses, Dissertations, Professional Papers, and Capstones

Triangulation of simple polygons or sets of points in two dimensions is a widely investigated problem in computational geometry. Some researchers have considered variations of triangulation problems that include minimum weight triangulation, de-launay triangulation and triangulation refinement. In this thesis we consider a constrained version of the triangulation problem that asks for triangulating a given domain (polygon or point sites) so that the resulting triangulation has an increased number of even degree vertices. This problem is called Degree Constrained Triangulation (DCT). We propose four algorithms to solve DCT problems. We also present experimental results based on the implementation of the …

Geometric Programming Subject To System Of Fuzzy Relation Inequalities, Elyas Shivanian, Mahdi Keshtkar, Esmaile Khorram

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, an optimization model with geometric objective function is presented. Geometric programming is widely used; many objective functions in optimization problems can be analyzed by geometric programming. We often encounter these in resource allocation and structure optimization and technology management, etc. On the other hand, fuzzy relation equalities and inequalities are also used in many areas. We here present a geometric programming model with a monomial objective function subject to the fuzzy relation inequality constraints with maxproduct composition. Simplification operations have been given to accelerate the resolution of the problem by removing the components having no effect on …

Introducing An Efficient Modification Of The Variational Iteration Method By Using Chebyshev Polynomials, M. M. Khader

Applications and Applied Mathematics: An International Journal (AAM)

In this article an efficient modification of the variational iteration method (VIM) is presented using Chebyshev polynomials. Special attention is given to study the convergence of the proposed method. The new modification is tested for some examples to demonstrate reliability and efficiency of the proposed method. A comparison of our numerical results those of the conventional numerical method, the fourth-order Runge-Kutta method (RK4) are given. The comparison shows that the solution using our modification is fast-convergent and is in excellent conformance with the exact solution. Finally, we conclude that the proposed method can be applied to a large class of …

A New Four Point Circular-Invariant Corner-Cutting Subdivision For Curve Design, Jian-Ao Lian

Applications and Applied Mathematics: An International Journal (AAM)

A 4-point nonlinear corner-cutting subdivision scheme is established. It is induced from a special C-shaped biarc circular spline structure. The scheme is circular-invariant and can be effectively applied to 2-dimensional (2D) data sets that are locally convex. The scheme is also extended adaptively to non-convex data. Explicit examples are demonstrated.

A Normal Truncated Skewed-Laplace Model In Stochastic Frontier Analysis, Junyi Wang

Masters Theses & Specialist Projects

Stochastic frontier analysis is an exciting method of economic production modeling that is relevant to hospitals, stock markets, manufacturing factories, and services. In this paper, we create a new model using the normal distribution and truncated skew-Laplace distribution, namely the normal-truncated skew-Laplace model. This is a generalized model of the normal-exponential case. Furthermore, we compute the true technical efficiency and estimated technical efficiency of the normal-truncated skewed-Laplace model. Also, we compare the technical efficiencies of normal-truncated skewed-Laplace model and normal-exponential model.

Error Estimation Techniques To Refine Overlapping Aerial Image Mosaic Processes Via Detected Parameters, William Glenn Bond

Dissertations

In this paper, I propose to demonstrate a means of error estimation preprocessing in the assembly of overlapping aerial image mosaics. The mosaic program automatically assembles several hundred aerial images from a data set by aligning them, via image registration using a pattern search method, onto a GIS grid.

The method presented first locates the images from a data set that it predicts will not align well via the mosaic process, then it uses a correlation function, optimized by a modified Hooke and Jeeves algorithm, to provide a more optimal transformation function input to the mosaic program. Using this improved …

Derivation Of Hill's Equation From Scale Invariance, Andres Ortiz^, Vladik Kreinovich*

COURI Symposium Abstracts, Spring 2012

No abstract provided.

Generating Minimal Pair-Wise Covering Test Suites, Luis C. Gutierrez ^, Martine Ceberio *

COURI Symposium Abstracts, Spring 2012

Software is ubiquitous and needs to be reliable. Software testing therefore plays an important role in software development. Proper testing a software system informs about its quality and reliability so as to prevent unexpected behavior during system execution. One of the methods to prevent failures consists in testing a system under different input values, but when all possible input values are tested, an impractical number of test cases might result. In software testing, pair-wise testing is a combinatorial technique which uses combination of pair input values to generate test cases. Using pair-wise testing dramatically reduces the number of test cases, …

Near-Optimal Scheduling And Decision-Making Models For Reactive And Proactive Fault Tolerance Mechanisms, Nichamon Naksinehaboon

Doctoral Dissertations

As High Performance Computing (HPC) systems increase in size to fulfill computational power demand, the chance of failure occurrences dramatically increases, resulting in potentially large amounts of lost computing time. Fault Tolerance (FT) mechanisms aim to mitigate the impact of failure occurrences to the running applications. However, the overhead of FT mechanisms increases proportionally to the HPC systems' size. Therefore, challenges arise in handling the expensive overhead of FT mechanisms while minimizing the large amount of lost computing time due to failure occurrences.

In this dissertation, a near-optimal scheduling model is built to determine when to invoke a hybrid checkpoint …

Random Number Generation: Types And Techniques, David F. Dicarlo

Senior Honors Theses

What does it mean to have random numbers? Without understanding where a group of numbers came from, it is impossible to know if they were randomly generated. However, common sense claims that if the process to generate these numbers is truly understood, then the numbers could not be random. Methods that are able to let their internal workings be known without sacrificing random results are what this paper sets out to describe. Beginning with a study of what it really means for something to be random, this paper dives into the topic of random number generators and summarizes the key …

Preconditioning Visco-Resistive Mhd For Tokamak Plasmas, Daniel R. Reynolds, Ravi Samtaney, Hilari C. Tiedeman

Mathematics Research

No abstract provided.

Block Preconditioning Of Stiff Implicit Models For Radiative Ionization In The Early Universe, Daniel R. Reynolds, Robert Harkness, Geoffrey So, Michael L. Norman

Mathematics Research

No abstract provided.