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 20 of 106 for “"Non-deterministic"”.

  1. Efficient testing of actor programs with non-deterministic behaviors

    … they may exhibit different behaviors. This non-determinism brings significant challenges in testing techniques; to make sure that an actor program is correct, conceptually all possible interleavings of message receives should be explored. However, exploring all possible interleavings is not …

    uiuc Repository record for Efficient testing of actor programs with non-deterministic behaviors (opens in a new tab)

  2. Safety Assurance of Non-Deterministic Flight Controllers in Aircraft Applications

    … has no unstable transmission zeros and has a nonzero high frequency gain. Because most conventional aircraft do not readily meet these requirements, a process known as sensor blending was used. Sensor blending consists of using a linear combination of the plant’s outputs that has no unstable …

    embry-riddle Repository record for Safety Assurance of Non-Deterministic Flight Controllers in Aircraft Applications (opens in a new tab)

  3. Balancing effectiveness and flakiness of non-deterministic machine learning tests

    Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2026-12-01

    uiuc Repository record for Balancing effectiveness and flakiness of non-deterministic machine learning tests (opens in a new tab)

  4. Non-deterministic design and analysis of parameterized optical structures during conceptual design

    The next generation of space observatories will use larger mirrors while meeting tighter optical performance requirements than current space telescopes. The spacecraft designs must satisfy the drive for low-mass, low-cost systems, and be robust to uncertainty since design validation will be based …

    mit Repository record for Non-deterministic design and analysis of parameterized optical structures during conceptual design (opens in a new tab)

  5. Modelling approaches for the low-frequency analysis of built-up structures with non-deterministic properties

    … analysed using the finite element method, where deterministic models with one particular set of physical parameters are employed. However, the underlying assumption that the input data is precisely known is in general not valid, because there are uncertainties about the parameters, often until …

    soton Repository record for Modelling approaches for the low-frequency analysis of built-up structures with non-deterministic properties (opens in a new tab)

  6. Motion control and real-time systems: an approach to trajectory rebuilding in non-deterministic networks

    … global time is not available. Therefore they are non-deterministic networks. Each topology is analyzed and the proposed solution based on phase-locked loops adopted for the basic master-slave case has been improved to face with the other configurations.

    bologna Repository record for Motion control and real-time systems: an approach to trajectory rebuilding in non-deterministic networks (opens in a new tab)

  7. Aerodynamic Uncertainty Quantification and Estimation of Uncertainty Quantified Performance of Unmanned Aircraft Using Non-Deterministic Simulations

    … addresses model form uncertainty quantification, non-deterministic simulations, and sensitivity analysis of the results of these simulations, with a focus on application to analysis of unmanned aircraft systems. The model form uncertainty quantification utilizes equation error to estimate the …

    vt Repository record for Aerodynamic Uncertainty Quantification and Estimation of Uncertainty Quantified Performance of Unmanned Aircraft Using Non-Deterministic Simulations (opens in a new tab)

  8. Explainability of non-deterministic solvers: explanatory feature generation from the data mining of the search trajectories of population-based metaheuristics.

    Evolutionary algorithms (EAs) are the principal focus of research study in Evolutionary Computing (EC). In EC, naturally occurring processes designed to drive success in nature are simulated for a similar purpose in numerical optimisation. Such processes include natural selection, genetic mutation …

    rgu Repository record for Explainability of non-deterministic solvers: explanatory feature generation from the data mining of the search trajectories of population-based metaheuristics. (opens in a new tab)

  9. ESTIMATION ON GIBBS ENTROPY FOR AN ENSEMBLE

    … parallel execution is not sufficient to see its non-deterministic features, as same execution with the same data at different time would end up with a different path. In order to see how non deterministic a parallel execution can extend up to, creates the need of the ensemble of executions. This …

    csusb Repository record for ESTIMATION ON GIBBS ENTROPY FOR AN ENSEMBLE (opens in a new tab)

  10. The production of built form : some notes on dialectical materialism, methodology and an associative/projective architecture

    … production. I am convinced that we must produce non-reductive and non-deterministic forms as part of the continuing process of transforming existing social and economic relations and structures. Therefore we need a non-reductive and non-deterministic critical working method, to understand the …

    mit Repository record for The production of built form : some notes on dialectical materialism, methodology and an associative/projective architecture (opens in a new tab)

  11. The Space Complexity of Distributed Tasks in the Shared Memory Model

    … one-shot test-and-set objects. First, I show a deterministic obstruction-free test-and-set algorithm using O(sqrt n) unbounded registers. Next, I present a deterministic obstruction-free implementation of a one-shot test-and-set object from Theta(log n) registers of size Theta(log n) bits, which …

    calgary Repository record for The Space Complexity of Distributed Tasks in the Shared Memory Model (opens in a new tab)

  12. Detecting And Mitigating Concurrency Bugs

    … is notoriously difficult, partly because of non-determinism in concurrent program executions. Because thread executions can be interleaved in many ways, a parallel program may produce a non-deterministic outcome even for identical program inputs if threads are not properly synchronized. Such …

    cornell Repository record for Detecting And Mitigating Concurrency Bugs (opens in a new tab)

  13. Synchronous Byzantine Broadcast algorithms for a dishonest majority

    Deterministic Byzantine Broadcast requires f+1 rounds for any f malicious processes, in the synchronous, authenticated setting. In the non-deterministic case, Katz and Koo [2] showed a lower-bound of [omega](2n=(n-f)) rounds, but it remains an open question whether the bound is tight, specically …

    mit Repository record for Synchronous Byzantine Broadcast algorithms for a dishonest majority (opens in a new tab)

  14. The Sound and the Fury: Common Sense About the Exxon Valdez

    … on the one hand, the overly optimistic and non-deterministic celebration of ""wild nature"" as an unproblematic solution to complex social and ecological problems, and, on the other hand, the overly pessimistic and deterministic critique of ""wild nature"" as guaranteed ideology, an always …

    uiuc Repository record for The Sound and the Fury: Common Sense About the Exxon Valdez (opens in a new tab)

  15. The association between belief in free will, personal control, and life outcomes.

    … free will beliefs. We then reason that, as pro deterministic/anti free will messages can undermine free will beliefs these manipulations may also impact perceived control and subsequently indicators of subjective wellbeing. Studies 4 and 5 demonstrate that an abridged version of the Crick essay …

    essex Repository record for The association between belief in free will, personal control, and life outcomes. (opens in a new tab)

  16. Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems

    … opacity in systems that are modeled as (possibly non-deterministic) finite automata with partial observation on their transitions. Assuming that the intruder observes system activity through some projection map and has complete knowledge of the system model, we define three notions of opacity with …

    uiuc Repository record for Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems (opens in a new tab)

  17. A Developmental Cascade Model of Neurocognitive Functioning: Risk, Resilience, and Implications for Children's Mental Health

    … that these social and biomedical risks are non-deterministic, and that positive postnatal socialization experiences with caregivers may protect children against their deleterious influence. The implications for prevention and intervention will be discussed with the overarching suggestion …

    toronto-retro Repository record for A Developmental Cascade Model of Neurocognitive Functioning: Risk, Resilience, and Implications for Children's Mental Health (opens in a new tab)

  18. waveforms

    … and conceptual manifestations of life in a non-deterministic universe. They are conceptual and perceptual metaphors for fundamental uncertainty, our relationship to the quantum world and ourselves as emergent beings. The overarching conclusions of my work concern the limitations on our …

    calgary Repository record for waveforms (opens in a new tab)

  19. Design and implementation of safety control for a class of stochastic order preserving systems with application to collision avoidance near intersections

    … an optimization problem. The model generates a non-deterministic profile for acceleration of a vehicle which is not equipped with the collision avoidance system and it is used to estimate and predict future stopping profiles of the vehicle in order to take the right control action for avoidance …

    mit Repository record for Design and implementation of safety control for a class of stochastic order preserving systems with application to collision avoidance near intersections (opens in a new tab)

Page 1 of 6