Results 61 to 70 of about 518,705 (322)
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
Drug‐Free Thrombolysis Mediated by Physically Activated Micro/Nanoparticles
Advanced Functional Materials, EarlyView.Overview of particle‐mediated thrombolytic effects (thermal, mechanical, and chemical) and their activating physical stimuli (light, ultrasound, and magnetic field) in drug‐free thrombolysis. ABSTRACT Thrombus‐associated disorders rank among the world's leading causes of death, with ischemic heart disease and stroke as the main contributors.
Pierre Sarfati +2 more
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
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
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
Advanced Materials, EarlyView.Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam +6 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
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
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
Conceptualising Programming Language Semantics
PhilosophiesThe semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has investigated them from this perspective.
Troy Kaighin Astarte
doaj +1 more source