Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 80 for “"discrete mathematics"”.
-
Francy an interactive discrete mathematics framework for GAP
Em Julho de 2014, uma sessão entitulada A Proposal of scalable web framework for running GAP on the cloud foi apresentada no Workshop International em Algebra Computacional em Lisboa. Até ali, a utilizacão do GAP na Web era uma tarefa difícil, e esta apresentação trouxe algumas ideias novas na …
-
Automated proof checking in introductory discrete mathematics classes
Mathematical rigor is an essential concept to learn in the study of computer science. In the process of learning to write math proofs, instructors are heavily involved in giving feedback about correct and incorrect proofs. Computerized feedback in this area can ease the burden on instructors and …
-
Labeled Trees and Spanning Trees: Computational Discrete Mathematics and Applications
<p>In this thesis, we examine two topics. In the first part, we consider Leech tree which is a tree of order n with positive integer edge weights such that the weighted distances between pairs of vertices are exactly from 1 to n choose 2. Only five Leech trees are known and some non-existence …
-
The place of discrete mathematics in the school curriculum: An analysis of preservice teachers' perceptions of the integration of discrete mathematics into secondary level courses
The integration of discrete mathematics into the secondary school curriculum (grades 7-12) is an important consideration because the mathematical area is dynamic and interesting, providing students the development of mathematical thinking. Also, it provides for teachers the opportunity to develop …
-
Assessment of the environmental acceptability of refrigerants by discrete mathematics: cluster analysis and Hasse diagram technique
The recognition of the adverse environmental impact of chlorofluorocarbons (CFCs), mainly used as refrigerants, has lead to look for environmentally acceptable CFC replacements. Main environmental concern CFCs face is their ability to deplete the stratospheric ozone layer, quantified by the ozone …
-
Exploring mechanisms by which student invented algorithms in mathematics emerge
Discrete mathematics is ever-growing in prominence due to its significance in computer science and the many real-world applications of its sub-branches. Central to discrete mathematics is the algorithmatizing approach, which entails finding a solution for a given problem, and more importantly …
-
Probabilistic Methods
… is a powerful tool for solving many problems in discrete mathematics, combinatorics and also in graph .theory. It is also very useful to solve problems in number theory, combinatorial geometry, linear algebra and real analysis. More recently, it has been applied in the development of efficient …
-
AN INVESTIGATION OF LOWER SECONDARY PUPILS' IMAGES OF MATHEMATICS AND MATHEMATICIANS
… research project in which the images of mathematics and mathematicians held by lower secondary pupils were investigated. A survey tool which asked pupils to draw a picture of a mathematician at work, and which included a Likert-type scale and open-ended writing prompts, was designed and …
-
Interactive Online System for Mathematical Induction
… Induction is a foundational proof technique in discrete mathematics, whereas many students struggle to cover the gap from procedural to abstract reasoning. This project is based on the interactive online system for mathematical induction, developed to teach mathematical induction with the help …
-
Extremal problems on variations of graph colorings
… is an essential part of combinatorics and discrete mathematics, as it deals with the fundamental problem of partitioning objects so that each part satisfies a certain condition. In particular, we study how forbidding certain structures (subgraphs) affects a given coloring parameter. Open …
-
Technology in Mathematics Education: A Descriptive Study of the Availability and Uses of Calculators and Computers in Public High School Mathematics Classes in the State of Virginia
… of calculators and computers for the mathematics classes in public high schools across the State of Virginia; examine professional development activities used by teachers to prepare for the use of calculators and computers in the classroom; explore factors that may guide and influence …
-
Generating computer-based advice in web-based distance education environments
… of the prototype has been conducted in a Discrete Mathematics course at the Arab Academy for Science and Technology, Alexandria, Egypt. The evaluative study has shown that TADV provides practical and effective advice. It allows advice generation and informing of instructors, which, in …
-
Some New Results on Composition-Delay Equations with Asymptotically Periodic Solutions
The purpose of this thesis is to convey several new results in the field of piecewise difference equations, paying particular attention to higher order equations with asymptotically periodic solutions. A study of solutions to the equation $$y_n = \min \{ y_{n-k_1}-y_{n-m_1} , y_{n-k_2}-y_{n-m_2} …
-
Irreducible Representations from Group Actions on Trees
<p>We study the representations of the symmetric group $S_n$ found by acting on</p> <p>labeled graphs and trees with $n$ vertices. Our main results provide</p> <p>combinatorial interpretations that give the number of times the irreducible</p> <p>representations associated with the integer …
-
Three Existence Problems in Extremal Graph Theory
… is the impetus for many classical results in discrete mathematics. In this thesis we take this approach to three different structural questions rooted in extremal graph theory. When studying graph representations, we seek efficient ways to encode the structure of a graph. For example, an {\it …
-
Geometric Verification of Image Copy Detection Results
Many current image recognition methods are based on identifying interest points in images and considering images a match if they share similar interest points. This does not consider the locations of the interest points, so to reduce the number of false positives, geometric verification is used to …
-
Theory and application of back-tracking techniques
<p>High-speed computers can be used to solve many problems that require a large number of tests that satisfy either a positive or a negative requirement. However, the size of the problem that can be handled is limited by the speed and by the accessibility of the computer. Back-tracking is a …
-
An Algorithm to Generate Two-Dimensional Drawings of Conway Algebraic Knots
The problem of finding an efficient algorithm to create a two-dimensional embedding of a knot diagram is not an easy one. Typically, knots with a large number of crossings will not nicely generate two-dimensional drawings. This thesis presents an efficient algorithm to generate a knot and to create …
-
Fenrir: Practical Algorithms for Cache Partitioning
Caches are ubiquitous systems that support the modern web. They are crucial to cope with delays, bandwidth and high energy use of accessing ever-growing data from backend databases. Today, almost every web access passes through some level of cache, starting with the browser cache found within the …
Page 1 of 4