Results 31 to 40 of about 1,600,173 (280)

Biased random satisfiability problems: From easy to hard instances

, 2005
In this paper we study biased random K-SAT problems in which each logical variable is negated with probability $p$. This generalization provides us a crossover from easy to hard problems and would help us in a better understanding of the typical ...
A. Ramezanpour, C. H. Papadimitriou, S. Cook, S. Moghimi-Araghi   +3 more
core   +1 more source

Using Sat solvers for synchronization issues in partial deterministic automata [PDF]

, 2019
We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver.
A Roman, B Imreh, BK Natarajan, CH Papadimitriou, CP Gomes, DS Ananichev, DS Ananichev, E Skvortsov, H Shabana, H Shabana, H-D Burkhard, IK Rystsov, IK Rystsov, IK Rystsov, IT Podolak, IT Podolak, J Berstel, J Kowalski, M Bondt de, M Ito, M Ito, M Ito, MV Volkov, N Eén, P Goralčík, PV Martyugin, PV Martyugin, PV Martyugin, PV Martyugin, PV Martyugin, S Karahoda, S Karahoda, ÖF Altun   +32 more
core   +1 more source

Clinical profile and growth pattern of children with congenital adrenal hyperplasia attending endocrine clinic, in a tertiary care center, South India

National Journal of Physiology, Pharmacy and Pharmacology
Background: Congenital adrenal hyperplasia (CAH) is a group of autosomal recessive disorders that result from the deficiency of one of several enzymes involved in the steroidogenic pathway for cortisol or aldosterone biosynthesis.
Asheem Kudukkil Nediyarathil, Shermin Nasreen Abdul Jaleel, Riaz Ismail   +2 more
doaj   +1 more source

Transient Neonatal Hyperparathyroidism Unfolding a Noteworthy Cause: A Series of Four Cases [PDF]

Journal of Clinical and Diagnostic Research
Transient 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, VH Sankar, Rahul Aswathy, Karun Arjun, T Alex Sherrin   +4 more
doaj   +1 more source

Proteus: A Hierarchical Portfolio of Solvers and Transformations

, 2014
In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different encodings for representing CSPs as SAT instances. In this paper, we leverage advances in both SAT and CSP solving
B.A. Huberman, C. Ansótegui, C.P. Gomes, E. Hebrard, F. Rossi, J.R. Rice, L. Xu, M. Gebser, M. Hall, S. Haim, S. Kasif, T. Tanjo   +11 more
core   +1 more source

Integrating Conflict Driven Clause Learning to Local Search

, 2009
This article introduces SatHyS (SAT HYbrid Solver), a novel hybrid approach for propositional satisfiability. It combines local search and conflict driven clause learning (CDCL) scheme. Each time the local search part reaches a local minimum, the CDCL is
Bertrand Mazure, Christine Solnon, Gilles Audenard, Jean-Marie Lagniez, Lakhdar Saïs, Yves Deville   +5 more
core   +3 more sources

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

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, M. D. Pikhtovnikov, A. P. Kiryanova, O. S. Zaikin   +3 more
doaj   +1 more source

Waist Circumference predicting Cardiovascular Disease in Korean Men and Women [PDF]

, 2010
Objective: Obesity and cardiovascular disease (CVD) are closely related and have become increasingly prevalent in Korea. Asians are more prone to obesity-related co-morbidities than Caucasians, even at lower body mass index (BMI) and/or smaller waist ...
Sat Byul Park, Sun Ha Jee
core   +1 more source

Classical-Quantum Mixing in the Random 2-Satisfiability Problem

, 2015
Classical satisfiability (SAT) and quantum satisfiability (QSAT) are complete problems for the complexity classes NP and QMA which are believed to be intractable for classical and quantum computers, respectively.
Laumann, C. R., Potirniche, Ionut-Dragos, Sondhi, S. L.   +2 more
core   +1 more source