Results 41 to 50 of about 76,730 (232)
Characterising Testing Preorders for Finite Probabilistic Processes [PDF]
, 2007 In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and Hennessy to processes featuring probabilistic as well as nondeterministic choice.
Andrew Pitts +4 more
core +9 more sources
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source
A Note on Inhomogeneous Ground States at Large Global Charge [PDF]
, 2017 In this note we search for the ground state, in infinite volume, of the $D=3$ Wilson-Fisher conformal $O(4)$ model, at nonzero values of the two independent charge densities $\rho_{1,2}$.
Hellerman, Simeon +3 more
core +2 more sources
A New Iterative Algorithms for Finite Family of Resolvent Operators
Ibn AL-Haitham Journal For Pure and Applied SciencesDepending on the needs and requirements of keeping up with the scientific procession, researchers tend to find new recurrence schemes or develop previous recurrence schemes that will help researchers reach the fixed point and solution of variational inequality.
Mustafa Dawood Talak Alobadi +1 more
openaire +2 more sources
FEBS Letters, EarlyView.This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel +13 more
wiley +1 more source
Time and Time Functions in Parametrized Non-Relativistic Quantum Mechanics
, 1995 The ``evolving constants'' method of defining the quantum dynamics of time-reparametrization-invariant theories is investigated for a particular implementation of parametrized non-relativistic quantum mechanics (PNRQM).
A reply by Rovelli C follows +12 more
core +1 more source
Brane Boxes and Branes on Singularities [PDF]
, 1998 Brane Box Models of intersecting NS and D5 branes are mapped to D3 branes at C^3/Gamma orbifold singularities and vise versa, in a setup which gives rise to N=1 supersymmetric gauge theories in four dimensions.
Hanany, Amihay, Uranga, Angel M.
core +2 more sources
AAA+ protein unfoldases—the Moirai of the proteome
FEBS Letters, EarlyView.AAA+ unfoldases are essential molecular motors that power protein degradation and disaggregation. This review integrates recent cryo‐electron microscopy (cryo‐EM) structures and single‐molecule biophysical data to reconcile competing models of substrate translocation.
Stavros Azinas, Marta Carroni
wiley +1 more source
Revista nuestrAmérica, 2020 Resumen: Este trabajo presenta un conjunto de reflexiones empíricamente informadas acerca de la gestión local de los acuerdos conciliatorios, modalidad “alternativa” de resolución del conflicto penal juvenil, tal como es practicada en un departamento ...
Mayra Nair Salazar
doaj
Discovery of Proton Decay: A Must for Theory, a Challenge for Experiment [PDF]
, 2000 It is noted that, but for one missing piece -- proton decay -- the evidence in support of grand unification is now strong. It includes: (i) the observed family-structure, (ii) the meeting of the gauge couplings, (iii) neutrino-oscillations, (iv) the ...
Pati, Jogesh C.
core +4 more sources