Results 181 to 190 of about 92,710 (270)
Who Cares for Space Debris? Conflicting Logics of Security and Sustainability in Space Situational Awareness Practices. [PDF]
Sci Eng EthicsKlimburg-Witjes N, Strycker K, Braun V.
europepmc +1 more source
Sampling-based algorithms for motion planning with temporal logic specifications [PDF]
, 2019 Felipe Montana
openalex
Emerging Memory and Device Technologies for Hardware‐Accelerated Model Training and Inference
Advanced Electronic Materials, EarlyView.This review investigates the suitability of various emerging memory technologies as compute‐in‐memory hardware for artificial intelligence (AI) applications. Distinct requirements for training‐ and inference‐centric computing are discussed, spanning device physics, materials, and system integration.
Yoonho Cho +6 more
wiley +1 more source
'Peace-kept' urbanism: Ephemerality and endurance in eastern DRC. [PDF]
Urban StudLarsen M.
europepmc +1 more source
Improved Automata Generation for Linear Temporal Logic [PDF]
, 1999 Marco Daniele +2 more
openalex +1 more source
Advanced Energy and Sustainability Research, EarlyView.Triboelectric nanogenerators are vital for sustainable energy in future technologies such as wearables, implants, AI, ML, sensors and medical systems. This review highlights improved TENG neuromorphic devices with higher energy output, better stability, reduced power demands, scalable designs and lower costs.
Ruthran Rameshkumar +2 more
wiley +1 more source
Fast, Composable Rescue Mission Planning for UAVs using Metric Temporal Logic
, 2020 Usman A. Fiaz, John S. Baras
openalex +1 more source
Provably-correct coordination of large collections of agents with counting temporal logic constraints [PDF]
, 2017 Yunus Emre Sahin +2 more
openalex +1 more source