Search Constraints

Start Over
Filtering by: DOI 10.1088/1748-9326/11/4/045008 Remove constraint DOI: 10.1088/1748-9326/11/4/045008 Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • 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:
    the degree of Doctor of Philosophy in Computer Science presented on June 11, 2021. Title

  • An Information Modeling Framework for Support of Sustainable Manufacturing System Design Decision Making

    Creator:
    Shankar Raman, Arvind
    Abstract:
    Manufacturing technology has continuously evolved and advanced over the past century; this has led to an increase in the production of consumer and industrial goods driven by simultaneous growth in population and wealth. Despite the resulting economic and labor growth, environmental impacts of manufacturing have increased dramatically due to the...
    Resource Type:
    Dissertation
    Full Text:
    March 11, 2022. Title: An Information Modeling Framework for Support of Sustainable Manufacturing

  • Advancing Power Grid Computing: Analysis and Synthesis of Wide-Area Data, Distributed Real-Time Hardware-In-the-Loop Simulations, and Machine Learning for Event Detection

    Creator:
    Hagan, Travis
    Abstract:
    Global Positioning Systems have allowed for precise timing of power system measurements over wide areas. This newly found capability has the potential to provide much greater insight into the operation of the power system and its response to contingencies, but few analytical techniques currently exist that provide enough robustness and...
    Resource Type:
    Dissertation
    Full Text:
    ������������� ���� ��������� ��������������������������������������� �!��"������������#�$ %��� "���������� ����������&���$'��()*(+((, ����-.����������/��0���#�$ %����-.���!������1!���������2���3.�������* ������'%���4���3 �$�����/���35�3���36�� 1

  • Heuristic search in symbolic probability inference

    Creator:
    Pan, Yonghong
    Abstract:
    I present a new heuristic search approach to compute approximate answers for the probability query in belief nets. This approach can compute the 'best' bounds for a query in a period of any given time (if time permitted, it will get an exact value). It inherits the essence of Symbolic...
    Resource Type:
    Capstone Project
    Full Text:
    28 var23 9 4 var21 15 4 - 2 10 38 var10 19 9 var9 17 8 3 11 26 var11 13 4 vars 9 3 4 14 21

  • Resource placement, data rearrangement, and Hamiltonian cycles in torus networks

    Creator:
    Bae, Myung Mun
    Abstract:
    Many parallel machines, both commercial and experimental, have been/are being designed with toroidal interconnection networks. For a given number of nodes, the torus has a relatively larger diameter, but better cost/performance tradeoffs, such as higher channel bandwidth, and lower node degree, when compared to the hypercube. Thus, the torus is...
    Resource Type:
    Dissertation
    Full Text:
    4.L..1110.1.1401111. 3(*M=Mini*=.11M0M1 eill1.1591.1.011.1.M%l_rmigromiii7 a 11=11 FIGURE 2.2

  • Novelty Detection Under the Multi-Instance Multi-Label Framework

    Creator:
    Lou, Qi
    Abstract:
    Novelty detection plays an important role in machine learning and signal processing. This project studies novelty detection in a new setting where the data object is represented as a bag of instances and associated with multiple class labels, referred to as multi-instance multi-label (MIML) learning. Contrary to the common assumption...
    Resource Type:
    Capstone Project
    Full Text:
    . For the properties of ROC and AUC, please refer to Appendix B. 11 Chapter 4: KERNEL METHODS 4.1

  • Reinforcement learning-based off-equilibrium incentives to approximate the VCG mechanism

    Creator:
    Moissinac, Béatrice
    Abstract:
    Auctions are used to solve resource allocation problem between many agents and many items in real-world settings. Unfortunately, in most cases, it is possible for selfish agents to manipulate the system for their own interest at the expense of the social welfare. Such manipulation can be prevented using the Vickrey-Clarke-Groves...
    Resource Type:
    Masters Thesis
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2.3 Distributed Mechanism Design . . . . . . . . . . . . . . . . . . . . 11 2.3 Multiagent

  • Long Wave Amplification in a Coral-Reef Lagoon

    Creator:
    Bheeroo, Vivek Anand
    Abstract:
    A series of laboratory experiments were conducted to study the wave field in the inner lagoon excited by ‘long’ incident waves. Three cases were considered: Cases A, B and C presenting incident waves of wavelength with factors of 1, 2 and 2.5 times the width of the reef respectively. The...
    Resource Type:
    Masters Thesis
    Full Text:
    18 11 3 17 9 4 16 8 5 15 7 6 14 5 7 12 4 8 10 3 9 6 2 20 Fig 3.2: (top

  • Shrunken learning rates do not improve AdaBoost on benchmark datasets

    Creator:
    Forrest, Daniel L. K.
    Abstract:
    Recent work has shown that AdaBoost can be viewed as an algorithm that maximizes the margin on the training data via functional gradient descent. Under this interpretation, the weight computed by AdaBoost, for each hypothesis generated, can be viewed as a step size parameter in a gradient descent search. Friedman...
    Resource Type:
    Masters Thesis
    Full Text:
    derived from a quadratic approximation of the loss function e_Y('(c)+ph(c;a)) 11 4. METHODS We

  • Computing Resource Usage as a Factor of Student Success

    Creator:
    Moissinac, Béatrice
    Abstract:
    Learning Analytics and other branches of Educational Research such as Computing Education Research (CER) implicitly assume that students, especially college students, have no barriers to access learning platforms or software packages. This assumption may be attributed to such pervasive beliefs such as "everyone has a device", or "everyone can access...
    Resource Type:
    Dissertation
    Full Text:
    the degree of Doctor of Philosophy in Computer Science presented on October 11, 2019. Title