Results 101 to 110 of about 235,564 (296)
The Shewanella oneidensis Fic enzyme SoFic targets the switch‐I region of EF‐Tu for AMPylation
FEBS Letters, EarlyView.Fic enzymes mediate diverse post‐translational modifications across all domains of life, including AMPylation. Prokaryotic EF‐Tu can be AMPylated and deAMPylated by the conserved Fic enzyme SoFic. Structural and biochemical approaches were used to characterize the effect of AMPylation on EF‐Tu, SoFic's enzymatic activities, and the enzyme‐target ...
Svenja Runge +6 more
wiley +1 more source
The Effects of High School Course Taking and SAT Scores On College Major Selection
Sakarya University Journal of Education, 2013 A survey study design was employed to examine the relationship between enrollment in computer and Advanced Placement courses during high school, SAT scores and subsequent selection of a STEM major in post-secondary education.
Alparslan Şahin +4 more
doaj
Cogent GerontologyPromoting the active engagement of older individuals within society carries significant importance. Nevertheless, negative attitudes toward older adults can act as a hindrance.
Yuho Shimizu +3 more
doaj +1 more source
Heuristic Backtracking Algorithms for SAT
, 2003 In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of formal verification, and also motivated the development of many new ...
Bhalla, A. +7 more
core
Strengthening Model Checking Techniques with Inductive Invariants [PDF]
, 2009 This paper describes optimized techniques to efficiently compute and reap benefits from inductive invariants within SAT-based model checking. We address sequential circuit verification, and we consider both equivalences and implications between pairs of ...
Nocco, Sergio +2 more
core
Prospecting the protein design landscape
FEBS Letters, EarlyView.This review outlines the current state of various protein design approaches. We discuss the current possibilities enabled by recently released tools, highlight future avenues to pursue in protein design, and underscore the crucial role of key databases and resources for successful protein design workflows.
Jakob R. Riccabona +4 more
wiley +1 more source
, 2007 We present a variant of the Weighted Maximum Satisfiability Problem(Weighted Max-SAT), which is a modeling of the Semiring Con- straint Satisfaction framework.
Anbulagan Anbulagan (20199921) +3 more
core
SAT-Encodings for Special Treewidth and Pathwidth
, 2017 Decomposition width parameters such as treewidth provide a measurement on the complexity of a graph. Finding a decomposition of smallest width is itself NP-hard but lends itself to a SAT-based solution.
Ordyniak, Sebastian +5 more
core +1 more source
FEBS Letters, EarlyView.Synechocystis strains deficient in succinate dehydrogenase (SDH) secrete more succinate than the WT under dark anaerobic conditions, supporting that SDH then primarily acts as SDH, not as a fumarate reductase. L‐aspartate oxidase (Laspo) from Synechocystis is functional under anaerobic conditions, reducing fumarate to succinate.
Kateryna Kukil +3 more
wiley +1 more source
RNA‐related functions of BRCA2 in transcription, replication, and genome stability
FEBS Letters, EarlyView.Beyond its role in homologous recombination, BRCA2 regulates R‐loop homeostasis, DNA–RNA hybrid resolution, RNA polymerase II dynamics, and transcriptional activation. Disruption of any of these functions can contribute to genome instability, inflammatory signaling, and tumorigenesis. BRCA2 is a central tumor suppressor protein best known for its roles
Lucia Alvaro‐Aranda +2 more
wiley +1 more source