Results 11 to 20 of about 2,188,915 (311)
A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems [PDF]
, 2013 . Hybrid systems with both discrete and continuous dynamics are an important model for real-world physical systems. The key challenge is how to ensure their correct functioning w.r.t. safety requirements.
Mitsch, Stefan +2 more
core +5 more sources
Likelihood-Ratio-Based Biometric Verification [PDF]
, 2004 The paper presents results on optimal similarity measures for biometric verification based on fixed-length feature vectors. First, we show that the verification of a single user is equivalent to the detection problem, which implies that, for single-user ...
Bazen, Asker M., Veldhuis, Raymond N.J.
core +13 more sources
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
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments
Sensors, 2021 Real-time estimation of temperatures in indoor environments is critical for several reasons, including the upkeep of comfort levels, the fulfillment of legal requirements, and energy efficiency. Unfortunately, setting an adequate number of sensors at the
Andrea Brunello +4 more
doaj +1 more source
Using feature-based verification methods to explore the spatial and temporal characteristics of the 2019 chlorophyll-a bloom season in a model of the European Northwest Shelf [PDF]
Ocean Science, 2021 Two feature-based verification methods, thus far only used for the diagnostic evaluation of atmospheric models, have been applied to compare ∼7 km resolution pre-operational analyses of chlorophyll-a (Chl-a) concentrations to a 1 km gridded satellite ...
M. Mittermaier +4 more
doaj +1 more source
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
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
Interrupt Verification via Thread Verification
Electronic Notes in Theoretical Computer Science, 2007 AbstractMost of the research effort towards verification of concurrent software has focused on multithreaded code. On the other hand, concurrency in low-end embedded systems is predominantly based on interrupts. Low-end embedded systems are ubiquitous in safety-critical applications such as those supporting transportation and medical automation; their ...
Regehr, John, Cooprider, Nathan
openaire +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
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