Index Catalog // ScholarsArchive@OSU

A study on student perceptions of principles of logic and their application to the principle of mathematical induction

Creator:: Boone, Allan R.
Abstract:: The purpose of this article is to explore student reasoning with regard to problems in logic, particularly those related to the Principle of Mathematical Induction (PMI). The five case studies presented build off of work done by other researchers, most notably Dubinsky and Harel, who both looked at how students'...
Resource Type:: Masters Thesis
Full Text:: : ______________________________________________________________________________ Thomas P. Dick The purpose of this article is to explore student reasoning with regard to

Nanoparticle-assisted diffusion brazing of metal microchannel arrays : nanoparticle synthesis, deposition, and characterization

Creator:: Eluri, Ravindranadh T.
Abstract:: Microchannel process technology (MPT) offers several advantages to the field of nanomanufacturing: 1) improved process control over very short time intervals owing to shorter diffusional distances; and 2) reduced reactor size due to high surface area to volume ratios and enhanced heat and mass transfer. The objective of this thesis...
Resource Type:: Dissertation
Full Text:: : _____________________________________________________________________ Brian K. Paul Microchannel process technology (MPT) offers several advantages to the field

Effectiveness of integration of internet technologies in support of teaching and learning computer science programming

Creator:: Hajebi, Mojgan
Abstract:: In spite of wide spread adoption of the internet technology in teaching and learning, little research exists on the use and the effect of web incorporation in teaching and learning. Immediate clarification of how, when, and for whom the web integration in education is beneficial is needed. This qualitative study...
Resource Type:: Dissertation
Full Text:: Programmi ng Abstract Approved: - (L--l"-- ~~==-.!~-------- Margaret L. Niess In spite of wide spread

Variational Satisfiability Solving

Creator:: Young, Jeffrey M.
Abstract:: Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
Resource Type:: Dissertation
Full Text:: 〉 ≡ D〈f1, f3〉 DOM-L D〈f1,D〈f2, f3〉〉 ≡ D〈f1, f3〉 DOM-R D1 〈D2 〈f1, f2〉,D2 〈f3, f4〉〉 ≡ D2 〈D1 〈f1, f3〉,D1

Inclusive Software Design and Its Methods for Beyond-WIMP User Interfaces

Creator:: Fallatah, Abrar
Abstract:: While digital inclusivity researchers and software practitioners have been trying to address exclusion biases in Windows, Icons, Menus, and Pointers (WIMP) user interfaces (UIs) for a long time, little has been done to investigate if and how inclusive software design and its methods that have been devised for WIMP UIs...
Resource Type:: Dissertation
Full Text:: , Abhijeet Agnihotri, Brian Layng, together with the exceptional contributions of Fatima A Moussaoui, Md

A numerical approach to Tamme's problem in euclidean n-space

Creator:: Adams, Patrick Guy
Resource Type:: Masters Thesis
Full Text:: Improved Lower Bounds 17 For Becca-lynn and Brian, Maloree and Andrea, and especially Kim A Numerical

A Distributed Scheme for Accelerating and Scaling PSPNet

Creator:: Krishna, Ajay
Abstract:: Advances in deep learning based image processing have led to their adoption for a wide range of applications, and in tow with these developments is a dramatic increase in the availability of high quality datasets. With this comes the need to accelerate and scale deep learning applications in order to...
Resource Type:: Masters Thesis
Full Text:: , W. Dong, R. Socher, L. Li, Kai Li, and Li Fei-Fei. Imagenet: A large- scale hierarchical image

Learning with Partial Supervision for Clustering and Classification

Creator:: Pei, Yuanli
Abstract:: In the field of machine learning, clustering and classification are two fundamental tasks. Traditionally, clustering is an unsupervised method, where no supervision about the data is available for learning; classification is a supervised task, where fully-labeled data are collected for training a classifier. In some scenarios, however, we may not...
Resource Type:: Dissertation
Full Text:: labels. More formally, we use (i, j) to represent a pair of bags Bi and Bj . Let ΩL(i, j) be the class

A Study of Temporal Convolutional Neural Networks for Music Language Modeling as Applied to Automatic Music Transcription

Creator:: Meyn, Matthew
Abstract:: Automatic music transcription (AMT) is the task, given an acoustic representation of music, to recover a symbolic notation of the written notes expressed by the sound. Transcribing music with multiple notes sounding simultaneously is difficult for both humans and machines. Much existing work on AMT has focused on suitable acoustic...
Resource Type:: Capstone Project
Full Text:: the convolutional kernel as it is applied to its input. If F is a real-valued function over Z2, the l

Modeling and dynamics analysis of P2P networks based on evolutionary games

Creator:: Cho, Seungyun
Abstract:: Since free riders in P2P network reduce the system's performance, how to maintain and encourage the nodes' cooperation is an important aspect of P2P related research. In this thesis, a P2P system is modeled based on two games: stag hunt game and snowdrift game. To relate the model to the...
Resource Type:: Masters Thesis

ScholarsArchive@OSU

A study on student perceptions of principles of logic and their application to the principle of mathematical induction

Nanoparticle-assisted diffusion brazing of metal microchannel arrays : nanoparticle synthesis, deposition, and characterization

Effectiveness of integration of internet technologies in support of teaching and learning computer science programming

Variational Satisfiability Solving

Inclusive Software Design and Its Methods for Beyond-WIMP User Interfaces

A numerical approach to Tamme's problem in euclidean n-space

A Distributed Scheme for Accelerating and Scaling PSPNet

Learning with Partial Supervision for Clustering and Classification

A Study of Temporal Convolutional Neural Networks for Music Language Modeling as Applied to Automatic Music Transcription

Modeling and dynamics analysis of P2P networks based on evolutionary games

Limit your search

Academic Affiliation

Advisor

Commencement Year

Committee Member

Creator

Contributor

Date

Decade

Degree Field

Degree Level

Degree Name

Language

License

Non-Academic Affiliation

Peer Reviewed

Resource Type

Rights Statement

Subject

Search Constraints

Search Results

Limit your search