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.
Applied and Computational Statistics
| Applied and Computational Statistics |
| Autore | Bolboac? Sorana D |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 electronic resource (104 p.) |
| Soggetto non controllato |
molecular descriptors
compound symmetry Anderson–Darling test (AD) software testing probability characteristic polynomial (ChP) mutation testing C20 fullerene fullerene congeners machine learning maximum likelihood estimation gompertz distribution modified beta generator structure–property relationships repeated measurement designs Monte Carlo simulation |
| ISBN | 3-03928-177-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910372782403321 |
Bolboac? Sorana D
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber-Physical Systems
| Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber-Physical Systems |
| Autore | Törngren Martin |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 electronic resource (232 p.) |
| Soggetto topico | History of engineering & technology |
| Soggetto non controllato |
component-based software engineering
mode mode-switch complexity cyber-physical systems systems engineering uncertainty microgrid distributed design self-similar architecture plug-n-play distributed control distribution network field test autonomous cyber-physical systems resilience ethics nano-bio-info-cogno technologies smart cyber-physical systems self-generated intelligence ampliative reasoning mechanism procedural abduction data-driven system control run-time acquired data computational functions self-adaptation capability human/socially-centered applications embedded systems software component component-based development CBD GPU GPU component allocation component allocation architecture layer time-triggered system real-time adaptation scheduling multi-core real-time systems Fixed-Priority Preemptive Scheduling (FPPS) mixed-criticality systems Cyber Physical Systems Reactive Systems Model-Based Design Embedded Systems Automatic Code Generation IDE Internet of Things model testing mutation testing energy consumption EAST-ADL |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557582003321 |
|
Törngren Martin
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics in Software Reliability and Quality Assurance
| Mathematics in Software Reliability and Quality Assurance |
| Autore | Dohi Tadashi |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 electronic resource (218 p.) |
| Soggetto topico |
Technology: general issues
History of engineering & technology |
| Soggetto non controllato |
fuzzy automata
coalgebra fuzzy language bisimulation composition test data generation genetic algorithm specification-based testing regression testing mutation testing eventual property model checking Maude textual question answering visual question answering metamorphic testing metamorphic relations quality assessment software rejuvenation checkpointing optimal rejuvenation-trigger timing steady-state system availability phase expansion human-error factors petri net concurrent software systems model-checking data-flows software reliability model maximum likelihood estimation EM algorithm non-homogeneous Poisson process generalized failure count data moth flame optimization island-based model feature selection software defect prediction software reliability search-based test case generation branch coverage object-oriented deep learning long short-term memory project similarity and clustering cross-project prediction Nervos CKB consensus protocol UPPAAL |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910576884903321 |
|
Dohi Tadashi
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||