Results 61 to 70 of about 241,032 (325)
Measurable Stochastics for Brane Calculus [PDF]
, 2010 We give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare. In this presentation, the semantics of a Brane process is a measure of the stochastic distribution of possible derivations.
Gabriel Ciobanu +3 more
core +4 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
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
HeliyonThis study presents a comprehensive framework to enhance Wikidata as an open and collaborative knowledge graph by integrating Open Biological and Biomedical Ontologies (OBO) and Medical Subject Headings (MeSH) keywords from PubMed publications.
Houcemeddine Turki +6 more
doaj +1 more source
, 2021 The transformations of society impose new configurations in the way the disciplines are composed and related. In this context, multi and interdisciplinary can provide answers for the solution problems that are not solved within the classical sciences. One of these relationships resides between Information Science and Computer Science, whose interaction
Coneglian, Cato Saraiva +2 more
openaire +3 more sources
Inverse Design in Nanophotonics via Representation Learning
Advanced Optical Materials, EarlyView.This review frames machine learning (ML) in nanophotonics through a classification based on where ML is applied. We categorize methods as either output‐side, which create differentiable surrogates for solving Maxwell's partial differential equations (PDEs), or input‐side, which learn compact representations of device geometry.
Reza Marzban +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
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
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