Results 31 to 40 of about 1,698,061 (303)
Transplantation Reports, 2023 The global organ transplant activity remains satisfying less than 10% of the total number of patients in the waiting list. Brain dead donors and living donors have been the most common source of organs used worldwide.
Pablo Farinelli +15 more
doaj +1 more source
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting
AAAI Conference on Artificial Intelligence, 2019 Given a Boolean formula φ, the problem of model counting, also referred to as #SAT is to compute the number of solutions of φ. Model counting is a fundamental problem in artificial intelligence with a wide range of applications including probabilistic ...
M. Soos, Kuldeep S. Meel
semanticscholar +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
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 +3 more
core +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
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
HordeSat: A Massively Parallel Portfolio SAT Solver
, 2015 A simple yet successful approach to parallel satisfiability (SAT) solving is to run several different (a portfolio of) SAT solvers on the input problem at the same time until one solver finds a solution.
Balyo, Tomas +2 more
core +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 +11 more
core +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
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 +5 more
core +3 more sources