Results 51 to 60 of about 549,124 (265)
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
, 2010 YAGO is an automatically generated ontology out of Wikipedia and WordNet. It is eventually represented in a proprietary flat text file format and a core comprises 10 million facts and formulas. We present a translation of YAGO into the Bernays-Schonfinkel Horn class with equality.
Martin Suda 0001 +2 more
openaire +4 more sources
EFSA Journal, 2011 The Panel on Food Contact Materials, Enzymes, Flavourings and Processing Aids of the European Food Safety Authority was requested to evaluate 32 flavouring substances in the Flavouring Group Evaluation 18, Revision 2, using the Procedure in Commission ...
EFSA Panel on Food Contact Materials, Enzymes, Flavourings and Processing Aids (CEF)
doaj +1 more source
KONSTANTA ELASTIK PADA POROSITAS HIDROKARBON BATUGAMPING DENGAN KONVERSI DINAMIK KE STATIK
Rekayasa, 2014 Pengukuran dinamik untuk mendapatkan konstanta elastik dihubungkan dengan besaran petrofisika utamanya porositas dan saturasi air sangat penting untuk penerapan penyebaran adanya reservoar.
Mochammad Ahied
doaj +1 more source
Abstract Proof by induction is commonplace in modern mathematics and computational logic. This paper overviews and discusses our recent results in turning saturation-based first-order theorem proving into a powerful framework for automating inductive reasoning.
Laura Kovács +3 more
openaire +1 more source
Molecular Oncology, EarlyView.The novel styrylquinazolinone‐based molecule W1B effectively suppresses glioblastoma by inhibiting IGF1R and EGFR. In high‐glucose microenvironments driving tumor resistance, W1B acts synergistically with the EGFR inhibitor dacomitinib. This combination safely blocks compensatory survival signaling in zebrafish xenograft models. Showcasing promising in
Patryk Rurka +9 more
wiley +1 more source
Getting Saturated with Induction
, 2022 Induction in saturation-based first-order theorem proving is a new exciting direction in the automation of inductive reasoning. In this paper we survey our work on integrating induction directly into the saturation-based proof search framework of first-order theorem proving.
Márton Hajdú +4 more
openaire +2 more sources
FEBS Open Bio, Volume 16, Issue 7, Page 1271-1292, July 2026.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
Saturation of the turbulent dynamo [PDF]
Physical Review E, 2015 The origin of strong magnetic fields in the Universe can be explained by amplifying weak seed fields via turbulent motions on small spatial scales and subsequently transporting the magnetic energy to larger scales. This process is known as the turbulent dynamo and depends on the properties of turbulence, i.e.
Schober J +4 more
openaire +9 more sources
FEBS Open Bio, EarlyView.This study investigated a novel WST‐8‐based assay for evaluating d‐Amino acid oxidase (DAO) inhibitors. We confirmed its effectiveness using known inhibitors and found that uremic toxins possess relatively weak inhibitory activity compared to existing drugs.
Kahoko Miyake +4 more
wiley +1 more source