Tesis sobre el tema "Validation techniques"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Validation techniques".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Jonoud, Sima. "Validation of steady-state upscaling techniques". Thesis, Imperial College London, 2006. http://hdl.handle.net/10044/1/7812.
Texto completoPEDDIREDDY, SANTOSH KUMAR REDDY y SRI RAM NIDAMANURI. "Requirements Validation Techniques : Factors Influencing them". Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-21152.
Texto completoColeby, Dawn Elizabeth. "Assessment of techniques for electromagnetic modelling validation". Thesis, De Montfort University, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.406028.
Texto completoShen, Jian. "Effective techniques for processor validation and test /". Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.
Texto completoEwanchyna, Theodore J. "Techniques for specification and validation of complex protocols". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq26014.pdf.
Texto completoKufel, Jedrzej. "Techniques and validation for protection of embedded processors". Thesis, University of Southampton, 2015. https://eprints.soton.ac.uk/381185/.
Texto completoKolluri, Murali Mohan. "Developing a validation metric using image classification techniques". University of Cincinnati / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1406819893.
Texto completoGrisot, Giorgia. "Validation of dMRI techniques for mapping brain pathways". Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/122194.
Texto completoThesis: Ph. D., Harvard-MIT Program in Health Sciences and Technology, 2019
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 201-222).
Diffusion magnetic resonance imaging (dMRI) tractography is the only non-invasive tool for studying the connectional architecture of the brain in vivo. By measuring the diffusion of water molecules dMRI provides unique information about white matter pathways and their integrity, making it an invaluable neuroimaging tool that has improved our understanding of the human brain and how it is affected by disease. A major roadblock to its acceptance into clinical practice has been the difficulty in assessing its anatomical accuracy and reliability. In fact, obtaining a map of brain pathways is a multi-step process with numerous variables, assumptions and approximations that can influence the veracity of the generated pathways. Validation is, thus, necessary and yet challenging because there is no gold standard which dMRI can be compared to, since the configuration of human brain connections is largely unknown. Which aspects of tractography processing have the greatest effect on its performance? How do mapping methods compare? Which one is the most anatomically accurate? We tackle these questions with a multi-modal approach that capitalizes on the complementary strengths of available validation strategies to probe dMRI performance on different scales and across a wide range of acquisition and analysis parameters. The outcome is a multi-layered validation of dMRI tractography that 1) quantifies dMRI tractography accuracy both on the level of brain connections and tissue microstructure; 2) highlights the strengths and weaknesses of different modeling and tractography approaches, offering guidance on the issues that need to be resolved to achieve a more accurate mapping of the human brain.
by Giorgia Grisot.
Ph. D.
Ph.D. Harvard-MIT Program in Health Sciences and Technology
Thieffry, Roland. "Etude et Validation de Systèmes d'Aide à l'Autonomie des Personnes Handicapées". Paris 6, 2004. http://www.theses.fr/2004PA066320.
Texto completoSlesinger, Nathan Avery. "Thermal modeling validation techniques for thermoset polymer matrix composites". Thesis, University of British Columbia, 2010. http://hdl.handle.net/2429/26641.
Texto completoMagraoui, Mohamed. "Validation de techniques de commande d'un filtre actif parallèle". Mémoire, École de technologie supérieure, 2007. http://espace.etsmtl.ca/226/1/MAGRAOUl_Mohamed.pdf.
Texto completoMagraoui, Mohamed. "Validation de techniques de commande d'un filtre actif parallèle /". Thèse, Montréal : École de technologie supérieure, 2007. http://proquest.umi.com/pqdweb?did=1459914731&sid=1&Fmt=2&clientId=46962&RQT=309&VName=PQD.
Texto completo"Mémoire présenté à l'École de technologie supérieure comme exigence partielle à l'obtention de la maîtrise en génie électrique." CaQMUQET Bibliogr. : f. [150]-155. Également disponible en version électronique. CaQMUQET
Saqi, Saqib Bashir y Sheraz Ahmed. "Requirements Validation Techniques practiced in industry : Studies of six companies". Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3157.
Texto completoKurnianto, Kristedjo. "Application of machine learning techniques to power plant sensor validation /". [St. Lucia, Qld.], 2004. http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe17689.pdf.
Texto completoSulehri, Latif. "Comparative Selection of Requirements Validation Techniques Based on Industrial Survey". Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-1178.
Texto completoI Software Engineering kraven validering har en mycket central betydelse. Den kravvalidering very helpful att bedöma att Kravspecifikation (SRS) är klar och felfria. Kraven validering är en garanti för att programvaran kravdokument är fri från oönskade krav och helt konsekvent. För att undanröja inkonsekvens, upptäcka brister och göra programvaran kravdokument fullt funktionella kraven validering är viktig faktor. Alla möjliga kravvalidering tekniker inom den akademiska sådana krav recensioner, krav prototyper, provning och synpunkt-orienterade kravvalidering förklaras ordentligt i denna avhandling rapport. I ett mycket lättläst och begripligt sätt avhandling presenterar alla fördelar och nackdelar med dessa krav validera metoder praktiseras i olika mjukvaruföretag i Sverige och finns i den akademiska världen. Denna rapport förklarar alla möjliga fördelar och frågor kring dessa RVTs. För att bedöma de bästa resultaten i dessa RVTs och göra en jämförelse av dem använde jag en riktig kanal. Jag har skapat en mycket effektiv frågeformulär med hjälp av min högskolor och litteraturgenomgång. Skapa kreativa jämförelse jag intervjua och skicka frågeformuläret till olika personer som arbetar inom tekniska kraven för dessa avdelningar i olika programvaruföretag i Sverige. Slutligen tillfredsställande nivåer av olika programvaruföretag med dessa krav validering teknik presenteras i denna avhandling rapport. Dessa variabler såsom Upptäcka, tid och kostnader används för att mäta tillfredsställande nivåer.
Author: Latif Hussain Sulehri E-mail: latifsulehry@hotmail.com Phone: +46 704 917 140
Al-Takrouri, Saleh Othman Saleh Electrical Engineering & Telecommunications Faculty of Engineering UNSW. "Robust state estimation and model validation techniques in computer vision". Publisher:University of New South Wales. Electrical Engineering & Telecommunications, 2008. http://handle.unsw.edu.au/1959.4/41002.
Texto completoBaylis, Charles Passant. "Improved techniques for nonlinear electrothermal FET modeling and measurement validation". [Tampa, Fla.] : University of South Florida, 2007. http://purl.fcla.edu/usf/dc/et/SFE0001989.
Texto completoWeaver, Simon. "A Comparison of Data Reduction Techniques for Zone Model Validation". University of Canterbury. Civil Engineering, 2000. http://hdl.handle.net/10092/8299.
Texto completoHoward-Johnson, Julia A. "Training Program Content Validation: A Practical Application of Educative Techniques". TopSCHOLAR®, 1993. http://digitalcommons.wku.edu/theses/1429.
Texto completoWeitz, Noah. "Analysis of Verification and Validation Techniques for Educational CubeSat Programs". DigitalCommons@CalPoly, 2018. https://digitalcommons.calpoly.edu/theses/1854.
Texto completoSimmons, Amanda Lee 1970. "An experimental validation of resistance monitoring techniques for Arizona whitefly". Thesis, The University of Arizona, 1996. http://hdl.handle.net/10150/292013.
Texto completoBaylis, Charles Passant II. "Improved Techniques for Nonlinear Electrothermal FET Modeling and Measurement Validation". Scholar Commons, 2007. https://scholarcommons.usf.edu/etd/620.
Texto completoLandin, Per. "On radio frequency behavioral modeling measurement techniques, devices and validation aspects /". Licentiate thesis, Stockholm : Skolan för elektro- och systemteknik, Kungliga Tekniska högskolan, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-11678.
Texto completoCadafalch, Rabasa Jordi. "Numerical Simulation of Turbulent Flows. Multiblock Techniques. Verification and Experimental Validation". Doctoral thesis, Universitat Politècnica de Catalunya, 2002. http://hdl.handle.net/10803/6681.
Texto completoThe thesis comprises six main chapters written in a paper format. Two of them have already been published in international journals, one in the proceedings of a Spanish conference and two in proceedings of international conferences on Computational Fluid Dynamics and heat transfer. The last chapter has recently been submitted for publication to an international journal. Therefore, all the chapters are written so as to be self-contained, complete and concise. As a consequence, some contents of the chapters such those describing the governing equations, or the verification procedure used to assess the credibility of the numerical solutions, are repeated in several of them. Furthermore, as only minor changes have been introduced in the chapters respect to the original papers, each of them reflects the know-how of the CTTC (Heat and Mass Transfer Technological Centre were the research has been carried out) when they were published.
Papers presented in chapters 1 and 2 deal with turbulence modelling. A general overview is given on the formulation and numerical techniques of the different levels of turbulence modelling: Direct Numerical Simulation (DNS), Large Eddy Simulation (LES) and Reynolds Averaged Navier-Stokes Simulation (RANS). Main attention is focussed on the eddy viscosity two-equation RANS models. Their formulation is presented in more detail, and numerical solutions of the most extended. Benchmark problems on turbulence modelling are given compared to the available experimental data.
Chapters 3 and 4 focus on the use of the multiblock method (domain decomposition method), as a numerical technique that combined with the parallel computing may allow reducing the demanding computational time and memory (high performance computing). The multiblock approach used is based on the conservation of all the physical quantities (fully conservative method) and on an explicit information exchange between the different blocks of the domain. The goal of the work presented in these two chapters is to verify that such a multiblock approach does not introduce additional uncertainty in the numerical solutions.
Chapter 5 presents a tool that has been developed at the CTTC for the verification of finite volume computations. In fact, this tool is also partially used and described in the results presented in the previous chapters. Here, it is described and discussed in detail and it is applied to a set of different CFD and heat transfer problems in two and three dimensions, with free and forced convection, with reactive and non-reactive flows and with laminar and turbulent flows.
The last chapter shows a complete study for the development of a credible heat transfer relation for the heat evacuated from a ventilation channel. Such study comprises all the different steps that have to be accomplished so as to develop credible and applicable results in mechanical engineering. It comprises a description of the mathematical model to represent the physical phenomena in the channel, the numerical model to solve the set of coupled differential equations of the mathematical model, the construction and testing of an ad-hoc experimental set-up, and a verification and validation (V&V) test that guarantees that the numerical solution is an accurate enough approximation of the mathematical model (verification), and that it properly predicts the reality (validation).
Landin, Per N. "On Radio Frequency Behavioral Modeling : Measurement Techniques, Devices and Validation Aspects". Licentiate thesis, KTH, Signalbehandling, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-11678.
Texto completoRadio frequency (RF) power amplifiers (PA) are still the most troublesomepart of a wireless system due to their inherent nonlinearity, low powerefficiency and high distortions. Better tools are needed to understand and correct the undesirable behavior. Some of these tools are behavioral models. A behavioral model is often thought of as a black box with some inputs andsome outputs. In the case here these inputs are sampled signals which meansthat the modeling amounts to finding a mathematical relationship betweenthe input signal(s) and the output signal(s). This thesis considers some requirements for behavioral modeling of said systems by presenting methods for general performance evaluation and improvement by considering a frequency weighted error criterion. A high performance measurement system is also needed. The performance of the available system is compared to the performance of a well recognized system, the largesignal network analyzer (LSNA). The results show that the existing measurementsystem can extract behavioral models with the same performance as the LSNA and can give lower performance validation errors. Still the need for higher bandwidths drives the measurement systems to the limits, especially the digital parts. By utilizing the so called Zhu-Frank generalized sampling theorem, behavioral modeling of a PA is done by using data acquired at a sampling rate lower than the Nyquist rate. Models of a PA are extracted and the performance is evaluated using the normalized meansquare error (NMSE) criterion. For prediction and correction of the output signals the stability of the models regarding changes must be investigated. One such study considering controlled variations on the output load of the PA is done and both the predictive and corrective capabilities of the models are evaluated. The predictive capability gets up to 7 dB worse measured as adjacent channel error powerratio (ACEPR) and the corrective, as digital predistortion, gets up to 13 dB worse measured as adjacent channel power ratio (ACPR).
Li, Lun. "Integrated techniques for the formal verification and validation of digital systems". Ann Arbor, Mich. : ProQuest, 2006. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3214772.
Texto completoTitle from PDF title page (viewed July 10, 2007). Source: Dissertation Abstracts International, Volume: 67-04, Section: B, page: 2151. Adviser: Mitchell A. Thornton. Includes bibliographical references.
Volkmer, Frank [Verfasser]. "Applying Live Job Monitoring Techniques to Monte Carlo Validation / Frank Volkmer". Wuppertal : Universitätsbibliothek Wuppertal, 2016. http://d-nb.info/1124474196/34.
Texto completoAbouarboub, Ahmed Ali Mohamed. "In-situ validation of three-phase flowmeters using capacitance sensing techniques". Thesis, University of Derby, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.396508.
Texto completoChilenski, Mark Alan. "Experimental data analysis techniques for validation of Tokamak impurity transport simulations". Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/112393.
Texto completoThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages [234]-309).
This thesis presents two new techniques for analyzing data from impurity transport experiments in magnetically confined plasmas, with specific applications to the Alcator C-Mod tokamak. The objective in developing these new techniques is to improve the quality of the experimental results used to test simulations of turbulent transport: better characterization of the uncertainty in the experimental results will yield a better test of the simulations. Transport codes are highly sensitive to the gradients of the background temperature and density profiles, so the first half of this thesis presents a new approach to fitting tokamak profiles using nonstationary Gaussian process regression. This powerful technique overcomes many of the shortcomings of previous spline-based data smoothing techniques, and can even handle more complicated cases such as line-integrated measurements, computation of second derivatives, and 2d fitting of spatially- and temporally-resolved measurements. The second half of this thesis focuses on experimental measurements of impurity transport coefficients. It is shown that there are considerable shortcomings in existing point estimates of these quantities. Next, a linearized model of impurity transport data is constructed and used to estimate diagnostic requirements for impurity transport measurements. It is found that spatial resolution is more important than temporal resolution. Finally, a fully Bayesian approach to inferring experimental impurity transport coefficient profiles which overcomes the shortcomings of the previous approaches through use of multimodal nested sampling is developed and benchmarked using synthetic data. These tests reveal that uncertainties in the transport coefficient profiles previously attributed to uncertainties in the temperature and density profiles are in fact entirely explained by changes in the spline knot positions. Appendices are provided describing the extensive work done to determine the derivatives of stationary and nonstationary covariance kernels and the open source software developed as part of this thesis work. The techniques developed here will enable more rigorous benchmarking of turbulent transport simulations, with the ultimate goal of developing a predictive capability.
by Mark Alan Chilenski.
Ph. D.
Falcone, Yliès Carlo. "Etude et mise en oeuvre de techniques de validation à l'exécution". Université Joseph Fourier (Grenoble), 2009. http://www.theses.fr/2009GRE10239.
Texto completoThis thesis deals with three dynamic validation techniques: runtime verification (monitoring), runtime enforcement, and testing from property. We consider these approaches in the absence of complete behavioral specification of the system under scrutiny. Our study is done in the context of the Safety-Progress classification of properties. This framework offers several advantages for specifying properties on systems. We adapt the results on this classification, initially dedicated to infinite sequences, to take into account finite sequences. Those sequences may be considered as abstract representations of a system execution. Relying on this general framework, we study the applicability of dynamic validation methods. We characterize the classes of monitorable, enforceable, and testable properties. Then, we proposed three generic approaches for runtime verification, enforcement, and testing. We show how it is possible to obtain, from a property expressed in the {\SP} framework, some verification, enforcement, and testing mechanisms for the property under consideration. Finally, we propose the tools j-VETO and j-POST implementing all the aforementioned results on Java programs
Jayaraman, Dheepakkumaran. "Optimization Techniques for Performance and Power Dissipation in Test and Validation". OpenSIUC, 2012. https://opensiuc.lib.siu.edu/dissertations/473.
Texto completoGreen, Andrew. "Computational techniques for fast Monte Carlo validation of proton therapy treatment plans". Thesis, University of Manchester, 2017. https://www.research.manchester.ac.uk/portal/en/theses/computational-techniques-for-fast-monte-carlo-validation-of-proton-therapy-treatment-plans(96ab69f6-9ec3-44e5-ba13-c3021bfa4d59).html.
Texto completoLi, Li. "Student Misbehaviors and Teacher Techniques in Online Classrooms: Instrument Development and Validation". Ohio University / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1343414806.
Texto completoMoundanos, Konstantinos. "A unified validation framework for VLSI circuits using formal and abstraction techniques /". Digital version accessible at:, 1998. http://wwwlib.umi.com/cr/utexas/main.
Texto completoMadden, Ryan J. "Development of Robust Control Techniques towards Damage Identification". Cleveland State University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=csu1460986638.
Texto completoWeathers, James Boyd. "VERIFICATION AND VALIDATION USING STATE OF THE ART MEASURES AND MODULAR UNCERTAINTY TECHNIQUES". MSSTATE, 2008. http://sun.library.msstate.edu/ETD-db/theses/available/etd-03282008-111215/.
Texto completoDalne, Katja. "Validation Techniques for Credit Risk Models - Applying New Methods on Nordea’s Corporate Portfolio". Thesis, KTH, Skolan för teknikvetenskap (SCI), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-129067.
Texto completoNordea är den största bankkoncernen i norra Europa. Man har stort behov av att känna till sina låntagares förmåga att återbetala skulder samt att noggrannt kunna uppskatta sannolikheten för konkurs. Utvärderingen görs med hjälp av kreditvärderingsmodeller baserade på logistisk regression. Modellerna bygger på historiska data och predikterar väl då dataunderlaget är stort i det enskilda fallet. För att utveckla och förbättra den modell som används för stora företag, önskar man inom Nordea implementera två nya valideringsmetoder som rekommenderas av det välrenommerade kreditvärderingsinstitutet Moody’s: informationsentropi samt noggrannhetsförhållande med simulerade defaulter. En default är en kund som antingen riskerar att gå eller är försatt i konkurs. Informationsentropi mäter hur mycket information som ryms i en given variabel, medan noggrannhetsförhållande med simulerade defaulter validerar hur väl en modell kan skilja mellan "bra" och "dåliga" kunder vid användning av simulerade defaultdata. Simuleringen används när det inte finns tillräckligt med defaultdata att tillgå, vilket är fallet då antalet observerade defaulter inom en viss låntagarkategori är få. Efter implementering av valideringsmetoderna med samma data som Moody’s använt sig av, kunde de resultat Moody’s presenterat bekräftas med den implementeringsmetod som valts. Denna metod användes därefter vid analys av en större datamängd och slutsatsen kunde dras att användandet av var och en av valideringsmetoderna, föreslagna av Moody’s, leder till en förbättrad validering av modellen.
Overbeck, Wiebke [Verfasser]. "Validation of three diagnostic techniques to diagnose subclinical endometritis in mares / Wiebke Overbeck". Berlin : Freie Universität Berlin, 2014. http://d-nb.info/1050709594/34.
Texto completoSulaimalebbe, Aslam. "Modelling, analysis and validation of microwave techniques for the characterisation of metallic nanoparticles". Thesis, Cardiff University, 2009. http://orca.cf.ac.uk/54904/.
Texto completoMeneely, Julie Patricia. "Development and validation of rapid analytical techniques for the determination of trichothecine mycotoxins". Thesis, Queen's University Belfast, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.534609.
Texto completoChen, Sean Jy-Shyang. "Development and validation of vascular image processing techniques for image-guided neurovascular surgery". Thesis, McGill University, 2014. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=123108.
Texto completoL'efficacitée de la neurochirurgie guidée par l'image (IGNS) dépend de la pré sentation au neurochirurgien d'images précises pour la planification chirurgicale et l'orientation. Les vaisseaux sanguins cérébraux sont d'une importance particulière en IGNS, parce qu'ils entourent densément les lésions céreb́rales et les tumeurs, et peuvent eux-mêmes être le siège de pathologies, et doivent être soigneusement examinés durant la chirurgie. Compte tenu de l'importance de la visualisation et de l'identification des vaisseaux cérébraux pour la planification du diagnostique et de l'orientation, il est important de développer des techniques automatisées pour augmenter les contrastes des vaisseaux, ainsi que des méthodes de recalage des images préopératoires. De plus, des outils pour la caractérisation et la validation des méthodes de recalage et de segmentation sont nécessaires. Cette thèse présente le développement de trois techniques différentes pour prendre en comptes ces besoins: (1) une technique qui utilise les in formations des vaisseaux sanguins pour le recalage des images préopératoires, (2) une technique pour produire des fantômes multimodaux avec des structures anatomique ment réalistes, et (3) une technique pour augmentater les contrastes des vaisseaux sanguins avec un estimateur non-local. Pour le recalage d'images préopératoires, où les images sont alignées par rapport au patient sur la table de la salle d'opération, nous avons développé une approche hybride de recalage avec transformation non-linéaire. Notre technique combine les avantages des techniques de recalage basées sur l'intensité et les attributs géométriques. La segmentation des vaisseaux sanguins est appliquée aux images volumétriques natives pour produire un ensemble de cartes d'intensité afin d'utiliser la corrélation croisée pour le recalage. En maintenant les structures sanguines comme cartes d'intensité, au lieu de l'extraction comme les caractéristiques discrètes, nous pouvons être sûr que d'importantes informations de l'image ne sont pas supprimées pour le recalage. En validant notre technique de recalage d'image, nous avons réalisé le besoin d'améliorer les fantômes multimodaux. Pour cela, nous avons développé un fantôme anthropomorphique du cerveau qui peut être efficacement utilisé pour la validation intermodalité du traitement des images. Le fantôme cérébral, qui a les proprietés mécaniques et une anatomie similaire; au cerveau humain in vivo, a été fait à partir d'alcool de polyvinyle cryogel. Des marqueurs sphériques et des cathéters gonflables ont également été implantés pour permettre de simuler la déformation des tissus et de comparer la qualité des recalages. Plusieurs ensembles de données multimodaux ont été acquis avec ce fantôme et ont été mis à la disposition de la communauté qui travaille sur le traitement des images. Notre travail sur le recalage des vaisseaux sanguins nous a également révélé la nécessité d'améliorer les méthodes numérique des vaisseaux. En conséquence, nous avons développé une technique qui pousse la méthode de Frangi en augmentant le contraste et en supprimant les éléments de fond. Ainsi, pour détecter des géométries des vaisseaux sanguins plus grandes, nous considérons une zone de recherche plus grande plutôt qu'une petite zone locale. La validation de la technique a été réalisée avec des images synthétiques 3D, et des images cliniques 2D et 3D. Les techniques automatisées pour le recalage et l'augmentation des contrastes des vaisseaux sanguins développés dans cette thèse peuvent être utilisées pour améliorer l'efficacité des processus chirurgicaux en IGNS. Notre fantôme anthropomorphique peut être quant à lui utilisé pour valider et caractériser de nouvelles méthodes de traitement d'image.
Thornton, Jenna Louise. "Ice particle size and roughness from novel techniques : in situ measurements and validation". Thesis, University of Hertfordshire, 2016. http://hdl.handle.net/2299/17644.
Texto completoTanguay, Michelle. "Validation d'un test de vocabulaire américain par un procédé multi-techniques de traduction". Master's thesis, Université Laval, 1989. http://hdl.handle.net/20.500.11794/37375.
Texto completoQuébec Université Laval, Bibliothèque 2019
Rapin, Nicolas. "Validation de spécifications à base d'automates par des techniques de dépliage et d'exécution". Evry-Val d'Essonne, 2004. http://www.theses.fr/2004EVRY0016.
Texto completoA notable part of the faulty operations of the industrial systems is due to specification erros. Validation denotes the set of techniques which aim at preventing such erros. The thesis develops a methodology and its theoretical bases for the validation of communicating automata based specifications. The idea is that a specification can be rewritten in a form which reveals its behaviours, so that the engineer can appreciate the accuracy of it. More technically the rewritten specification is a graph built starting from the consistent control path resulting from the original specification. It is shown that the rewritten specification describes the same system and that it can be substituted for the original spécification if it plays the part of component within a vaster system. This result supports a methodology of validation by integration
Linton, Nick William Fox. "Intracardiac mapping of atrial arrhythmias in humans : development and validation of new techniques". Thesis, King's College London (University of London), 2015. http://kclpure.kcl.ac.uk/portal/en/theses/intracardiac-mapping-of-atrial-arrhythmias-in-humans-development-and-validation-of-new-techniques(66e47520-881e-4325-b7c9-a407919cbe7e).html.
Texto completoPark, June-Woo. "Development and validation of novel molecular techniques to elucidate mechanisms of endocrine disruption". Diss., Connect to online resource - MSU authorized users, 2008.
Buscar texto completoTitle from PDF t.p. (viewed on Mar. 30, 2009) Includes bibliographical references. Also issued in print.
Flohrer, Claudia. "Mutual validation of satellite-geodetic techniques and its impact on GNSS orbit modeling /". Bern : [s.n.], 2008. http://www.ub.unibe.ch/content/bibliotheken_sammlungen/sondersammlungen/dissen_bestellformular/index_ger.html.
Texto completoWoo, Mei-sum Becky y 胡美心. "Validation and calibration of a digital subtraction radiography systemfor quantitative assessment of alveolar bone changes". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2000. http://hub.hku.hk/bib/B31954169.
Texto completoAlphonce, Magori. "Use of software verification & validation (V&V) techniques for software process improvement". Thesis, University West, Department of Technology, Mathematics and Computer Science, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-574.
Texto completoIsaza, Narvaez Claudia Victoria. "Diagnostic par techniques d'apprentissage floues: concept d'une méthode de validation et d'optimisation des partitions". Phd thesis, INSA de Toulouse, 2007. http://tel.archives-ouvertes.fr/tel-00190884.
Texto completo