Results 11 to 20 of about 5,064,874 (383)
The computability path ordering [PDF]
Logical Methods in Computer Science, 2015 This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability path ordering (CPO), a recursive relation on terms obtained by lifting a precedence on function symbols.
Blanqui, Frédéric +2 more
openaire +7 more sources
Quantum Computing for High-Energy Physics: State of the Art and Challenges [PDF]
PRX Quantum, 2023 Quantum computers offer an intriguing path for a paradigmatic change of computing in the natural sciences and beyond, with the potential for achieving a so-called quantum advantage—namely, a significant (in some cases exponential) speedup of numerical ...
A. D. Meglio +45 more
semanticscholar +1 more source
Partitioning multi-layer edge network for neural network collaborative computing
EURASIP Journal on Wireless Communications and Networking, 2023 There is a trend to deploy neural network on edge devices in recent years. While the mainstream of research often concerns with single edge device processing and edge-cloud two-layer neural network collaborative computing, in this paper, we propose ...
Qiang Li +4 more
doaj +1 more source
Robotics, 2022 In response to the issue of virus contamination in the cold-chain warehouse or hospital environment under the influence of the COVID-19, we propose the design work of a disinfection robot based on the UVC radiation mechanism using the low-computational ...
Sen Wang +6 more
doaj +1 more source
A path planning approach for mobile robots using short and safe Q-learning
PLoS ONE, 2022 Path planning is a major challenging problem for mobile robots, as the robot is required to reach the target position from the starting position while simultaneously avoiding conflicts with obstacles. This paper refers to a novel method as short and safe
He Du +5 more
doaj +2 more sources
Physarum can compute shortest paths [PDF]
Journal of Theoretical Biology, 2012 Physarum Polycephalum is a slime mold that is apparently able to solve shortest path problems. A mathematical model has been proposed by biologists to describe the feedback mechanism used by the slime mold to adapt its tubular channels while foraging two food sources s0 and s1.
Bonifaci V, Mehlhorn K, Varma G
openaire +10 more sources
Quantum path computing: computing architecture with propagation paths in multiple plane diffraction of classical sources of fermion and boson particles [PDF]
Quantum Information Processing, 2017 Quantum computing (QC) architectures utilizing classical or coherent resources with Gaussian transformations are classically simulable as an indicator of the lack of QC power.
B. Gulbahar
semanticscholar +1 more source
AOEHO: A New Hybrid Data Replication Method in Fog Computing for IoT Application
Sensors, 2023 Recently, the concept of the internet of things and its services has emerged with cloud computing. Cloud computing is a modern technology for dealing with big data to perform specified operations.
Ahmed awad Mohamed +3 more
doaj +1 more source
Design and Implementation of OpenVX Highly Efficient Parallel Reconfigurable Computing Pathway [PDF]
Jisuanji gongcheng, 2021 When used for graphics and image processing, application-specific hardware usually fail to balance flexibility, scalability and speed.To address the problem, an application-specific instruction set processor supporting the OpenVX 1.3 standard is designed.
WANG Yu, LI Tao, XING Lidong, FENG Zhenfu
doaj +1 more source
Designing Network Design Strategies Through Gradient Path Analysis [PDF]
Journal of information science and engineering, 2022 Designing a high-efficiency and high-quality expressive network architecture has always been the most important research topic in the field of deep learning.
Chien-Yao Wang, Hongpeng Liao, I-Hau Yeh
semanticscholar +1 more source