Results 91 to 100 of about 1,627,187 (305)
Electronic Proceedings in Theoretical Computer ScienceI present a novel formulation of substitution, where facts about substitution that previously required tens or hundreds of lines to justify in a proof assistant now follow immediately - they can be justified by writing the four letters "refl". The paper is an executable literate Agda script, and source of the paper is available as an artifact in the ...
openaire +3 more sources
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
Evaluation of the Von Rosenberg's method for the convection-diffusion equation
Bulletin of Computational Applied Mathematics, 2017 An explicit numerical scheme developed by Von Rosenberg for the convection-diffusion equation in one spatial dimension is reviewed and analyzed. The convergence of this scheme is outlined and a comparative study was established with an explicit standard ...
Nathaly Guanda, Iver Grau
doaj
Fast Explicit Formulations of Propane Thermophysical Properties for Dynamic Modelling
EnergiesWhile traditional equations of state can determine thermophysical properties, they are computationally demanding, as most formulations are implicit and require iterative solutions.
Maged Dawoud +2 more
doaj +1 more source
إنسانيات, 2009 Dramatic texts offer an opportunity for interactive discourse, iconomatic images and movement in a shifting space advocating a perfectly harmonious semiotic reading with the context, what is imagined and real in the interpretation of the text/ body ...
أنوال طامر
doaj +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Obesity Discrimination in the Workplace: “You’re Hired!”
Journal of European Psychology Students, 2015 The purpose of this study is to first identify whether obese people are discriminated against when hiring employees. Employees of workforces that vary due to the physical demand of their job, will rate hypothetical applicants on
Stuart W Flint +6 more
doaj +2 more sources
What is said, what is implicated, what is implicated
Bucharest Working Papers in Linguistics, 2008 The present paper, which takes Bach’s (1994) distinction between ‘what is said’, ‘implicature’, and ‘impliciture’ as a starting point, shows that Grice’s tests of non-detachability and cancellability are able to clarify the distinction among different ...
Diana Ioniţă
doaj
Brain SciencesBackground/Objectives: Temporal predictability may sharpen our ability to distinguish similar sounds, but whether this relies on attention is unclear. This study examined how temporal structure influences frequency discrimination.
Krystsina Liaukovich, Olga Martynova
doaj +1 more source
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