Relevant bibliographies by topics / Control and verification activity

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Control and verification activity'

Author: Grafiati
Published: 30 May 2022
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Control and verification activity"

1

Butt, Shahid Ikramullah, Sun Hou-Fang, and Amir Manzur Wain. "Verification of Production Activity Control Architecture Using PETRI Net Tools." Information Technology Journal 6, no. 6 (2007): 924–28. http://dx.doi.org/10.3923/itj.2007.924.928.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

TURISHCHEVA, T. B. "METHODOLOGICAL SUPPLY OF INTERNAL CONTROL OVER AN AUTONOMOUS INSTITUTION’S ACTIVITY." EKONOMIKA I UPRAVLENIE: PROBLEMY, RESHENIYA 4, no. 4 (2021): 96–101. http://dx.doi.org/10.36871/ek.up.p.r.2021.04.04.017.

Full text
Abstract:
The article examines the methodology of internal control over an autonomous institution’s activity, groups the procedural aspects and methods of verification, forms the author's position on internal control procedures and justifies proposals for the methodology of developing internal control procedures.
APA, Harvard, Vancouver, ISO, and other styles
3

Бойко, Евгений, Evgeniy Boyko, Надежда Бойко, and Nadezhda Boyko. "Experimental verification of innovative approach to formalization of motor activity." Bulletin of Bryansk state technical university 2014, no. 2 (2014): 147–54. http://dx.doi.org/10.12737/23283.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Maslova, Ya I. "FULL VERIFICATION OF DECLARATIONS AS AN ACTIVITY OF ANTI-CORRUPTION FINANCIAL CONTROL." Juridical scientific and electronic journal, no. 4 (2021): 698–700. http://dx.doi.org/10.32782/2524-0374/2021-4/173.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Maslova, Ya І. "FULL VERIFICATION OF DECLARATIONS AS AN ACTIVITY OF ANTI-CORRUPTION FINANCIAL CONTROL." Juridical scientific and electronic journal, no. 1 (2022): 357–59. http://dx.doi.org/10.32782/2524-0374/2022-1/90.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Maruyama, Kohei, Miyako Mizuna, Takuya Kosuge, Yuki Takeda, Eiji Iwase, and Tetsuo Kan. "Spiral Chiral Metamaterial Structure Shape for Optical Activity Improvements." Micromachines 14, no. 6 (2023): 1156. http://dx.doi.org/10.3390/mi14061156.

Full text
Abstract:
We report on a spiral structure suitable for obtaining a large optical response. We constructed a structural mechanics model of the shape of the planar spiral structure when deformed and verified the effectiveness of the model. As a verification structure, we fabricated a large-scale spiral structure that operates in the GHz band by laser processing. Based on the GHz radio wave experiments, a more uniform deformation structure exhibited a higher cross-polarization component. This result suggests that uniform deformation structures can improve circular dichroism. Since large-scale devices enabl
APA, Harvard, Vancouver, ISO, and other styles
7

Мельничук, Р. В. "ADMINISTRATIVE AND LEGAL PRINCIPLES OF INTERACTION NATIONAL AGENCY FOR THE PREVENTION OF CORRUPTION AND THE NATIONAL POLICE IN THE FIELD OF PREVENTION OF CORRUPTION RISKS IN THE ACTIVITIES OF POLICE AUTHORITIES." Juridical science, no. 1(103) (February 19, 2020): 211–17. http://dx.doi.org/10.32844/2222-5374-2020-103-1.25.

Full text
Abstract:
In the article the system of administrative legal acts of the National agency is found out and exposed on questions prevention of corruption in relation to prevention of corruption risks, in particular in activity of the National police of Ukraine. In detail maintenance of orders and decisions is reflected in relation to setting of norms of activity of the authorized subdivisions on questions prevention and exposure of corruption, order of realization provided for by the plan verifications of organization of work from prevention and exposure of corruption in public organs. It is marked that in
APA, Harvard, Vancouver, ISO, and other styles
8

