Results 21 to 30 of about 17,595 (265)
Waypoint Generation in Satellite Images Based on a CNN for Outdoor UGV Navigation
Machines, 2023 Moving on paths or trails present in natural environments makes autonomous navigation of unmanned ground vehicles (UGV) simpler and safer. In this sense, aerial photographs provide a lot of information of wide areas that can be employed to detect paths ...
Manuel Sánchez +2 more
doaj +1 more source
Use of Augmented and Virtual Reality in Remote Higher Education: A Systematic Umbrella Review
Education Sciences, 2020 In this systematic umbrella review we aggregate the current knowledge of how virtual and augmented reality technologies are applicable to and impact remote learning in higher education; specifically, how they impact such learning outcomes as performance ...
Krisjanis Nesenbergs +3 more
doaj +1 more source
Semantics of Cyber-Physical Systems [PDF]
, 2012 The very recent development of Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts with the physical world. The solution to CPS must transcend the boundary between the cyber world and the physical world by providing integrated models addressing issues from both worlds simultaneously.
Tharam S. Dillon +3 more
openaire +1 more source
Blockchain-Based Distributed Trust and Reputation Management Systems: A Survey
IEEE Access, 2020 Distributed Ledger Technologies (DLTs), like Blockchain, are characterized by features such as transparency, traceability, and security by design. These features make the adoption of Blockchain attractive to enhance information security, privacy, and ...
Emanuele Bellini +2 more
doaj +1 more source
Sensors, 2022 The roles of emergency responders are challenging and often physically demanding, so it is essential that their duties are performed safely and effectively.
Pablo Vera-Ortega +4 more
doaj +1 more source
Sensors, 2019 A wireless seismic network can be effectively used as a tool for subsurface monitoring and imaging. By recording and analyzing ambient noise, a seismic network can image underground infrastructures and provide velocity variation information of the ...
Maria Valero +3 more
doaj +1 more source
A Calculus of Cyber-Physical Systems [PDF]
, 2017 We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPS{s}). The dynamics of the calculus is expressed in terms of a labelled transition system in the SOS style of Plotkin. This is used to define a bisimulation-based behavioural semantics which support compositional reasonings.
Lanotte, Ruggero, MERRO, Massimo
openaire +2 more sources
A probabilistic calculus of cyber-physical systems [PDF]
Information and Computation, 2021 arXiv admin note: text overlap with arXiv:1612 ...
Ruggero Lanotte +2 more
openaire +3 more sources
Probabilistic conformance for cyber-physical systems [PDF]
Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021 In system analysis, conformance indicates that two systems simultaneously satisfy the same set of specifications of interest; thus, the results from analyzing one system automatically transfer to the other, or one system can safely replace the other in practice. In this work, we study the probabilistic conformance of cyber-physical systems (CPS).
Yu Wang 0044 +3 more
openaire +2 more sources
Active Heat Flow Sensing for Robust Material Identification
IEEE Access, 2023 Thermal properties are significant for recognizing an object’s material but cannot be determined via visual and stiffness (or tactile)–based recognition techniques.
Yukiko Osawa +3 more
doaj +1 more source