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 217 for “"state model"”.
-
Load Balancing Parallel Explicit State Model Checking
… developed for distributed and parallel model checking; specifically, the inherent problem with load balancing and large queue sizes resultant in a static partition algorithm. This research then presents a load balancing algorithm to improve the run time performance in distributed model …
-
Ontological Understanding And The State Model Of Processes
A general model of processes is developed based on a systematic study and joint resolution of the main ontological issues concerning time, space, individuals, qualities and relations. Beginning with the goal of finding a theory or conceptual scheme for understanding change, four constraints on the …
-
Explicit-State Model Checking of Concurrent x86-64 Assembly
The thesis presents xavier, a novel tool-set for model checking of concurrent x86-64 assembly programs, via Partial Order Reduction (POR). xavier{} presents a realistic platform for systematically exploring and analyzing the state-space of concurrent x86 assembly programs, with the aim of detecting …
-
Parameter and state model reduction for Bayesian statistical inverse problems
… propagation of that uncertainty through complex models, and solution of the resulting stochastic or robust mathematical programs. In this thesis we consider the first of these steps, solution of the statistical inverse problem, for partial differential equations (PDEs) parameterized by field …
-
Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
We implemented Delta Execution in two model checkers, JPF (Java PathFinder) and BOX (Bounded Object eXploration) to evaluate the effectiveness of this technique in model checkers with different designs. The results show that DeltaExecution improves the overall exploration in both tools, but the …
-
Study of the training effect in exchange bias using the domain state model
… parameters using the well established domain state model. A novel analysis was developed for the study of the antiferromagnet during consecutive hysteresis loops. A special focus was given to the response of training effect on temperature. Several characteristics of the system were varied to …
-
An Empirical Test of the Relative State Model with Texas Holdem Poker Scenarios
… tested predictions from a new evolutionary model of risky decision-making, the relative state model (RSM), using Texas holdem poker scenarios. The RSM suggests that risk taking is a product of one of two interacting pathways—need (desperation) and ability (affordance). According the RSM, …
-
Anaerobic Digestion Steady State model parameter estimation for determination of waste activated sludge characteristics
… feasible, a better understanding of the current models predicting the fate of P and other material components in place are required. The objective of this study is to utilise augmented batch tests to determine the characteristics of the Waste Activated Sludge (WAS) containing Polyphosphate …
-
A multi-state model of treatment states in an antiretroviral treatment programme cohort in Cape Town
… after an interruption. Methods We fitted a multi-state model to data from the Khayelitsha cohort of the International Epidemiologic Databases to Evaluate AIDS. Between 2001 and 2012, 6796 adult patients starting ART were included. Potential treatment interruption periods were defined between …
-
Assessing the transition state model for cellular differentiation in vivo: a case study of zebrafish neuromesodermal progenitors
… or progenitor cells undergo a sequence of cell state changes before acquiring the characteristics of their destination fate. The transition state model proposes that a transient window of increased gene expression stochasticity and diversity precedes the coherent entry into the differentiated …
-
Dynamic risk estimation : development of the safety state model and experimental application to high-speed rail operation
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1996.
-
Development of an unsteady state model for the tank bioleaching of sulphide mineral concentrates in flow reactor systems
… of biological stress trajectories. Reactor models are developed for the purpose of optimising plant operation, understood here as maximising the production rate. Complicating this attempt are a) the non-linear dynamics associated with the kinetics and b) the primary reaction's being …
-
Limiting, steady state model for diffusion of natural gas through the reservoir cap rock, and its implication for southeastern Colorado
Includes bibliographical references.
-
A Novel Approach for Continuous Speech Tracking and Dynamic Time Warping. Adaptive Framing Based Continuous Speech Similarity Measure and Dynamic Time Warping using Kalman Filter and Dynamic State Model
… diverse areas of speech processing. A dynamic state model is introduced based on system of linear motion equations which models the input (test) speech signal frame as a unidirectional moving object along the template speech signal. The most similar corresponding frame position in the template …
-
Random search of AND-OR graphs representing finite-state models
Model checking tools have been effective in testing concurrent software represented by communicating finite-state machines. But these tools may require a very large amount of memory. A finite-state model can be translated automatically into a compact AND-OR graph. We use an abductive random search …
-
TRANSMISSION LINE RELIABILITY MODELING INCORPORATING EXTREME ADVERSE WEATHER CONSIDERATIONS
… illustrates the development of a reliability model for two redundant transmission lines, which incorporates normal and bad weather conditions. The two indices of system average failure rate and system average outage duration are evaluated for this model using a Markov approach, an approximate …
-
Prediction of Laser Ablation In Brain: Sensitivity, Calibration, and Validation
… stands to benefit from predictive computational modeling. The dearth of physical model parameter data leads to modeling uncertainty. This work implements a well-accepted framework with three key steps for model-building: model-parameter sensitivity analysis, model calibration, and model …
Page 1 of 11