Results 31 to 40 of about 18,165 (260)
Electronic Notes in Theoretical Computer Science, 2006 Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whether a model satisfies an LSC requirement, the LSC's POSA can be composed in parallel to the model as an observer automaton or it can be translated to a CTL or LTL formula ...
Toben, Tobe, Westphal, Bernd
openaire +2 more sources
LSCs: Breathing Life into Message Sequence Charts [PDF]
Formal Methods in System Design, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Werner Damm, David Harel
openaire +1 more source
Advanced Materials, EarlyView.This review summarizes the principles and challenges of nonaqueous lithium‐oxygen batteries and recent advances in cathode catalysts, including carbon‐based materials, metals, oxides, sulfides, nitrides, carbides, and redox mediators. It highlights emerging design strategies and artificial intelligence‐driven approaches, emphasizing data‐assisted ...
Yuqing Yao +8 more
wiley +1 more source
Advanced Science, EarlyView.Corneal nerve regeneration is critical to corneal wound healing processes. The current study reveals a novel role of MG53 in promoting corneal nerve regeneration after alkali induced injury. Mechanistically, MG53 enters macrophages via its receptor, MPEG1, promotes MVP K63 ubiquitination, and triggers STAT6 induced repair‐related genes expression ...
Peng Chen +14 more
wiley +1 more source
Memento 4.0: A Prototype Conversational Search System for LSC’24 [PDF]
The practice of lifelogging, capturing one’s daily experiences through wearable devices, has evolved significantly over the last decade, presenting both challenges and opportunities in information retrieval.
Alam, Naushad +2 more
core +1 more source
Advanced Science, EarlyView.A high‐entropy air electrode material, Gd0.2Pr0.2Ba0.2Sr0.2Ca0.2FeO3−δ (GPBSCF), is developed for both solid oxide fuel cells and reversible protonic ceramic cells. Its enhanced activity stems from increased oxygen vacancies/holes. The stability improvement is attributed to lattice distortion, while thermal expansion reduction is synergistically due to
Ying Zhang +9 more
wiley +1 more source
Discrete Dynamics in Nature and Society, 2013 We study a simple discrete model with the impact of calcium-channel noise on the beat-to-beat dynamics of cardiac cells. The effects of the noise are assessed by bifurcation analysis and power spectrum analysis, respectively.
Jiying Ma, Dongmei Xiao
doaj +1 more source
Extending LSCs for Behavioral Signature Modeling [PDF]
, 2011 Driven by technical innovation, embedded systems are becoming increasingly interconnected and have to be secured against failures and threats from the outside world. For this purpose, we have defined an integrated model-based development process for security monitors which requires an expressive, formally well-defined, and easy to learn behavioral ...
Sven Patzina, Lars Patzina, Andy Schürr
openaire +2 more sources
Advanced Science, EarlyView.This study identifies the mechanosensor PIEZO1 as a key factor in promoting acute myeloid leukemia progression and uncovers a ferroptosis defense system mediated by PIEZO1‐HIF1A‐SLC7A11 axis that is essential for leukemia stem cell maintenance. This ferroptotic defense system may represent a unique vulnerability for leukemia stem cells, providing a ...
Tiantian Zhang +10 more
wiley +1 more source
The Dynamics of Balanced Spiking Neuronal Networks Under Poisson Drive Is Not Chaotic
Frontiers in Computational Neuroscience, 2018 Some previous studies have shown that chaotic dynamics in the balanced state, i.e., one with balanced excitatory and inhibitory inputs into cortical neurons, is the underlying mechanism for the irregularity of neural activity.
Qing-long L. Gu +6 more
doaj +1 more source