Results 51 to 60 of about 237,519 (286)
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 Executable Semantics of Verilog [PDF]
, 2010 This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ...
Katelman, Michael +3 more
core +1 more source
Advanced Materials Technologies, EarlyView.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
On More or Less Appropriate Notions of ‘Computation’
South African Computer Journal, 2018 Half a century after the emergence of computer science (a.k.a. informatics) as an academic discipline, the notion of “computation” is not yet “settled”. On the contrary: recent developments in the natural sciences, in mathematics, as well as in computer ...
Stefan Gruner, Andrew (Andy) Gravell
doaj +1 more source
Multiclass Identification of Van der Waals Semiconductors via Attention Neural Networks
Advanced Photonics Research, EarlyView.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
The global environmental agenda urgently needs a semantic web of knowledge
Environmental Evidence, 2022 Progress in key social-ecological challenges of the global environmental agenda (e.g., climate change, biodiversity conservation, Sustainable Development Goals) is hampered by a lack of integration and synthesis of existing scientific evidence.
Stefano Balbi +6 more
doaj +1 more source
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
, 2016 We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Birkedal, Lars +3 more
core +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
Neurolinguistics Research Advancing Development of a Direct-Speech Brain-Computer Interface
iScience, 2018 A direct-speech brain-computer interface (DS-BCI) acquires neural signals corresponding to imagined speech, then processes and decodes these signals to produce a linguistic output in the form of phonemes, words, or sentences.
Ciaran Cooney +2 more
doaj +1 more source
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