Results 31 to 40 of about 235,564 (296)
Effect analysis of antenna translation vibration on GEO SARimage
The Journal of Engineering, 2019 Due to the high orbital altitude, the large-area antenna and solar array will be utilised in geosynchronous synthetic aperture radar (GEO SAR) to meet the requirement of high transmitting power.
Tianyi Zhang +5 more
doaj +1 more source
Cifra: Информационные технологии и телекоммуникацииA SAT-based automatic test pattern generation (ATPG) flow operating directly on the And-Inverter Graph (AIG) extracted from the elaborate stage of register-transfer-level (RTL) description — without invoking logic synthesis — is investigated.
Muzalevsky Y.Y.
doaj +1 more source
Learning Robot Speech Models to Predict Speech Acts in HRI
Paladyn, 2016 In order to be acceptable and able to “camouflage” into their physio-social context in the long run, robots need to be not just functional, but autonomously psycho-affective as well. This motivates a long term necessity of introducing behavioral autonomy
Arora Ankuj +3 more
doaj +1 more source
SAT Solvers used in the SAT Competition 2004 (binaries)
, 2020 <p>Static Binaries (Linux) of Solvers used in the SAT Competition 2004. Link to the competition web site : <a href="http://www.satcompetition.org/"> www.satcompetition.org</a></p ...
SAT Community
core +1 more source
Comparing the Clinical Spectrum of Paediatric In-patients in pre-COVID-19, during COVID19 and post-COVID-19 Pandemic Periods in a Tertiary Level Teaching Centre [PDF]
Journal of Clinical and Diagnostic ResearchIntroduction: Public awareness of the COVID-19 pandemic has resulted in a reduction in healthcare utilisation for other diseases. Understanding how the COVID-19 pandemic affects hospital admissions and the disease patterns is crucial for proper ...
Veena Anand +4 more
doaj +1 more source
Developmental Cell, 2009 X chromosome inactivation triggered by Xist RNA can only occur in specific developmental contexts. In this issue of Developmental Cell, Agrelo et al. show that the nuclear matrix protein SATB1 is a critical determinant of Xist responsiveness.
openaire +3 more sources
Analysis of the cryptographic strength of the SHA-256 hash function using the SAT approach
Научно-технический вестник информационных технологий, механики и оптикиCryptographic hash functions play a significant role in modern information security systems by ensuring data integrity and enabling efficient data compression. One of the most important and widely used cryptographic hash functions is SHA-256 that belongs
V. V. Davydov +3 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo +9 more
wiley +1 more source
Transplantation Reports, 2023 The global organ transplant activity remains satisfying less than 10% of the total number of patients in the waiting list. Brain dead donors and living donors have been the most common source of organs used worldwide.
Pablo Farinelli +15 more
doaj +1 more source
From Parallel SAT to Distributed SAT
EPiC Series in Computing, 2018 This tutorial will present an overview of parallelism in SAT. It will start with a presentation of classical divide and conquer techniques, discuss their ancient origin and compare them to more recent portfolio- based algorithms. It will then present the impact of clause-sharing on their performances and discuss various strategies used to control the ...
openaire +3 more sources