Results 71 to 80 of about 29,356 (295)
Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method
Advanced Science, EarlyView.A semi‐analytical viscoelastic traction force microscopy framework is introduced for quantifying time‐resolved cell tractions on flat finite‐thickness substrates. The method generalizes elastic traction force microscopy to Generalized Maxwell materials, identifies when elastic approximations remain valid and, when they do not, shows that inferred ...
Adrià Villacrosa‐Ribas +10 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
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
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.
J.F. Groote (Jan Friso) +1 more
openaire +3 more sources
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
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
Color Edge Detection Hardware based on Geometric Algebra.
, 2006 Modern techniques treat color images as separate monochrome images for processing. Partly, because there is no straightforward generalization of linear filters available for color.
B. Mishra +5 more
core +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.A multifunctional terahertz (THz) platform is demonstrated, in a model material Fe4Nb2O9, exhibiting a large intrinsic THz phase shift alongside distinct THz magnon excitations in its antiferromagnetic phase. This coexistence of phase modulation and spin dynamics offers a promising pathway toward integrated THz communication and magnonic computation ...
Brijesh Singh Mehra +10 more
wiley +1 more source
, 2011 Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco, De Nicola, R
core +1 more source