Results 21 to 30 of about 138,192 (261)
Solving equations over small unary algebras [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 We consider the problem of solving a system of polynomial equations over fixed algebra $A$ which we call MPolSat($A$). We restrict ourselves to unary algebras and give a partial characterization of complexity of MPolSat($A$). We isolate a preorder $P(A)$
Przemyslaw Broniek
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
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
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
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
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
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
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