Results 41 to 50 of about 1,698,061 (303)

Crystal structure of the 3C protease from South African Territories type 2 foot-and-mouth disease virus [PDF]

, 2016
The replication of foot-and-mouth disease virus (FMDV) is dependent on the virus-encoded 3C protease (3Cpro). As in other picornaviruses, 3Cpro performs most of the proteolytic processing of the polyprotein expressed from the single open reading frame in
Curry, S, Leen, EN, Maree, FF, Yang, J
core   +4 more sources

Learning Optimal Decision Trees with SAT

International Joint Conference on Artificial Intelligence, 2018
Explanations of machine learning (ML) predictions are of fundamental importance in different settings. Moreover, explanations should be succinct, to enable easy understanding by humans.
Nina Narodytska, Alexey Ignatiev, Filipe Pereira, Joao Marques-Silva   +3 more
semanticscholar   +1 more source

Stereotactic Body Radiation Therapy for Pediatric, Adolescent, and Young Adult Patients With Osteosarcoma: Local Control Outcomes With Dosimetric Analysis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background/Objectives Osteosarcoma is a radioresistant tumor that may benefit from stereotactic body radiation therapy (SBRT) for locoregional control in metastatic/recurrent disease. We report institutional practice patterns, outcomes, toxicity, and failures in osteosarcoma patients treated with SBRT.
Jenna Kocsis, Shauna R. Campbell, Jonathan Jang, Eashwar Somasundaram, Chandana A. Reddy, Jacob G. Scott, Lilyana Angelov, Peter M. Anderson, Matteo Trucco, Zachary Burke, Lukas Nystrom, Nathan Mesko, Anthony Magnelli, Erin S. Murphy   +13 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

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

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018
In this paper, we introduce the Satisfiability Modulo Theory (SMT) attack on obfuscated circuits. The proposed attack is the superset of Satisfiability (SAT) attack, with many additional features.
K. Z. Azar, Hadi Mardani Kamali, H. Homayoun, Avesta Sasan   +3 more
semanticscholar   +1 more source

Lifestyle Behaviors and Cardiotoxic Treatment Risks in Adult Childhood Cancer Survivors

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Higher doses of anthracyclines and heart‐relevant radiotherapy increase cardiovascular disease (CVD) risk. This study assessed CVD and CVD risk factors among adult childhood cancer survivors (CCSs) across cardiotoxic treatment risk groups and examined associations between lifestyle behaviors and treatment risks.
Ruijie Li, Raquel Revuelta Iniesta, Alan R. Barker, Dimitris Vlachopoulos, Tomáš Sláma, Christina Schindera, Fabiën N. Belle   +6 more
wiley   +1 more source

On Computing Minimum Unsatisfiable Cores [PDF]

, 2003
Certifying the correctness of a SAT solver is straightforward for satisfiable instances of SAT. Given
Lynce, I., Marques-Silva, J. P.
core   +2 more sources

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

Prognostic Impact of Treatment Modalities, Including Targeted Compartmental Radio‐Immunotherapy, in a Cohort of Neuroblastoma Patients With CNS Metastases at Relapse

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Neuroblastoma (NB) with central nervous system (CNS) metastases is rare at diagnosis, but occurs more often during relapse/progression. Patients with CNS metastases face a dismal prognosis, with no standardized curative treatment available.
Vicente Santa‐Maria Lopez, Anna Felip‐Badia, Marina Caballero‐Bellon, Nazaret Sanchez‐Sierra, Alicia Castañeda, Moira Garraus, Maite Gorostegui, Margarida Simão‐Rafael, Juan Pablo Muñoz, Marta Perez‐Somarriba, Salvador Mañe, Mariana Cecilia Planells, Sara Perez‐Jaume, Jaume Mora   +13 more
wiley   +1 more source