نتایج جستجو برای: verification

تعداد نتایج: 75312  

Journal: :Synthese Library 2023

Abstract With the increased use of simulations as investigative tools in various scientific fields, question naturally arises to how these are epistemically justified. One natural approach is insist that numerical aspects simulation justification be performed separately from physical aspects, but Winsberg (2010) has argued this impossible for highly complex simulations. Based on a survey and cl...

Journal: :ACM Transactions on Algorithms 2018

Journal: :International Journal of Computer Applications 2011

Journal: :Modeling and Analysis of Information Systems 2018

Journal: :SSRN Electronic Journal 2019

Journal: :SIAM Journal on Computing 1984

Journal: :The International Journal of High Performance Computing Applications 2016

Journal: :Acta Informatica 2006

Journal: :Pattern Recognition Letters 1997

Journal: :Science of Computer Programming 2013

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید