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.
Hardware and Software: Verification and Testing [[electronic resource] ] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
| Hardware and Software: Verification and Testing [[electronic resource] ] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 197 p. 51 illus., 13 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-642-19583-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465908203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The rhetoric of women's humour in Barbara Pym's fiction / / Naghmeh Varghaiyan ; with a preface by Orna Raz
| The rhetoric of women's humour in Barbara Pym's fiction / / Naghmeh Varghaiyan ; with a preface by Orna Raz |
| Autore | Varghaiyan Naghmeh |
| Pubbl/distr/stampa | Stuttgart : , : Ibidem-Verlag, , [2021] |
| Descrizione fisica | 1 online resource (ix, 219 pages) |
| Disciplina | 823.914 |
| Collana | Studies in English literatures |
| ISBN | 3-8382-7503-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910794444803321 |
Varghaiyan Naghmeh
|
||
| Stuttgart : , : Ibidem-Verlag, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The rhetoric of women's humour in Barbara Pym's fiction / / Naghmeh Varghaiyan ; with a preface by Orna Raz
| The rhetoric of women's humour in Barbara Pym's fiction / / Naghmeh Varghaiyan ; with a preface by Orna Raz |
| Autore | Varghaiyan Naghmeh |
| Pubbl/distr/stampa | Stuttgart : , : Ibidem-Verlag, , [2021] |
| Descrizione fisica | 1 online resource (ix, 219 pages) |
| Disciplina | 823.914 |
| Collana | Studies in English literatures |
| ISBN | 3-8382-7503-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910812226403321 |
|
Varghaiyan Naghmeh
|
||
| Stuttgart : , : Ibidem-Verlag, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Practice of Quality Assurance for Machine Learning Systems : An Experiment-Driven Approach / / by Samuel Ackerman, Guy Barash, Eitan Farchi, Orna Raz, Onn Shehory
| Theory and Practice of Quality Assurance for Machine Learning Systems : An Experiment-Driven Approach / / by Samuel Ackerman, Guy Barash, Eitan Farchi, Orna Raz, Onn Shehory |
| Autore | Ackerman Samuel |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (187 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
BarashGuy
FarchiEitan RazOrna ShehoryOnn |
| Soggetto topico |
Software engineering
Artificial intelligence Software Engineering Artificial Intelligence |
| ISBN | 3-031-70008-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Scientific Analysis of ML Systems -- 3. Motivation and Best Practices for Machine Learning Designers and Testers -- 4. Unit Test vs. System Test of ML Based Systems -- 5. ML Testing -- 6. Principles of Drift Detection and ML Solution Retraining -- 7. Drift Detection by Measuring Distribution Differences -- 8. Sequential Drift Detection -- 9. Drift in Characterizations of Data -- 10. A Framework Analysis for Alternating Components and Drift -- 11. Optimal Integration of the ML Solution in the Business Decision Process -- 12. Testing Solutions Based on Large Language Models -- 13. A Detailed Chatbot Example. |
| Record Nr. | UNINA-9910900179903321 |
|
Ackerman Samuel
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||