Zaloguj się

Gotowe bibliografie tematyczne / Validation / Rozprawy doktorskie

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Validation.

Rozprawy doktorskie na temat „Validation”

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 25 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Validation”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

1

Yuan, Changzheng. "Nutrient Validation In Women's Lifestyle Validation Study." Thesis, Harvard University, 2015. http://nrs.harvard.edu/urn-3:HUL.InstRepos:16121152.

Pełny tekst źródła

Streszczenie:

Nutritional factors have been intensively studied as important determinants of many diseases. Food frequency questionnaires (FFQ), dietary records, 24-hour dietary recalls, nutrient biomarkers are important dietary assessment methods, and are subject to various sources of measurement error. Given the limitations of these methods, much effort has been devoted to refining them and evaluating their ability to measure diet. This dissertation focused on evaluating the performance of a semi-quantitative FFQ (SFFQ), multiple web-based automated-self-administered 24-hour recalls (ASA24), 7-day dietary

Style APA, Harvard, Vancouver, ISO itp.

2

Koepke, Hoyt Adam. "Bayesian cluster validation." Thesis, University of British Columbia, 2008. http://hdl.handle.net/2429/1496.

Pełny tekst źródła

Streszczenie:

We propose a novel framework based on Bayesian principles for validating clusterings and present efficient algorithms for use with centroid or exemplar based clustering solutions. Our framework treats the data as fixed and introduces perturbations into the clustering procedure. In our algorithms, we scale the distances between points by a random variable whose distribution is tuned against a baseline null dataset. The random variable is integrated out, yielding a soft assignment matrix that gives the behavior under perturbation of the points relative to each of the clusters. From this soft

Style APA, Harvard, Vancouver, ISO itp.

3

Fraher, Patrick M. A. "Environmental sensor validation." Thesis, University of Oxford, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.308651.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Govereau, Paul. "Denotational Translation Validation." Thesis, Harvard University, 2011. http://dissertations.umi.com/gsas.harvard:10045.

Pełny tekst źródła

Streszczenie:

In this dissertation we present a simple and scalable system for validating the correctness of low-level program transformations. Proving that program transformations are correct is crucial to the development of security critical software tools. We achieve a simple and scalable design by compiling sequential low-level programs to synchronous data-flow programs. Theses data-flow programs are a denotation of the original programs, representing all of the relevant aspects of the program semantics. We then check that the two denotations are equivalent, which implies that the program transformation

Style APA, Harvard, Vancouver, ISO itp.

5

Rizk, Raya. "Big Data Validation." Thesis, Uppsala universitet, Informationssystem, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-353850.

Pełny tekst źródła

Streszczenie:

With the explosion in usage of big data, stakes are high for companies to develop workflows that translate the data into business value. Those data transformations are continuously updated and refined in order to meet the evolving business needs, and it is imperative to ensure that a new version of a workflow still produces the correct output. This study focuses on the validation of big data in a real-world scenario, and implements a validation tool that compares two databases that hold the results produced by different versions of a workflow in order to detect and prevent potential unwanted a

Style APA, Harvard, Vancouver, ISO itp.

6

Engel, Isabelle. "Validation des autoclaves." Paris 5, 1991. http://www.theses.fr/1991PA05P071.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Beaudin, Guy. "Croyance partagée en l'efficacité groupale, validation prédictive et validation de construit." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/NQ26636.pdf.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Elder, Samuel Scott. "Reliable validation : new perspectives on adaptive data analysis and cross-validation." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/120660.

Pełny tekst źródła

Streszczenie:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mathematics, 2018.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 107-109).<br>Validation refers to the challenge of assessing how well a learning algorithm performs after it has been trained on a given data set. It forms an important step in machine learning, as such assessments are then used to compare and choose between algorithms and provide reasonable approximations of their accuracy. In this thesis, we provide new approaches for addressing two common problems with validation. In t

Style APA, Harvard, Vancouver, ISO itp.

9

Tohme, Tony. "The Bayesian validation metric : a framework for probabilistic model calibration and validation." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/126919.

Pełny tekst źródła

Streszczenie:

