Academic literature on the topic 'Simulation of proof'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Simulation of proof.'
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 "Simulation of proof"
Frâncu, Mihai, Arni Asgeirsson, Kenny Erleben, and Mads J. L. Rønnow. "Locking-Proof Tetrahedra." ACM Transactions on Graphics 40, no. 2 (April 20, 2021): 1–17. http://dx.doi.org/10.1145/3444949.
Full textHushchyn, M., A. Ustyuzhanin, K. Arzymatov, S. Roiser, and A. Baranov. "The LHCb Grid Simulation: Proof of Concept." Journal of Physics: Conference Series 898 (October 2017): 052020. http://dx.doi.org/10.1088/1742-6596/898/5/052020.
Full textYang, Ming-Hour, and Jia-Ning Luo. "Fast Antinoise RFID-Aided Medical Care System." International Journal of Distributed Sensor Networks 2015 (2015): 1–13. http://dx.doi.org/10.1155/2015/971710.
Full textSheu, Jinn-Jong, Chien-Jen Ho, Cheng-Hsien Yu, and Kuo-Ting Wu. "Fastener products lightweight design and forming process simulation." MATEC Web of Conferences 185 (2018): 00030. http://dx.doi.org/10.1051/matecconf/201818500030.
Full textChou, Ching-Tsun. "Simple proof techniques for property preservation via simulation." Information Processing Letters 60, no. 3 (November 1996): 129–34. http://dx.doi.org/10.1016/s0020-0190(96)00149-4.
Full textKAWABE, Y., and H. SAKURADA. "An Adversary Model for Simulation-Based Anonymity Proof." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A, no. 4 (April 1, 2008): 1112–20. http://dx.doi.org/10.1093/ietfec/e91-a.4.1112.
Full textChaubey, V. K., and M. K. Rawat. "Design and simulation of a Mine Proof Mechanism." IOP Conference Series: Materials Science and Engineering 1116, no. 1 (April 1, 2021): 012120. http://dx.doi.org/10.1088/1757-899x/1116/1/012120.
Full textGAIDASHEV, DENIS G. "PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE." International Journal of Bifurcation and Chaos 21, no. 11 (November 2011): 3217–30. http://dx.doi.org/10.1142/s0218127411030477.
Full textLee, Youngkyung, Dong Hoon Lee, and Jong Hwan Park. "Revisiting NIZK-Based Technique for Chosen-Ciphertext Security: Security Analysis and Corrected Proofs." Applied Sciences 11, no. 8 (April 8, 2021): 3367. http://dx.doi.org/10.3390/app11083367.
Full textZhang, Qing Peng, and Jian Ru Wan. "Simulation of Generated Heat by Friction of Explosion-Proof Elevator Ropes." Advanced Materials Research 853 (December 2013): 413–20. http://dx.doi.org/10.4028/www.scientific.net/amr.853.413.
Full textDissertations / Theses on the topic "Simulation of proof"
Kotráš, Jan. "Security and Performance Testbed for Simulation of Proof-of-Stake Protocols." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-432907.
Full textBorčík, Filip. "Testování bezpečnosti a výkonu Proof-of-Stake Protokolů pomocí simulace." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445485.
Full textGüldogus, Melih. "Proof of Concept of Closed Loop Re-Simulation (CLR) Methods in Verification of Autonomous Vehicles." Thesis, KTH, Reglerteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-223978.
Full textI detta examensarbete, som utförs på Volvo Cars, undersöks hurvida ett closedloopre-simuleringsverktyg kan användas för att bevisa att en självkörande(AD) funktionalitet är säker baserat på tidigare insamlad kördata. Dennastudie involverar användandet av ett Model-in-the-loop baserat simuleringsverktygkallat Simulation Platform for Active Safety (SPAS) och en mjukvara förAktiv Säkerhet (AS).Förutsättningarna för att säkra en closed-loop re-simuleringsmiljö är att mjukvaransexekvering och fordonsmodellen i simuleringsmiljön valideras genomopen-loop tester. Den valididerade fordonsmodellen jämförs med data frånfysiska prover för att säkra hög konfidens i simuleringarna.Detta examensarbete fokuserar på att förbereda fordonsmodellen i SPAS medtryck på prestandan av auto-broms systemet. Fordonsmodellen i SPAS beredesgenom att ställa in bromsmodellen med fokus på EuNCAP lastfall där CLRmiljön skulle tillämpas. I processen att säkra CLR metoden var det viktigt attdesigna testfall i den virtuella miljön som så bra som möjligt matcha fältprovsfall för att kunna göra en trovärdig jämförelse, därav användes EuNCAP bromstestfall vid torrt underlag, ego hastighet upp mot 80km/h och målbilshasdeccelerationmellan 2 m/s2 och 6 m/s2Som ett resultat av dessa virtuella test har det empiriskt verifierat att CLRmetoden kan användas för att förutspå broms prestanda av fordonet i specifikatrafikscenarion för självkörande funktionalitet.
Стасюкевич, Анатолій Тимурович. "Аналіз параметрів рекурсивних протоколів SNARK-доведень та способи симуляції доведення у цих протоколах." Bachelor's thesis, КПІ ім. Ігоря Сікорського, 2020. https://ela.kpi.ua/handle/123456789/34528.
Full textThe goal of this qualification work is to analyze the parameters of SNARK-proofs and substantiate the properties of triplets in recursive SNARK-proofs. During the work, two proof simulation algorithms were built for the zk-SNARK protocol, depending on when the parameters for the simulation were received: during configuration or after. For the first time, the properties of triplets for recursive SNARKs were formulated and proved. The obtained results can be used for further development of the SNARK-proof protocol and the Coda protocol.
Owen, Justin. "Simulation of electron beam dyanmics in the 22 MeV accelerator for a coherent electron cooling proof of principle experiment." Thesis, State University of New York at Stony Brook, 2014. http://pqdtopen.proquest.com/#viewpdf?dispub=1553316.
Full textCoherent electron cooling (CeC) offers a potential new method of cooling hadron beams in colliders such as the Relativistic Heavy Ion Collider (RHIC) or the future electron ion collider eRHIC. A 22 MeV linear accelerator is currently being built as part of a proof of principle experiment for CeC at Brookhaven National Laboratory (BNL). In this thesis we present a simulation of electron beam dynamics including space charge in the 22 MeV CeC proof of principle experiment using the program ASTRA (A Space charge TRacking Algorithm).
Besada, Joona. "A Virtual Heart Valve Implant System : Navigating the idea space and developing a proof of concept for virtual transcatheter aortic valve replacement." Thesis, KTH, Maskinkonstruktion (Inst.), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-168740.
Full textAortastenos är en sjukdom som orsakar förträngning av aortaklafföppningen. Det är en sjukdom som återfinns hos mer än 2% av den äldre befolkningen. Tidigare har den enda effektiva behandlingen inneburit hjärtklaffersättning med öppen hjärtkirurgi, men under det senaste decenniet har det blivit möjligt att också behandla aortastenos med en perkutär procedur i form av kateterburen implantation av aortaklaff. En kateter som bär på en aortaklaffprotes förs fram till patientens hjärta där protesen sedan utplaceras. Dimensionering, positionering och orientering av protesen är viktiga överväganden i kateterburen implantation av aortaklaff. Syfte: Syftet är att undersöka genomförbarheten och potentiella funktioner hos ett virtuellt implanteringssystem för hjärtklaffproteser och hur tillgångarna hos Medical Devices Center och deras samarbetspartners kan skapa ett användbart verktyg för virtuell dimensionering, positionering samt orientering av kateterburna hjärtklaffproteser. Implementering: Utmaningar med kateterburen hjärtklaffimplantering bland kliniker och ingenjörer identifierades. Ett virtuellt implanteringssystem för hjärtklaffproteser föreslogs som en lösning. Idérymden utforskades och strukturerades systematiskt med en ny metod kallad för idésambandsträd-metoden. En konceptprototyp med 3D modeller på en aorta och en protes i tre olika storlekar skapades för att uppskatta om det finns användarvärde i ett virtuellt implanteringssystem för hjärtklaffproteser. Resultat & Slutsats: För den föreslagna lösningen av ett virtuellt implanteringssystem för hjärtklaffproteser genererades 43 unika idéer. Tre huvudsakliga grenar av idéer identifierades: Konstruering, simulering och en databasgren. Det uppskattades att simuleringsgrenen skulle kunna förse den största mängden användarvärde för en förhållandevis låg arbetsinsats. Konceptprototypen visade att det var möjligt att visuellt utvärdera interferensen av olika protesstorlekar inuti en 3D model av en aorta med hjälp av ett virtual reality system.
SILVA, FILHO Walter Belarmino da. "WALTER BELARMINO DA SILVA FILHO." Universidade Federal de Campina Grande, 2017. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1491.
Full textMade available in DSpace on 2018-08-17T19:19:40Z (GMT). No. of bitstreams: 1 WALTER BELARMINO DA SILVA FILHO – DISSERTAÇÃO (PPGEM) 2017.pdf: 7502952 bytes, checksum: ae7fd33b1f96a68780e718b129b40e97 (MD5) Previous issue date: 2017-11-30
O presente estudo documentado neste trabalho buscou o desenvolvimento, a partir das soluções apresentadas na literatura, de um dispositivo para a realização de ensaio de tração biaxial. Inicialmente realizado um estudo que foi condensado em um quadro de informações e posteriormente extraído os dados que serviram como base para o projeto. Aplicando a metodologia de projeto e analisado os dados iniciais, foi escolhido um dispositivo a ser acoplado em uma máquina de tração convencional, devido à facilidade na aplicação. Seguindo a metodologia, teve a etapa de projeto informacional, projeto conceitual, projet o preliminar, projeto detalhado, fabricação e teste. O teste do protótipo foi realizado com corpo de prova em formato de cruz segundo a norma ISO 16842:2014. Sendo possível o desenvolvimento de um dispositivo de ensaio biaxial baseado no mecanismo apresentado por Rohr, Harwick e Nahme para ser acoplado em uma máquina de ensaio de tração universal e utilizando um corpo de prova cruciforme.
The present study, which was documented in this paper, sought to develop a device for conducting a biaxial traction test using the solutions presented in the literature. Initially conducted a study that was condensed into an information frame and subsequently extracted the data that served as the basis for the project. Applying the design methodology and analyzing the initial data, a device to be coupled to a conventional traction machine was chosen due to its ease of application. Following the methodology, had the stage of informational design, conceptual design, preliminary design, detailed design, fabrication and testing. The prototype test was performed with a cross-shaped test piece according to ISO 16842: 2014. It is possible to develop a biaxial test device based on the mechanism presented by Rohr, Harwick and Nahme to be coupled to a universal traction test machine and using a cruciform test body.
Shi, Xiaomu. "Certification of an Instruction Set Simulator." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00937524.
Full textMathuriya, Amrita. "Prediction of secondary structures for large RNA molecules." Thesis, Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/28195.
Full textCommittee Chair: Bader, David; Committee Co-Chair: Heitsch, Christine; Committee Member: Harvey, Stephen; Committee Member: Vuduc, Richard.
Knirck, Stefan Paul Nikolas [Verfasser], Béla [Akademischer Betreuer] Majorovits, Peter [Gutachter] Fierlinger, and Béla [Gutachter] Majorovits. "How To Search for Axion Dark Matter with MADMAX (MAgnetized Disk and Mirror Axion eXperiment) : A Survey of Systematic Uncertainties and Design Opportunities in Dielectric Haloscopes: Theory, Simulation and Proof of Principle Setup / Stefan Paul Nikolas Knirck ; Gutachter: Peter Fierlinger, Béla Majorovits ; Betreuer: Béla Majorovits." München : Universitätsbibliothek der TU München, 2020. http://d-nb.info/1214808603/34.
Full textBooks on the topic "Simulation of proof"
Roever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge: Cambridge University Press, 2009.
Find full text1966-, Engelhardt Kai, and Buth Karl-Heinz, eds. Data refinement: Model-oriented proof methods and their comparison. Cambridge, UK: Cambridge University Press, 1998.
Find full textMermet, Jean, ed. VHDL for Simulation, Synthesis and Formal Proofs of Hardware. Boston, MA: Springer US, 1992. http://dx.doi.org/10.1007/978-1-4615-3562-1.
Full textMermet, Jean. VHDL for simulation, synthesis and formal proofs of hardware. Dordrecht: Springer Science+Business Media, B.V., 1992.
Find full textVeanes, Margus. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Find full textJacques, Julliand, and SpringerLink (Online service), eds. Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Find full textYungk, George Lee. The development of an intelligent graphics interface for the RESA wargaming simulation terminals: A Proof of Concept. 1988.
Find full textRoever, Willem-Paul de, and Kai Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 2001.
Find full textDawid, Herbert, Simon Gemkow, Philipp Harting, Sander van der Hoog, and Michael Neugart. Agent-Based Macroeconomic Modeling and Policy Analysis. Edited by Shu-Heng Chen, Mak Kaboudan, and Ye-Rong Du. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199844371.013.19.
Full textP, Mermet Jean, ed. VHDL for simulation, synthesis, and formal proofs of hardware. Dordrecht: Kluwer Academic, 1992.
Find full textBook chapters on the topic "Simulation of proof"
Codreanu, Elias, Sina Huber, Sarah Reinhold, Daniel Sommerhoff, Birgit J. Neuhaus, Ralf Schmidmaier, Stefan Ufer, and Tina Seidel. "Diagnosing Mathematical Argumentation Skills: A Video-Based Simulation for Pre-Service Teachers." In Learning to Diagnose with Simulations, 33–47. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-89147-3_4.
Full textMessner, Jochen. "On the Structure of the Simulation Order of Proof Systems." In Lecture Notes in Computer Science, 581–92. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45687-2_48.
Full textClaret, Guillaume, Lourdes del Carmen González Huesca, Yann Régis-Gianas, and Beta Ziliani. "Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation." In Interactive Theorem Proving, 67–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39634-2_8.
Full textLindell, Yehuda. "How to Simulate It – A Tutorial on the Simulation Proof Technique." In Tutorials on the Foundations of Cryptography, 277–346. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57048-8_6.
Full textShi, Ruotong, and Weibin Zhang. "Application of Computer Environment Simulation Technology in Explosion Proof Equipment Experiment." In 2021 International Conference on Applications and Techniques in Cyber Intelligence, 596–604. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79200-8_88.
Full textCavalcanti, Ana, Will Barnett, James Baxter, Gustavo Carvalho, Madiel Conserva Filho, Alvaro Miyazawa, Pedro Ribeiro, and Augusto Sampaio. "RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing." In Software Engineering for Robotics, 249–93. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-66494-7_9.
Full textLi, Hongda, and Bao Li. "An Unbounded Simulation-Sound Non-interactive Zero-Knowledge Proof System for NP." In Information Security and Cryptology, 210–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11599548_18.
Full textKratz, Bernd, Florian Wieduwilt, and Maxim Saveliev. "Pillars for Establishing a Durable and Future-Proof IT Architecture Maturing Along with the NSC: Approaches from Continuous Integration to Service Mesh." In Mathematical Modeling and Simulation of Systems, 43–57. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-89902-8_4.
Full textde Paula Ferreira, William, Arun Palaniappan, Fabiano Armellini, Luis Antonio de Santa-Eulalia, Elaine Mosconi, and Guillaume Marion. "Linking Industry 4.0, Learning Factory and Simulation: Testbeds and Proof-of-Concept Experiments." In Studies in Computational Intelligence, 85–96. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-61045-6_7.
Full textPain, Puspak, Arindam Sadhu, Kunal Das, and Maitreyi Ray Kanjilal. "Physical Proof and Simulation of Ternary Logic Gate in Ternary Quantum Dot Cellular Automata." In Computational Advancement in Communication Circuits and Systems, 375–85. Singapore: Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-13-8687-9_34.
Full textConference papers on the topic "Simulation of proof"
""""Surgical Gps"" Proof of Concept for Scoliosis Surgery"." In 2020 Spring Simulation Conference. Society for Modeling and Simulation International (SCS), 2020. http://dx.doi.org/10.22360/springsim.2020.msm.007.
Full textMeier, Oliver, Sebastian Trojahn, and Henning Strubelt. "Perspectives of a future-proof primary resource logistics chain." In 2017 Winter Simulation Conference (WSC). IEEE, 2017. http://dx.doi.org/10.1109/wsc.2017.8248058.
Full textMcCamant, Stephen, and Michael D. Ernst. "A simulation-based proof technique for dynamic information flow." In the 2007 workshop. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1255329.1255336.
Full textHorne, Gary, and Stephan Seichter. "Data Farming in support of NATO operations - methodology and proof-of-concept." In 2014 Winter Simulation Conference - (WSC 2014). IEEE, 2014. http://dx.doi.org/10.1109/wsc.2014.7020079.
Full textHerawan, Tutut, and Mustafa Mat Deris. "A Direct Proof of Every Rough Set is a Soft Set." In 2009 Third Asia International Conference on Modelling & Simulation. IEEE, 2009. http://dx.doi.org/10.1109/ams.2009.148.
Full textMeddeb, Olfa, Fouad Ben Abdelaziz, and Jos Rui Figueira. "A characterization of fuzzy strategy-proof social choice functions." In 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO 2013). IEEE, 2013. http://dx.doi.org/10.1109/icmsao.2013.6552715.
Full textWang, Yu. "The Mathematical Modeling and Proof of the Goldbach Conjecture." In 2018 3rd International Conference on Modelling, Simulation and Applied Mathematics (MSAM 2018). Paris, France: Atlantis Press, 2018. http://dx.doi.org/10.2991/msam-18.2018.6.
Full textCinkler, Tibor, and Peter Soproni. "Generalized shared protection (GSP): Simulation results and proof of optimality." In 2015 7th International Workshop on Reliable Networks Design and Modeling (RNDM). IEEE, 2015. http://dx.doi.org/10.1109/rndm.2015.7325217.
Full textRupp, Andreas Norbert, André Heinrietz, and Oliver Ehl. "Simulation of the Experimental Proof Out of Wheels and Hubs." In SAE 2002 World Congress & Exhibition. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2002. http://dx.doi.org/10.4271/2002-01-1202.
Full textLugaresi, Giovanni, Davide Travaglini, and Andrea Matta. "A LEGO® Manufacturing System as Demonstrator for A Real-Time Simulation Proof of Concept." In 2019 Winter Simulation Conference (WSC). IEEE, 2019. http://dx.doi.org/10.1109/wsc40007.2019.9004733.
Full textReports on the topic "Simulation of proof"
Athreya, Krishna B., Hani Doss, and Jayaram Sethuraman. A Proof of Convergence of the Markov Chain Simulation Method. Fort Belvoir, VA: Defense Technical Information Center, July 1992. http://dx.doi.org/10.21236/ada255456.
Full textSanz, Asier`. Numerical simulation tools for PVT collectors and systems. IEA SHC Task 60, September 2020. http://dx.doi.org/10.18777/ieashc-task60-2020-0006.
Full textBen Spencer, Jeremey Busby, Richard Martineau, and Brian Wirth. A Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool. Office of Scientific and Technical Information (OSTI), October 2012. http://dx.doi.org/10.2172/1060989.
Full textTidwell, Vincent, Thushara Gunda, Mariah Caballero, Pei Xu, Xuesong Xu, Rich Bernknopf, Craig Broadbent, Leonard Malczynski, and Jake Jacobson. Produced Water-Economic, Socio, Environmental Simulation Model (PW-ESEim) Model: Proof-of-Concept for Southeastern New Mexico . Office of Scientific and Technical Information (OSTI), May 2022. http://dx.doi.org/10.2172/1868149.
Full textOwen, Justin. Simulation of Electron Beam Dynamics in the 22 MeV Accelerator for a Coherent Electron Cooling Proof of Principle Experiment. Office of Scientific and Technical Information (OSTI), December 2013. http://dx.doi.org/10.2172/1341607.
Full textAlt, Jonathan, Willie Brown, George Gallarno, John Richards, and Titus Rice. Risk-based prioritization of operational condition assessments : Jennings Randolph case study. Engineer Research and Development Center (U.S.), April 2022. http://dx.doi.org/10.21079/11681/43862.
Full textCialone, Mary, David Mark, S. Keith Martin, Dennis Webb, Mary Allison, Rhonda Taylor, Thomas KcKenna, and James Hill. Analysis of the effect of environmental conditions in conducting amphibious assaults using a ship simulator/vessel-response model proof-of-concept study. Coastal and Hydraulics Laboratory (U.S.), May 2017. http://dx.doi.org/10.21079/11681/22554.
Full text