Wang, Feng Qin, and Heng Jin Ke. "Control Flow Analyze for Procedure Blueprint." Applied Mechanics and Materials 58-60 (June 2011): 1061–66. http://dx.doi.org/10.4028/www.scientific.net/amm.58-60.1061.

Full text
Abstract:
Based on the well-defined UML2.0 activity diagram, a meta-model based on Control Flow Diagram is presented. And our strategy in this article is to define an OCL-based mapping in a formal and verifiable form as consistency rules between an AISD and a CFG, so as to ensure the completeness of our meta-models and allow their verification. At last, we adopt a static analyze method to transform procedure blueprint to Control Flow diagram.
APA, Harvard, Vancouver, ISO, and other styles
9

Astankevych, Yu I. "ABOUT FORMS AND METHODS OF INTERNATIONAL VERIFICATION OF COMPLIANCE WITH INTERNATIONAL AGREEMENTS." Constitutional State, no. 43 (October 26, 2021): 177–84. http://dx.doi.org/10.18524/2411-2054.2021.43.240998.

Full text
Abstract:
The forms and methods of international verification, their varieties and related categories are considered in the paper. It is determined that the key feature of verification forms is a body carrying out verification activities. Consequently, it is proposed to understand the verification form as a way of organization and particularities of this activity. It has been found that the category of subject is often also used for a simple division of verification into types, which does not fully reflect the specifics of verification activities. Two main forms of international verification are disting
APA, Harvard, Vancouver, ISO, and other styles
10

ZEQIRI, Jetmire. "GENERAL OPERATIONAL MEASURES AND ACTIONS-TACTICAL PREVENTIVE-REPRESENTATIVE CHARACTER." International Journal of Legal Sciences-JUSTICIA 12, no. 21-22 (2024): 49–56. http://dx.doi.org/10.62792/ut.jus.v12.i21-22.p2752.

Full text
Abstract:
Criminal verification is a measure and a general operative-tactical action, the purpose of which is to prove the accuracy (reasonableness) of the collected (understood) effects (indices, grounds of suspicion), which point to a certain criminal offense, the perpetrator its or other important circumstances for the illumination of the criminal offense or certain criminal activity. Indices or data, the validity of which must be proven through verification, discarded or partially completed, may be of different degrees of probability, more or less real and logical, obtained or collected from differe
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Control and verification activity"

1

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 text
Abstract:
L’hadronthérapie est une technique de traitement des cancers basée sur l’utilisation de faisceaux d’ions (principalement des protons et des ions 12 C). L’intérêt des ions repose sur deux propriétés fondamentales. La première est d’ordre balistique. Le mode d’interaction des ions avec la matière, caractérisé par le phénomène de pic de Bragg, se traduit par une faible dispersion spatiale de l’énergie déposée dans les tissus. Ceci permet un très bon niveau de conformation au volume tumoral. La seconde est d’ordre biologique, notamment pour les ions 12 C qui présentent une cytotoxicité élevée, uti
APA, Harvard, Vancouver, ISO, and other styles
2

Bongrand, 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 text
Abstract:
L'utilisation de faisceaux d’ions (protons ou ions légers) permet d'obtenir, lors du traitement, un dépôt d'énergie localisé en fin de parcours dans une zone réduite de l'espace. Les cibles privilégiées pour cette thérapie sont les tumeurs « radiorésistantes » ou les traitements nécessitant une balistique très précise, du fait de la présence d'organes à risques à proximité de la tumeur. Cependant, comme la détermination du parcours des ions et donc de la dose délivrée est dépendante de grandeurs qui restent difficiles à mesurer précisément, d’importantes marges de sécurité doivent être prises
APA, Harvard, Vancouver, ISO, and other styles
3

Geshan, Susan Carol. "Signature verification for access control." Thesis, Monterey, California. Naval Postgraduate School, 1991. http://hdl.handle.net/10945/28533.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jobredeaux, Romain J. "Formal verification of control software." Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/53841.

Full text
Abstract:
In a context of heightened requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, this research proposes to advance the state of formal analysis for control software. Formal methods are a field of computer science that uses mathematical techniques and formalisms to rigorously analyze the behavior of programs. This research develops a framework and tools to express and prove high level properties of control law implementations. One goal is to bridge the gap between control theory and computer science. An annotation language is extended with s
APA, Harvard, Vancouver, ISO, and other styles
5

