Results 41 to 50 of about 176,906 (321)
A Superfast Super-Resolution Method for Radar Forward-Looking Imaging
Sensors, 2021 The super-resolution method has been widely used for improving azimuth resolution for radar forward-looking imaging. Typically, it can be achieved by solving an undifferentiable L1 regularization problem. The split Bregman algorithm (SBA) is a great tool
Weibo Huo +5 more
doaj +1 more source
Classical logic, continuation semantics and abstract machines [PDF]
, 1998 One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines.
B. Reus +2 more
core +2 more sources
Sensors, 2023 This paper analyses the centralized fusion linear estimation problem in multi-sensor systems with multiple packet dropouts and correlated noises. Packet dropouts are modeled by independent Bernoulli distributed random variables. This problem is addressed
Rosa M. Fernández-Alcalá +3 more
doaj +1 more source
A game-semantic model of computation [PDF]
Research in the Mathematical Sciences, 2018 The present paper introduces a novel notion of `(effective) computability', called viability, of strategies in game semantics in an intrinsic (i.e., without recourse to the standard Church-Turing computability), non-inductive and non-axiomatic manner, and shows, as a main technical achievement, that viable strategies are Turing complete.
openaire +3 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
Specifying ODP computational objects in Z [PDF]
, 1996 The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking.
B Meyer +6 more
core +2 more sources
Black Holes and Complexity via Constructible Universe
Universe, 2020 The relation of randomness and classical algorithmic computational complexity is a vast and deep subject by itself. However, already, 1-randomness sequences call for quantum mechanics in their realization.
Jerzy Król, Paweł Klimasara
doaj +1 more source
Semantic Ideas in Computing [PDF]
, 1996 Are there distinct principles and concepts which underlie computing, so that we are justified in calling it an independent science? Or is computing a resource or commodity – like water – which is perfectly well understood in terms of existing science, for which we merely have to find more and better uses?In this essay I argue that a rich conceptual ...
openaire +3 more sources
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
Anaphora and Discourse Structure [PDF]
, 2002 We argue in this paper that many common adverbial phrases generally taken to signal a discourse relation between syntactically connected units within discourse structure, instead work anaphorically to contribute relational meaning, with only indirect ...
Joshi, Aravind +3 more
core +2 more sources