Results 51 to 60 of about 4,197,782 (360)
Trigger based online monitor for buck converter output capacitor′s ESR
Dianzi Jishu Yingyong, 2019 Electrolytic capacitor as filter capacitor is widely used in switching power module, but it has higher failure rate than other components. In order to monitor the status of the electrolytic capacitor, the equivalent series resistance(ESR) is selected as ...
Gao Jun, Huang Daoping, Lu Jiafeng
doaj +1 more source
March 13, 2008 - Verité Convenes Consultative Meeting on Efforts to eliminate Child Labor in West African Cocoa Farming. [PDF]
, 2008 This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Cocoa Verification Board +1 more
core +1 more source
Anytime system level verification via parallel random exhaustive hardware in the loop simulation [PDF]
, 2016 System level verification of cyber-physical systems has the goal of verifying that the whole (i.e., software + hardware) system meets the given specifications.
MANCINI, Toni +4 more
core +1 more source
Population Ecology, EarlyView.We investigate the seasonal dynamics of two freshwater snails, Biomphalaria straminea and Melanoides tuberculata, in artificial reservoirs of the Brazilian semiarid region. Despite regulated hydrology, B. straminea exhibited strong seasonal fluctuations associated with dry periods, while M. tuberculata maintained stable populations throughout the year,
Lucas Henrique Sousa da Silva +6 more
wiley +1 more source
IEEE Open Journal of Intelligent Transportation Systems, 2023 Driving requires continuous decision making from a driver taking into account all available relevant information. Automating driving tasks also automates the related decisions.
Elvira Thonhofer +7 more
doaj +1 more source
Hidden Cost in the Global Economy: Human Trafficking of Philippine Males in Maritime, Construction and Agriculture [PDF]
, 2010 This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Verification Board +1 more
core +1 more source
Handwritten Signature Verification using Deep Learning [PDF]
, 2020 Every person has his/her own unique signature that is used mainly for the purposes of personal identification and verification of important documents or legal transactions.
Abu-Naser, Samy S. +6 more
core
From Event-B models to Dafny code contracts [PDF]
, 2015 International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification
C.A.R. Hoare +11 more
core +1 more source
From software verification to ‘everyware’ verification
Computer Science - Research and Development, 2013 Ubiquitous computing is a vision of computing in which the computer disappears from view and becomes embedded in our environment, in the equipment we use, in our clothes, and even in our body. Everyday objects--called `everyware' by Adam Greenfield--are now endowed with sensing, controlled by software, and often wirelessly connected and Internet ...
openaire +2 more sources
Moving in the Dark: Enlightening the Spatial Population Ecology of European Cave Salamanders
Population Ecology, EarlyView.We assessed individual interactions, movement ecology and activity patterns of a subterranean population of Speleomantes strinatii, applying spatial capture–recapture modeling to a photographic dataset of 104 individuals. ABSTRACT Space use and movement are fundamental aspects of organisms' ecology, mirroring individual fitness, behavior, and life ...
Giacomo Rosa +2 more
wiley +1 more source