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 10 of 10 for “"mathematical rigor"”.
-
Assessing Linguistic, Mathematical, and Visual Factors Related to Student Performance on the Texas Assessment of Knowledge and Skills, Eighth Grade Mathematics Test.
… the prevalence of linguistic complexity, mathematical rigor, and visual presentation factors and explored their relationship to student success on individual test items. Variables to be studied were identified through a review of literature in the area of reading comprehension of math word …
-
COMBINING CRYPTOGRAPHY, RISK ASSESSMENT AND USABILITY FOR SECURE E-VOTING SYSTEMS
… e-voting system requires a careful balance of mathematical rigor, robust information security measures, and usability considerations. In this thesis, I explore these interconnected dimensions to propose a comprehensive solution, which was called Vote App, that ensures both security and …
-
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 …
-
Extension of Shor's period-finding algorithm to infinite dimensional Hilbert spaces
… some of which have not been ripened with full mathematical rigor. In this dissertation we use concepts from white noise analysis to rigorously develop a Shor algorithm adapted to find a hidden subspace of a function with domain a real Hilbert space. After reviewing the framework of quantum …
-
Nonlinear Control of Underactuated and Constrained Systems
… are shown to lie on manifolds defined by mathematical restrictions, allowing for singularity-free modeling for global considerations. Feed-back controllers by extension share these benefits, facilitating singularity-free control algorithms as a result. Further, unactuated degrees of …
-
Multidimensional and High Frequency Heat Flux Reconstruction Applied to Hypersonic Transitional Flows
… focus of this research is on understanding the mathematical properties of the reconstruction such as regularity, sensitivity to noise, multi-resolution, and accuracy. This research is part of an effort to develop small-footprint heat flux sensors able to measure high-frequency fluctuations on …
-
Global and Robust Optimization for Engineering Design
… significant benefits to leveraging structured mathematical optimization instead. Mathematical optimization provides guarantees of solution quality, and is fast, scalable, and compatible with using physics-based models in design. More importantly perhaps, there has been a wave of research in …
-
The utility of mathematical fitness-fatigue models for assisting with the planning of physical training for sport: from in silico experiments employing synthetic data, lower-bound operational conditions and model estimation, to the development of software resources for future research.
The greatest potential application of mathematical models in sport science is to predict future performance of individual athletes in response to training, with sufficient accuracy to assist with planning of training programs and short tapering periods. The most widely known and investigated set of …
-
Metamodel-based inverse uncertainty quantification of nuclear reactor simulators under the Bayesian framework
Mathematical modeling and computer simulations have long been the central technical topics in practically all branches of science and technology. Tremendous progress has been achieved in revealing quantitative connections between numerical predictions and real-world observations. However, because …
-
Materials far from equilibrium : shock-induced deformation and chemistry in RDX and experimental development
… extract quantifiable data and uncertainties with mathematical rigor from our image sequences, I collaboratively developed an image-processing algorithm called locally adaptive discriminant analysis (LADA). LADA reveals boundaries between different features in an image (referred to as classes) …