Results 151 to 160 of about 118,666 (308)
Artificial intelligence tools for path generation and optimisation for mobile robots [PDF]
The ultimate goal in robotic systems is to develop machines that learn for themselves based on experience. In order to achieve on-line learning some software tools are needed to allow the robots to continually adapt their behaviour in order to constantly
Gongora, Mario Augusto
core
Exploring heterogeneous computing with advanced path tracing algorithms [PDF]
, 2017 Dissertação de mestrado em Computer ScienceCurrently, most computing systems have access to more than one type of processing unit, typically a multicore CPU device and a computing accelerator, such as a GPU.
Oliveira, André David Gomes Monteiro
core
Optimization Scheme of Trust Model Based on Graph Theory for Edge Computing
工程科学与技术, 2020 In order to solve the problems of the limited devices resources in the edge computing environment and the negligence of computing load as well as the redundant trust path in the existing trust models, a trust evaluation optimization model of the edge ...
Ruizhong DU, Kunqi XU, Junfeng TIAN
doaj
Advanced Engineering Materials, EarlyView.Knowledge‐based atomistic workflows are presented for mechanical and thermodynamic properties. By coupling modular simulations with ontology‐aligned metadata and provenance, Fe case studies on elastic behavior, defects, thermal properties, and Hall–Petch strengthening reveal how FAIR, queryable, and reusable simulation data can be generated. Mechanical
Abril Azócar Guzmán +5 more
wiley +1 more source
A path-precise analysis for property synthesis [PDF]
, 2003 technical reportRecent systems such as SLAM, Metal, and ESP help programmers by automating reasoning about the correctness of temporal program properties.
McDirmid, Sean; Hsieh, Wilson C.
core
, 2016 The treatment of equality as a type in type theory gives rise to an interesting type-theoretic structure known as `identity type'. The idea is that, given terms $a,b$ of a type $A$, one may form the type $Id_{A}(a,b)$, whose elements are proofs that $a$ and $b$ are equal elements of type $A$.
Ramos, Arthur Freitas +2 more
openaire +2 more sources
Routing algorithm for heterogeneous computing force requests based on computing first network
Dianxin kexueDue to the particularity and uniqueness of computing force requests, how to find an effective path set with non-intersecting transmission links for a group of heterogeneous computing force requests, so that the group of requests can reach their ...
ZHANG Gang, LI Xi
doaj
Cathodic Cage Plasma Deposition of Nanostructured Cu–Fe–Se Coatings on Poly(methyl Methacrylate)
Advanced Engineering Materials, EarlyView.Nanostructured Cu–Fe–Se coatings are deposited on PMMA by a modified cathodic cage plasma process, enabling low‐temperature deposition on polymer substrates. A transition from discontinuous to compact morphology is observed with temperature, with optimal properties at 200°C, where improved CuFeSe2‐type bonding, lowest sheet resistance, and favorable ...
V. S. S. Sobrinho +8 more
wiley +1 more source
VHSAP-based approach of defending against DDoS attacks for cloud computing routing platforms
Tongxin xuebao, 2015 Based on the analysis of security overlay service (SOS) approach of defending against DDoS attacks in large scale network,the vulnerability in the exit mechanism of being attacked nodes in SOS approach is explored.The vulnerability is solved by improving
UZhi-jun W, UIYi C, UEMeng Y
doaj +2 more sources
Advanced Engineering Materials, EarlyView.Coarse‐grained (left) and atomistic (right) models of the shape memory polymer ESTANE ETE 75DT3 are shown schematically. The two representations bridge molecular detail and mesoscopic description. Both models capture shape memory behavior, linking segmental mobility and conformational relaxation of anisotropic chains to macroscopic recovery, and ...
Fathollah Varnik
wiley +1 more source