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 electronic resource (150 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
belief-desire-intention (BDI)
jason robot operating system (ROS) robotic agents collective autonomy self-organisation aggregate computing multi-agent systems coordination robotics software engineering verification and validation human-agent interaction Rules of the Road Autonomous Vehicles agents model checking self-driving vehicle formal verification rational agent decision-making ROS |
| 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 electronic resource (316 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
crypto-ransomware
locker-ransomware static analysis dynamic analysis machine learning assessment framework cybersecurity GDPR PCI-DSS DSPT NISD cyber-ranges security training security modelling serious games dynamic adaptation training programmes computers in education bloom STRIDE smart shipping military VMF hash chain T-OTP lightweight secure hash (LSH) CNR web application security vulnerability analysis security testing static analysis security testing dynamic analysis security testing interactive analysis security testing assessment methodology false positive false negative tools combination deep learning image classification transfer learning industrial control system fine-tuning testbeds cyber ranges cyber exercises education training research lattice cryptography code cryptography post quantum cryptography physical unclonable function public key infrastructure high performance computing malware analysis static malware analysis dynamic malware analysis malware classification random forest support vector machines smart grid risk assessment threat modeling formal verification probabilistic model checking cloud robotics image face recognition deep learning algorithms security encryption algorithms cybercrime Hasse diagram interval-valued complex intuitionistic fuzzy relations interval-valued complex intuitionistic fuzzy sets offensive cybersecurity cyber-attacks scoring model offensive cybersecurity framework |
| 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 electronic resource (190 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
AUTOSAR
DAG runnable scheduling control-scheduling codesign lagrange multiplier Mobile Cyber-Physical Systems (MCPS) industry Mobile Sink Groups (MSG) group mobility real-time data delivery Intelligent Transportation System (ITS) deep neural network Red Light Runner (RLR) dynamic signal control intersection safety mixed-criticality power-aware real-time scheduling DVFS security taxonomies event-based systems mobile cyber physical systems security flaws searchable encryption PEKS forward privacy trusted execution environment SGX data quality large-scale high-dimensionality linear discriminant analysis random projection bootstrapping controller area network bus authentication authenticity resiliency sustainability formal verification model checking in-vehicle network model compression adversarial robustness weight pruning adversarial training distillation embedded system secure AI |
| 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 | ||
| ||