Collins, 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 text
APA, Harvard, Vancouver, ISO, and other styles
6

Ha, Vida Uyen 1980. "Verification of an attitude control system." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87408.

Full text
Abstract:
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.<br>Includes bibliographical references (p. 74).<br>by Vida Uyen Ha.<br>M.Eng.and S.B.
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Xuan. "Verification of digital controller implementations /." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd1073.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Koivu, 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 text
APA, Harvard, Vancouver, ISO, and other styles
9

Troxler, Robert Ernest. "Magnetic control of superconducting phase-shifters with experimental verification." Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/13443.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Beaumont, Paul James. "Model-based analysis of nuclear arms control verification processes." Thesis, Imperial College London, 2017. http://hdl.handle.net/10044/1/54653.

Full text
Abstract:
Reduction of nuclear arms in a verifiable manner that is trusted by two or more parties is a hard but important problem. Nations and organisations that wish to engage in such arms control verification activities need to be able to design procedures and control mechanisms that let them compute pertinent degrees of belief. Crucially, they also will need methods for reliably assessing their confidence in such beliefs, in situations with little or no contextual data to apply data-driven learning techniques on. This motivates the investigation of alternative methods of modelling beliefs. This thesi
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Control and verification activity"

1

Russell, Richard Allen. A space station structures and assembly verification experiment-save. National Aeronautics and Space Administration, Langley Research Center, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Yakimova, Vilena, Svetlana Pankova, and Sergey Khmura. Development of the financial control system of foreign economic activity of organizations. Publishing Center RIOR, 2021. http://dx.doi.org/10.29039/02068-5.

Full text
Abstract:
The monograph presents the results of research on theoretical and methodological aspects of the control of enterprises engaged in foreign economic activity. The features of export-import operations as a subject area of ​​control carried out by internal and external auditors are disclosed. The paper proposes the development of methodological support for compliance control based on the development of verification programs, working documentation forms, compliance procedures for assessing compliance with financial legislation. The monograph is intended for undergraduates, postgraduates and univers
APA, Harvard, Vancouver, ISO, and other styles
3

Canada. Dept. of External Affairs., ed. Verification research: Canada's Verification Research Program. External Affairs Canada, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

C, Potter William, and University of California, Los Angeles. Center for International and Strategic Affairs., eds. Verification and arms control. Lexington Books, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kunzendorff, Volker. Verification in conventional arms control. Brassey's for the IISS, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Geshan, Susan Carol. Signature verification for access control. Naval Postgraduate School, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Canada. External Affairs and International Trade Canada. Bibliography on arms control verification. s.n., 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Canada. External Affairs and International Trade Canada. Bibliography on arms control verification. s.n., 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Scrivener, David. Bibliography of arms control verification. Dartmouth Pub. Co., 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ulkoasiainministeriö, Finland, and Finnish Research Project on the Verification of Chemical Disarmament., eds. Verification database. Ministry for Foreign Affairs of Finland, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Control and verification activity"

1

Hublet, François, Leonardo Lima, David Basin, Srđan Krstić, and Dmitriy Traytel. "Proactive Real-Time First-Order Enforcement." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65630-9_8.

Full text
Abstract:
AbstractModern software systems must comply with increasingly complex regulations in domains ranging from industrial automation to data protection. Runtime enforcement addresses this challenge by empowering systems to not only observe, but also actively control, the behavior of target systems by modifying their actions to ensure policy compliance. We propose a novel approach to the proactive real-time enforcement of policies expressed in metric first-order temporal logic (MFOTL). We introduce a new system model, define an expressive MFOTL fragment that is enforceable in that model, and develop
APA, Harvard, Vancouver, ISO, and other styles
2

