Results 51 to 60 of about 235,564 (296)
Journal of College Orientation, Transition, and Retention, 2013 Inclination to seek help was measured among a cohort of first-time, full-time freshman at a private university prior to the start of their first semester. The item involved a 10-point scale defined with contrasting terms at each end (i.e.
Michael J. Roszkowski
doaj +1 more source
CoRR, 2007 Description of a polynomial time reduction of SAT to 2-SAT of polynomial size.
openaire +3 more sources
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems [PDF]
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009 Finding subclasses of formulae for which the SAT problem can be solved in polynomial time has been an important problem in computer science. We present a new hierarchy of propositional formulae subclasses for which the SAT and counting SAT problems can be solved in polynomial time.
Rinard, Martin C. +3 more
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Outcomes in relapsed or refractory pediatric and AYA bone sarcomas remain poor, and the impact of early referral to specialized sarcoma centers on survival is unclear. Early centralization of care may improve local and systemic treatment quality, but evidence in this population is limited.
Justyna Antoniuk‐Majchrzak +9 more
wiley +1 more source
AbstractState-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT-solvers divide a SAT-query into multiple sub-queries, each solved by a separate SAT-solver (called a module), and propagate information (lemmas, proof obligations, blocked clauses, etc.
Hari Govind V. K. +3 more
openaire +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Heavy menstrual bleeding (HMB) is a common condition among adolescents and young adults (AYAs) and is the leading cause of iron deficiency anemia (IDA) in this population. Growing evidence suggests that social determinants of health (SDOH) influence menstrual bleeding patterns, access to care, and treatment. However, no studies have
Maria Carter‐Febres +6 more
wiley +1 more source
CoRR, 2015 We propose a funny representation of SAT. While the primary interest is to present propositional satisfiability in a playful way for pedagogical purposes, it could also inspire new search heuristics.
openaire +2 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Patients with chronic kidney disease undergoing hemodialysis commonly experience reduced physical function, fatigue, poor sleep quality, and impaired health‐related quality of life. Intradialytic exercise has been proposed as a non‐pharmacological strategy to improve these outcomes.
Klebson da Silva Almeida +6 more
wiley +1 more source
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
The SAT-UNSAT transition in the adversarial SAT problem
CoRR, 2013 Adversarial SAT (AdSAT) is a generalization of the satisfiability (SAT) problem in which two players try to make a boolean formula true (resp. false) by controlling their respective sets of variables. AdSAT belongs to a higher complexity class in the polynomial hierarchy than SAT and therefore the nature of the critical region and the transition are ...
Marco Bardoscia +2 more
openaire +2 more sources