Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Agents and Robots for Reliable Engineered Autonomy
| Agents and Robots for Reliable Engineered Autonomy |
| Autore | Cardoso Rafael C |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (150 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
agents
aggregate computing Autonomous Vehicles belief-desire-intention (BDI) collective autonomy coordination decision-making formal verification human-agent interaction jason model checking multi-agent systems n/a rational agent robot operating system (ROS) robotic agents robotics ROS Rules of the Road self-driving vehicle self-organisation software engineering verification and validation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557485603321 |
Cardoso Rafael C
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber Security of Critical Infrastructures
| Cyber Security of Critical Infrastructures |
| Autore | Maglaras Leandros |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (316 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
analysis security testing
assessment framework assessment methodology bloom cloud robotics CNR code cryptography computers in education crypto-ransomware cyber exercises cyber ranges cyber-attacks cyber-ranges cybercrime cybersecurity deep learning deep learning algorithms DSPT dynamic adaptation dynamic analysis dynamic analysis security testing dynamic malware analysis education encryption algorithms false negative false positive fine-tuning formal verification GDPR hash chain Hasse diagram high performance computing image classification image face recognition industrial control system interactive analysis security testing interval-valued complex intuitionistic fuzzy relations interval-valued complex intuitionistic fuzzy sets lattice cryptography lightweight secure hash (LSH) locker-ransomware machine learning malware analysis malware classification military n/a NISD offensive cybersecurity offensive cybersecurity framework PCI-DSS physical unclonable function post quantum cryptography probabilistic model checking public key infrastructure random forest research risk assessment scoring model security security modelling security training security vulnerability serious games smart grid smart shipping static analysis static analysis security testing static malware analysis STRIDE support vector machines T-OTP testbeds threat modeling tools combination training training programmes transfer learning VMF web application |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557336503321 |
|
Maglaras Leandros
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trustworthiness in Mobile Cyber Physical Systems
| Trustworthiness in Mobile Cyber Physical Systems |
| Autore | Kang Kyungtae |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (190 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
adversarial robustness
adversarial training authentication authenticity AUTOSAR bootstrapping control-scheduling codesign controller area network bus DAG data quality deep neural network distillation DVFS dynamic signal control embedded system event-based systems formal verification forward privacy group mobility high-dimensionality in-vehicle network industry Intelligent Transportation System (ITS) intersection safety lagrange multiplier large-scale linear discriminant analysis mixed-criticality mobile cyber physical systems Mobile Cyber-Physical Systems (MCPS) Mobile Sink Groups (MSG) model checking model compression n/a PEKS power-aware random projection real-time data delivery real-time scheduling Red Light Runner (RLR) resiliency runnable scheduling searchable encryption secure AI security flaws security taxonomies SGX sustainability trusted execution environment weight pruning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557531703321 |
|
Kang Kyungtae
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||