Results 71 to 80 of about 435,235 (283)
Formal Verification Framework for AUTOSAR OS Storage Protection Mechanism [PDF]
Jisuanji gongcheng, 2017 Since the security of standard storage module of traditional vehicle is relatively low,problems like accessing out of bounds or data conflicting may occur while the electronic operating system of vehicles accesses the storage modules.So a storage ...
LI Qing,ZHU Xiaoran,GUO Jian
doaj +1 more source
Integrable Renormalization I: the Ladder Case
, 2004 In recent years a Hopf algebraic structure underlying the process of renormalization in quantum field theory was found. It led to a Birkhoff factorization for (regularized) Hopf algebra characters, i.e. for Feynman rules.
Ebrahimi-Fard, Kurusch +2 more
core +1 more source
Algebraic Process Verification [PDF]
, 2001 This chapter addresses the question how to verify distributed and communicating systems in an effective way from an explicit process algebraic standpoint. This means that all calculations are based on the axioms and principles of the process algebras.
Groote, J.F., Reniers, M.A.
openaire +2 more sources
Advanced Science, EarlyView.The inhibitory immune checkpoints HLA‐G and CD47 are expressed on certain tumor types and inhibit immune cells in the tumor microenvironment. DSP216 binds specifically to cancer cells expressing both HLA‐G and CD47, and blocks their inhibitory signaling.
Lisa J. Jacob +12 more
wiley +1 more source
Advanced Science, EarlyView.This study investigates how CTCs survive varying shear stress during hematogenous metastasis. We uncover a self‐protection mechanism, by which non‐adherent CTCs adapt to high shearing milieu through accumulated cytoplasmic myosin‐mediated disruption of myosin‐actin binding, attenuating force transmission into chromatin to protect CTCs from shear ...
Cunyu Zhang +10 more
wiley +1 more source
Expressiveness of Process Algebras
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.
openaire +1 more source
Distinct Biotypes of Visual Perception in Major Depressive Disorder
Advanced Science, EarlyView.In a discover dataset (272 acute MDD patients), this work identifies a novel depression biotype characterized by impaired visual motion perception, using machine learning clustering. An independent dataset confirms the robustness of this biotype through cross‐validation and demonstrates its generalizability.
Zhuoran Cai +13 more
wiley +1 more source
Ultra‐Wide‐Field Noninvasive Imaging Through Scattering Media Via Physics‐Guided Deep Learning
Advanced Science, EarlyView.We propose a physics‐guided adaptive dual‐domain learning method for ultra‐wide‐field noninvasive imaging through scattering media, namely UNI‐Net. Our method not only reduces the requirement for real experimental data by an order of magnitude but also enables clear imaging of complex scenes with an ultra‐large field of view, which is 164 times the OME
Lintao Peng +5 more
wiley +1 more source
Process algebra with prepositional signals
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baeten, J.C.M., Bergstra, J.A.
openaire +11 more sources
Advanced Science, EarlyView.A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai +3 more
wiley +1 more source