Results 61 to 70 of about 17,836 (258)
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
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
State Equations in Stochastic Process Algebra Models
IEEE Access, 2019 State equations are usually used for structural or qualitative analysis, such as deadlock checking, in P/T systems. In this paper, we instead consider timed state equations in stochastic process algebra models, to derive quantified dynamic information on
Jie Ding, Xin-Shan Zhu, Xiao Chen
doaj +1 more source
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
Compositional bisimulation metric reasoning with Probabilistic Process Calculi [PDF]
Logical Methods in Computer Science, 2017 We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics.
Daniel Gebler +2 more
doaj +1 more source
TRIM: Simultaneous Thermometry, Ranging, and Imaging via a Monolithic Metalens
Advanced Science, EarlyView.ABSTRACT While metasurfaces offer a pathway beyond the discrete architectures of conventional LWIR systems, physically fusing high‐precision thermometry and passive ranging onto a single metalens remains a formidable challenge. Here, we demonstrate a monolithic, dual‐focus metalens capable of simultaneous multidimensional sensing.
Man Yuan +10 more
wiley +1 more source
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
Advanced Science, EarlyView.Expanded‐graphite/graphene‐nanoplatelet hybrids deliver a near‐order‐of‐magnitude thermal‐conductivity enhancement in paraffin phase‐change materials. A microCT‐informed 3D modeling framework resolves the percolating EG backbone and captures sub‐voxel GNP enrichment, quantitatively linking microstructure to heat flow and revealing a graphene‐enabled ...
Thomas Hoke +4 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
An exciting Approach to Theoretical Spectroscopy
Advanced Science, EarlyView.ABSTRACT Theoretical spectroscopy, and more generally, electronic‐structure theory, are powerful concepts for describing the complex many‐body interactions in materials. They cover methods from ground‐state properties to lattice excitations and light‐matter interaction, including time‐resolved variants.
Martí Raya‐Moreno +29 more
wiley +1 more source