Results 21 to 30 of about 4,197,782 (360)
Information and Computation, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Amir Pnueli, Lenore D. Zuck
openaire +3 more sources
Symbolic Quantitative Information Flow [PDF]
, 2012 acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords ...
Malacaria, P +3 more
core +1 more source
Verification Strategies for Establishing Reliability and Validity in Qualitative Research
, 2002 The rejection of reliability and validity in qualitative inquiry in the 1980s has resulted in an interesting shift for “ensuring rigor” from the investigator's actions during the course of the research, to the reader or consumer of qualitative inquiry ...
J. Morse +4 more
semanticscholar +1 more source
Generalized End-to-End Loss for Speaker Verification [PDF]
IEEE International Conference on Acoustics, Speech, and Signal Processing, 2017 In this paper, we propose a new loss function called generalized end-to-end (GE2E) loss, which makes the training of speaker verification models more efficient than our previous tuple-based end-to-end (TE2E) loss function.
Li Wan +3 more
semanticscholar +1 more source
Research on wireless acquisition and analysis system of gateway table data based on improved ACO algorithm [PDF]
E3S Web of ConferencesIn the past two years, due to the frequent combination of extreme weather and high primary energy prices and other factors, resulting in the continuous tension of power supply and demand in many places, the risk of power rationing has gradually increased.
An Chao, Wang Minzhe, Lv Lianxin
doaj +1 more source
Measurement: Sensors, 2022 In a high-volume food production line, several stainless-steel hoppers store, mix and dispense powdered ingredients to form food powders of the desired composition.
Hari Krishna Salila Vijayalal Mohan +1 more
doaj +1 more source
Research on the construction of load management system for power supply guarantee target [PDF]
E3S Web of ConferencesIn the past two years, due to the frequent combination of extreme weather and high primary energy prices and other factors, resulting in the continuous tension of power supply and demand in many places, the risk of power rationing has gradually increased.
Guo Linlang, An Chao, Huang Yihao
doaj +1 more source
AE-YOLOv5 for Detection of Power Line Insulator Defects
IEEE Open Journal of the Computer SocietyThe power transmission network, which delivers power energy from generator to customers, plays an important role in the power grid. Insulator is a basic component in the power transmission network.
Wei Shen +6 more
doaj +1 more source