Results 81 to 90 of about 11,242,864 (292)
The Journal of Logic and Algebraic Programming, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lee, I. +5 more
openaire +3 more sources
Process algebra and non-interference [PDF]
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 2001 Various formulations of non-interference have been proposed to try to characterise the absence of information flows in system or network. There is still no consensus in the information security community as to which of these accurately captures our intuition of the notion of secrecy.
Peter Y. A. Ryan, Steve A. Schneider
openaire +5 more sources
Algebra and technology: Emerging issues [PDF]
, 2001 Although there are a number of technologies related to school algebra, it is only the personal technology of the graphics calculator that seems likely to be available widely enough to influence curriculum design and implementation on a large scale.
Kissane, B.
core
Symmetry‐Imposed Selection Rules for Excitations of Nontrivial Plasmonic Topologies
Advanced Science, EarlyView.A unified group‐theory selection rule governs the excitation of vectorial nearfield topologies across three plasmonic spin states. Derived from first principles, it predicts spin–orbit vortex splitting and multidimensional nested vortices, confirmed by phase‐resolved in situ measurements.
Jie Yang +14 more
wiley +1 more source
A survey of the PEPA tools [PDF]
, 2003 This paper surveys the history and the current state of tool supportfor modelling with the PEPA stochastic process algebra and the PEPAnets modelling language.
Hillston, Jane +1 more
core
Advanced Science, EarlyView.The protein aggregates and gene expression in the middle temporal gyrus (MTG) and somatosensory cortex (SOM) of the postmortem brains of 13 Alzheimer's disease patients were studied in detail, revealing that small hyperphosphorylated tau aggregates increase with Braak stage driven by microglial inflammation.
Elizabeth A. English +9 more
wiley +1 more source
Advanced Science, EarlyView.Temozolomide treatment activates GSK3β, driving DNMT1 phosphorylation, destabilization, and CD47 promoter hypomethylation in glioblastoma. This epigenetic shift upregulates CD47, enabling TMZ‐treated GBM cells to evade macrophage phagocytosis, survive chemotherapy, and acquire resistance.
Jie Li +11 more
wiley +1 more source
Seeing the Chemistry of Biomolecular Condensates: In Situ Mapping of Composition and Water Content
Advanced Science, EarlyView.Raman hyperspectral imaging combined with spectral phasor analysis enables a label‐free quantification of proteins, polymers and water density within individual biomolecular condensates. By transforming complex vibrational fingerprints into intuitive compositional maps, the approach reveals the high water content and structural heterogeneity of ...
E. Sabri +3 more
wiley +1 more source
Advanced Science, EarlyView.In this work, we show that multisensory integration in autistic children is characterized by attenuated ERP responses and α‐band desynchronization, together with reduced theta‐band communication between parieto‐occipital and frontal regions. The intermediate neural profile observed in unaffected siblings raises the possibility that altered cortical ...
Theo Vanneau +3 more
wiley +1 more source
Accelerating High‐Fidelity Airfoil Design via Physics‐Informed Video Diffusion Model
Advanced Science, EarlyView.Physics‐informed video diffusion enables rapid inverse aerodynamic design by mapping target lift‐to‐drag response to airfoil geometries and full‐field flow distributions. Trained on 53 400 DNS samples, the model achieves over 90% fidelity with ∼30 s inference, while experimentally realized propeller designs demonstrate a practical pathway from ...
Yifeng Ai +9 more
wiley +1 more source