Results 141 to 150 of about 246,520 (298)
Incremental Compilation-to-SAT Procedures
, 2005 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, Benedetti, Marco
core
In silico and in vitro exploration of a tyrosinase for biocatalytic production of catechols
FEBS Open Bio, EarlyView.Tyrosinase from Ralstonia pseudosolanacearum is a promising biocatalyst for producing valuable catechols from monophenol substrates. This tyrosinase is uniquely suited to this due to its high monophenolase : diphenolase ratio. We combined in silico docking and in vivo kinetic characterisation of this tyrosinase with 11 industrially relevant monophenols,
James Britton +6 more
wiley +1 more source
Adenosine triphosphate as a modulator of protein interactions and stability
FEBS Open Bio, EarlyView.ATP is best known as the cell's energy currency, but it also shapes how proteins fold, interact, aggregate and form biomolecular condensates. This review explains the emerging physical principles behind these effects, including weak binding to charged protein regions, magnesium‐dependent behaviour and concentration‐dependent control of protein ...
Shuyuan Tan, Robin Curtis
wiley +1 more source
FEBS Open Bio, EarlyView.We describe detailed protocols for the purification and preparation of Marchantia polymorpha Auxin Response Factor 2 (MpARF2). This protein is fused to an MBP solubility tag and an mNG fluorescent tag and is purified from Escherichia coli. The presented procedures make it possible to study MpARF2 assemblies, which could arise from phase separation ...
Bas Janssen +5 more
wiley +1 more source
On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
, 2008 Unit propagation-based (UP) lower bounds are used in the vast majority of current Max-SAT solvers. However, lower bounds based on UP have seldom been applied in Pseudo-Boolean Optimization (PBO) algorithms derived from the DPLL procedure for ...
Heras, Federico +5 more
core
Protocol for quantifying miRNA trafficking across the endosomal membrane
FEBS Open Bio, EarlyView.An in vitro protocol measures miRNA uptake into endosomes isolated from mammalian cell extracts, which are free of subcellular contaminants. Performed at 37 °C in the presence of ATP, it ensures the import of single‐stranded miRNA into the endosomal lumen.
Syamantak Ghosh +2 more
wiley +1 more source
Pueblo: A modern pseudo-boolean sat solver
, 2005 In this report we introduce a new SAT solver that integrates logic-based reasoning and integer programming meth-ods to systems of CNF and PB constraints.
Hossein M. Sheini, Karem A. Sakallah
core
Heterotropic regulation and negative homotropic cooperativity
FEBS Open Bio, EarlyView.We identified a structural module common to some proteins that couple negative cooperativity with heterotropic regulation, two features that rarely coexist. These proteins are ring‐like and present an ordered asymmetry whereby noncontacting subunits are symmetric, and their tertiary structure differs from that of contacting subunits.
Veronica Morea +5 more
wiley +1 more source