Tabuada, Paulo. "Verification." In Verification and Control of Hybrid Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Munoz-Hernandez, German Ardul, Sa’ad Petrous Mansoor, and Dewi Ieuan Jones. "Models Verification." In Advances in Industrial Control. Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-2291-3_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Basin, David, Matúš Harvan, Felix Klaedtke, and Eugen Zălinescu. "MONPOLY: Monitoring Usage-Control Policies." In Runtime Verification. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29860-8_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Yadegari, Babak, and Saumya Debray. "Control Dependencies in Interpretive Systems." In Runtime Verification. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67531-2_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Fremont, Daniel J., and Sanjit A. Seshia. "Reactive Control Improvisation." In Computer Aided Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96145-3_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Flanagan, Stephen J. "Safeguarding Arms Control." In Verification and Compliance. Palgrave Macmillan UK, 1988. http://dx.doi.org/10.1007/978-1-349-10143-6_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Scull Pupo, Angel Luis, Laurent Christophe, Jens Nicolay, Coen de Roover, and Elisa Gonzalez Boix. "Practical Information Flow Control for Web Applications." In Runtime Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03769-7_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lin, Hai, and Panos J. Antsaklis. "Formal Verification." In Advanced Textbooks in Control and Signal Processing. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-78731-8_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tabuada, Paulo. "Control." In Verification and Control of Hybrid Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Control and verification activity"

1

Bendiksen, B., and J. S. Gill. "Molecular Modeling in Scale Control - An Experimental Verification and ITS Limitations." In CORROSION 1996. NACE International, 1996. https://doi.org/10.5006/c1996-96164.

Full text
Abstract:
Abstract This work centers on the use of molecular modeling to study scale inhibition of alkaline earth scales such as calcium carbonate and calcium sulfate. The molecular modeling studies have shown the interaction of phosphonates with varied crystal faces of the scales. The software makes it possible to visualize the important crystal faces and match the geometry of the inhibitor to the crystal planes that determine the morphology of the resulting solid. Molecular Dynamics (MD) calculations can reveal specific interactions of inhibitors with scale surfaces. Quantitative Structure Activity Re
APA, Harvard, Vancouver, ISO, and other styles
2

Rusznak, Linda H., and Kevin W. Pidane. "Dynamic Simulation of Biofouling and Corrosion Recovery." In CORROSION 2001. NACE International, 2001. https://doi.org/10.5006/c2001-01275.

Full text
Abstract:
Abstract A laboratory recirculation test rig outfitted with corrosion coupons, linear polarization, annular heat transfer rods and a pressure drop tube were exposed to biological growth under simulated cooling water conditions. This experimental rig was designed to provide a means of quantifying the presence and intensity of biofilm in order to examine biofilm generation properties. The resulting biofilm was subjected to various biocide and dispersant treatments in order to evaluate heat transfer improvement and control of microbiological activity through monitoring planktonic and sessile bact
APA, Harvard, Vancouver, ISO, and other styles
3

Wu, Xiaoting, Xiaoyi Feng, Constantino Álvarez Casado, Lili Liu, and Miguel Bordallo López. "Exploring Facial Kinship Verification through Contactless Heart Activity Analysis." In ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2025. https://doi.org/10.1109/icassp49660.2025.10888280.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Mitsch, Stefan. "Towards Verification-Driven Control Learning." In 2024 International Conference on Assured Autonomy (ICAA). IEEE, 2024. http://dx.doi.org/10.1109/icaa64256.2024.00023.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Peitzsch, Andrew G., Mahdi Pirayesh Shirazi Nejad, and Ki H. Chon. "Development and Verification of an Electrode for Recording Electrodermal Activity Underwater." In 2024 IEEE 20th International Conference on Body Sensor Networks (BSN). IEEE, 2024. https://doi.org/10.1109/bsn63547.2024.10780503.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Vu, Hoang-Dieu, Quang-Tu Pham, Duc-Nghia Tran, et al. "Sports Activity Recognition with Deep Learning Models and Accelerometers." In 2024 9th International Conference on Integrated Circuits, Design, and Verification (ICDV). IEEE, 2024. http://dx.doi.org/10.1109/icdv61346.2024.10616822.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Mukta, Rahma, Hye-Young Paik, Qinghua Lu, and Salil S. Kanhere. "CredAct: Privacy-Preserving Activity Verification for Benefits Schemes in Self-Sovereign Identity." In 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, 2024. http://dx.doi.org/10.1109/icbc59979.2024.10634429.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Xue, Bai. "Reach-avoid Verification Using Lyapunov Densities." In 2024 43rd Chinese Control Conference (CCC). IEEE, 2024. http://dx.doi.org/10.23919/ccc63176.2024.10662060.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lourenço, Pedro, Hugo Costa, João Branco, et al. "Verification & validation of optimisation-based control systems: methods and outcomes of VV4RTOS." In ESA 12th International Conference on Guidance Navigation and Control and 9th International Conference on Astrodynamics Tools and Techniques. ESA, 2023. http://dx.doi.org/10.5270/esa-gnc-icatt-2023-155.

