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 online resource (104 p.) |
| Soggetto non controllato |
Anderson-Darling test (AD)
C20 fullerene characteristic polynomial (ChP) compound symmetry fullerene congeners gompertz distribution machine learning maximum likelihood estimation modified beta generator molecular descriptors Monte Carlo simulation mutation testing probability repeated measurement designs software testing structure-property relationships |
| 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 online resource (232 p.) |
| Soggetto topico | History of engineering and technology |
| Soggetto non controllato |
adaptation
allocation ampliative reasoning mechanism architecture layer Automatic Code Generation autonomous cyber-physical systems CBD complexity component allocation component-based development component-based software engineering computational functions Cyber Physical Systems cyber-physical systems data-driven system control distributed control distributed design distribution network EAST-ADL embedded systems Embedded Systems energy consumption ethics field test Fixed-Priority Preemptive Scheduling (FPPS) GPU GPU component human/socially-centered applications IDE Internet of Things microgrid mixed-criticality systems mode mode-switch model testing Model-Based Design multi-core mutation testing n/a nano-bio-info-cogno technologies plug-n-play procedural abduction Reactive Systems real-time real-time systems resilience run-time acquired data scheduling self-adaptation capability self-generated intelligence self-similar architecture smart cyber-physical systems software component systems engineering time-triggered system uncertainty |
| 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 online resource (218 p.) |
| Soggetto topico |
History of engineering and technology
Technology: general issues |
| Soggetto non controllato |
bisimulation
branch coverage checkpointing coalgebra composition concurrent software systems consensus protocol cross-project prediction data-flows deep learning EM algorithm eventual property feature selection fuzzy automata fuzzy language generalized failure count data genetic algorithm human-error factors island-based model long short-term memory Maude maximum likelihood estimation metamorphic relations metamorphic testing model checking model-checking moth flame optimization mutation testing Nervos CKB non-homogeneous Poisson process object-oriented optimal rejuvenation-trigger timing petri net phase expansion project similarity and clustering quality assessment regression testing search-based test case generation software defect prediction software rejuvenation software reliability software reliability model specification-based testing steady-state system availability test data generation textual question answering UPPAAL visual question answering |
| 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 | ||
| ||