Journal articles on the topic 'Simulation of proof'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research 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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
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 textLiu, Hong, wen-Hao Hu, and Shao-Xiang Shen. "Simulation Analysis of Experiment Vessel of Explosion-Proof Valve." IOP Conference Series: Materials Science and Engineering 740 (March 17, 2020): 012008. http://dx.doi.org/10.1088/1757-899x/740/1/012008.
Full textTraoré, Mamadou K. "Unifying Digital Twin Framework: Simulation-Based Proof-of-Concept." IFAC-PapersOnLine 54, no. 1 (2021): 886–93. http://dx.doi.org/10.1016/j.ifacol.2021.08.105.
Full textRubel, Lee A. "Digital simulation of analog computation and Church's thesis." Journal of Symbolic Logic 54, no. 3 (September 1989): 1011–17. http://dx.doi.org/10.2307/2274761.
Full textNicolov, Mirela, Alina Heghes, Izabella Petre, and Ovidiu Alexandru Mederle. "Theoretical and Experimental Analysis of SiO2 - a Proof of Hartman Perdok Method." Revista de Chimie 69, no. 4 (May 15, 2018): 948–51. http://dx.doi.org/10.37358/rc.18.4.6234.
Full textWan, Zhen, Feng Cui, Yun Kui Zhang, Wu Liu, Wen Yuan Chen, and Wei Ping Zhang. "Design of Proof Mass and System-Level Simulation of a Micromachined Electrostatically Suspended Accelerometer." Advanced Materials Research 317-319 (August 2011): 1631–34. http://dx.doi.org/10.4028/www.scientific.net/amr.317-319.1631.
Full textJung, Erik, Victoria Ly, Christopher Cheney, Nicholas Cessna, Mai Linh Ngo, Dennis Castro, and Mircea Teodorescu. "Design, Construction and Validation of a Proof of Concept Flexible–Rigid Mechanism Emulating Human Leg Behavior." Applied Sciences 11, no. 19 (October 8, 2021): 9351. http://dx.doi.org/10.3390/app11199351.
Full textMoshagen, Thilo. "Convergence of explicitly coupled simulation tools (co-simulations)." Journal of Numerical Mathematics 27, no. 1 (March 26, 2019): 23–36. http://dx.doi.org/10.1515/jnma-2017-0073.
Full textHong, Han Ping, and Niels C. Lind. "Proof load test levels by exact integration." Canadian Journal of Civil Engineering 18, no. 2 (April 1, 1991): 297–302. http://dx.doi.org/10.1139/l91-034.
Full textShi, Jia Lian, Chang Liang Xu, and Kui Bo Jiang. "Analysis for Wedge Falling-Proof Brake Assembly of Lifter with Converter Oxygen Lance." Advanced Materials Research 744 (August 2013): 3–7. http://dx.doi.org/10.4028/www.scientific.net/amr.744.3.
Full textLiu, Feng, Qingping Tan, and Gang Chen. "Formal proof of prefix adders." Mathematical and Computer Modelling 52, no. 1-2 (July 2010): 191–99. http://dx.doi.org/10.1016/j.mcm.2010.02.008.
Full textSizuo, Yokota. "A proof of a neglected proof." Journal of Theoretical Biology 129, no. 4 (December 1987): 453–55. http://dx.doi.org/10.1016/s0022-5193(87)80024-3.
Full textSTEWART, IAN. "ELIMINATION OF MULTIPLE ARROWS AND SELF-CONNECTIONS IN COUPLED CELL NETWORKS." International Journal of Bifurcation and Chaos 17, no. 01 (January 2007): 99–106. http://dx.doi.org/10.1142/s0218127407017197.
Full text郝, 海霞. "Proof and Matlab Simulation of the Para-Symmetry DMC Capacity." Pure Mathematics 09, no. 03 (2019): 465–71. http://dx.doi.org/10.12677/pm.2019.93062.
Full textChung, D., L. Chan, M. MacDonald, N. Hutchins, and A. Ooi. "A fast direct numerical simulation method for characterising hydraulic roughness." Journal of Fluid Mechanics 773 (May 26, 2015): 418–31. http://dx.doi.org/10.1017/jfm.2015.230.
Full textZhang, Qing Peng, and Jian Ru Wan. "Numerical Simulation and Analysis of Thermal Energy Generated by Friction on Explosion-Proof Elevator." Advanced Materials Research 853 (December 2013): 421–27. http://dx.doi.org/10.4028/www.scientific.net/amr.853.421.
Full textKong, Xian, and Jianwen Jiang. "Porous organic cage membranes for water desalination: a simulation exploration." Physical Chemistry Chemical Physics 19, no. 28 (2017): 18178–85. http://dx.doi.org/10.1039/c7cp02670f.
Full textRudi, Alessandro, Leonard Wossnig, Carlo Ciliberto, Andrea Rocchetto, Massimiliano Pontil, and Simone Severini. "Approximating Hamiltonian dynamics with the Nyström method." Quantum 4 (February 20, 2020): 234. http://dx.doi.org/10.22331/q-2020-02-20-234.
Full textTorres, Angélica, and Elisenda Feliu. "Symbolic Proof of Bistability in Reaction Networks." SIAM Journal on Applied Dynamical Systems 20, no. 1 (January 2021): 1–37. http://dx.doi.org/10.1137/20m1326672.
Full textDI COSMO, ROBERTO, DELIA KESNER, and EMMANUEL POLONOVSKI. "Proof nets and explicit substitutions." Mathematical Structures in Computer Science 13, no. 3 (May 20, 2003): 409–50. http://dx.doi.org/10.1017/s0960129502003791.
Full textPang, Guo Li, Dan Qi Chen, and Meng Huang. "Research on Building Earthquake Disaster Simulation." Advanced Materials Research 791-793 (September 2013): 1228–31. http://dx.doi.org/10.4028/www.scientific.net/amr.791-793.1228.
Full textHeimann, F. U. M., D. Rickenmann, M. Böckli, A. Badoux, J. M. Turowski, and J. W. Kirchner. "Calculation of bedload transport in Swiss mountain rivers using the model sedFlow: proof of concept." Earth Surface Dynamics 3, no. 1 (January 12, 2015): 35–54. http://dx.doi.org/10.5194/esurf-3-35-2015.
Full textMortici, Cristinel. "The proof of Muqattash–Yahdi conjecture." Mathematical and Computer Modelling 51, no. 9-10 (May 2010): 1154–59. http://dx.doi.org/10.1016/j.mcm.2009.12.030.
Full textZhu, Zhi, Yonglin Lei, and Yifan Zhu. "Model Driven Combat Effectiveness Simulation Systems Engineering." Defence Science Journal 70, no. 1 (February 10, 2020): 54–59. http://dx.doi.org/10.14429/dsj.70.12777.
Full textDieker, A. B., and M. Mandjes. "ON SPECTRAL SIMULATION OF FRACTIONAL BROWNIAN MOTION." Probability in the Engineering and Informational Sciences 17, no. 3 (June 6, 2003): 417–34. http://dx.doi.org/10.1017/s0269964803173081.
Full textLiu, Yu, Zhi Yu Wen, Li Chen, and Hong Yun Yang. "Design and Simulation of a Capacitive Biaxial Microaccelerometer." Key Engineering Materials 503 (February 2012): 194–98. http://dx.doi.org/10.4028/www.scientific.net/kem.503.194.
Full textLu, Dawei, Nanyang Xu, Boruo Xu, Zhaokai Li, Hongwei Chen, Xinhua Peng, Ruixue Xu, and Jiangfeng Du. "Experimental study of quantum simulation for quantum chemistry with a nuclear magnetic resonance simulator." Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 370, no. 1976 (October 13, 2012): 4734–47. http://dx.doi.org/10.1098/rsta.2011.0360.
Full textWang, Zhong Yi, Jia Han, Xu Yang, and Tao Sun. "Numerical Simulation and Experimental Research on a Splash-Proof Water Injector." Advanced Materials Research 291-294 (July 2011): 2866–70. http://dx.doi.org/10.4028/www.scientific.net/amr.291-294.2866.
Full textLong, Ri Sheng, Zi Sheng Lian, Shao Ni Sun, and Qi Liang Wang. "Flow Field Simulation in Water Washing Tank of Explosion-Proof Diesel." Advanced Materials Research 989-994 (July 2014): 3456–59. http://dx.doi.org/10.4028/www.scientific.net/amr.989-994.3456.
Full textZid, Youssef, Sonia ZaibiAmmar, and Ridha Bouallegue. "Joint network/channel decoding algorithm for wireless networks and proof simulation." International Journal of Distributed and Parallel systems 4, no. 1 (January 31, 2013): 33–39. http://dx.doi.org/10.5121/ijdps.2013.4103.
Full textBritz, D. "Consistency proof of Feldberg's simple BDF start in electrochemical digital simulation." Journal of Electroanalytical Chemistry 515, no. 1-2 (November 2001): 1–7. http://dx.doi.org/10.1016/s0022-0728(01)00641-6.
Full textShen, Wei, and Qingyun Wang. "Construction and simulation of explosion-proof electric proportional pump for mine." IOP Conference Series: Earth and Environmental Science 300 (August 9, 2019): 022008. http://dx.doi.org/10.1088/1755-1315/300/2/022008.
Full textHimmelhuber, Roland, Oscar D. Herrera, Ram Voorakaranam, Li Li, Adam M. Jones, Robert A. Norwood, Jingdong Luo, Alex K. Y. Jen, and Nasser Peyghambarian. "A Silicon-Polymer Hybrid Modulator—Design, Simulation and Proof of Principle." Journal of Lightwave Technology 31, no. 24 (December 2013): 4067–72. http://dx.doi.org/10.1109/jlt.2013.2284547.
Full textVan Cauwenberge, David J., Laurien A. Vandewalle, Pieter A. Reyniers, Kevin M. Van Geem, Guy B. Marin, and Jens Floré. "Periodic reactive flow simulation: Proof of concept for steam cracking coils." AIChE Journal 63, no. 5 (October 19, 2016): 1715–26. http://dx.doi.org/10.1002/aic.15530.
Full textWang, Yunyi, Zhaoli Wang, Xue Zhang, Min Wang, and Jun Li. "CFD simulation of naked flame manikin tests of fire proof garments." Fire Safety Journal 71 (January 2015): 187–93. http://dx.doi.org/10.1016/j.firesaf.2014.11.020.
Full textMartynenko, S. I. "About convergence proof of robust multigrid technique." Mathematical Models and Computer Simulations 3, no. 3 (May 25, 2011): 333–45. http://dx.doi.org/10.1134/s2070048211030082.
Full textWang, Hai, and Xiao Pin Xia. "Simulation of Manipulator with Flexible Joint." Applied Mechanics and Materials 325-326 (June 2013): 999–1003. http://dx.doi.org/10.4028/www.scientific.net/amm.325-326.999.
Full textLertxundi, Unai, Jorge Aramburu, Julio Ortega, Macarena Rodríguez-Fraile, Bruno Sangro, José Ignacio Bilbao, and Raúl Antón. "CFD Simulations of Radioembolization: A Proof-of-Concept Study on the Impact of the Hepatic Artery Tree Truncation." Mathematics 9, no. 8 (April 12, 2021): 839. http://dx.doi.org/10.3390/math9080839.
Full textZhou, Kun. "Monte Carlo simulation for soot dynamics." Thermal Science 16, no. 5 (2012): 1391–94. http://dx.doi.org/10.2298/tsci1205391z.
Full textSTEWART, IAN. "AN OPTIMAL LIFTING THEOREM FOR COUPLED CELL NETWORKS." International Journal of Bifurcation and Chaos 21, no. 09 (September 2011): 2481–87. http://dx.doi.org/10.1142/s0218127411029872.
Full textXiang, Fei Fei, Xue Jun Chen, Hua Gang Sun, and Hong Wei Lou. "Dynamics Simulation of Cannon Based on RecurDyn." Applied Mechanics and Materials 347-350 (August 2013): 3523–26. http://dx.doi.org/10.4028/www.scientific.net/amm.347-350.3523.
Full text