Journal articles on the topic 'Dynamic verification'
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 'Dynamic verification.'
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.
Worthington, T. K., J. J. Chainer, J. D. Willford, and S. C. Gunderson. "IBM dynamic signature verification." Computers & Security 5, no. 2 (June 1986): 167–68. http://dx.doi.org/10.1016/0167-4048(86)90146-x.
Full textAl-Shoshan, Abdullah I. "Signature Verification Using Dynamic Biometrics." Advanced Science Letters 22, no. 10 (October 1, 2016): 2992–94. http://dx.doi.org/10.1166/asl.2016.7096.
Full textVenkat, K., Liang Chen, Ichiang Lin, P. Mistry, and P. Madhani. "Timing verification of dynamic circuits." IEEE Journal of Solid-State Circuits 31, no. 3 (March 1996): 452–55. http://dx.doi.org/10.1109/4.494208.
Full textMeixner, Albert, and Daniel J. Sorin. "Dynamic Verification of Sequential Consistency." ACM SIGARCH Computer Architecture News 33, no. 2 (May 2005): 482–93. http://dx.doi.org/10.1145/1080695.1070010.
Full textMarmsoler, Diego, and Ana Petrovska. "Runtime verification for dynamic architectures." Journal of Logical and Algebraic Methods in Programming 118 (January 2021): 100618. http://dx.doi.org/10.1016/j.jlamp.2020.100618.
Full textTrokoz, D. A. "Direct dynamic biometric verification technique." Вестник Ростовского государственного университета путей сообщения, no. 1 (2021): 70–79. http://dx.doi.org/10.46973/0201-727x_2021_1_70.
Full textAsadi, Farshid, and Ali Heydari. "Analytical dynamic modeling of Delta robot with experimental verification." Proceedings of the Institution of Mechanical Engineers, Part K: Journal of Multi-body Dynamics 234, no. 3 (June 3, 2020): 623–30. http://dx.doi.org/10.1177/1464419320929160.
Full text., EdigaLingappa, Geetavani B. ., and JambulaHareesha . "Online Signature Verification using Dynamic Properties." International Journal of Scientific Research in Computer Science and Engineering 5, no. 6 (December 31, 2017): 33–38. http://dx.doi.org/10.26438/ijsrcse/v5i6.3338.
Full textBergadano, F., D. Gunetti, and C. Picardi. "Identity verification through dynamic keystroke analysis." Intelligent Data Analysis 7, no. 5 (November 17, 2003): 469–96. http://dx.doi.org/10.3233/ida-2003-7506.
Full textWei, Zukuan, Hongyeon Kim, Youngkyun Kim, and Jaehong Kim. "Membership Verification in Authenticating Dynamic Sets." International Journal of Online Engineering (iJOE) 9, no. 5 (September 15, 2013): 62. http://dx.doi.org/10.3991/ijoe.v9i5.2973.
Full textLeggett, John, Glen Williams, Mark Usnick, and Mike Longnecker. "Dynamic identity verification via keystroke characteristics." International Journal of Man-Machine Studies 35, no. 6 (December 1991): 859–70. http://dx.doi.org/10.1016/s0020-7373(05)80165-8.
Full textJaniszewska, Marzena, and Grzegorz Nowakowski. "Dosimetric verification of dynamic wedged fields." Reports of Practical Oncology & Radiotherapy 8, no. 4 (2003): 139–52. http://dx.doi.org/10.1016/s1507-1367(03)71001-3.
Full textPang, HweeHwa, Jilian Zhang, and Kyriakos Mouratidis. "Scalable verification for outsourced dynamic databases." Proceedings of the VLDB Endowment 2, no. 1 (August 2009): 802–13. http://dx.doi.org/10.14778/1687627.1687718.
Full textZhou, Min, William N. N. Hung, Xiaoyu Song, Ming Gu, and Jiaguang Sun. "Temporal Coverage Analysis for Dynamic Verification." IEEE Transactions on Circuits and Systems II: Express Briefs 65, no. 1 (January 2018): 66–70. http://dx.doi.org/10.1109/tcsii.2017.2746744.
Full textGedafa, Daba S., Mustaque Hossain, Stefan Romanoschi, and Andrew J. Gisi. "Field Verification of Superpave Dynamic Modulus." Journal of Materials in Civil Engineering 22, no. 5 (May 2010): 485–94. http://dx.doi.org/10.1061/(asce)mt.1943-5533.0000048.
Full textVan Campenhout, D., T. Mudge, and K. A. Sakallh. "Timing verification of sequential dynamic circuits." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 18, no. 5 (May 1999): 645–58. http://dx.doi.org/10.1109/43.759081.
Full textYager, Neil, and Adnan Amin. "Dynamic registration selection for fingerprint verification." Pattern Recognition 39, no. 11 (November 2006): 2141–48. http://dx.doi.org/10.1016/j.patcog.2006.02.020.
Full textKurfess, T. R., D. E. Whitney, and M. L. Brown. "Verification of a Dynamic Grinding Model." Journal of Dynamic Systems, Measurement, and Control 110, no. 4 (December 1, 1988): 403–9. http://dx.doi.org/10.1115/1.3152703.
Full textLi, Qi, Xiaoyue Zou, Qun Huang, Jing Zheng, and Patrick P. C. Lee. "Dynamic Packet Forwarding Verification in SDN." IEEE Transactions on Dependable and Secure Computing 16, no. 6 (November 1, 2019): 915–29. http://dx.doi.org/10.1109/tdsc.2018.2810880.
Full textChangqing Wang and D. R. Musser. "Dynamic verification of C++ generic algorithms." IEEE Transactions on Software Engineering 23, no. 5 (May 1997): 314–23. http://dx.doi.org/10.1109/32.588523.
Full textHou, Xiao Peng, and You Neng Huang. "CBTC System Dynamic Data Security Verification Method." Applied Mechanics and Materials 734 (February 2015): 211–15. http://dx.doi.org/10.4028/www.scientific.net/amm.734.211.
Full textQIN, WEI, and YILONG YIN. "A NOVEL METHOD USING VIDEOS FOR FINGERPRINT VERIFICATION." International Journal of Pattern Recognition and Artificial Intelligence 26, no. 01 (February 2012): 1256002. http://dx.doi.org/10.1142/s0218001412560022.
Full textModenini, Dario, Anton Bahu, Giacomo Curzi, and Andrea Togni. "A Dynamic Testbed for Nanosatellites Attitude Verification." Aerospace 7, no. 3 (March 18, 2020): 31. http://dx.doi.org/10.3390/aerospace7030031.
Full textBrahimi, Said, Ramdane Maamri, and Zaidi Sahnoun. "Dynamic verification of hierarchical multi-agent plans." Multiagent and Grid Systems 13, no. 2 (July 4, 2017): 113–42. http://dx.doi.org/10.3233/mgs-170264.
Full textPopov, Latchezar. "Stochastic costly state verification and dynamic contracts." Journal of Economic Dynamics and Control 64 (March 2016): 1–22. http://dx.doi.org/10.1016/j.jedc.2015.12.006.
Full textMa, Dongfang, Danian Chen, Shanxing Wu, Huanran Wang, Canyuan Cai, and Gaotao Deng. "Dynamic experimental verification of void coalescence criteria." Materials Science and Engineering: A 533 (January 2012): 96–106. http://dx.doi.org/10.1016/j.msea.2011.11.041.
Full textBack, S., S. Ceberg, and H. Gustafsson. "GEL DOSIMETRY FOR VERIFICATION OF DYNAMIC RADIOTHERAPY." Radiotherapy and Oncology 92 (August 2009): S126. http://dx.doi.org/10.1016/s0167-8140(12)72919-5.
Full textFüzi, János. "Experimental verification of a dynamic hysteresis model." Physica B: Condensed Matter 343, no. 1-4 (January 2004): 80–84. http://dx.doi.org/10.1016/j.physb.2003.08.038.
Full textCogumbreiro, Tiago, Raymond Hu, Francisco Martins, and Nobuko Yoshida. "Dynamic deadlock verification for general barrier synchronisation." ACM SIGPLAN Notices 50, no. 8 (December 18, 2015): 150–60. http://dx.doi.org/10.1145/2858788.2688519.
Full textSachs, G., J. Traugott, A. P. Nesterova, and F. Bonadonna. "Experimental verification of dynamic soaring in albatrosses." Journal of Experimental Biology 216, no. 22 (October 30, 2013): 4222–32. http://dx.doi.org/10.1242/jeb.085209.
Full textJanicke, H., A. Cau, F. Siewe, and H. Zedan. "Dynamic Access Control Policies: Specification and Verification." Computer Journal 56, no. 4 (September 7, 2012): 440–63. http://dx.doi.org/10.1093/comjnl/bxs102.
Full textCogumbreiro, Tiago, Raymond Hu, Francisco Martins, and Nobuko Yoshida. "Dynamic Deadlock Verification for General Barrier Synchronisation." ACM Transactions on Programming Languages and Systems 41, no. 1 (March 2019): 1–38. http://dx.doi.org/10.1145/3229060.
Full textPillay, S., A. Ariyaeeinia, P. Sivakumaran, and M. Pawlewski. "Effective speaker verification via dynamic mismatch compensation." IET Biometrics 1, no. 2 (2012): 130. http://dx.doi.org/10.1049/iet-bmt.2012.0001.
Full textFervari, Raul, Francisco Trucco, and Beta Ziliani. "Verification of dynamic bisimulation theorems in Coq." Journal of Logical and Algebraic Methods in Programming 120 (April 2021): 100642. http://dx.doi.org/10.1016/j.jlamp.2021.100642.
Full textDundović, Čedomir, Mirko Bilić, and Joško Dvornik. "Contribution to the Development of a Simulation Model for a Seaport in Specific Operating Conditions." PROMET - Traffic&Transportation 21, no. 5 (March 2, 2012): 331–40. http://dx.doi.org/10.7307/ptt.v21i5.248.
Full textLIU, YUBIN, and GANGFENG LIU. "RESEARCH ON RIGID BODY INVERSE DYNAMICS OF A NOVEL 6-PRRS PARALLEL ROBOT." Journal of Mechanics in Medicine and Biology 18, no. 08 (December 2018): 1840037. http://dx.doi.org/10.1142/s0219519418400377.
Full textFETISOV, A. S., and A. V. KORNAEV. "JOURNAL BEARING WITH VARIABLE DYNAMIC CHARACTERISTICS: SIMULATION RESULTS AND VERIFICATION." Fundamental and Applied Problems of Engineering and Technology 2 (2021): 140–45. http://dx.doi.org/10.33979/2073-7408-2021-346-2-140-145.
Full textCihlářová, Denisa, and Tomáš Seidler. "Analysis of Dynamic Through Movement on Roundabout / Analýza Dynamického Průjezdu Okružní Křižovatkou." Transactions of the VŠB – Technical University of Ostrava, Civil Engineering Series 12, no. 2 (December 1, 2012): 18–25. http://dx.doi.org/10.2478/v10160-012-0013-7.
Full textYOSHIMOTO, Takamichi, Yasuyoshi ASAI, Katsuhiro HIRATA, and Tomohiro OTA. "Dynamic Characteristic Analysis and Experimental Verification of 2-DoF Resonant Actuator under Feedback Control." Journal of the Japan Society of Applied Electromagnetics and Mechanics 23, no. 3 (2015): 521–26. http://dx.doi.org/10.14243/jsaem.23.521.
Full textEl-Henawy, Ibrahim, Magdy Rashad, Omima Nomir, and Kareem Ahmed. "Online Signature Verification: State of the art." INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 4, no. 2 (November 30, 2005): 664–78. http://dx.doi.org/10.24297/ijct.v4i2c2.4872.
Full textLuo, Wen Jun, and Lu Liu. "Multi-Replica Dynamic Data Verification for Cloud Computing." Applied Mechanics and Materials 263-266 (December 2012): 2939–44. http://dx.doi.org/10.4028/www.scientific.net/amm.263-266.2939.
Full textTakano, Tomihiro, Keinosuke Matsumoto, and Toshiaki Sakaguchi. "A Dynamic Verification Method for Knowledge-Based Systems." IEEJ Transactions on Power and Energy 111, no. 1 (1991): 125–32. http://dx.doi.org/10.1541/ieejpes1990.111.1_125.
Full textKim, Jin-Whan, Hyuk-Gyu Cho, and Eui-Young Cha. "A study on the Dynamic Signature Verification System." International Journal of Fuzzy Logic and Intelligent Systems 4, no. 3 (December 1, 2004): 271–76. http://dx.doi.org/10.5391/ijfis.2004.4.3.271.
Full textChen, Yan, Xiaoqing Ding, and Patrick S. P. Wang. "Dynamic Structural Statistical Model Based Online Signature Verification." International Journal of Digital Crime and Forensics 1, no. 3 (July 2009): 21–41. http://dx.doi.org/10.4018/jdcf.2009070102.
Full textGuest, Richard. "Age dependency in handwritten dynamic signature verification systems." Pattern Recognition Letters 27, no. 10 (July 2006): 1098–104. http://dx.doi.org/10.1016/j.patrec.2005.12.008.
Full textXiang, Sen. "Safety Verification of Dynamic Storage Management in Coq." Journal of Computer Research and Development 44, no. 2 (2007): 361. http://dx.doi.org/10.1360/crad20070225.
Full textTanimura, S., K. Mimura, and W. Zhu. "A dynamic constitutive equation and its experimental verification." Le Journal de Physique IV 10, PR9 (September 2000): Pr9–33—Pr9–38. http://dx.doi.org/10.1051/jp4:2000906.
Full textLevine, Marie B., and Ronald F. Scott. "Dynamic Response Verification of Simplified Bridge‐Foundation Model." Journal of Geotechnical Engineering 115, no. 2 (February 1989): 246–60. http://dx.doi.org/10.1061/(asce)0733-9410(1989)115:2(246).
Full textRashidi, S., A. Fallah, and F. Towhidkhah. "Feature extraction based DCT on dynamic signature verification." Scientia Iranica 19, no. 6 (December 2012): 1810–19. http://dx.doi.org/10.1016/j.scient.2012.05.007.
Full textChen, Wanqun, Yazhou Sun, Yingchun Liang, Qingshun Bai, Peng Zhang, and Haitao Liu. "Hydrostatic spindle dynamic design system and its verification." Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 228, no. 1 (August 16, 2013): 149–55. http://dx.doi.org/10.1177/0954405413497006.
Full text