Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi [PDF]
Labeled transition systems are typically used to represent the behavior of nondeterministic processes, with labeled transitions defining a one-step state to-state reachability relation.
Bernardo, Marco +2 more
core +3 more sources
Recent efforts of memristor array‐based hardware neuromorphic computing are discussed for efficient application of VMM on‐chip level in terms of circuit integration and actual application of AI algorithms. The parallel data processing principle of VMM operation is briefly reviewed, and hardware VMM is presented including convolutional transformation ...
Jingon Jang, Sang‐gyun Gi
wiley +1 more source
Two Taylor Algorithms for Computing the Action of the Matrix Exponential on a Vector
The action of the matrix exponential on a vector eAtv, A∈Cn×n, v∈Cn, appears in problems that arise in mathematics, physics, and engineering, such as the solution of systems of linear ordinary differential equations with constant coefficients.
Javier Ibáñez +4 more
doaj +1 more source
Action and semantics of time in agro-ecology [PDF]
In the systemic approach, the system is perceived as an action or a collection of overlapping actions expressed in reference to Time, Space, and Morphology (or Energy). When the system is studied by different disciplines, the referentials differ, as well
Clouvel, Pascal +3 more
core +1 more source
Multiclass Identification of Van der Waals Semiconductors via Attention Neural Networks
Intelligent characterization of van der Waals semiconductors is an essential process for industrial manufacturing and laboratory fabrication. A fused network of ResNet‐Inception with attention layer is developed for accurate multiclass classification of randomly distributed layers of chemical vapor deposition‐grown van der Waals semiconductors ...
Xingchen Dong +5 more
wiley +1 more source
ExACT: Language-Guided Conceptual Reasoning and Uncertainty Estimation for Event-Based Action Recognition and More [PDF]
Event cameras have recently been shown beneficial for practical vision tasks, such as action recognition, thanks to their high temporal resolution, power efficiency, and reduced privacy concerns. However, current research is hindered by 1) the difficulty
Jiazhou Zhou +3 more
semanticscholar +1 more source
Semantic Pyramids for Gender and Action Recognition
Person description is a challenging problem in computer vision. We investigated two major aspects of person description: 1) gender and 2) action recognition in still images. Most state-of-the-art approaches for gender and action recognition rely on the description of a single body part, such as face or full-body.
Khan, Fahad Shahbaz +5 more
openaire +6 more sources
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version) [PDF]
Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new objects.
Calvanese, Diego +2 more
core
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
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
Application of the WKB Theory to Investigate Electron Tunneling in Kek-Y Graphene
In this paper, we have constructed a WKB approximation for graphene having a Y-shaped Kekulé lattice distortion and a special folding of the K and K′ valleys, which leads to very specific linear energy dispersions with two non-equivalent pairs of ...
Andrii Iurov +3 more
doaj +1 more source

