Results 61 to 70 of about 138,192 (261)

SAT for pedestrians

CoRR, 2014
The aim of this short note is mainly pedagogical. It summarizes some knowledge about Boolean satisfiability (SAT) and the P=NP? problem in an elementary mathematical language. A convenient scheme to visualize and manipulate CNF formulae is introduced. Also some results like the formulae for the number of unsatisfied clauses and the number of solutions ...
openaire   +2 more sources

Consensus Standards and Recommendations for Developmental and Cognitive Surveillance, Screening, and Evaluation in Sickle Cell Disease: Executive Summary From the National Alliance of Sickle Cell Centers Neurocognitive Workgroup

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Neurodevelopmental and neurocognitive difficulties are prevalent among individuals with sickle cell disease and warrant prompt identification and support. This Special Report provides an executive summary of standards and recommendations for surveillance, screening, and evaluation for development and cognition across the lifespan developed by ...
Alyssa M. Schlenz, Donna Murdaugh, Andrew M. Heitzer, Jennifer N. Longoria, Wendy Santos‐Modesitt, Arianna Martin, Judy Cavazos, Jeff Schatz, Catherine R. Hoyt, Alison King, Eboni I. Lance, Steven Hardy, Marsha Treadwell   +12 more
wiley   +1 more source

Prevalence of latent TB infection among childhood contacts of adults with sputum positive pulmonary TB

Clinical Epidemiology and Global Health
Background: Tuberculosis is a global public health challenge. More stringent activities are needed for evaluation of ongoing TB transmission. The study was aimed at estimating the prevalence of LTBI in children below 15 years who are household contacts ...
R. Swathy, Rekha Krishnan, S. Geetha
doaj   +1 more source

To SAT or Not to SAT: Scalable Exploration of Functional Dependency

IEEE Transactions on Computers, 2010
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1,?,gn}, i.e., f = h(g1,?,gn). It plays an important role in many aspects of electronic design automation (EDA). Prior approaches to the exploration of functional dependency are based on binary decision diagrams (BDDs), which may not be
Jiang, J.-H.R., Lee, Chih-Chun, Mishchenko, A., Huang, Chung-Yang   +3 more
openaire   +2 more sources

Ovarian Sex Cord Stromal Tumors in Children and Adolescents—The European Standard Clinical Practice Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT As part of the European Cooperative Study Group for Paediatric Rare Tumours initiative, we developed standard clinical practice guidelines for ovarian sex cord stromal tumors, based on comprehensive national and international cohort analyses, literature review, and a final expert consensus conference.
Dominik T. Schneider, Kris‐Ann Schultz, Nora Schnitzler, Michael Abele, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Ines B. Brecht, Maja Cesen, Andrea Ferrari, Michaela Kuhlen, Malgorzata A. Krawczyk, Ricardo Lopez‐Almaraz, Yves Reguerre, Calogero Virgone, Daniel Orbach   +15 more
wiley   +1 more source

Mapping Childhood Cancer Care Services in Oceania: Methodological Lessons From the SIOP Global Mapping Programme

Pediatric Blood &Cancer, EarlyView.
ABSTRACT The International Paediatric Oncology Society Global Mapping Programme aims to collect data on global paediatric oncology services by continent, with Africa and Latin America completed. This study reports on the methodology and lessons learned for Oceania, a unique continent with resource disparity across countries, multiple small island ...
Trisha Soosay Raj, Christy Noble, Amy Gray, Daniel C. Moreira, Jennifer Lowe, Maite Gorostegui, Gwenda Anga, Andrew Soma, Milena Lay Dos Santos, Siobhan Cross, Erin Luttrell, Michael Sullivan, Julie Cayrol, Julia Challinor, Neil Ranasinghe, Jordana McLoone, Claire E. Wakefield   +16 more
wiley   +1 more source

On the Configuration of SAT Formulae [PDF]

, 2019
It is well-known that the order in which clauses and literals are listed in a SAT formulae can have a strong impact on solvers’ performance.
Mauro Vallati, Marco Maratea
openaire   +2 more sources

Animal‐Assisted Activities With Therapy Dogs in Pediatric Oncology: A Multicenter Survey of the Current Status, Implementation, and Challenges in Germany, Austria, and Switzerland

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Animal‐assisted activities (AAAs) with therapy dogs have shown positive effects on patient well‐being and quality of life in various areas of medicine, including pediatric oncology. However, research on this topic is limited. The aim of this study is to present the current status of AAA in pediatric oncology in Germany, Austria, and
Jan‐Marius Wedig, Birgit Burkhardt, Christof M. Kramm, Kira Ostermann, Sarah C. Goretzki, Uta Dirksen, Nico Kurpiers, Michael M. Schündeln   +7 more
wiley   +1 more source

Measuring Transit Oriented Development of Existing Urban Areas around Metro Stations in Faridabad City

International Journal of Built Environment and Sustainability, 2018
Urban population in Indian cities is encouraging auto reliance and having unsafe economic, social and environmental consequences. Land-use-change patterns are the outcome of the complex relations between the human and the physical surroundings.
Sat Pal
doaj   +1 more source

The Role of Chemotherapy in Pediatric Myoepithelial Carcinoma: A Systematic Review of the Literature

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Myoepithelial carcinoma (MEC) in pediatric patients is a rare and aggressive malignancy characterized by heterogeneous morphology and variable molecular features. The optimal role of chemotherapy remains unclear. We conducted a systematic review according to PRISMA 2020 guidelines to evaluate chemotherapy in pediatric and young‐adult patients ...
Marco Salvi, Maria Carmen Affinita, Giulia Fichera, Luisa Santoro, Angela Scagnellato, Calogero Virgone, Elena Poli, Gianni Bisogno   +7 more
wiley   +1 more source