Results 61 to 70 of about 14,500 (306)
On Interleaving in Timed Automata [PDF]
, 2006 We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the union of all zones reached by different interleavings of the same set of transitions is convex.
Ramzi Ben Salah +2 more
openaire +1 more source
Thread Algebra for Strategic Interleaving [PDF]
, 2004 We present an extension of the polarized process algebra BPPA, an algebraic theory about sequential program behaviors. The extension is called thread algebra and is proposed as a tool for the description and analysis of multi-threaded program behaviors.
Bergstra, J.A. +3 more
core
Advanced Materials Technologies, EarlyView.Flexible Chitosan‐glycerol sensor integrated with porous laser‐induced graphene (LIG) electrodes enable room‐temperature chemiresistive detection of ammonia (NH3) and proof‐of‐concept detection of fish spoilage. ABSTRACT We report a metal‐free sensor platform combining laser induced graphene (LIG) electrodes with drop‐deposited, glycerol‐plasticized ...
Mintesinot Tamiru Mengistu +9 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.An automation interface for environmental scanning electron microscopy (ESEM) enables simultaneous, interlaced data sets via frame‐by‐frame parameter changes. Demonstrated on oscillatory hydrogen oxidation over cobalt (Co) foil, dual‐magnification imaging bridges mesoscopic to microscopic length scales, capturing alternating views of surface dynamics ...
Maurits Vuijk +7 more
wiley +1 more source
Advanced Science, EarlyView.A programmable 2048‐element circular ultrasound array combined with a compact acoustic lens produces a thin “sound sheet” over a large field of view, and records echoes with wide angular diversity across the ring aperture. Coherence‐enhanced beamforming converts full‐matrix data into high‐contrast tomographic slices, delivering near‐diffraction‐limited
Qiu‐De Zhang +11 more
wiley +1 more source
Interleaved Convolutional Code and Its Viterbi Decoder Architecture
EURASIP Journal on Advances in Signal Processing, 2003 We propose an area-efficient high-speed interleaved Viterbi decoder architecture, which is based on the state-parallel architecture with register exchange path memory structure, for interleaved convolutional code. The state-parallel architecture uses as
Kong Jun Jin, Parhi Keshab K
doaj +1 more source
Labeled Interleaving Distance for Reeb Graphs
, 2023 Merge trees, contour trees, and Reeb graphs are graph-based topological descriptors that capture topological changes of (sub)level sets of scalar fields.
Wang, Bei, Parsa, Salman, Lan, Fangfei
core
Personalized Network‐Guided Neuromodulation Enhances Human Working Memory
Advanced Science, EarlyView.A personalized neuromodulation framework combining individualized functional brain network targeting with real‐time neural decoding is introduced. Using concurrent TMS–fMRI, participant‐specific stimulation targets and optimal frequencies are identified. Only optimal‐frequency stimulation improves working memory across sessions.
Ahsan Khan +13 more
wiley +1 more source
OFDM-Subcarrier Index Selection for Enhancing Security and Reliability of 5G URLLC Services
IEEE Access, 2017 An efficient physical layer security technique, referred to as OFDM with subcarrier index selection (OFDM-SIS), is proposed for safeguarding the transmission of OFDM-based waveforms against eavesdropping in 5G and beyond wireless networks.
Jehad M. Hamamreh +2 more
doaj +1 more source
Advanced Science, EarlyView.This study achieves the synergistic integration of self‐powered sensing and edge AI acceleration to establish a real‐time fault diagnosis system. The proposed TENG‐based self‐powered bearing sensor (NSE‐TBS) and FPGA‐accelerated edge AI framework fundamentally break through the inherent limitations of conventional monitoring systems, including complex ...
Kehui Zhu +7 more
wiley +1 more source