Thesis: S.M., Massachusetts Institute of Technology, Computation for Design and Optimization Program, May, 2020<br>Cataloged from the official PDF of thesis.<br>Includes bibliographical references (pages 109-114).<br>In model development, model calibration and validation play complementary roles toward learning reliable models. In this thesis, we propose and develop the "Bayesian Validation Metric" (BVM) as a general model validation and testing tool. We show that the BVM can represent all the standard validation metrics - square error, reliability, probability of agreement, frequentist, area,

Style APA, Harvard, Vancouver, ISO itp.

10

Wang, Nan. "Validating relationships between Performance Shaping Factors within a Science-Based HRA validation framework." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1398900568.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

11

Lalani, Nisar. "Validation of Internet Applications." Thesis, Karlstad University, Faculty of Economic Sciences, Communication and IT, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-449.

Pełny tekst źródła

Streszczenie:

<p>Today, testing applications for Internet (web sites and other applications) is being verified using</p><p>proprietary test solutions. An application is developed and another application is developed to</p><p>test the first one. Test Competence Centre at Ericsson AB has expertise on testing telecom</p><p>applications using TTCN-2 and TTCN-3 notations. These notations have lot of potential and are</p><p>being used for testing in various areas. So far, not much work has been done on using TTCN</p><p>notations for testing Internet application. This thesis was a step through which the</p><p>capa

Style APA, Harvard, Vancouver, ISO itp.

12

Gatla, Goutham. "Validation of ModelicaML models." Thesis, Linköpings universitet, Programvara och system, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-86364.

Pełny tekst źródła

Streszczenie:

In the world of modeling, Model Validation plays a crucial role. A model editor is not said to becomplete without Validation. ModelicaML is a Modeling Language extended from a subset of UMLand SysML, developed under OpenModelica Project. It is defined to provide time-discrete andtime-continuous models. Papyrus Model Editor is extended to support for ModelicaML usingModelicaML Eclipse plug-in. This plug-in comes with Modelica Code Generator.Previously, ModelicaML plug-in had a prototype of validation which provided only Batch-modevalidation. The validation is used to be done by the Modelica com

Style APA, Harvard, Vancouver, ISO itp.

13

Austli, Viktor, and Elin Hernborg. "Standardization of Bug Validation." Thesis, Högskolan i Halmstad, Akademin för informationsteknologi, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34801.

Pełny tekst źródła

Streszczenie:

The usage of the Internet is widely implemented all over the world in a number of concepts. This generates a demand of establishing security as to sustain the integrity of data. In this thesis a service will be presented which can be used to identify various web vulnerabilities in order to regulate these and therefore prevent exploitation. As the world is today the increase of technical implementation provides with a growing amount of security flaws, this affect the organizations which may have to increase their resource financing in an effort to counter these. But what if a tremendous amount

Style APA, Harvard, Vancouver, ISO itp.

14

Fry, Andrew J. "Aspects of measurement validation." Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.343358.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

Bradley, Michael Ian. "Quantitative bioprocess containment validation." Thesis, University College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.395529.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

16

Hernandez, Tony. "Test Procedure Validation Process." Digital Commons at Loyola Marymount University and Loyola Law School, 2011. https://digitalcommons.lmu.edu/etd/401.

Pełny tekst źródła

Streszczenie:

In System Test, there is currently no common test procedure validation process across commercial, civil and government programs. Enterprise processes simply state to perform verification and validation. The method of satisfying that requirement is left to each individual organization and/or program. The process is generic in order to support an Enterprise of products that can vary from military weapons to commercial satellites. A common test procedure validation process can be adopted which is platform and program independent to provide more guidance than the top level Enterprise process. The

Style APA, Harvard, Vancouver, ISO itp.

17

Valový, Marcel. "Bean Validation in JAXB." Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-192401.

Pełny tekst źródła

Streszczenie:

Currently, there is no solution providing automatic validation of objects in the problem of solving Object-to-XML Impedance Mismatch. The author chose Java SE specification JAXB for Object-to-XML mapping and Java EE specification Bean Validation for validation of JavaBean objects. This thesis focuses on the interconnection of the two specifications and creation of a new specification Bean Validation in JAXB providing automatic validation at the object level during the process of marshalling and unmarshalling. This specification also provides means for mapping XML Restrictions and Facets to Bea

