Results 131 to 140 of about 246,520 (298)

Importin 7 mediates the nuclear import of HIV‐1 integrase via a specific interacting interface

FEBS Open Bio, EarlyView.
HIV‐1 integrase enables viral DNA integration into the host genome. By binding to the core domain of the host protein Importin 7 via its C‐terminal domain, the integrase is transported across the nuclear membrane into the nucleus, where integration of the viral genome into host DNA takes place. This translocation is a critical step for subsequent viral
Juana Bana, Avigail Yariv, Tal Oppenheim, Hadar Amartely, Dana Reichmann, Oded Livnah   +5 more
wiley   +1 more source

Rule-aware Datalog Fact Explanation Using Group-SAT Solver

International audienceOne of the major benefits of symbolic AI is explainability. When new knowledge is obtained via a reasoning process, it is possible to determine precisely all elements of the knowledge base that yield this knowledge.
Rouquette, Lucas, Charoensit, Akira, Carral, David, Bisquert, Pierre, Ulliana, Federico   +4 more
core   +5 more sources

Improving SAT Solver Performance with Structure-based Preferential Bumping

We present a method we call structure-based preferential bumping,as a low-cost way to exploit formula structure in VSIDS-based SAT solvers.We show that the Glucose SAT solver, when modified with preferential bumpingof certain easily identified ...
Sima Jamali, David Mitchell
core   +1 more source

Ionomycin suppresses cancer cell growth by disrupting mitochondrial transcription

FEBS Open Bio, EarlyView.
In this study, we identify a new function for the selective Ca2+ ionophore, ionomycin, as an inhibitor of mitochondrial transcription. Both total and nascent RNA analyses revealed that ionomycin treatment reduces the transcription of mitochondrial genes.
Lishen Wang, Mingqiang Deng, Dongmei He, Diqin Lai, Dongjun Liu, Dengyong Zhu, Zhenhua Zhang, Peng Tang, Chuanman Zhou, Menghui Yin, Xichen Bao   +10 more
wiley   +1 more source

On using SAT solvers for graph computations

Discrete Applied Mathematics
Determining the clique-width or the linear clique-width of an undirected graph reduces to a Boolean satisfiability problem, a SAT problem in short, that can be solved for graphs of moderate size, depending on the available solver. This method is due to Heule and Szeider.
Courcelle, B, Durand, Irène A.
openaire   +3 more sources

Delivery of DNA‐encoded vaccines and proteins in mice using cutaneous suction‐mediated transfection

FEBS Open Bio, EarlyView.
Cutaneous suction‐mediated transfection in mice for delivery of DNA‐encoded vaccines and proteins. A critical limitation of DNA vaccines and other therapeutics is transfection in vivo to produce the encoded antigens or therapeutic proteins. Cutaneous suction‐based methods have demonstrated effectiveness in many animal models and have been successfully ...
Emran O. Lallow, Isabel Brandtjen, Yaxin Mo, Melissa Gulley, Louis Osorio, Sagar Kudchodkar, Nandita C. Jhumur, Christine C. Roberts, Lisa K. Denzin, David I. Shreiber, Biju Parekkadan, Hao Lin, Joel N. Maslow   +12 more
wiley   +1 more source

Evolution‐guided yeast complementation reveals functional differences in human PSPH variants

FEBS Open Bio, EarlyView.
Ancient genomes can help guide which human genetic variants are tested experimentally. This study applies that idea to PSPH, a gene involved in serine biosynthesis, and uses high‐throughput yeast complementation to compare variant function. The findings reveal measurable differences among selected alleles and illustrate the value of evolution‐guided ...
Mauricio Campa‐Álvarez, Diana Ascencio, Miguel Vallebueno‐Estrada, Eduardo González‐Orozco, Christian Eduardo Martínez‐Guerrero, Rafael Montiel, Alexander DeLuna   +6 more
wiley   +1 more source

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. [PDF]

J Autom Reason, 2018
Blanchette JC, Fleury M, Lammich P, Weidenbach C.   +3 more
europepmc   +1 more source

Explanations for SAT Solvers

, 2023
Les solveurs SAT sont devenus des outils largement utilisés pour résoudre des problèmes de décision ou d’optimisation combinatoires, dans le monde académique comme dans le monde économique. L’une des raisons de leur succès est de parcourir efficacement l’espace de recherche, que l’on peut représenter sous la forme d’un arbre.
openaire   +1 more source

Structural studies and functional engineering of NanX: an anhydro‐sialic acid transporter from Escherichia coli

FEBS Open Bio, EarlyView.
Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty, Kelsi R. Hall, Zachary D. Tillett, Liam S. Turk, James S. Davies, Michael J. Currie, Hamish G. Brown, Sepideh Valimehr, Peter D. Mace, Andrew E. Whitten, Santosh Panjikar, Eric Hanssen, Rachel A. North, Renwick C.J. Dobson   +13 more
wiley   +1 more source