Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis [PDF]
, 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.
Hao, Kecheng +3 more
core +4 more sources
An investigation of thresholds in air pollution-mortality effects [PDF]
, 2004 In this paper we introduce and implement new techniques to investigate threshold effects in air pollution-mortality relationships. Our key interest is in measuring the dose-response relationship above and below a given threshold level where we allow for ...
Clyde +36 more
core +1 more source
Selective digestive or oropharyngeal decontamination and topical oropharyngeal chlorhexidine for prevention of death in general intensive care : systematic review and network meta-analysis [PDF]
, 2014 Peer reviewedPublisher ...
Glen, John +3 more
core +1 more source
La politica marittima di Bernardo Tanucci nell'epistolario con Carlo III Re di Spagna
Cuadernos de Ilustración y Romanticismo, 2019 Trusted advisor of Charles of Bourbon, after having held prestigious positions until 1758, when Charles left for Spain, Tanucci was chosen by the king as an authoritative member of the Council of Regency until 1767, when the king Ferdinand reached the ...
Maria Sirago
doaj +1 more source
Frontiers in Conservation Science, 2023 Spatial and temporal assessments of overlap are becoming increasingly popular as indicators of encounter risk. The overlap in distributions between protected species and commercial fishing effort is of interest for reducing bycatch.
Joshua M. Hatch +4 more
doaj +1 more source
ELOPEThe recent emergence and the widespread use of AI-driven tools have significantly affected various aspects of human communication, including business-related professional communication.
Nataša Gajšt
doaj +1 more source
Multimodal Technologies and Interaction, 2022 Whether or not a product matches the user’s mental model and therefore his understanding of how it works influences the perceived usability. Therefore, it is beneficial if an interface is based on the user’s initial mental model, hence it works just as ...
Lasse Schölkopf +3 more
doaj +1 more source
Performance Measurement Systems, Competitive Priorities, and Advanced Manufacturing Technologies: Some Evidence from the Aeronautical Sector [PDF]
, 2005 Purpose – When acquiring advanced manufacturing technologies (AMT), the greatest caution should be taken regarding the performance measurement system to be used: the decision regarding new investments should not be conditioned by the excessive use of ...
Dominguez Machuca, José A. +2 more
core +3 more sources
CRITICAL ASSESSMENT OF OBJECT SEGMENTATION IN AERIAL IMAGE USING GEO-HAUSDORFF DISTANCE [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2016 Aerial Image records the large-range earth objects with the ever-improving spatial and radiometric resolution. It becomes a powerful tool for earth observation, land-coverage survey, geographical census, etc., and helps delineating the boundary of ...
H. Sun, Y. Ding, Y. Huang, G. Wang
doaj +1 more source
Physicochemical, thermal and rheological properties of commercial wheat flours and corresponding starches [PDF]
Food Science and Technology, 2020 Abstract The quality attributes, including physicochemical, thermal and rheological properties of commercial bread, pau, multipurpose and cake flours, as well as their corresponding isolated starches were analyzed. Bread flour showed the highest solvent retention capacity (SRC) and gluten performance index (GPI), suggesting better functionality than ...
Kah Yaw EE, Mei Ki ENG, Mun Ling LEE
openaire +4 more sources