Mathematics Commons^™

Membership Functions Or Alpha-Cuts? Algorithmic (Constructivist) Analysis Justifies An Interval Approach, Vladik Kreinovich

Departmental Technical Reports (CS)

In his pioneering papers, Igor Zaslavsky started an algorithmic (constructivist) analysis of fuzzy logic. In this paper, we extend this analysis to fuzzy mathematics and fuzzy data processing. Specifically, we show that the two mathematically equivalent representations of a fuzzy number -- by a membership function and by alpha-cuts -- are not algorithmically equivalent, and only the alpha-cut representation enables us to efficiently process fuzzy data.

Bayesian Analysis Of Hypothesis Testing Problems For General Population: A Kullback–Leibler Alternative, Naveen K. Bansal, Gholamhossein Hamedani, Ru Sheng

Mathematics, Statistics and Computer Science Faculty Research and Publications

We consider a hypothesis problem with directional alternatives. We approach the problem from a Bayesian decision theoretic point of view and consider a situation when one side of the alternatives is more important or more probable than the other. We develop a general Bayesian framework by specifying a mixture prior structure and a loss function related to the Kullback–Leibler divergence. This Bayesian decision method is applied to Normal and Poisson populations. Simulations are performed to compare the performance of the proposed method with that of a method based on a classical z-test and a Bayesian method based on the …

Coding Theorems On A Non-Additive Generalized Entropy Of Havrda-Charvat And Tsallis, Satish Kumar, Arun Choudhary

Applications and Applied Mathematics: An International Journal (AAM)

A new measure L^β_α, called average code word length of order α and type β is defined and its relationship with a generalized information measure of order α and type β is discussed. Using L^β_α , some coding theorems are proved.

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 …

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.

Numerical Solution Of Interval And Fuzzy System Of Linear Equations, Suparna Das, S. Chakraverty

Applications and Applied Mathematics: An International Journal (AAM)

A system of linear equations, in general is solved in open literature for crisp unknowns, but in actual case the parameters (coefficients) of the system of linear equations contain uncertainty and are less crisp. The uncertainties may be considered in term of interval or fuzzy number. In this paper, a detail of study of linear simultaneous equations with interval and fuzzy parameter (triangular and trapezoidal) has been performed. New methods have been proposed for solving such systems. First, the methods have been tested for known problems viz. a circuit analysis solved in the literature and the results are found to …

Involvement Of Microrna Families In Cancer, Stefan Wuchty, Dolores Arjona, Serdar Bozdag, Peter O. Bauer

Mathematics, Statistics and Computer Science Faculty Research and Publications

Collecting representative sets of cancer microRNAs (miRs) from the literature we show that their corresponding families are enriched in sets of highly interacting miR families. Targeting cancer genes on a statistically significant level, such cancer miR families strongly intervene with signaling pathways that harbor numerous cancer genes. Clustering miR family-specific profiles of pathway intervention, we found that different miR families share similar interaction patterns. Resembling corresponding patterns of cancer miRs families, such interaction patterns may indicate a miR family’s potential role in cancer. As we find that the number of targeted cancer genes is a naı¨ve proxy for a cancer …

The Intersection Between Science And Computer Science Is Almost Empty, Dick Hamlet

Systems Science Friday Noon Seminar Series

Traditionally, a science such as physics overlaps with mathematics and engineering in a way that has been astonishingly productive. The math provides precise expression for the science, which in turn supplies the engineering with the information it needs to exploit physical phenomena. Computer science naturally wishes to put itself in the center of the traditional picture as a science. Unfortunately, it won't wash. The `science' of programming is pure and simple mathematics, not science. The distinction is more than linguistic, since science and mathematics have quite distinct goals and methods. By making the wrong choice, computer science research has been …

Simplified Models Of Vector Control Impact Upon Malaria Transmission By Zoophagic Mosquitoes, Samson S. Kiware, Nakul Chitnis, Sarah J. Moore, Gregor J. Devine, Silas Majambere, Stephen Merrill, Gerry F. Killeen

Mathematics, Statistics and Computer Science Faculty Research and Publications

Background

