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.
Automatic Generation of Combinatorial Test Data / / by Jian Zhang, Zhiqiang Zhang, Feifei Ma
| Automatic Generation of Combinatorial Test Data / / by Jian Zhang, Zhiqiang Zhang, Feifei Ma |
| Autore | Zhang Jian |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (97 p.) |
| Disciplina |
004
004.0151 005.1 006.3 |
| Collana | SpringerBriefs in Computer Science |
| Soggetto topico |
Software engineering
Computer science—Mathematics Artificial intelligence Software Engineering Math Applications in Computer Science Artificial Intelligence |
| ISBN | 3-662-43429-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Combinatorial Testing -- Mathematical Construction Methods -- One Test at a Time -- The IPO Family -- Evolutionary Computation and Metaheuristics -- Evolutionary Computation and Metaheuristics -- Tools and Benchmarks -- Other Related Topics. |
| Record Nr. | UNINA-9910298983803321 |
Zhang Jian
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 51st ACM Technical Symposium on Computer Science Education / / Jian Zhang [and three others]
| Proceedings of the 51st ACM Technical Symposium on Computer Science Education / / Jian Zhang [and three others] |
| Autore | Zhang Jian |
| Pubbl/distr/stampa | New York, New York : , : Association for Computing Machinery, , 2020 |
| Descrizione fisica | 1 online resource (1552 pages) : illustrations |
| Disciplina | 004 |
| Collana | ACM Conferences |
| Soggetto topico | Electronic data processing - Study and teaching (Higher) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412353903321 |
|
Zhang Jian
|
||
| New York, New York : , : Association for Computing Machinery, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Robust Observer-Based Fault Diagnosis for Nonlinear Systems Using MATLAB® / / by Jian Zhang, Akshya Kumar Swain, Sing Kiong Nguang
| Robust Observer-Based Fault Diagnosis for Nonlinear Systems Using MATLAB® / / by Jian Zhang, Akshya Kumar Swain, Sing Kiong Nguang |
| Autore | Zhang Jian |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 224 p. 44 illus., 42 illus. in color.) |
| Disciplina | 620.0044 |
| Collana | Advances in Industrial Control |
| Soggetto topico |
Control engineering
Chemical engineering Aerospace engineering Astronautics Robotics Automation Control and Systems Theory Industrial Chemistry/Chemical Engineering Aerospace Technology and Astronautics Robotics and Automation |
| ISBN | 3-319-32324-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Detection and Isolation of Actuator Faults -- Detection and Isolation of Sensor Faults -- Robust Estimation of Actuator Faults -- Robust Estimation of Sensor Faults -- Simultaneous Estimation of Actuator and Sensor Faults Using SMO and AO -- Simultaneous Estimation of Actuator and Sensor Faults Using SMO and UIO -- Simultaneous Estimation of Actuator and Sensor Faults for Descriptor Systems -- Conclusions and Future Work -- Appendices: Solving Linear Matrix Inequality (LMI) Problems; Proof of Lemma 3.1. |
| Record Nr. | UNINA-9910254226403321 |
|
Zhang Jian
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||