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 172 for “"soundness"”.
-
Formalizing soundness proofs of SNARKs
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-02-04 without embargo terms
-
Computational soundness of formal adversaries
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2003.
-
Financial soundness of Kazakhstan banks: analysis and prediction.
… quantitative techniques to assess its financial soundness, strengths and weaknesses. This research aims to explore, empirically assess and analyze the financial soundness of the banking sector in Kazakhstan. It also examines the prediction of financial unsoundness at an individual bank level …
-
Computational soundness for standard assumptions of formal cryptography
… scheme. 4. Lastly, we show how the computational soundness of the Dolev-Yao model can be maintained even as it is extended to include new operators. In particular, we show how the Diffie-Hellman key-agreement scheme and the computational Diffie-Hellman assumption can be added to the Dolev-Yao …
-
Examining the Ecclesiological Soundness of the Southern Baptist Multisite Church Movement
ABSTRACT EXAMINING THE ECCLESIOLOGICAL SOUNDNESS OF THE SOUTHERN BAPTIST MULTISITE CHURCH MOVEMENT Dennis Kyle Sullivan, PhD The Southern Baptist Theological Seminary, 2019 Chair: Dr. Timothy K. Beougher This dissertation evaluates the ecclesiological soundness of the multisite church movement …
-
Reproductive Soundness and Egg Quality in Chickens Selected for Low and High Antibody Response
… investigate correlated responses in reproductive soundness and egg quality resulting from that selection. Forty-five hens and 25 roosters from each antibody line were used. In hens, commencement and intensity of lay, and egg quality, were analyzed; in both sexes, length of fertility was …
-
A Study of High School Content Area Teacher Judgments of Soundness and Frequency of Use for Ten Vocabulary Development Practices
… relate to teacher judgments in respect to (a) soundness and (b) frequency of use of ten vocabulary practices.
-
Banking sector of the Russian Federation : study of the correlation between commodity prices and key safety, soundness and performance indicators
… aggregate industry results, and safety/ soundness indicators of the group of leading banks.
-
Pathophysiology of Small Testes in Beef Bulls: Histopathological Features of Testes and Epididymides, Seminal Characteristics, and Endocrine Profiles (Testicular Hypoplasia, Degeneration, Breeding Soundness, Scrotal Circumference)
Seventeen beef bulls (2 to 3 1/2 years of age) with a scrotal circumference (SC) ranging from 27 to 40.5 cm were used to study the pathophysiology of small testes. All four bulls having a SC of 30 cm) and azoospermic or oligospermic (and having a SC < 30 cm) bulls. However, in the latter group, the …
-
Effect of restricted growth rate and elevated levels of minerals and vitamins on feet and leg characteristics, soundness scores and metacarpal and metatarsal characteristics of growing boars
… incidence and severity of foot lesions, soundness scores and metacarpal and metatarsal characteristics of growing boars was studied. Boars assigned to the dietary treatments at 5 wk of age were serially necropsied beginning at 120 d of age. Foot and leg characterization was carried out at …
-
Implications of the new capital regulations for farm credit system associations
… to provide a higher level of safety and soundness. “Safety and soundness” refers to the ability to absorb risk and remain solvent. The difference in alternative capital standards’ safety and soundness are compared by reverse stress testing to find the degree of stress needed to breach a …
-
The Gowers norm in the testing of Boolean functions
… that a property tester has completeness c and soundness s if it accepts all inputs having the property with probability at least c and accepts "different" inputs with probability at most s + o(1). In this thesis we present two property testers for boolean functions on the boolean cube f0; 1gn. …
-
A polymorphic type system for logic programs
… are developed based on the type inference rules. Soundness of the inference rules guarantees the soundness of the algorithms. A prototype system is implemented using a logic programming language Prolog.
-
Judging essays : factors that influence markers
… marking of essay assignments and the validity or soundness of that process.
-
Counterfactual Logic: A Modern Overview
… to propose new logics in this family and prove soundness and completeness theorems for them. To remedy this, we present a reformulation of Lewis' theory using modern methods and notation. All definitions are described formally and all core results are proven in explicit detail. We include an …
-
Modelling local government financial conditions in Indonesia
… to have an effective instrument to monitor the soundness of local governments in managing finance (i.e planning, budgeting, executing, and monitoring). In addition, the stakeholders need to know what factors determine the variation in financial condition. Until now, in Indonesia, stakeholders …
-
Analisis pengaruh rasio CAR, NPF, BOPO, ROA, dan FDR terhadap tingkat kesehatan bank umum syariah di Indonesia
… lebih dari 0,05 (p > 5%). ENGLISH: The banks Soundness is an early warning system for the performance of current and future prospects. Soundness of banks and so determine the quality of the national financial system balance. This study aims to analyze the influence of the ratio of Capital …
-
An assessment of the biotin needs of developing gilts and reproducing sows in a modern production system
… trials, feedlot performance, hair and soundness scores were unaffected by dietary treatment, however, SB elevated (P<.001) plasma biotin (PB) and reduced the number and frequency of various toe lesions. Conception rate and the weaning to estrus interval were improved (P<.05) with SB. No …
-
AbsInt-AI: Language Models for Abstract Interpretation
… manipulates program state, preserving the soundness guarantees of abstract interpretation. ABSINT-AI reduces false positives by up to 34% for bug detection compared to traditional static analysis while maintaining soundness. Our ablations show that the LM’s interactions with the analysis …
-
On Reducing the Trusted Computing Base in Binary Verification
… challenge is to reduce the TCB by validating its soundness. Both the definition of soundness and the validation method heavily depend on the context: what is in the TCB and how to prove it. This dissertation presents three research contributions. The first two contributions include reducing the …
Page 1 of 9