High coverage of personal protection measures that kill mosquitoes dramatically reduce malaria transmission where vector populations depend upon human blood. However, most primary malaria vectors outside of sub-Saharan Africa can be classified as “very zoophagic,” meaning they feed occasionally (

Methods and Findings

We extended a published malaria transmission model to examine the relationship between transmission, control, and the baseline proportion of bloodmeals obtained from humans (human blood index). The lower limit of the human blood index enables derivation of simplified models for zoophagic vectors that (1) Rely on only three field-measurable parameters. (2) Predict immediate and delayed (with …

Quantitative Patterns Of Stylistic Influence In The Evolution Of Literature, James M. Hughes, Nicholas J. Foti, David C. Krakauer, Daniel N. Rockmore

Dartmouth Scholarship

Literature is a form of expression whose temporal structure, both in content and style, provides a historical record of the evolution of culture. In this work we take on a quantitative analysis of literary style and conduct the first large-scale temporal stylometric study of literature by using the vast holdings in the Project Gutenberg Digital Library corpus. We find temporal stylistic localization among authors through the analysis of the similarity structure in feature vectors derived from content-free word usage, nonhomogeneous decay rates of stylistic influence, and an accelerating rate of decay of influence among modern authors. Within a given time …

Unfolding Prismatoids As Convex Patches: Counterexamples And Positive Results, Joseph O'Rourke

Computer Science: Faculty Publications

We address the unsolved problem of unfolding prismatoids in a new context, viewing a “topless prismatoid” as a convex patch—a polyhedral subset of the surface of a convex polyhedron homeomorphic to a disk. We show that several natural strategies for unfolding a prismatoid can fail, but obtain a positive result for “petal unfolding” topless prismatoids. We also show that the natural extension to a convex patch consisting of a face of a polyhedron and all its incident faces, does not always have a nonoverlapping petal unfolding. However, we obtain a positive result by excluding the problematical patches. This then leads …

Source Unfoldings Of Convex Polyhedra Via Certain Closed Curves, Jin-Ichi Itoh, Joseph O'Rourke, Costin Vîlcu

Computer Science: Faculty Publications

Abstract. We extend the notion of a source unfolding of a convex polyhedron P to be based on a closed polygonal curve Q in a particular class rather than based on a point. The class requires that Q “lives on a cone” to both sides; it includes simple, closed quasigeodesics. Cutting a particular subset of the cut locus of Q (in P) leads to a non-overlapping unfolding of the polyhedron. This gives a new general method to unfold the surface of any convex polyhedron to a simple, planar polygon

Estimating Correlation Under Interval And Fuzzy Uncertainty: Case Of Hierarchical Estimation, Ali Jalal-Kamali

Departmental Technical Reports (CS)

In many situations, we are interested in finding the correlation ρ between different quantities x and y based on the values x_i and y_i of these quantities measured in different situations i. The correlation is easy to compute when we know the exact sample values x_i and y_i. In practice, the sample values come from measurements or from expert estimates; in both cases, the values are not exact. Sometimes, we know the probabilities of different values of measurement errors, but in many cases, we only know the upper bounds Δ_xi and Δ_yi on …

Semi-Heuristic Target-Based Fuzzy Decision Procedures: Towards A New Interval Justification, Christian Servin, Van-Nam Huynh, Yoshiteru Nakamori

Departmental Technical Reports (CS)

To more adequately describe human decision making, V.-N. Nuynh, Y. Nakamori, and others proposed a special semi-heuristic target-based fuzzy decision procedure. A usual justification for this procedure is based on the selection of the simplest possible membership functions and "and"- and "or"-operations; if we use more complex membership functions and "and"- and "or"-operations, we get different results. Interestingly, in practical applications, the procedure based on the simplest choices most adequately describes human preferences. It is therefore desirable to come up with a justification that explains this empirical fact. Such a justification is proposed in this paper

Modeling Spatial Uncertainties In Geospatial Data Fusion And Mining, Boris Kovalerchuk, Leonid Perlovsky, Michael Kovalerchuk

All Faculty Scholarship for the College of the Sciences

Geospatial data analysis relies on Spatial Data Fusion and Mining (SDFM), which heavily depend on topology and geometry of spatial objects. Capturing and representing geometric characteristics such as orientation, shape, proximity, similarity, and their measurement are of the highest interest in SDFM. Representation of uncertain and dynamically changing topological structure of spatial objects including social and communication networks, roads and waterways under the influence of noise, obstacles, temporary loss of communication, and other factors. is another challenge. Spatial distribution of the dynamic network is a complex and dynamic mixture of its topology and geometry. Historically, separation of topology and geometry …

Challenging Disciplinary Boundaries In The First Year: A New Introductory Integrated Science Course For Stem Majors, Lisa Gentile, Lester Caudill, Mirela Fetea, April L. Hill, Kathy Hoke, Barry Lawson, Ovidiu Z. Lipan, Michael Kerckhove, Carol A. Parish, Krista J. Stenger, Doug Szajda

Biology Faculty Publications

To help undergraduates make connections among disciplines so they are able to approach, evaluate, and contribute to the solutions of important global problems, our campus has been focused on interdisciplinary research and education opportunities across the science, technology, engineering, and mathematics (STEM) disciplines. This paper describes the mobilization, planning, and implementation of a first-year interdisciplinary course for STEM majors that integrates key concepts found in traditional first-semester biology, chemistry, computer science, mathematics, and physics courses. This team-taught course, Integrated Quantitative Science (IQS), is half of a first-year student’s schedule in both semesters and is composed of a double lecture and …

Challenging Disciplinary Boundaries In The First Year: A New Introductory Integrated Science Course For Stem Majors, Lisa Gentile, Lester Caudill, Mirela Fetea, April L. Hill, Kathy Hoke, Barry Lawson, Ovidiu Z. Lipan, Michael Kerckhove, Carol A. Parish, Krista J. Stenger, Doug Szajda

Department of Math & Statistics Faculty Publications

To help undergraduates make connections among disciplines so they are able to approach, evaluate, and contribute to the solutions of important global problems, our campus has been focused on interdisciplinary research and education opportunities across the science, technology, engineering, and mathematics (STEM) disciplines. This paper describes the mobilization, planning, and implementation of a first-year interdisciplinary course for STEM majors that integrates key concepts found in traditional first-semester biology, chemistry, computer science, mathematics, and physics courses. This team-taught course, Integrated Quantitative Science (IQS), is half of a first-year student’s schedule in both semesters and is composed of a double lecture and …

Genomic Analysis Of Immune Response Against Vibrio Cholerae Hemolysin In Caenorhabditis Elegans, Surasri N. Sahu, Jada Lewis, Isha Patel, Serdar Bozdag, Jeong H. Lee, Joseph E. Leclerc, Hediye Nese Cinar

Mathematics, Statistics and Computer Science Faculty Research and Publications

Vibrio cholerae cytolysin (VCC) is among the accessory V. cholerae virulence factors that may contribute to disease pathogenesis in humans. VCC, encoded by hlyA gene, belongs to the most common class of bacterial toxins, known as poreforming toxins (PFTs). V. cholerae infects and kills Caenorhabditis elegans via cholerae toxin independent manner. VCC is required for the lethality, growth retardation and intestinal cell vacuolation during the infection. However, little is known about the host gene expression responses against VCC. To address this question we performed a microarray study in C. elegans exposed to V. cholerae strains with intact and deleted hlyA …

Human Gene Copy Number Spectra Analysis In Congenital Heart Malformations, Aoy Tomita-Mitchell, Donna K. Mahnke, Craig Struble, Maureen E. Tuffnell, Karl D. Stamm, Mats Hidestrand, Susan Harris, Mary A. Goetsch, Pippa Simpson, David P. Bick, Ulrich Broeckel, Andrew N. Pelech, James S. Tweddell, Michael Mitchell

Mathematics, Statistics and Computer Science Faculty Research and Publications

The clinical significance of copy number variants (CNVs) in congenital heart disease (CHD) continues to be a challenge. Although CNVs including genes can confer disease risk, relationships between gene dosage and phenotype are still being defined. Our goal was to perform a quantitative analysis of CNVs involving 100 well-defined CHD risk genes identified through previously published human association studies in subjects with anatomically defined cardiac malformations. A novel analytical approach permitting CNV gene frequency “spectra” to be computed over prespecified regions to determine phenotype-gene dosage relationships was employed. CNVs in subjects with CHD (n = 945), subphenotyped into 40 …

H-Colouring Bipartite Graphs, John Engbers, David Galvin

Mathematics, Statistics and Computer Science Faculty Research and Publications

For graphs G and H, an H-colouring of G (or homomorphism from G to H) is a function from the vertices of G to the vertices of H that preserves adjacency. H-colourings generalize such graph theory notions as proper colourings and independent sets. For a given H, k∈V(H) and G we consider the proportion of vertices of G that get mapped to k in a uniformly chosen H-colouring of G. Our main result concerns this quantity when G is regular and bipartite. We find numbers 0⩽a−(k)⩽a+(k)⩽1 with the property that for all such G, with high probability the proportion is …

K-8 Preservice Teachers’ Inductive Reasoning In The Problem-Solving Contexts, Marta Magiera

Mathematics, Statistics and Computer Science Faculty Research and Publications

This paper reports the results from an exploratory study of K-8 pre-service teachers’ inductive reasoning. The analysis of 130 written solutions to seven tasks and 77 reflective journals completed by 20 pre-service teachers lead to descriptions of inductive reasoning processes, i.e. specializing, conjecturing, generalizing, and justifying, in the problem-solving contexts. The uncovered characterizations of the four inductive reasoning processes were further used to describe pathways of successful generalizations. The results highlight the importance of specializing and justifying in constructing powerful generalizations. Implications for teacher education are discussed.

Using Bioinformatics To Efficiently Organize And Analyze Significant Immunogenic Epitope Sequences In Various Stages Of Trypanosoma Cruzi, Karla Singh^, Andrea Wurm, Clemente Aguilar, Alexandre Marques, M-Y Leung*, Igor Almeida*

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, …

Simplicity Is Worse Than Theft: A Constraint-Based Explanation Of A Seemingly Counter-Intuitive Russian Saying, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, simplified models, models that enable us to gauge the quality of different decisions reasonably well, lead to far-from-optimal situations when used in searching for an optimal decision. There is even an appropriate Russian saying: simplicity is worse than theft. In this paper, we provide a mathematical explanation of this phenomenon.

Kinematic Spaces And De Vries Algebras: Towards Possible Physical Meaning Of De Vries Algebras, Olga Kosheleva, Francisco Zapata

Departmental Technical Reports (CS)

Traditionally, in physics, space-times are described by (pseudo-)Riemann spaces, i.e., by smooth manifolds with a tensor metric field. However, in several physically interesting situations smoothness is violated: near the Big Bang, at the black holes, and on the microlevel, when we take into account quantum effects. In all these situations, what remains is causality -- an ordering relation. To describe such situations, in the 1960s, geometers H. Busemann and R. Pimenov and physicists E. Kronheimer and R. Penrose developed a theory of kinematic spaces. Originally, kinematic spaces were formulated as topological ordered spaces, but it turned out that kinematic …

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 …

Teaching Computers To Think: Analysis Of Artificial Intelligence And Connect Four, Kirk Baly, Andrew Freeman, Andrew Jarratt, Kyle Kling, Owen Prough

Symposium on Research and Creative Expression (SORCE)

Connect Four is a classic two person, zero-sum game in which players utilize their wits and gravity to connect four of their own pieces in a horizontal, vertical, or diagonal row while blocking their opponent’s attempt to do the same. We have constructed a simulation of this game which we have used as a base for the implementation and testing of varying Artificial Intelligence (AI) systems. Early strategies worked according to simple strategic methods, while more advanced heuristics employed a Min-Max Tree in tandem with methods to determine how advantageous a certain board would be. This Min-Max Tree goes beyond …

Equitable Labelings Of Caterpillar Graphs, Mark Burek, William Olson, Brock Taulbee

Symposium on Research and Creative Expression (SORCE)

The Graceful Tree Conjecture in graph theory has been open for almost half a century. The conjecture states that the vertices of any tree can be labeled with distinct integers between 0 and the number of edges of the tree in a way that the edges can be uniquely identified by the absolute value of the difference between their vertex labels. One possible approach to prove the conjecture is to prove the more general k-equitable tree conjecture. In a k-equitable labeling we assign integers from the set {0,1,2,…,k-1} to the vertices. Each edge will receive a label that is the …

Mathematical Dispositions And Student Learning: A Metaphorical Analysis, Jinfa Cai, Victoria Robison, John Moyer, Ning Wang, Bikai Nie

Mathematics, Statistics and Computer Science Faculty Research and Publications

No abstract provided.

Combinatorics Using Computational Methods, Derrick Stolee

Department of Mathematics: Dissertations, Theses, and Student Research

Computational combinatorics involves combining pure mathematics, algorithms, and computational resources to solve problems in pure combinatorics. This thesis provides a theoretical framework for combinatorial search, which is then applied to several problems in combinatorics. Some results in space-bounded computational complexity are also presented.