Results 81 to 90 of about 57,211 (297)
Gourd‐Inspired Design of Unit Cell with Multiple Gradients for Physiological‐Range Pressure Sensing
Advanced Functional Materials, EarlyView.Gourd‐shaped micro‐dome arrays with coordinated modulus, conductivity, and geometric gradients co‐optimize sensitivity and linearity in piezoresistive tactile sensors. Under pressure, a solid upper dome embeds into a porous lower dome, triggering rapid contact‐area growth and series‐to‐parallel conduction, enabling unsaturated, intensity‐resolved ...
Jiayi Xu +6 more
wiley +1 more source
A uniform definition of stochastic process calculi [PDF]
, 2012 We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors.
De Nicola, Rocco +3 more
core +1 more source
Beyond the Edge: Charge‐Transfer Excitons in Organic Donor‐Acceptor Cocrystals
Advanced Functional Materials, EarlyView.Complex excitonic landscapes in acene–perfluoroacene cocrystals are unveiled by polarization‐resolved optical spectroscopy and many‐body theory. This systematic study of a prototypical model system for weakly interacting donor–acceptor compounds challenges common views of charge‐transfer excitons, providing a refined conceptual framework for ...
Sebastian Anhäuser +6 more
wiley +1 more source
DronesThis work presents the structural analysis and validation of a sub-250 g FPV drone chassis, emphasizing both theoretical rigor and practical applicability. The novelty of this contribution lies in four complementary aspects.
Basil Mohammed Al-Hadithi +1 more
doaj +1 more source
SOS rule formats for convex and abstract probabilistic bisimulations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Probabilistic transition system specifications (PTSSs) in the ntμfθ/ntμxθ format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that bisimilarity is a ...
Pedro R. D'Argenio +2 more
doaj +1 more source
Micromachines, 2023 As an inertial sensor with excellent performance, the hemispherical resonator gyro is widely used in aerospace, weapon navigation and other fields due to its advantages of high precision, high reliability, and long life.
Zhiyong Gao +3 more
doaj +1 more source
An Executable Structural Operational Formal Semantics for Python [PDF]
, 2021 Maximilian A. Köhl
openalex +1 more source
An Operational Petri Net Semantics for the Join-Calculus
, 2012 We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Mennicke, Stephan
core +2 more sources
Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application
Advanced Materials, EarlyView.This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong +12 more
wiley +1 more source
Dependency-Constrained Cascading Rescheduling: Network Evolution and Long-Term Adaptation
MathematicsTraditional scheduling theory optimizes initial task assignments under static assumptions, yet operational systems face repeated disruptions requiring both immediate rescheduling and long-term structural adaptation.
TzeHoung Lee, Xue-Ming Yuan
doaj +1 more source