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 75 for “"PVS"”.
-
The PvS-Index: An Indexing Method for Local Image Descriptors
… of performance. In this thesis I present the PvS-Index, a new approximate indexing technique for this kind of high dimensional data. Due to its low calculation-cost and a fixed amount of I/O operations it provides a good evaluation time independent from the actual size of the collection. When …
-
Translating timed I/O automata specifications for theorem proving in PVs
… language of the Prototype Verification System (PVS)--a specification system with an integrated interactive theorem prover. We describe the translation scheme, discuss the design decisions, and briefly present case studies to illustrate the application of the translator in the verification …
-
Real-time reactive system development : a formal approach based on UML and PVS
… design of real-time reactive systems, within the PVS verification environment. The formal semantics of RTUML provides a foundation for the verification methodology, and for rigorous analysis and validation techniques. The novelty of the development methodology for real-time systems lies in the …
-
A situational analysis of Chinese managers’ personal value systems (PVS) and their influence on employee commitment
This thesis investigates how the personal value systems of executive teams in privately owned Chinese companies influence their organisation’s prospects for sustainable competitive success. The research aim is to establish a relationship between managerial value systems, corporate culture, P-O fit …
-
Fostering conceptual metaphors in vocabulary teaching. Phrasal verbs in Spanish Secondary Education: A pedagogical implementation
… fluido e idiomático de los phrasal verbs (PVs) (Pawley y Syder, 1983). A pesar de su frecuencia, la complejidad semántica y sintáctica de los PVs hace que su uso sea una de las tareas más difíciles para los estudiantes de inglés como lengua extranjera (Laufer y Eliasson, 1993). La visión …
-
Research on MPPT methods for photovoltaic system based on microgrid
… discusses the structure of photovoltaic system (PVS) which contains a solar panel and simplified PV models. Next, it discusses and compares different methods for Maximum Power Point Tracking (MPPT) with PVS. It presents three types of DC-DC converters -- Buck, Boost and Buck-Boost converter. This …
-
Identifying Pathogenic Variants In Hereditary Cancer Syndrome Genes Via Tumor Molecular Profiling
… the number of patients with pathogenic variants (PVs) identified in <em>BRCA1 </em>and <em>BRCA2 </em>(<em>BRCA1/2</em>) via tumor molecular profiling at The University of Texas MD Anderson Cancer Center, then performed a retrospective chart review to determine the proportion of such patients that …
-
An evaluation of the prime vendor support approach to U.S. Army weapon system sustainment
… by industry, known as Prime Vendor Support (PVS), has been either under consideration or already adopted as a means of reducing support costs. PVS requires that the DOD relinquish the weapon system support processes to the prime vendor. The research reported in this thesis presents a …
-
Understanding electronic and optical properties of PbS QDs for improved photovoltaic performance
… The power conversion efficiencies (P.C.E.) of QD-PVs based on lead sulfide (PbS) have been enhanced dramatically in only several years: current leading groups are able to fabricate reliably QD-PVs with 7-10% P.C.E. owing to favorable optical properties of PbS QDs including facile tunability of …
-
Hypoxia-induced responses of porcine pulmonary veins.
… was to investigate hypoxic responses of porcine PVs including the impact of maintenance in culture. Maintenance of PVs in culture conditions for 24 hours increased contraction to hypoxia and inhibited hypoxic relaxation post-contraction. These changes to PV hypoxic responses were thought to …
-
Smart visible sets para ambientes de rede
… como a abordagem dos Potentially Visible Sets (PVS), pode reduzir a quantidade de dados enviados através da rede. Entretanto, o PVS para algumas regiões pode ainda ser bastante complexo, e portanto uma estratégia diferente para diminuir a quantidade de informações é necessária. Neste trabalho é …
-
On Reducing the Trusted Computing Base in Binary Verification
… contribution targets the validation of OCaml-to-PVS translation -- commonly used to translate instruction-set-architecture (ISA) specifications to PVS -- where the destination language is non-executable. We present a methodology called OPEV to validate the translation between OCaml and PVS, …
-
Psychische Störungen bei Frauen in Abhängigkeit von Alter und Beruf
… Risiko einer Psychischen und Verhaltensstörung (PVS) bei Frauen. Es gibt zahlreiche deskriptive Aussagen von Krankenkassen zum Auftreten verschiedener Diagnosegruppen oder Einzeldiagnosen, die sich bezüglich der Berufe jedoch auf die Gesamtheit der PVS beschränken. Die Analysen im Rahmen dieser …
-
The Influence of Inner-Sphere Reorganization on Rates of Interfacial Electron Transfer in Transition Metal-Based Redox Electrolytes
… transfer pathways. In liquid-junction PVs, electronic recombination is prevented by utilizing redox electrolytes that promote directional electron transfer at the electrode/electrolyte interface, where forward electron transfer (i.e. to the electrode) is favored and the corresponding …
-
Geochemistry and petrogenesis of the Proterozoic Pater metavolcanic suite, Spragge, Ontario /
The Pater metavolcanic suite (PVS) was extruded as part O'f the basal Pater Formation of the Huronian Supergroup ca. 2.4 Ga. They Ars classified as wi thin-plate tholeiites associated with an immature ri-fting episode, and are inter layered with associated vol cani clastic and metasedimentary …
-
A Descriptive Study Examining the Relationship of Social Support to Hardiness, Help-seeking Behaviors and Academic Performance in Baccalaureate Nursing Students
… social support, the Personal Views Survey (PVS) to measure hardiness, and a researcher-developed likert scale measured help-seeking behaviors for academics and life circumstances. The data collected was analyzed using descriptive statistics, single t-tests, correlation coefficients and the …
-
Proving safety properties of an aircraft landing protocol using timed and untimed I/O automata : a case study
… this I/O automaton model into a corresponding PVS specification, and conduct a machine verification of the proof using the PVS theorem prover. Second, we construct a continuous model of the protocol by extending the discrete model using the timed I/O automata framework. A refinement technique …
-
Studies of wave-mean interaction relevant to the middle atmospheric circulation
… terms of wave-induced transport of PV-substance (PVS). It is shown that the wave-induced irreversible PVS-transport depends crucially on wave dissipation. When the irreversibility principle for the mean PV anomaly field applies from a coarse-grained perspective, the resulting balanced mean motions …
-
Principals and the Professional Victim Syndrome
… used the term “professional victim syndrome” (PVS) to describe the condition confronted by educational leaders, especially superintendents, who experienced a career crisis where their professional and personal reputations were tarnished and they were challenged with navigating political waves …
Page 1 of 4