Results 21 to 30 of about 137,934 (261)
Why almost all satisfiable $k$-CNF formulas are easy [PDF]
Discrete Mathematics & Theoretical Computer Science, 2007 Finding a satisfying assignment for a $k$-CNF formula $(k \geq 3)$, assuming such exists, is a notoriously hard problem. In this work we consider the uniform distribution over satisfiable $k$-CNF formulas with a linear number of clauses (clause-variable ...
Amin Coja-Oghlan +2 more
doaj +1 more source
Discrete Applied Mathematics, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Henry A. Kautz, Bart Selman
openaire +1 more source
Journal of Pure and Applied Microbiology, 2018 The clinical pathogenic strains of S. dysenteriae in this study were initially diagnosed as enteroinvasive E. coli due to the high similarity in characterization and pathogenic mechanism.
Nagham Sh. Alattar +2 more
doaj +1 more source
National Journal of Physiology, Pharmacy and Pharmacology, 2023 Background: Female sterilization is the most accepted method of contraception in India. Almost 5–6 million female sterilization procedures are performed annually contributing to 98% of all sterilizations and roughly 62% of all contraceptive use. Although,
Mayadevi Brahmanandan +2 more
doaj +1 more source
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
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
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
Transient Neonatal Hyperparathyroidism Unfolding a Noteworthy Cause: A Series of Four Cases [PDF]
Journal of Clinical and Diagnostic ResearchTransient Neonatal Hyperparathyroidism (TNHP) is an abnormal bone disorder caused by impaired maternal-foetal calcium transport across the placenta, leading to inadequate foetal bone mineralisation.
AO Vinitha +4 more
doaj +1 more source