Style APA, Harvard, Vancouver, ISO itp.

18

Cominetti, Matteo. "Project validation using BIM." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amslaurea.unibo.it/5413/.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

SALES, T. P. "Ontology Validation for Managers." Universidade Federal do Espírito Santo, 2014. http://repositorio.ufes.br/handle/10/4273.

Pełny tekst źródła

Streszczenie:

Made available in DSpace on 2016-08-29T15:33:20Z (GMT). No. of bitstreams: 1 tese_8247_MSc Thesis - Tiago Prince Sales - Ontology Validation for Managers.pdf: 5883176 bytes, checksum: 8a88205c93ab6188ec78bdc4c5b590d9 (MD5) Previous issue date: 2014-10-10<br>Ontology driven conceptual modeling focuses on accurately representing a domain of interest, instead of making information fit an arbitrary set of constructs. It may be used for different purposes, like to achieve semantic interoperability (Nardi, Falbo and Almeida, 2013), development of knowledge representation models (Guizzardi and Zamb

Style APA, Harvard, Vancouver, ISO itp.

20

Dyer, Matthias. "Distributed embedded systems : validation strategies /." Aachen : Shaker Verlag, 2007. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17189.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

21

Trullols, Soler Esther. "Validation of qualitative analytical methods." Doctoral thesis, Universitat Rovira i Virgili, 2006. http://hdl.handle.net/10803/9004.

Pełny tekst źródła

Streszczenie:

La informació química sobre la composició d'una mostra pot ser molt diversa: des de saber de quins analits es composa un cert material a saber exactament en quina quantitat s'hi troben o de quina forma hi són presents, si estan relacionats estructuralment entre ells, etc. <br/> D'acord amb tota aquesta varietat, els mètodes analítics es classifiquen en dos grans grups: els mètodes d'anàlisi qualitativa i els mètodes d'anàlisi quantitativa. Segons les característiques del problema analític es triarà un o altre tipus de mètode d'anàlisi. Quan l'objectiu és saber què hi ha en una mostra desconegu

Style APA, Harvard, Vancouver, ISO itp.

22

Rolland, Jean-François. "Développement et validation d'architectures dynamiques." Phd thesis, Université Paul Sabatier - Toulouse III, 2008. http://tel.archives-ouvertes.fr/tel-00367994.

Pełny tekst źródła

Streszczenie:

Dans le cadre de cette thèse, nous nous proposons d'étudier le développement et la validation de systèmes dans un contexte temps réel asynchrone. On a choisi d'utiliser le langage AADL pour ses spécificités issues de l'avionique, domaine proche du spatial, et pour la précision de la description de son modèle d'exécution. Le travail de cette thèse se divise en deux axes principaux : d'une part, on étudie l'utilisation du langage AADL dans le cadre du développement d'un logiciel de vol ; et d'autre part, on présente une version réduite du langage AADL, et la définition formelle de son modèle d'e

Style APA, Harvard, Vancouver, ISO itp.

23

Davis, Robert Andrew. "Model validation for robust control." Thesis, University of Cambridge, 1995. https://www.repository.cam.ac.uk/handle/1810/251990.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

24

Alghadhi, Mostafa. "Validation of vehicle fuel consumption." Thesis, University of Huddersfield, 2015. http://eprints.hud.ac.uk/id/eprint/24697/.

Pełny tekst źródła

Streszczenie:

The state of environmental degradation demands that factors contributing to it be looked into. A chief cause of environmental degradation is exhaust emissions from vehicles, especially passenger cars. This paper attempts to quantify the relationship between vehicle fuel emissions and the various factors that contribute to it such as speed, acceleration, throttle position etc. The central contention was to come up with anempirical correlation that could be used to reliably tabulate the fuel consumption of a passenger vehicle. The derivation of an empirical correlation between vehicle fuel consu

Style APA, Harvard, Vancouver, ISO itp.

25

Graham, Robert S. "The need for social validation." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq24380.pdf.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

26

Hyjek, James. "Automation of object behavior validation." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/MQ26979.pdf.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

27

Wibling, Oskar. "Ad hoc routing protocol validation." Licentiate thesis, Uppsala : Department of Information Technology, Uppsala university, 2005. http://www.it.uu.se/research/reports/lic/2005-004/.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

28

Mohan, Babu Diana. "Informative SNP Selection and Validation." Digital Archive @ GSU, 2007. http://digitalarchive.gsu.edu/cs_theses/48.

Pełny tekst źródła

Streszczenie:

The search for genetic regions associated with complex diseases, such as cancer or Alzheimer's disease, is an important challenge that may lead to better diagnosis and treatment. The existence of millions of DNA variations, primarily single nucleotide polymorphisms (SNPs), may allow the fine dissection of such associations. However, studies seeking disease association are limited by the cost of genotyping SNPs. Therefore, it is essential to find a small subset of informative SNPs (tag SNPs) that may be used as good representatives of the rest of the SNPs. Several informative SNP selection meth

Style APA, Harvard, Vancouver, ISO itp.

29

Fairchild, Carol J. "Prescription refill compliance validation study." Thesis, McGill University, 2003. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=19465.

Pełny tekst źródła

Streszczenie:

Numerous studies have demonstrated that noncompliance causes increased morbidity and mortality from a wide variety of illnesses. Solutions to the problem require systematic evaluation of the determinants of noncompliance and identification of subgroups of patients who are vulnerable so appropriate interventions can be designed. Population-based research methods are needed to evaluate this problem.

Style APA, Harvard, Vancouver, ISO itp.

30

Ibarguengoytia, P. H. "Any time probabilistic sensor validation." Thesis, University of Salford, 1997. http://usir.salford.ac.uk/2061/.

Pełny tekst źródła

Streszczenie:

Many applications of computing, such as those in medicine and the control of manufacturing and power plants, utilize sensors to obtain information. Unfortunately, sensors are prone to failures. Even with the most sophisticated instruments and control systems, a decision based on faulty data could lead to disaster. This thesis develops a new approach to sensor validation. The thesis proposes a layered approach to the use of sensor information where the lowest layer validates sensors and provides information to the higher layers that model the process. The approach begins with a Bayesian network

Style APA, Harvard, Vancouver, ISO itp.

31

Whurr, Renata. "The validation of aphasia tests." Thesis, Birkbeck (University of London), 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.247714.

Pełny tekst źródła

Streszczenie:

A brief history is provided of Aphasia testing. The test batteries published since 1947 are described under the following formal headings: theory and classification, organisation, quantification, charting and interpretation, and standardisation and factor analyses. A component analysis of the forty aphasia test batteries is conducted. The most frequently used subtests are identified and divided into subgroups of tests, tests of auditory comprehension, oral language, naming, reading comprehension, speech production, written language and non-language tasks. The fifty most frequently used subtest

Style APA, Harvard, Vancouver, ISO itp.

32

Batarfi, Omar Abdullah. "Certificate validation in untrusted domains." Thesis, University of Newcastle Upon Tyne, 2007. http://hdl.handle.net/10443/1983.

Pełny tekst źródła

Streszczenie:

Authentication is a vital part of establishing secure, online transactions and Public key Infrastructure (PKI) plays a crucial role in this process for a relying party. A PKI certificate provides proof of identity for a subject and it inherits its trustworthiness from the fact that its issuer is a known (trusted) Certification Authority (CA) that vouches for the binding between a public key and a subject's identity. Certificate Policies (CPs) are the regulations recognized by PKI participants and they are used as a basis for the evaluation of the trust embodied in PKI certificates. However, CP

Style APA, Harvard, Vancouver, ISO itp.

33

Jarratt, Jason Aldrin. "Validation of chemical speciation models." Thesis, Manchester Metropolitan University, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263802.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

34

Render, Neil. "The validation of pharmaceutical buildings." Thesis, Northumbria University, 2006. http://nrl.northumbria.ac.uk/288/.

Pełny tekst źródła

Streszczenie:

The construction, commissioning and hand-over of pharmaceutical manufacturing buildings have become increasingly controlled by the requirements of regulatory agencies. Legislation requires that the process of validation is undertaken to establish that the facility is constructed in-line with the principles of pharmaceutical Good Manufacturing Practice (GMP). The validation process acts to ensure that the construction and building services systems are designed, installed and operate as intended and do not affect the quality of the manufactured product. A central objective of this thesis is to e

Style APA, Harvard, Vancouver, ISO itp.

35

Morrell, David. "Validation of identified turbogenerator models." Thesis, Queen's University Belfast, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.254217.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

36

Pantziarka, P. "Machine learning and data validation." Thesis, University of Surrey, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425812.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

37

Chen, Tsorng-Ming. "Design validation of digital systems." Thesis, University of Southampton, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264452.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

38

Lievin-Lieven, Nicholas Andrew John. "Validation of structural dynamic models." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/46413.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

39

Xu, Cheng. "Scalable Validation of Data Streams." Doctoral thesis, Uppsala universitet, Avdelningen för datalogi, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-291530.

Pełny tekst źródła

Streszczenie:

In manufacturing industries, sensors are often installed on industrial equipment generating high volumes of data in real-time. For shortening the machine downtime and reducing maintenance costs, it is critical to analyze efficiently this kind of streams in order to detect abnormal behavior of equipment. For validating data streams to detect anomalies, a data stream management system called SVALI is developed. Based on requirements by the application domain, different stream window semantics are explored and an extensible set of window forming functions are implemented, where dynamic registrati

Style APA, Harvard, Vancouver, ISO itp.

40

Xiong, Wei. "Verification and validation of JavaScript." Thesis, Durham University, 2013. http://etheses.dur.ac.uk/7326/.

Pełny tekst źródła

Streszczenie:

JavaScript is a prototype-based, dynamically typed language with scope chains and higher-order functions. Third party web applications embedded in web pages rely on JavaScript to run inside every browser. Because of its dynamic nature, a JavaScript program is easily exploited by malicious manipulations and safety breach attacks. Therefore, it is highly desirable when developing a JavaScript application to be able to verify that it meets its expected specification and that it is safe. One of the challenges in achieving this objective is that it is hard to statically keep track of the heap-manip

Style APA, Harvard, Vancouver, ISO itp.

41

Ruddle, Alastair Richmond. "Validation of automotive electromagnetic models." Thesis, Loughborough University, 2002. https://dspace.lboro.ac.uk/2134/35592.

Pełny tekst źródła

Streszczenie:

The problems of modelling the electromagnetic characteristics of vehicles and the experimental validation of such models are considered. The validity of the measurement methods that are applied in model validation exercises is of particular concern. A philosophy for approaching the validation of automotive electromagnetic models of realistic complexity is presented. Mathematical modelling of the key elements of the measurement processes is proposed as the only reliable mechanism for addressing these issues. Areas considered include: basic elements of numerical models; geometrical fidelity requ

Style APA, Harvard, Vancouver, ISO itp.

42

Caprioli, Peter. "AMQP Standard Validation and Testing." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-277850.

Pełny tekst źródła

Streszczenie:

As large-scale applications (such as the Internet of Things) become more common, the need to scale applications over multiple physical servers in- creases. One way of doing so is by utilizing middleware, a technique that breaks down a larger application into specific parts that each can run inde- pendently. Different middleware solutions use different protocols and mod- els. One such solution, AMQP (the Advanced Message Queueing Protocol), has become one of the most used middleware protocols as of late and mul- tiple open-source implementations of both the server and client side exists. In thi

Style APA, Harvard, Vancouver, ISO itp.

43

Corwin, Paul S. "Incremental Validation of Formal Specifications." DigitalCommons@CalPoly, 2009. https://digitalcommons.calpoly.edu/theses/71.

Pełny tekst źródła

Streszczenie:

This thesis presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model. The incremental validation technique can be considered a form of "lightweight" model checking. This is in contrast to a "heavyweight" approach, wherein an entire large-scale model is validated en masse. The validation tool is part of a formal modeling and specification language (FMSL), used in software engineerin

Style APA, Harvard, Vancouver, ISO itp.

44

Lindberg, Mimmi. "Forensic Validation of 3D models." Thesis, Linköpings universitet, Datorseende, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-171159.

Pełny tekst źródła

Streszczenie:

3D reconstruction can be used in forensic science to reconstruct crime scenes and objects so that measurements and further information can be acquired off-site. It is desirable to use image based reconstruction methods but there is currently no procedure available for determining the uncertainty of such reconstructions. In this thesis the uncertainty of Structure from Motion is investigated. This is done by exploring the literature available on the subject and compiling the relevant information in a literary summary. Also, Monte Carlo simulations are conducted to study how the feature position

Style APA, Harvard, Vancouver, ISO itp.

45

Badayos, Noah Garcia. "Machine Learning-Based Parameter Validation." Diss., Virginia Tech, 2014. http://hdl.handle.net/10919/47675.

Pełny tekst źródła

Streszczenie:

As power system grids continue to grow in order to support an increasing energy demand, the system's behavior accordingly evolves, continuing to challenge designs for maintaining security. It has become apparent in the past few years that, as much as discovering vulnerabilities in the power network, accurate simulations are very critical. This study explores a classification method for validating simulation models, using disturbance measurements from phasor measurement units (PMU). The technique used employs the Random Forest learning algorithm to find a correlation between specific model para

Style APA, Harvard, Vancouver, ISO itp.

46

Lu, Ching-sung. "Automated validation of communication protocols /." The Ohio State University, 1986. http://rave.ohiolink.edu/etdc/view?acc_num=osu148726702499786.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

47

McCaul, Courtney Ann. "Dot Counting Test cross-validation." Thesis, Alliant International University, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10249120.

Pełny tekst źródła

Streszczenie:

<p> The purpose of this study was to determine the reliability and validity of the Dot Counting Test as a measure of feigned cognitive performance. Archival neuropsychological test data from a “real world” sample of 147 credible and 328 non-credible patients were compared. The Dot Counting Test E-score cutoff of ≥ 17 continued to show excellent specificity (93%). However, sensitivity dropped from approximately 74% documented in 2002 to 51% in the current sample. When the cutoff was lowered to ≥ 15, adequate specificity was maintained (90%) and sensitivity rose to (61%). Howev

Style APA, Harvard, Vancouver, ISO itp.

48

Foures, Damien. "Validation de modèles de simulation." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30071/document.

Pełny tekst źródła

Streszczenie:

Ce travail de thèse s'est intéressé à la validité des modèles de simulation dans le cadre du développement des systèmes complexes et critiques. Une analyse de l'approche d'ingénierie système, et plus particulièrement de l'aspect modélisation et simulation, a permis de constater qu'il est impossible d'établir de façon directe la validité du modèle de simulation. De nombreux points sont à l'origine de cette impossibilité, comme une mauvaise formulation des objectifs de simulation, une incohérence implémentatoire, les limites du moteur de simulation, etc. La validité d'un modèle de simulation éta

Style APA, Harvard, Vancouver, ISO itp.

49

Johansson, Fredrik, and Oskar Dahl. "Autonomous Validation through Visual Inspection." Thesis, Högskolan i Halmstad, Akademin för informationsteknologi, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34366.

Pełny tekst źródła

Streszczenie:

The industrial testing phase of graphical user interfaces and the behaviour of screens, is still involving manual tests with human interaction. This type of testing is particularly difficult and time consuming to manually perform, due to time sensitive messages and information used within these interfaces. This thesis address this issue by introducing an approach to automate this process by utilizing high grade machine vision cameras and existing algorithm implementations from OpenCV 3.2.0. By knowing the expected graphical representation in advance, a comparison between the actual outcome and

Style APA, Harvard, Vancouver, ISO itp.

50

Newlin, Matthew Philip Doyle John Comstock Doyle John Comstock. "Model validation, control, and computation /." Diss., Pasadena, Calif. : California Institute of Technology, 1996. http://resolver.caltech.edu/CaltechETD:etd-01032008-090000.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!