Results 101 to 110 of about 21,783,491 (356)
FEBS Open Bio, EarlyView.Here, we introduced an intermittent electrical stimulation protocol mimicking the episodic nature of real‐life exercise in vitro by alternating low‐ and high‐frequency stimulation. In comparison with widely used continuous stimulation, it enhanced the rate of glucose and fatty acid oxidation, but not the myokine release.
Klára Gabrišová +11 more
wiley +1 more source
Classification and checking model of pedestrian crossing
Journal of Accessibility and Design for All, 2012 The requirements demanded for pedestrian crossings, as the meeting point of pedestrian and vehicle traffic, are becoming more and more numerous and to guarantee that they are understandable, employable and feasible for all people in safe and convenient ...
Luis Delgado Méndez +3 more
doaj +1 more source
Lexical Relation Models as a Possible Check on Lexicostatistic Inferences1 [PDF]
, 1962 William W. Elmendorf
openalex +1 more source
Rational Verification: From Model Checking to Equilibrium Checking
AAAI Conference on Artificial Intelligence, 2016 Rational verification is concerned with establishing whether a given temporal logic formula φ is satisfied in some or all equilibrium computations of a multi-agent system – that is, whether the system will exhibit the behaviour φ under the assumption
M. Wooldridge +5 more
semanticscholar +1 more source
The impact of Hnrnpl deficiency on transcriptional patterns of developing muscle cells
FEBS Open Bio, EarlyView.We performed nanopore whole‐transcriptome sequencing comparing RNA from Hnrnpl‐knockdown versus control C2C12 myoblasts to investigate the contributions of Hnrnpl to muscle development. Our results indicate that Hnrnpl regulates the expression of genes involved with Notch signaling and skeletal muscle, particularly splicing patterns of specific muscle ...
Hannah R. Littel +8 more
wiley +1 more source
Dielectric Measurements of Poly(γ-alkyl L-glutamate)s in the Solid State as a Check of Applicability of the Two Phase Model [PDF]
, 1979 Naoki Sasaki +3 more
openalex +1 more source
, 1999 We show that Constraint Logic Programming (CLP) can serve as a conceptual basis and as a practical implementation platform for the model checking of infinite-state systems. Our contributions are: (1) a semantics-preserving translation of concurrent systems into CLP programs, (2) a method for verifying safety and liveness properties on the CLP programs ...
DELZANNO, GIORGIO, PODELSKI A.
openaire +3 more sources
FEBS Open Bio, EarlyView.Representation of the suggested mode of action of lactoferrin (Lf) in nonsmall cell lung cancer (NSCLC) A549 cells. Lf induces activation of caspase‐3 by activating p53 and AChE leading to decreased ACh concentrations. In turn, ACh signaling leads to activation of VEGF and AKT and blocking of caspase‐3.
Stuti Goel +9 more
wiley +1 more source
Thrombolytic proteins profiling: High‐throughput activity, selectivity, and resistance assays
FEBS Open Bio, EarlyView.We present optimized biochemical protocols for evaluating thrombolytic proteins, enabling rapid and robust screening of enzymatic activity, inhibition resistance, and fibrin affinity, stimulation, and selectivity. The outcome translates to key clinical indicators such as biological half‐life and bleeding risk. These assays streamline the development of
Martin Toul +3 more
wiley +1 more source
Exam‐level analysis of lecture capture viewing and student exam performance
FEBS Open Bio, EarlyView.This study asks how lecture capture relates to exam performance in biology courses with three noncumulative exams. Mixed‐effects modeling separated between‐students from within‐student effects on exam %. Students who watched more recordings earned higher grades, but viewing spikes above a student's own mean, consistent with cramming, predicted small ...
Kirk Hillsley
wiley +1 more source