Results 31 to 40 of about 615,424 (263)

Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack [PDF]

, 2017
We present a formal model for a fragmentation and a reassembly protocol running on top of the standardised CAN bus, which is widely used in automotive and aerospace applications.
Höfner, Peter, van Glabbeek, Rob
core   +2 more sources

Photonuclear production, chemistry, and in vitro evaluation of the theranostic radionuclide 47Sc

EJNMMI Research, 2019
Background In molecular imaging and nuclear medicine, theranostic agents that integrate radionuclide pairs are successfully being used for individualized care, which has led to rapidly growing interest in their continued development.
C. Shaun Loveless, Lauren L. Radford, Samuel J. Ferran, Stacy L. Queern, Matthew R. Shepherd, Suzanne E. Lapi   +5 more
doaj   +1 more source

The use of sequencing information in software specification for verification [PDF]

, 1983
Software requirements specifications, virtual machine definitions, and algorithmic design all place constraints on the sequence of operations that are permissible during a program's execution.
Osterweil, Leon J., Taylor, Richard N.
core   +1 more source

Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation

FEBS Letters, EarlyView.
Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz, Mihály Mérey, Rebeka Vásárhelyi, Ramóna Pék, Victor Imburchia, László Henn, Adrián Kószó, Nicholas D. Lakin, Ivan Ahel, Sébastien Huet, Ágnes Czibula, Gyula Timinszky   +11 more
wiley   +1 more source

Value Types in Eiffel [PDF]

, 1996
Identifies a number of problems with Eiffel's expanded types in modelling value types, and proposes a backward compatible syntactic extension, and a modified semantics.
Howse, John, Kent, Stuart
core   +1 more source

pH‐mediated activation of the lysosomal arginine sensor SLC38A9

FEBS Letters, EarlyView.
Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley   +1 more source

Raman‐based label‐free microscopic analysis of the pancreas in living zebrafish larvae

FEBS Open Bio, EarlyView.
Forward stimulated Raman scattering (F‐SRS) and epi coherent anti‐Stokes Raman scattering (E‐CARS) allow label‐free discrimination of distinct subcellular structures in the pancreas of living zebrafish larvae. Given the straightforward applicability, we anticipate broad implementation of Raman microscopy in other organs and across various biomedical ...
Noura Faraj, Eline M. F. de Lange, Klaas A. Sjollema, Ben N. G. Giepmans   +3 more
wiley   +1 more source

Establishment and Operation of a Simulation Stack for Proficiency Test of Particulate Matter Emissions

Aerosol and Air Quality Research
Accurate quantification of particulate matter (PM) emissions from stationary sources remains challenging due to the dynamic behavior of airborne particles.
Chung-Yuan Liu, Chia-Yen Wu, Chih-Chien Chen, Sheng-Hsiu Huang, Chih-Wei Lin   +4 more
doaj   +1 more source

Large‐scale bidirectional arrayed genetic screens identify OXR1 and EMC4 as modifiers of αSynuclein aggregation

FEBS Open Bio, EarlyView.
Activation of the mitochondrial protein OXR1 increases pSyn129 αSynuclein aggregation by lowering ATP levels and altering mitochondrial membrane potential, particularly in response to MSA‐derived fibrils. In contrast, ablation of the ER protein EMC4 enhances autophagic flux and lysosomal clearance, broadly reducing α‐synuclein aggregates.
Sandesh Neupane, Lea Nikolić, Lorenzo Maraio, Thomas Goiran, Nathan Karpilovsky, Stefano Sellitto, Vangelis Bouris, Jiang‐An Yin, Ronald Melki, Edward A Fon, Adriano Aguzzi, Elena De Cecco   +11 more
wiley   +1 more source

Complementarity of Long‐Reads and Optical Mapping in Parkinson's Disease for Structural Variants

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Long‐read sequencing and optical genome mapping technologies have the ability to detect large and complex structural variants. This has led to the discovery of novel pathogenic variants in neurodegenerative movement disorders. Thus, we aimed to systematically compare the SV detection capabilities of OGM and ONT in Parkinson's disease.
André Fienemann, Theresa Lüth, Susen Schaake, Carolin Gabbert, Marius Möller, Hauke Busch, Katja Lohmann, Jonas A. Gustafson, Danny E. Miller, Kensuke Daida, Manabu Funayama, Nobutaka Hattori, Samia Ben Sassi, Faycel Hentati, Matthew J. Farrer, Kristian K. Ullrich, Christine Klein, Joanne Trinh   +17 more
wiley   +1 more source