Full text
Abstract:
VV4RTOS is an activity supported by the European Space Agency aimed at the development and validation of a framework for the verification and validation of spacecraft guidance, navigation, and control (GNC) systems based on embedded optimisation, tailored to handle different layers of abstraction, from guidance and control (G&amp;C) requirements down to hardware level. This is grounded on the parallel design and development of real-time optimisation-based G&amp;C software, allowing to concurrently identify, develop, consolidate, and validate a set of engineering practices and analysis &amp; ve
APA, Harvard, Vancouver, ISO, and other styles
10

Bell, Mark, and Rahmat A. Shoureshi. "Hybrid Vibration Control of a Cable-Stayed Bridge." In ASME 1995 Design Engineering Technical Conferences collocated with the ASME 1995 15th International Computers in Engineering Conference and the ASME 1995 9th Annual Engineering Database Symposium. American Society of Mechanical Engineers, 1995. http://dx.doi.org/10.1115/detc1995-0581.

Full text
Abstract:
Abstract Hybrid vibration control, involving the combined use of feedforward and feedback control, is developed for a cable-stayed bridge using passivity-based control. The control objective is to reject all disturbances that cause unwanted motion in the bridge structure, namely seismic activity, wave loading and wind loading, while keeping energy consumption at a very low level. An experimental bridge prototype has been developed and simulations involving an analytical model derived from real data are presented. A three dimensional finite element model was developed of the bridge for verifica
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Control and verification activity"

1

DOUGLAS, J. G. At tank Low Activity Feed Homogeneity Analysis Verification. Office of Scientific and Technical Information (OSTI), 2000. http://dx.doi.org/10.2172/804787.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

STEWART, J. L. Technical safety requirements control level verification. Office of Scientific and Technical Information (OSTI), 1999. http://dx.doi.org/10.2172/782336.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bailey, J. M. Dual Mode Inverter Control Test Verification. Office of Scientific and Technical Information (OSTI), 2001. http://dx.doi.org/10.2172/814403.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Spurkland, Kristin. Framing Physical Activity: Weight Control Frames and Physical Activity Motivation. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.6332.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Drobot, A., L. Bunnell, W. Freeborn, et al. Verification of product quality from process control. Office of Scientific and Technical Information (OSTI), 1989. http://dx.doi.org/10.2172/6995908.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hu, Vincent C. Machine Learning for Access Control Policy Verification. National Institute of Standards and Technology, 2021. http://dx.doi.org/10.6028/nist.ir.8360.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hittinger, J. A., B. I. Cohen, and R. I. Klein. Uncertainty Quantification in the Fusion Simulation Project Verification and Validation Activity. Office of Scientific and Technical Information (OSTI), 2010. http://dx.doi.org/10.2172/1119966.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

STAEHR, T. W. Low Activity Waste Feed Process Control Strategy. Office of Scientific and Technical Information (OSTI), 2000. http://dx.doi.org/10.2172/803929.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Baldwin, Albert S. Control of Akt Activity in Prostate Cancer. Defense Technical Information Center, 2009. http://dx.doi.org/10.21236/ada512632.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

DeVolpi, A. Tags and seals to strengthen arms control verification. Office of Scientific and Technical Information (OSTI), 1990. http://dx.doi.org/10.2172/10149003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Control and verification activity' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography