Results 121 to 130 of about 590,012 (309)
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 +3 more
wiley +1 more source
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists
, 2013 . We propose a new approach to heap analysis through an ab-stract domain of automata, called automatic shapes. Automatic shapes are modeled after a particular version of quantified data automata on skinny trees (QSDAs), that allows to define universally ...
Parlato, Gennaro +5 more
core +1 more source
Dementia & NeuropsychologiaIt is now known that cognitive functions tend to decline with age. Executive functions (EF) are among the first abilities to decline with aging. A subcomponent of the EF is abstract reasoning.
Thalita Bianchi de Oliveira Wachholz +1 more
doaj +1 more source
FEBS Open Bio, EarlyView.Time‐resolved X‐ray solution scattering captures how proteins change shape in real time under near‐native conditions. This article presents a practical workflow for light‐triggered TR‐XSS experiments, from data collection to structural refinement. Using a calcium‐transporting membrane protein as an example, the approach can be broadly applied to study ...
Fatemeh Sabzian‐Molaei +3 more
wiley +1 more source
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
, 2012 This paper describes the design and implementation of a system, called TSL (for "Transformer Specification Language"), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code.
Lim, Junghee, Reps, Thomas
core
Preventive Medicine: Research & ReviewsBackground: Misinterpretation of the features observed in the cardiotocograph (CTG) may lead to unnecessary intrapartum operative interventions to women due to over-reaction (“pathological” CTG) l or may result in hypoxic-ischaemic encephalopathy (HIE ...
Edwin Chandraharan +4 more
doaj +1 more source
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 +11 more
wiley +1 more source
ManuscritoIn this review, I argue that Coliva's strong transparency admits three possible interpretations: (a) a Wittgensteinian interpretation, (b) a metaphysical interpretation, and (c) an epistemic interpretation. I favor (c) over (a) and (b).
Alexandre de Borba
doaj +1 more source
FEBS Open Bio, EarlyView.UiO‐66(Zr) metal–organic frameworks are chemically stable, biocompatible, and highly tunable nanomaterials. Their modular structure enables controlled drug delivery, multimodal bioimaging, and light‐activated photodynamic therapy, supporting integrated diagnostic and therapeutic (theranostic) applications in cancer and biomedical research.
Veronika Huntošová +2 more
wiley +1 more source
The Abstract interpretation offers sound and decidable approximations for undecidable queries related to program behavior. The effectiveness of an abstract interpretation process relies entirely on the abstract domain itself, and the worst-case scenario ...
Mastroeni, Isabella
core +1 more source