Results 181 to 190 of about 9,169,303 (329)
Strong Equivalence of Qualitative Optimization Problems [PDF]
, 2013 We introduce the framework of qualitative optimization problems (or, simply, optimization problems) to represent preference theories. The formalism uses separate modules to describe the space of outcomes to be compared (the generator) and the preferences
Truszczyński, Miroslaw +2 more
core
Equivalent Potential-Energy Functions
Many researchers have proposed their own potential-energy functions for the study of diatomic molecules, some of which have been proved to be equivalent. In this paper we suggest the application of a few simple rules to determine the equivalence between molecular potentials. The resulting systematic procedure is illustrated by means of several examples.
openaire +2 more sources
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
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
Dual native G‐quadruplex folding is associated with chromatin looping at the MYC locus
FEBS Open Bio, EarlyView.BG4‐detectable G‐quadruplex (G4) in HaCaT and NHEK keratinocytes identified folded and unfolded G4s enriched at promoters/TSSs and active enhancers, whereas unfolded G4s also overlapped weak/poised enhancers. At MYC–PVT1, 3C‐qPCR detected enhancer–promoter looping only when G4s were simultaneously folded at both regulatory elements under native ...
Dieila Giomo de Lima +7 more
wiley +1 more source
Proving Termination via Measure Transfer in Equivalence Checking (Extended Version)
Program verification can benefit from proofs with varied induction schemas. A natural class of induction schemas, functional induction, consists of those derived from definitions of functions.
Bucev, Mario +3 more
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
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 +11 more
wiley +1 more source
Functional Equivalence and Conserved Sexual Dimorphism in the Gut Microbiome: A Cross-Species Meta-analysis. [PDF]
J Mol EvolGutiérrez-Ávila JL +3 more
europepmc +1 more source