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

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

Journal: :Journal of Global Optimization 2014

Journal: :Notre Dame Journal of Formal Logic 1980

Journal: :Electronic Proceedings in Theoretical Computer Science 2020

Journal: :Classical and Quantum Gravity 2006

Journal: :Advances in Science and Research 2016

ژورنال: آبخیزداری ایران 2019

The most important factor that should be considered in managing a watershed is, taking into account objectives under policies. In operating from water resources systems, in general, and in reservoir, in particular, operating rules should be extracted as multi-objective. In this paper, multi-objective genetic programming (MOGP) is developed and used. Then, after verification, it is used to extra...

B Farzamfar F Mahboudi M Zahrai S Bayanolhagh

Aflatoxins are a group of fungal toxic metabolites, which are contaminated certain food commodities. ELISA is one of the sensitive methods for detection of aflatoxins. Preparation and stabilizing of a proper conjugated tracer for detection of aflatoxins is probably the main step for designing an ELISA method. In current study, different stabilizers were applied to stabilize a newly prepared con...

One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...

2016
Tomi Kinnunen Md. Sahidullah Ivan Kukanov Héctor Delgado Massimiliano Todisco Achintya Kumar Sarkar Nicolai Bæk Thomsen Ville Hautamäki Nicholas W. D. Evans Zheng-Hua Tan

Text-dependent automatic speaker verification naturally calls for the simultaneous verification of speaker identity and spoken content. These two tasks can be achieved with automatic speaker verification (ASV) and utterance verification (UV) technologies. While both have been addressed previously in the literature, a treatment of simultaneous speaker and utterance verification with a modern, st...

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

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