Search Constraints

Start Over
Filtering by: Alternative title ssim SG 31 Remove constraint Alternative title ssim: SG 31 Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • 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
    Full Text:
    (SHG)[7], and the Snowdrift Game (SG)[6]. Then we derive the replicator dynamics to get evolutionary

  • Sliding-mode control of the super maneuverable aircraft

    Creator:
    Koo, Chang Sul
    Abstract:
    In this thesis, A nonlinear methodology for the control of the highly maneuverable, high performance aircraft HARV (F-18) is studied by using sliding-mode control (SMC). This control law, which takes a continuous function when the input constraints are not considered, satisfies the reachability condition by which concerned states are driven...
    Resource Type:
    Dissertation
    Full Text:
    system 26 4 DESIGN OF CONTROLLER 31 4.1 SISO system case 31 4.1.1 System dynamics 31 4.1.2

  • Visual object discovery and understanding

    Creator:
    Yuan, Jialin
    Abstract:
    Learning to recognize objects is a fundamental and essential step in human perception and understanding of the world. Accordingly, research of object discovery across diverse modalities plays a pivotal role in the context of computer vision. This field not only contributes significantly to enhancing our understanding of visual information but...
    Resource Type:
    Dissertation
    Full Text:
    ]]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.7 Examples from Pascal VOC 2012 val subset. From left to right: Image, Ground Truth, Predicted

  • 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:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 4.2 Derivation of a Variational Core . . . . . . . . . . . . . . . . . . . . . . 31 4.3 Solving

  • Scheduling and Online Planning in Stochastic Diffusion Networks

    Creator:
    Xue, Shan
    Abstract:
    Diffusion processes in networks are common models for many domains, including species colonization, information/idea cascade, disease propagation and fire spreading. In diffusion networks, a diffusion event occurs when a behavior spreads from one node to the other following a probabilistic model, where the behavior could be species, an idea, a...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 2.5.1 Evaluation of Primal-Dual Algorithm on Real Conservation Map . 31 2.5.2 Evaluation of

  • 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

  • Machine learning in engineering : techniques to speed up numerical optimization

    Creator:
    Cerbone, G. (Giuseppe)
    Abstract:
    Many important application problems in engineering can be formalized as nonlinear optimization tasks. However, numerical methods for solving such problems are brittle and do not scale well. For example, these methods depend critically on choosing a good starting point from which to perform the optimization search. In high-dimensional spaces, numerical...
    Resource Type:
    Dissertation
    Full Text:
    31 2.1.2 Stress State 31 2.1.3 Analysis: Method of Joints 32 2.1.4 Objective Function 36 2.2

  • Test case prioritization

    Creator:
    Malishevsky, Alexey Grigorievich
    Abstract:
    Regression testing is an expensive software engineering activity intended to provide confidence that modifications to a software system have not introduced faults. Test case prioritization techniques help to reduce regression testing cost by ordering test cases in a way that better achieves testing objectives. In this thesis, we are interested...
    Resource Type:
    Dissertation

  • Explanations and Processes to Enable Humans to Assess AI with Respect to Manipulable Properties

    Creator:
    Dodge, Jonathan E.
    Abstract:
    Assessing AI systems is difficult. Humans rely on AI systems in increasing ways, both visible and invisible, meaning a variety of stakeholders need a variety of assessment tools (e.g., a professional auditor, a developer, and an end user all have different needs). We posit that it is possible to provide...
    Resource Type:
    Dissertation