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 45 for “"ProB"”.
-
The automated translation of integrated formal specifications into concurrent programs
The PROB model checker [LB03] provides tool support for an integrated formal specification approach, which combines the state-based B specification language [Abr96] with the event-based process algebra CSP [Hoa78]. The JCSP package [WM00b] presents a concurrent Java implementation for …
-
Innovations in Urban Computing: Uncertainty Quantification, Data Fusion, and Generative Urban Design
… of this dissertation proposes a framework of probabilistic graph neural networks (Prob-GNN) to quantify spatiotemporal uncertainty. This Prob-GNN framework is substantiated by deterministic and probabilistic assumptions and empirically applied to predict Chicago's transit and ridesharing …
-
Inferring Network Status from Partial Observations
… processes are taking place is a fundamental problem. In this work, we study the problem of inferring the complete set of failed nodes, when only a sample of the node failures are known---we will be referring to this particular problem as prob{} . We consider the setting in which there exists …
-
Evaluation, assessment, and determination of risk to high trophic level piscivores in the Mid-Atlantic: A spatial, biological, and comparative case study of mercury in Virginia bald eagle populations
… were higher in the inland population (Blood: Prob > t = 0.0003, Feather: Prob > t = 0.0002). Utilizing classification and regression tree models (CART), we were able to relate metrics such as the percent of deciduous forest, percent of mixed forest, percent of pasture, and percent of wetland …
-
In ovo and feed application of probiotics or synbiotics and response of broiler chicks to post-hatch necrotic enteritis
… of the studies described herein was to apply probiotics or synbiotics to birds by in ovo application or orally before they leave the hatchery, then evaluate bird performance and various intestinal responses. Data were analyzed in JMP with LS Means to separate means with significance assigned …
-
Applications and numerical investigation of differential-algebraic equations
… methods for solving DAEs are compared for two prob- lems, energy-economic models and traffic flow models. An energy-economic model is presented based on the Hubbert model of oil production and is extended to include economic factors for the first time. Using numerical methods to simulate the …
-
Optimization algorithms in compressive sensing (CS) sparse magnetic resonance imaging (MRI)
… solving a nonlinear constrained optimization problem. The reduction of reconstruction time in MRI is of signi cant bene t. We reformulate sparse MRI reconstruction as a Second Order Cone Program (SOCP).We also explore two alternative techniques to solving the SOCP prob- lem directly: NESTA and …
-
Towards realisation of spectrum sharing of cognitive radio networks
… on self-coexistence issues. Very briefly, the problems are categorised into intentional and unintentional interference. Firstly, unintentional interference includes: 1) CRNs administration; 2) Overcrowded CRNs Situation; 3) Missed spectrum detection; 4) Inter-cell Interference (ICI); and 5) …
-
The Transition Probability of the Inhomogeneous q-TAZRP
In this thesis we study the transition probability of the q-TAZRP, a special form of the n-particle totally asymmetric zero-range process (TAZRP) on the lattice Z defined by Sasamoto and Wadati in [J. Phys. A, vol. 31 6057--6071 (1998)]. We generalise the result by Korhonen and Lee in [J. Math. …
-
Performance Analysis of Cyber Deception Using Probabilistic Models
… a novel urn-modeling technique for providing the prob- ability of success for an attacker in two different network deception defenses, network address shuffling and honeypots. This work goes on to analyze these models in two scenarios, gaining a foothold and minimum to win, providing insight into …
-
Domain Decomposition Methods for Convection-Diffusion-Reaction Equations with Finite Volume Discretizations
… methods, two level preconditioners with a coarse prob- lem are introduced. We demonstrate the scalability of the two level preconditioners by numerical experiments. The finite volume element methods (FVEMs) is a special class of finite volume meth- ods. It shares properties of both finite element …
-
A Two-Parameter Lindley-Binomial Distribution: Properties and Applications
… distribution with binomial distribution. Several prob- abilistic properties of this proposed distribution such as the shape of proba- bility mass function, generating functions etc., are derived. Estimations for the parameters are obtained through method of moments, maximum like- lihood estimation …
-
Qualitative Software Engineering and Parallel Sorting Algorithm for Real Numbers
… a simple example and verify its results using ProB. Later, we have defined the UML diagrams like use case and class diagrams in various scenarios and have performed the Event B modeling for these examples. The part one report had been published as a research paper to “The 2018 International …
-
Homogenization of heterogeneous Cauchy-elastic materials leads to Mindlin second-gradient elasticity
… is valid for both plane and three-dimensional prob- lems and generalizes earlier findings by Bigoni and Drugan (Analytical deriva- tion of Cosserat moduli via homogenization of heterogeneous elastic materials. J. Appl. Mech., 2007, 74, 741753) from several points of view: i) the result holds …
-
Knowledge Representation, Communication, and Update In Probability-Based Multiagent Systems
… in shared variables that are represented as probability distributions. Messages are treated as soft evidence in the receiver agents, where the belief in the receiving agent is replaced by the publishing agent’s belief. We call this the oracular assumption, where one agent is an expert or more …
-
Migration, Polarization, and Sorting in the American Electorate
… change. The model estimates the separate prob- abilities of party identification in U.S. congressional districts among migrants and non-migrants.</p><p>Based on an empirical application using the 2006 Cooperative Congressional Elec- tion Study, I find that a significant number of district …
-
Structured meshes: composition and remeshing guided by the Curve-Skeleton
… way is a challenging task and still open prob- lem. Since structured meshes are useful in different applications, it is of in- terest to be able to guarantee such property also in scenarios of part based modeling, which aim to build digital objects by composition, instead of modeling them …
-
Modelling of asset allocation in banking using the mean-variance approach
… we solve an optimal asset allocation problem in banking under the mean-variance frame work. The dynamics of the different assets are modelled as geometric Brownian motions, and our optimization problem is of the mean- variance type. We assume the Basel II regulations on banking …
-
Kredito rizika ir jos valdymas komerciniuose bankuose /
… and there is not enough attention paid to this prob- lem. Scientific articles authors mainly discuss the types of credit risk and credit risk management, but very few analyze the credit risks of specific Lithuanian commercial banks. To eliminate this shortcoming, this study was conducted to …
-
Interior-point algorithms for solving linear complementarity problems and their applications
… we present the theory of linear complementarity prob-lems (LCPs), with a particular focus on problems whose matrix belongs to the class of P∗(κ)-matrices. In the introduction, we also provide a brief historical background of the theory of interior-point algorithms (IPAs). We discuss the concept …
Page 1 of 3