Results 151 to 160 of about 246,520 (298)

Incremental Compilation-to-SAT Procedures

, 2003
. We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework that encompasses all the aspects of an incremental decision procedure ...
Bernardini, Sara, Marco Benedetti, Sara Bernardini, Benedetti, Marco   +3 more
core  

Avidin is evolutionarily conserved in fish but dispensable for development and resistance against Streptococcus agalactiae in zebrafish

FEBS Open Bio, EarlyView.
The presence of biotin‐binding avidin proteins in fish and their biological significance are poorly characterized. We cataloged fish avidins and demonstrate that they are widely present and evolutionarily conserved. We created avd knockout zebrafish and show that zebavidin is dispensable for development and that resistance of avd knockout embryos in ...
Anni K. Saralahti, Markus J. T. Ojanen, Mataleena Parikka, Otto Kauko, Mika Rämet, Vesa P. Hytönen   +5 more
wiley   +1 more source

GelMA‐based 3D spheroids recapitulate transcriptomic and functional hallmarks of myeloid sarcoma

FEBS Open Bio, EarlyView.
GelMA 5% hydrogels support the formation of myeloid leukemia spheroids that recapitulate MS‐specific features, including G1 arrest, apoptosis, and ECM‐driven transcriptomic reprogramming. The 3D model mimicked soft‐tissue‐like stiffness and oxygen conditions, and transcriptomic convergence with primary MS samples confirmed its utility as a preclinical ...
Nicolas Germain, Elise Buret, Le Hoang Thanh Nguyen, Marion Cocheteux, Nicolas Touya, Mélanie Dhayer, Romain Dubois, Frank Lafont, Sebastien Janel, Patrice Maboudou, Steve Lancel, Philippe Marchetti   +11 more
wiley   +1 more source

GPU Accelerated SAT Solver

, 2013
This thesis is concerned with design and implementation of a complete SAT solver accelerated on GPU. The achitecture of modern graphics cards is described as well as the CUDA platform and a list of common algorithms used for solving the boolean ...
Izrael, Petr
core  

Identification and characterisation of calcitonin receptor isoforms expressed in glioblastoma derived glioma stem and U‐87 MG cells

FEBS Open Bio, EarlyView.
Glioblastoma cells express calcitonin receptor variants (CT receptor isoforms) that may help them survive stress. Using qPCR, transcript‐specific long‐read nanopore sequencing, immunofluorescence co‐localisation and comparative sequence analysis, this study identifies a novel alternatively spliced CALCR transcript that encodes the CTb receptor isoform ...
Pragya Gupta, Sebastian GB Furness, Tahereh Gharbi, Ric De Paoli‐Iseppi, Shweta S. Joshi, Michael Clark, David L. Hare, Peter Wookey   +7 more
wiley   +1 more source

Structural and biochemical insights into the thermostable esterase Ta0887 from Thermoplasma acidophilum

FEBS Open Bio, EarlyView.
In this study, a novel esterase from the thermoacidophilic archaeon Thermoplasma acidophilum was biochemically and structurally characterized. Our results demonstrate that Ta0887 is a highly thermostable esterase that preferentially hydrolyzes p‐nitrophenyl hexanoate and possesses an α‐helical cap domain that likely contributes to its substrate ...
Alejandro Delgado‐Rey, Miriam Livier Llamas‐García, Gabriela M. Montero‐Morán, Leticia Santos, Samuel Lara‐González   +4 more
wiley   +1 more source

SAT solver attacks on CubeHash

, 2010
The use of a SAT solver to attack a hash function is a fairly unexplored field in Computer Science. This paper examines the use of a state of the art SAT solver to attempt to break a strong hash function.
Benjamin W. Bloom
core  

Salmonella enterica serovar typhi limits the potency of typhoid toxin and ADP‐ribosylating toxin AB to establish a persistent infection

FEBS Open Bio, EarlyView.
The two catalytic subunits of typhoid toxin dissociate from the holotoxin in the ER of an intoxicated cell, but only CdtB exits the ER to generate immunosuppressive effects. PltA is retained in the ER and sequestered from its cytosolic target, thus allowing the anti‐inflammatory effects of CdtB to promote intestinal colonization.
Maria C. Zabala‐Rodriguez, Juliette K. Tinker, Teresa Frisan, Taj Azarian, Ken Teter   +4 more
wiley   +1 more source

SAT-Accel: A Modern SAT Solver on a FPGA

Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays
Michael Lo, Mau-Chung Frank Chang, Jason Cong   +2 more
openaire   +1 more source

Translating Pseudo-Boolean Constraints into SAT

, 2005
In this paper, we describe and evaluate three different techniques for translating pseudo-boolean constraints (linear constraints over boolean variables) into clauses that can be handled by a standard SAT-solver.
Een, Niklas,, Sörensson, Niklas,
core