Results 81 to 90 of about 246,520 (298)

A Resolution-Based Interactive Proof System for UNSAT [PDF]

Logical Methods in Computer Science
Modern SAT or QBF solvers are expected to produce correctness certificates. However, certificates have worst-case exponential size (unless NP=coNP), and at recent SAT competitions the largest certificates of unsatisfiability are starting to reach ...
Philipp Czerner, Javier Esparza, Valentin Krasotin, Adrian Krauss   +3 more
doaj   +1 more source

Leucine‐rich glioma inactivated 1 (LGI1) is a ganglioside‐binding protein

FEBS Letters, EarlyView.
Neuronal hyperexcitability associated with a decrease/absence of the extracellular protein LGI1 has been suggested to be primarily due to the downregulation of Kv1 channel expression. The molecular mechanisms underlying this decrease have not yet been elucidated.
Kévin Debreux, Christian Lévêque, Fodil Azzaz, Marion Sangiardi, Sarosh R Irani, Michael Seagar, Jacques Fantini, Oussama El Far   +7 more
wiley   +1 more source

Effective Partitioning Method With Predictable Hardness for CircuitSAT

IEEE Access
Many industrial verification problems are solved via reduction to CircuitSAT (curcuit satisfibiliaty). It is often the case that the resulting SAT instances are very hard and require the use of parallel computing to be solved in reasonable time.
Konstantin Chukharev, Irina Gribanova, Dmitry Ivanov, Stepan Kochemazov, Victor Kondratiev, Alexander Semenov   +5 more
doaj   +1 more source

Paralleler SAT-Solver mit Konfliktklauselbehandlung

, 2017
In diesem Paper wird ein paralleler SAT-Solver beschrieben, der durch Multithreading parallelisiert wird. Dabei ist das Besondere, dass verschiedene Solverparameter untersucht werden und ein Konfliktklauselhandling implementiert wird, welches auf einer ...
Tietjen, Jil
core   +1 more source

A context‐dependent modulatory role for eIF6 in acquired resistance to vemurafenib in melanoma

FEBS Letters, EarlyView.
Acquired resistance to vemurafenib upregulates the translation factor eIF6 in melanoma cells. Silencing eIF6 in resistant cells reduces proliferation and partially restores drug sensitivity, whereas its overexpression increases sensitivity across melanoma lines regardless of BRAF status, via modulation of mTOR, S6K, and MAPK signaling.
George Kyriakopoulos, Antonia Petropoulou, Alexandra Anastogianni, Angelina Bania, Vassilis Stamatakis, Argyris Alexiou, Chi‐Ping Day, Glenn Merlino, Katerina Grafanaki, Constantinos Stathopoulos   +9 more
wiley   +1 more source

Lynx: A Programmatic SAT Solver for the RNA-folding Problem [PDF]

, 2012
15th International Conference, Trento, Italy, June 17-20, 2012. ProceedingsThis paper introduces Lynx, an incremental programmatic SAT solver that allows non-expert users to introduce domain-specific code into modern conflict-driven clause-learning (CDCL)
Solar-Lezama, Armando, Ganesh, Vijay, Rinard, Martin C., Devadas, Srinivas, Mate Soos, Charles W. O’Donnell, Martin C. Rinard, O'Donnell, Charles William, Srinivas Devadas, Soos, Mate, Vijay Ganesh, Armando Solar-Lezama   +11 more
core   +1 more source

Smaller is better: nanobodies meet NMR

FEBS Letters, EarlyView.
Nanobodies are single‐domain antigen‐binding fragments derived from camelid heavy chain antibodies. Their small size, high stability, and exceptional specificity make nanobodies uniquely useful probes for NMR studies of protein dynamics, transient conformational states, and protein–protein interactions.
Oleg Y. Dmitriev
wiley   +1 more source

Assessment of Quantum Annealing for the Construction of Satisfiability Filters

SciPost Physics, 2017
Satisfiability filters, introduced by S. A. Weaver et al. in 2014, are a new and promising type of filters to address set membership testing. In order to construct satisfiability filters, it is necessary to find disparate solutions to hard random $k ...
Marlon Azinović, Daniel Herr, Bettina Heim, Ethan Brown, Matthias Troyer
doaj   +1 more source

Invisible but not inaccessible—Revealing transient oligomers formed by intrinsically disordered proteins with solution NMR and complementary methods

FEBS Letters, EarlyView.
Transient oligomers formed by intrinsically disordered proteins may be ‘invisible’ to direct detection yet remain accessible to solution NMR through equilibrium‐exchange measurements and pressure‐jump experiments. Complementary methods report on mass, stoichiometry, selected distance distributions, morphology, and internal packing.
Martin D. Gelenter, Ad Bax
wiley   +1 more source

SAT Algorithm Based on Symbolic Simulation and Variable Partitions

工程科学与技术, 2008
:To solve the problem that SAT solvers usually has excessive backtraces during assigning binary values to an unassigned variables, a new SAT solver based on symbolic simulation and variable partition, which lower not only the number of backtrack but the ...
doaj