Results 51 to 60 of about 5,309 (287)
Modular Structural Operational Semantics
BRICS Report Series, 2004 Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity
openaire +6 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
Timed Operational Semantics and Well-Formedness of Shape Calculus [PDF]
Scientific Annals of Computer Science, 2010 The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models ...
E. Bartocci +4 more
doaj
Extended Connectors: Structuring Glue Operators in BIP [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities.
Eduard Baranov, Simon Bliudze
doaj +1 more source
Deep Learning Analysis of Solid‐Electrolyte Interphase Microstructures in Lithium‐Ion Batteries
Advanced Materials Interfaces, EarlyView.A transformer‐based deep learning model is developed for segmenting and analyzing high‐resolution TEM images of the solid‐electrolyte interphase (SEI) in lithium‐ion batteries. The model is trained on DFT‐based simulated images and predicts SEI grain and grain boundaries, revealing key microstructural features that govern ion transport and degradation.
Ishraque Zaman Borshon +4 more
wiley +1 more source
A Formal Framework for Integrated Environment Modeling Systems
ISPRS International Journal of Geo-Information, 2017 Integrated Environment Modeling (IEM) has become more and more important for environmental studies and applications. IEM systems have also been extended from scientific studies to much wider practical application situations.
Gaofeng Zhang +5 more
doaj +1 more source
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
Deductive Verification of Telecommunication Systems Written in C
Моделирование и анализ информационных систем, 2015 A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj +1 more source
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science, 2004 The semantics of OCL operation specifications is discussed from a model theoretic perspective. It is argued that the semantics of operation specifications as defined in the OCL 2.0 proposal is not compatible with the view of operation specifications as contracts between a client and a supplier. As a solution, a semantics of OCL operation specifications
Hennicker, Rolf +2 more
openaire +3 more sources
Learning Highly Dynamic Skills Transition for Quadruped Jumping Through Constrained Space
Advanced Robotics Research, EarlyView.A quadruped robot masters dynamic jumps through constrained spaces with animal‐inspired moves and intelligent vision control. This hierarchical learning approach combines imitation of biological agility with real‐time trajectory planning. Although legged animals are capable of performing explosive motions while traversing confined spaces, replicating ...
Zeren Luo +6 more
wiley +1 more source