Results 11 to 20 of about 5,433,526 (396)
“Computing” and “Information”: Two Paths in “Information Turn”
The “information turn” has gradually become a new direction in philosophy to replace the “linguistic turn”, with “computing” and “information” as the main paths.
Wei He
doaj +1 more source
The computability path ordering [PDF]
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.
Frédéric Blanqui+3 more
openaire +11 more sources
Partitioning multi-layer edge network for neural network collaborative computing
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
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
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
AOEHO: A New Hybrid Data Replication Method in Fog Computing for IoT Application
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
Reconfigurable Computing for Tool-Path Computation [PDF]
Tool path generation is one of the most complex problems in Computer Aided Manufacturing. Although some efficient strategies have been developed to solve it, most of them are only useful for 3 and 5 axis standard machining. The algorithm called Virtual Digitising computes the tool path by means of a “virtually digitised” model of the surface and a ...
Jimeno Morenilla, Antonio+1 more
openaire +2 more sources
ADRCN: A Framework to Detect and Mitigate Malicious Insider Attacks in Cloud-Based Environment on IaaS [PDF]
Security is a critical factor for any of the computing platforms. Cloud computing is a new computing environment but still, its basic technology is the Internet.
Priya Oberoi+2 more
doaj +1 more source
Determining Effective Factors in Cloud Computing Acceptance Using Rogers’ Diffusion of Innovation Model and Davis’ Technology Adoption Model (A Case of Financial Institution) [PDF]
Background and Objectives: Determining effective factors in cloud computing adoption on employees of Noor credit institution in South Khorasan province, Iran, is the purpose of the present study.
H. KardanMoghaddam, A. Rajaei, F. Jafari
doaj +1 more source
Physarum can compute shortest paths [PDF]
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 +9 more sources