Dissertations / Theses on the topic 'Control and verification activity'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Control and verification activity.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Rozes, Arnaud. "Construction et premières caractérisations d'un détecteur dédié à la mesure de l'activité β + induite lors des traitements d'hadronthérapie, en vue de leur contrôle balistique". Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22725/document.
Full textBongrand, Arthur. "Etudes des performances d'un détecteur dédié au contrôle balistique lors des traitements d'hadronthérapie par simulation Monte-Carlo." Thesis, Université Clermont Auvergne (2017-2020), 2019. http://www.theses.fr/2019CLFAC094.
Full textGeshan, Susan Carol. "Signature verification for access control." Thesis, Monterey, California. Naval Postgraduate School, 1991. http://hdl.handle.net/10945/28533.
Full textJobredeaux, Romain J. "Formal verification of control software." Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/53841.
Full textCollins, Jane M. "Particle characterisation for arms control verification." Thesis, Imperial College London, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.506110.
Full textHa, Vida Uyen 1980. "Verification of an attitude control system." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87408.
Full textWang, Xuan. "Verification of digital controller implementations /." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd1073.pdf.
Full textKoivu, Timothy Grant. "Production activity control, the hierarchical production control policy." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq21093.pdf.
Full textTroxler, Robert Ernest. "Magnetic control of superconducting phase-shifters with experimental verification." Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/13443.
Full textBeaumont, Paul James. "Model-based analysis of nuclear arms control verification processes." Thesis, Imperial College London, 2017. http://hdl.handle.net/10044/1/54653.
Full textKoleini, Masoud. "Verification of temporal-epistemic properties of access control systems." Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3706/.
Full textStern, Warren Michael. "Nuclear weapons material control : verification of tritium production limitations." Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/14472.
Full textDantam, Neil Thomas. "A linguistic method for robot verification programming and control." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/54284.
Full textCameron, Nancy G. "HIPAA, Infection Control and OSHA Safety Training and Verification." Digital Commons @ East Tennessee State University, 2012. https://dc.etsu.edu/etsu-works/7053.
Full textLahijanian, Morteza M. "Formal verification and control of discrete-time stochastic systems." Thesis, Boston University, 2013. https://hdl.handle.net/2144/12804.
Full textde, Carvalho Gomes Pedro. "Sound Modular Extraction of Control Flow Graphs from Java Bytecode." Licentiate thesis, KTH, Teoretisk datalogi, TCS, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-105275.
Full textSpurkland, Kristin. "Framing Physical Activity| Weight Control Frames and Physical Activity Motivation." Thesis, Portland State University, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10824567.
Full textde, Carvalho Gomes Pedro, and Attilio Picoco. "Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems." KTH, Teoretisk datalogi, TCS, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104076.
Full textBeltran, Gutierrez Javier, and Song Yujiao. "Methods for Verification of Post-Impact Control including Driver Interaction." Thesis, KTH, Fordonsdynamik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-78765.
Full textHuang, Weiyuan. "ESTELLE verification of ATM available bit rate (ABR) control protocol." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ59326.pdf.
Full textUshioda, Setsuko. "Satellite-based multilateral arms control verification schemes and international law." Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=41194.
Full textHailey, Jeffrey A. "Experimental verification attitude control techniques for flexible spacecraft slew maneuvers." Thesis, Monterey, California. Naval Postgraduate School, 1992. http://hdl.handle.net/10945/23670.
Full textDanielsson, Fredrik K. J. "Off-line programming, verification and optimisation of industrial control systems." Thesis, De Montfort University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.269247.
Full textAhn, Heejin. "Safety verification and control for collision avoidance at road intersections." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/119339.
Full textPark, Taeshin 1966. "Formal verification and dynamic validation of logic-based control systems." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/50358.
Full textQiang, Huang, and Yang Fan. "Study on Telemetry Data Authentication Protocol in Arms Control Verification." International Foundation for Telemetering, 1999. http://hdl.handle.net/10150/608729.
Full textZoubek, Bohumir. "Automatic verification of temporal and timed properties of control programs." Thesis, University of Birmingham, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.419737.
Full textShuja, Sana. "Formal Verification Techniques for Safety Critical Medical Device Software Control." Diss., North Dakota State University, 2016. http://hdl.handle.net/10365/25736.
Full textSilva, Douglas Simões. "Formal verification and access control approach of an IoT protocol." reponame:Repositório Institucional da UFSC, 2017. https://repositorio.ufsc.br/xmlui/handle/123456789/181251.
Full textEstmer, Nilsson Camilla. "Viral Control of SR Protein Activity." Doctoral thesis, Uppsala : Acta Universatis Upsaliensis : Univ.-bibl. [distributör], 2001. http://publications.uu.se/theses/91-554-5124-1/.
Full textDrachuk, Irina. "Cytocompatible coatings to control cell activity." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/52220.
Full textNewman, Jonathan P. "Optogenetic feedback control of neural activity." Diss., Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/52973.
Full textBlackburn, Douglas L. "The Chemical Weapons Convention verification regime a model for a new NPT? /." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1993. http://handle.dtic.mil/100.2/ADA277976.
Full textGraves, Jamie Robert. "Forensic verification of operating system activity via novel data, acquisition and analysis techniques." Thesis, Edinburgh Napier University, 2009. http://researchrepository.napier.ac.uk/Output/6699.
Full textSundell, Johanna. "Colour proof quality verification." Thesis, Linköping University, Department of Science and Technology, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2358.
Full textVeselinov, Roman Nikolov. "Formalization and verification of rewriting-based security polices." Worcester, Mass. : Worcester Polytechnic Institute, 2008. http://www.wpi.edu/Pubs/ETD/Available/etd-043008-165615/.
Full textWard, David. "Exploiting high-level design control and data structures for hardware verification." Connect to online resource, 2007. 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:3256475.
Full textSemenov, Alexei. "Verification and synthesis of asynchronous control circuits using Petri net unfoldings." Thesis, University of Newcastle Upon Tyne, 1997. http://hdl.handle.net/10443/2004.
Full textPolicella, Joseph, Mitchell Kleen, and Joey White. "VERIFICATION AND VALIDATION OF CONTROL CENTER OPERATIONS USING A TELEMETRY SIMULATION." International Foundation for Telemetering, 1994. http://hdl.handle.net/10150/608594.
Full textChaves, Lennon Corrêa, and 92-99155-6510. "Formal verification applied to attitude control software of unmanned aerial vehicles." Universidade Federal do Amazonas, 2018. https://tede.ufam.edu.br/handle/tede/6368.
Full textRobert, Vincent. "Hypothalamic control of hippocampal area CA2 activity." Thesis, Sorbonne Paris Cité, 2018. https://wo.app.u-paris.fr/cgi-bin/WebObjects/TheseWeb.woa/wa/show?t=2539&f=17446.
Full textBockenek, Joshua A. "USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow." Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/81710.
Full textArdeishar, Raghu. "Automatic verification of VHDL models." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-03032009-040338/.
Full textLuco, Nicolas, and Keren Zhu. "Energy efficient cornering : Simulation and verification." Thesis, KTH, Fordonsdynamik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-234837.
Full textRoston, Barbara Helen. "Verification of radiation exposures in a case-control study of thyroid cancer." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ28752.pdf.
Full textAoyama, Tadayoshi, Kosuke Sekiyama, Yasuhisa Hasegawa, and Toshio Fukuda. "Experimental verification of 3D bipedal walking based on Passive Dynamic Autonomous Control." IEEE, 2009. http://hdl.handle.net/2237/13931.
Full textCugati, Sharath A. "Dynamic modeling, control, and verification for citrus variable-rate technology (VRT) fertilization." [Gainesville, Fla.] : University of Florida, 2006. http://purl.fcla.edu/fcla/etd/UFE0013489.
Full textHerbert, Eric W. "NPSAT1 magnetic attitude control system algorithm verification, validation, and air-bearing tests." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Sep%5FHerbert.pdf.
Full textCohen, Raphaël P. "Formal Verification and Validation of Convex Optimization Algorithms For model Predictive Control." Thesis, Toulouse, ISAE, 2018. http://www.theses.fr/2018ESAE0030/document.
Full textYang, Chien-Kao, and 楊建國. "Shake Table Verification of LQG Control of a Full-Scale Actively Braced Building Considering Control-Structure Interaction." Thesis, 1999. http://ndltd.ncl.edu.tw/handle/09967643412121460578.
Full text