Results 1 to 10 of about 268,099 (291)
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Behavioral synthesis involves compiling an Electronic System-Level (ESL) design into its Register-Transfer Level (RTL) implementation. Loop pipelining is one of the most critical and complex transformations employed in behavioral synthesis.
Disha Puri +3 more
doaj +6 more sources
Microcontroller-based Sonar Ultrasonic Water Level Control System with Closed-loop Control Approach [PDF]
MATEC Web of Conferences, 2023 This study proposes a microcontroller-based closed-loop water level control system that utilizes a sonar ultrasonic sensor to monitor and regulate water levels in a tank.
Ahmad Usman +5 more
doaj +1 more source
Uncovering the Dynamic System Driving Older Adults' Vitality: A Causal Loop Diagram Co‐Created With Dutch Older Adults [PDF]
Health ExpectationsBackground Most studies on older adults' vitality focus on linear connections between determinants and outcomes. To design more comprehensive and impactful approaches to support the vitality of older adults, a better understanding of the interplay among ...
Djoeke Besselink +7 more
doaj +2 more sources
Logical derivation search with assumption traceability
Lietuvos Matematikos Rinkinys, 2021 In this paper authors research the problem of traceability of assumptions in logical derivation. The essence of this task is to trace which assumptions from the available knowledge base of assumptions are necessary to derive a certain conclusion.
Adomas Birštunas, Elena Reivytytė
doaj +1 more source
Zhongguo shuxue zazhi, 2022 Objective To explore the effect of mobile transfusion closed-loop information system in the whole process management of clinical blood transfusion. Methods The hospital information system (HIS) of Soochow Hospital affiliated to Nanjing Medical University
Fan GUO +4 more
doaj +1 more source
Scalable Fact-checking with Human-in-the-Loop [PDF]
2021 IEEE International Workshop on Information Forensics and Security (WIFS), 2021 Accepted in IEEE International Workshop on Information Forensics and Security - WIFS 2021, Montpellier ...
Yang, Jing +3 more
openaire +2 more sources
Near-Field Reception of Dipole Sources Using a Dual-Loaded Loop
IEEE Access, 2023 The dual-loaded loop is a two-port antenna configured as two half-loops. Its advantage is the ability to sense two field components instead of the single component of a single-port loop.
Christopher G. Hynes, Rodney G. Vaughan
doaj +1 more source
Journalism and Fact-Checking Technologies: Understanding User Needs
communication +1, 2023 Fact-checking, defined as verifying information before publication, has become a prominent sub-genre of journalism over the last decade. These activities are characterized by their time-consuming aspects at each step of the process.
Laurence Dierickx
doaj +2 more sources
Cable tie technique for securing scleral fixation suture to intraocular lens
American Journal of Ophthalmology Case Reports, 2022 Purpose: To report a new flanged intrascleral fixation technique for subluxated or dislocated intraocular lens (IOL) with c-loop or double c-loop haptics (cable tie fixation method).
Youngsub Eom +7 more
doaj +1 more source
Fuzzy Implementation of Automatic Teaching of Hand-drawn Line Graph [PDF]
Jisuanji gongcheng, 2016 For the existing related works cannot be applied to automatic teaching of hand-drawn graph with high freedom degree,this paper proposes an automatic teaching method for fuzzy evaluation of line drawing quality based on open-loop and closed-loop line ...
CHEN Tongqian,DAI Yong,YUAN Dibo
doaj +1 more source