Index Catalog // ScholarsArchive@OSU

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

Stake-Free Evaluations of Black-Box Optimization and Spatio-Temporal Graph Network Algorithms

Creator:: Merrill, Erich, III
Abstract:: Papers proposing novel machine learning algorithms tend to present the algorithm or technique in question in the best possible light. The standard practice is generally for authors to emphasize their proposed algorithms' performance in the precise setting where it is maximally impressive, often by only fully evaluating their best known...
Resource Type:: Dissertation
Full Text:: ], as described in Algorithm 4, is a modification to SOO that introduces a local bias parameter w to

Semantic embodied navigation : developing agents that navigate from language and vision

Creator:: Krantz, Jacob
Abstract:: Autonomous robotic agents are on their way to becoming in-home personal assistants, construction assistants, and warehouse workers. The degree of autonomy of such systems is reflected by the manner in which we specify goals to them; the abstraction of low-level commands to high-level goals goes hand-in-hand with increased autonomy. In...
Resource Type:: Dissertation

Reinforcement learning for job-shop scheduling

Creator:: Zhang, Wei, 1960-
Resource Type:: Dissertation
Full Text:: . Thanks to my thesis committee, Tom Dietterich, Prasad Tadepalli, Bruce D'Ambrosio, and Curtis Cook, for

Reaction Pathways of Oxo-Hydroxo Group 5 Clusters to Metal Oxide Thin Films

Creator:: Mansergh, Ryan H.
Abstract:: Oxo-hydroxo Group 5 metal clusters are an untapped resource to study and advance aqueous solution processing of metal oxide thin films. The tetramethylammonium (TMA) hexatantalate salt (TMA6[H2Ta6O19]) yields dense Ta2O5 films (~95% of the bulk ß-Ta2O5 density) with atomically smooth surfaces (<4 Å root mean square surface roughness). This same...
Resource Type:: Dissertation
Full Text:: .; Frost, F. Dielectric Function of Amorphous Tantalum Oxide from the Far Infrared to the Deep

Optimal inference with local expressions

Creator:: Borujerdi, Mohammad
Abstract:: Probabilistic inference using Bayesian networks is now a well-established approach for reasoning under uncertainty. Among many e ciency-driven tech- niques which have been developed, the Optimal Factoring Problem (OFP) is distinguished for presenting a combinatorial optimization point of view on the problem. The contribution of this thesis is to extend...
Resource Type:: Dissertation
Full Text:: Local Expressions. Abstract approved: Bruce D'Ambrosio Probabilistic inference using Bayesian

Object highlighting : real-time boundary detection using a Bayesian network

Creator:: Jia, Jin
Abstract:: Image segmentation continues to be a fundamental problem in computer vision and image understanding. In this thesis, we present a Bayesian network that we use for object boundary detection in which the MPE (most probable explanation) before any evidence can produce multiple non-overlapping, non-self-intersecting closed contours and the MPE with...
Resource Type:: Masters Thesis
Full Text:: and working with him. I also would like to thanks Professor Bruce D'Ambrosio for his wonderful class

Multiagent learning for locomotion and coordination in tensegrity robotics

Creator:: Iscen, Atil
Abstract:: Tensegrity structures are composed of pure compressional elements that are connected via a network of pure tensional elements. The concept of tensegrity promises numerous advantages to the field of robotics. Tensegrity robots are, however, notoriously difficult to control due to their oscillatory nature and nonlinear interaction between the components. Multiagent...
Resource Type:: Dissertation

Microstructure of radiation damage in the uranium film and its backing materials irradiated with 136 MeV 136Xe+26, Microstructure of radiation damage in the uranium film and its backing materials irradiated with 136 MeV ¹³⁶Xe⁺²⁶

Creator:: Sadi, Supriyadi
Abstract:: Microstructure changes in uranium and uranium/metal alloys due to radiation damage are of great interest in nuclear science and engineering. Titanium has attracted attention because of its similarity to Zr. It has been proposed for use in the second generation of fusion reactors due to its resistance to radiation-induced swelling....
Resource Type:: Dissertation

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:: . . . . . . . . . . . . . . . . . . . . . . . . 65 4.3.3 The Sequential MCMC Sampling of W . . . . . . . . . . . . . . . 67 4.3.4 Find the MAP

ScholarsArchive@OSU

Variational Satisfiability Solving

Stake-Free Evaluations of Black-Box Optimization and Spatio-Temporal Graph Network Algorithms

Semantic embodied navigation : developing agents that navigate from language and vision

Reinforcement learning for job-shop scheduling

Reaction Pathways of Oxo-Hydroxo Group 5 Clusters to Metal Oxide Thin Films

Optimal inference with local expressions

Object highlighting : real-time boundary detection using a Bayesian network

Multiagent learning for locomotion and coordination in tensegrity robotics

Microstructure of radiation damage in the uranium film and its backing materials irradiated with 136 MeV 136Xe+26, Microstructure of radiation damage in the uranium film and its backing materials irradiated with 136 MeV ¹³⁶Xe⁺²⁶

Learning with Partial Supervision for Clustering and Classification

Limit your search

Academic Affiliation

Advisor

Commencement Year

Committee Member

Conference Name

Creator

Contributor

Date

Decade

Degree Field

Degree Level

Degree Name

File Format

Language

License

Non-Academic Affiliation

Peer Reviewed

Resource Type

Rights Statement

Subject

Search Constraints

Search Results

Limit your search