Results 11 to 20 of about 37,362 (277)
Electron. Colloquium Comput. Complex., 2017 We develop a new semi-algebraic proof system called Stabbing Planes which formalizes modern branch-and-cut algorithms for integer programming and is in the style of DPLL-based modern SAT solvers. As with DPLL there is only a single rule: the current polytope can be subdivided by branching on an inequality and its "integer negation." That is, we can ...
Paul Beame +6 more
openaire +6 more sources
Cancer-related thrombotic microangiopathies: case report and narrative review
Italian Journal of Medicine, 2018 Thrombotic manifestations are common in cancer patients and increase morbidity and mortality. They can affect large or small, venous or arterial vessels. Thrombosis of large arteries and veins is much more studied than that of small vessels. Nevertheless,
Micaela La Regina +5 more
doaj +1 more source
THE SPIRITUAL AND CULTURAL SYMBOLS IN A MAHAYANA BUDDHIST TEMPLE ‘VIHARA LOTUS’ SURAKARTA
Analisa, 2019 The symbols contained in a vihara is intentionally used to remind the people to something that is believed, both cultural and spiritual values. This article aims to analyze the meaning and value of spiritual and cultural symbols in Vihara Lotus Surakarta.
Lery Prasetyo
doaj +1 more source
Lingua: Jurnal Bahasa, Sastra dan Pengajarannya, 2021 Pindapata is a noble custom since the time of the Buddha by walking to the people's settlements to receive food offerings from the devotees. This study aims to describe the form of the pindapata tradition as a form of sanghadana in the Buddhist ...
Agus Subandi
doaj +1 more source
A STAB IN THE FORBIDDEN TERRITORY
Journal of Ayub Medical College Abbottabad, 2022 Penetrating heart injuries are associated with higher mortality rates. Coronary lesions caused by penetrating trauma are considered even rarer and universally fatal. We present a case of a fortunate survivor who had complete transection of left anterior descending (LAD) artery with right ventricular (RV) tear after being stabbed by knife, arriving in ...
Khuzaima, Tariq +3 more
openaire +2 more sources
Non-invasive mechanical ventilation in internal medicine departments: a pilot study
Italian Journal of Medicine, 2013 Non-invasive mechanical ventilation (NIMV) has been shown to be an effective treatment in chronic and acute lung failure. Until a few years ago, all the different forms of mechanical ventilation were managed exclusively in intensive care units (ICU ...
Micaela La Regina +4 more
doaj +1 more source
Conservative Management of Anterior Abdominal Stab Wounds [PDF]
Iranian Journal of Colorectal Research, 2015 Background Suturing quality and reducing its complications and resulting infection have always been a major concern of surgeons. Many of them have prohibited applying polyfilament and absorbable suturing materials.
Seyed Vahid Hosseini +2 more
doaj +1 more source
An evaluation of the hypodermic needle threat against body armour [PDF]
, 2004 Previous work has addressed protection against stab attacks [1, 2], and slash attacks [3, 4] this has resulted in body armour that is suitable for protecting the torso against knives. Whilst this armour combats the primary lethal injuries to the torso it
Luk, Edwina +2 more
core +7 more sources
Approximation Algorithms for Rectangle Stabbing and Interval Stabbing Problems [PDF]
SIAM Journal on Discrete Mathematics, 2006 In the weighted rectangle stabbing problem we are given a grid in $\mathbb{R}^2$ consisting of columns and rows each having a positive integral weight, and a set of closed axis-parallel rectangles each having a positive integral demand. The rectangles are placed arbitrarily in the grid with the only assumption being that each rectangle is intersected ...
Sofia Kovaleva, Frits C. R. Spieksma
openaire +2 more sources
A Drug-Gated, Modular STAb-T Immunotherapy With External Control. [PDF]
Adv Sci (Weinh)Engineered STAb‐TON cells act as programmable living factories that continuously secrete inactive antibody modules, which assemble extracellularly into a functional T cell engager only upon small‐molecule administration. This externally controlled platform enables reversible, on‐demand regulation of antitumor immunity, establishing a new paradigm for ...
Luengo-Arias S +23 more
europepmc +2 more sources