Results 111 to 120 of about 7,980,180 (293)
Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form
, 2004 For hybrid systems described by switched linear difference equations, linear threshold conditions, automata, and propositional logic conditions, described in mixed logical dynamical form, this note describes two algorithms for transforming such systems ...
Bemporad, Alberto, Bemporad, A.
core +1 more source
Evolution‐guided yeast complementation reveals functional differences in human PSPH variants
FEBS Open Bio, EarlyView.Ancient genomes can help guide which human genetic variants are tested experimentally. This study applies that idea to PSPH, a gene involved in serine biosynthesis, and uses high‐throughput yeast complementation to compare variant function. The findings reveal measurable differences among selected alleles and illustrate the value of evolution‐guided ...
Mauricio Campa‐Álvarez +6 more
wiley +1 more source
FEBS Open Bio, EarlyView.We report the first β‐glucosidase with demonstrated hydrolytic activity on an N‐linked glycopyranoside. The enzyme, native to maize, was biochemically characterised for this novel reaction, and structural modelling of the enzyme–substrate complex revealed several clues to the underlying reduced catalytic rate relative to its native O‐glycopyranoside ...
Hani Gharabli +3 more
wiley +1 more source
On equivalence and canonical forms in the LF type theory
ACM Transactions on Computational Logic, 2005 Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a type-theoretic logical framework. Most studies of definitional equality are based on a confluent, strongly normalizing notion of reduction.
Robert Harper 0001, Frank Pfenning
openaire +4 more sources
FEBS Open Bio, EarlyView.Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty +13 more
wiley +1 more source
A General form of the ‘Land Equivalent Ratio’
Experimental Agriculture, 1984 SUMMARYThe Land Equivalent Ratio (LER) concept is presented and interpreted. Several different intercropping systems are considered and the need for methods to evaluate them is discussed. A general form of the LER is proposed for the evaluation, in particular, of a system that combines two intercrops having different yield proportions.
openaire +1 more source
Equivalent formula of S4 system & its application in NLU & TMT
, 2001 In this paper we first give a brief introduction to the basic concepts of TMT and S4 system. Now a small TMT prototype is being built up in SIA which is funded by CAS.
Li YT(李应潭)
core
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
, 1994 The Vineland Adaptive Behavior Scales-Survey Form standard score, Vineland Adaptive Behavior Scales-Survey Form age equivalent and Bayley scales' Mental Development Index were given to 44 high-risk infants age 12 mo. and suspected of developmental delay.
Donald J. Raggio +2 more
core +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