Info
Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin
| Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley, , [2018] |
| Descrizione fisica | 1 online resource (573 pages) |
| Disciplina | 005.1/4 |
| Soggetto topico | Computer software - Testing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-5231-2157-2
1-119-35705-5 1-119-48736-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910467001903321 |
| Hoboken, NJ : , : Wiley, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin
| Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley, , [2018] |
| Descrizione fisica | 1 online resource (573 pages) |
| Disciplina | 005.1/4 |
| Soggetto topico | Computer software - Testing |
| ISBN |
1-119-48740-4
1-5231-2157-2 1-119-35705-5 1-119-48736-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910542029203321 |
| Hoboken, NJ : , : Wiley, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin
| Analytic methods in systems and software testing / / edited by Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley, , [2018] |
| Descrizione fisica | 1 online resource (573 pages) |
| Disciplina | 005.1/4 |
| Soggetto topico | Computer software - Testing |
| ISBN |
1-119-48740-4
1-5231-2157-2 1-119-35705-5 1-119-48736-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910825267603321 |
| Hoboken, NJ : , : Wiley, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bayesian analysis of stochastic process models / / David Rios Insua, Fabrizio Ruggeri, Michael P. Wiper
| Bayesian analysis of stochastic process models / / David Rios Insua, Fabrizio Ruggeri, Michael P. Wiper |
| Autore | Rios Insua David <1964-> |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, New Jersey, : Wiley, 2012 |
| Descrizione fisica | 1 online resource (316 p.) |
| Disciplina | 519.5/42 |
| Altri autori (Persone) |
WiperMichael P
RuggeriFabrizio |
| Collana | Wiley series in probability and statistics |
| Soggetto topico |
Bayesian statistical decision theory
Stochastic processes |
| ISBN |
9786613619761
9781280589935 1280589930 9781118304037 1118304039 9780470975916 0470975911 9780470975923 047097592X |
| Classificazione | MAT029010 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: Preface 1 Stochastic Processes 11 1.1 Introduction 11 1.2 Key Concepts in Stochastic Processes 11 1.3 Main Classes of Stochastic Processes 16 1.4 Inference, Prediction and Decision Making 21 1.5 Discussion 23 2 Bayesian Analysis 27 2.1 Introduction 27 2.2 Bayesian Statistics 28 2.3 Bayesian Decision Analysis 37 2.4 Bayesian Computation 39 2.5 Discussion 51 3 Discrete Time Markov Chains 61 3.1 Introduction 61 3.2 Important Markov Chain Models 62 3.3 Inference for First Order Chains 66 3.4 Special Topics 76 3.5 Case Study: Wind Directions at Gij́on 87 3.6 Markov Decision Processes 94 3.7 Discussion 97 4 Continuous Time Markov Chains and Extensions 105 4.1 Introduction 105 4.2 Basic Setup and Results 106 4.3 Inference and Prediction for CTMCs 108 4.4 Case Study: Hardware Availability through CTMCs 112 4.5 Semi-Markovian Processes 118 4.6 Decision Making with Semi-Markovian Decision Processes 122 4.7 Discussion 128 5 Poisson Processes and Extensions 133 5.1 Introduction 133 5.2 Basics on Poisson Processes 134 5.3 Homogeneous Poisson Processes 138 5.4 Nonhomogeneous Poisson Processes 147 5.5 Compound Poisson Processes 153 5.6 Further Extensions of Poisson Processes 154 5.7 Case Study: Earthquake Occurrences 157 5.8 Discussion 162 6 Continuous Time Continuous Space Processes 169 6.1 Introduction 169 6.2 Gaussian Processes 170 6.3 Brownian Motion and Fractional Brownian Motion 174 6.4 Dilusions 181 6.5 Case Study: Prey-predator Systems 184 6.6 Discussion 190 7 Queueing Analysis 201 7.1 Introduction 201 7.2 Basic Queueing Concepts 201 7.3 The Main Queueing Models 204 7.4 Inference for Queueing Systems 208 7.5 Inference for M=M=1 Systems 209 7.6 Inference for Non Markovian Systems 220 7.7 Decision Problems in Queueing Systems 229 7.8 Case Study: Optimal Number of Beds in a Hospital 230 7.9 Discussion 235 8 Reliability 245 8.1 Introduction 245 8.2 Basic Reliability Concepts 246 8.3 Renewal Processes 249 8.4 Poisson Processes 251 8.5 Other Processes 259 8.6 Maintenance 262 8.7 Case Study: Gas Escapes 263 8.8 Discussion 271 9 Discrete Event Simulation 279 9.1 Introduction 279 9.2 Discrete Event Simulation Methods 280 9.3 A Bayesian View of DES 283 9.4 Case Study: A G=G=1 Queueing System 286 9.5 Bayesian Output Analysis 288 9.6 Simulation and Optimization 292 9.7 Discussion 294 10 Risk Analysis 301 10.1 Introduction 301 10.2 Risk Measures 302 10.3 Ruin Problems 316 10.4 Case Study: Ruin Probability Estimation 320 10.5 Discussion 327 Appendix A Main Distributions 337 Appendix B Generating Functions and the Laplace-Stieltjes Transform 347 Index. |
| Record Nr. | UNINA-9910141318903321 |
Rios Insua David <1964->
|
||
| Hoboken, New Jersey, : Wiley, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Encyclopedia of Statistics in Quality and Reliability
| Encyclopedia of Statistics in Quality and Reliability |
| Pubbl/distr/stampa | [Place of publication not identified], : John Wiley, 2007 |
| Disciplina | 658.4/013 |
| Altri autori (Persone) |
FaltinFrederick W
RuggeriFabrizio KenettRon |
| Soggetto topico |
Production management - Quality control
Reliability (Engineering) Industrial & Management Engineering Mechanical Engineering Engineering & Applied Sciences |
| ISBN |
0-470-06157-X
1-61583-344-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911006574803321 |
| [Place of publication not identified], : John Wiley, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Statistical methods in healthcare / / edited by Frederick W. Faltin, Ron S. Kenett, Fabrizio Ruggeri
| Statistical methods in healthcare / / edited by Frederick W. Faltin, Ron S. Kenett, Fabrizio Ruggeri |
| Autore | Faltin Frederick W |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Chichester [England] : , : Wiley, , 2012 |
| Descrizione fisica | xxvii, 491 p. : ill |
| Altri autori (Persone) |
KenettRon S
RuggeriFabrizio |
| ISBN |
1-119-94204-7
1-119-94001-X 1-119-94000-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Statistical aspects in ICH guidelines / Sampson and Kenett -- Statistical methods in clinical trials / Telba Irony -- Pharmacikinetics, pharmacodynamics, and pharmacometrics / Serge Guzy -- Virtual clinical trials for streamlining drug development / Zvia Agur -- Stage wise clinical trial experiments in phase I, II and III / S. Zacks -- Risk management in drug development / Kenett -- 21st century challenges in drug development / Yafit Stark -- Bias in modeling and monitoring health outcomes / Olivia Grigg -- Disease tracking / Biggeri -- Process indicators and outcome measures in the treatment of acute myocardial infarction patients / Guglielmi ... [et al.] -- Meta-analysis / Eva Negri -- Control charts in healthcare / Woodall, Adams, and Benneyan -- Uses & abuses of control charts in healthcare / Jordan and Benneyan -- Six sigma in health care / Shirley Coleman -- Statistical process control in clinical medicine / Winkel and Zhang -- A model for kidney allocation : data-driven optimization / Yahav -- Statistical issues in vaccine safety evaluation / Musonda -- Economics of healthcare / Manca -- Benchmarking of healthcare costs & performance / Tarricone -- Statistical issues in healthcare facilities management / O'Neill -- Health care as a service / Anne Shade -- Statistical issues in insurance/payer processes / Stavish and Popkoski -- Quality of electronic medical records / Gregori. |
| Record Nr. | UNINA-9911020329903321 |
|
Faltin Frederick W
|
||
| Chichester [England] : , : Wiley, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Statistical methods in healthcare [[electronic resource] /] / edited by Frederick W. Faltin, Ron S. Kenett, Fabrizio Ruggeri
| Statistical methods in healthcare [[electronic resource] /] / edited by Frederick W. Faltin, Ron S. Kenett, Fabrizio Ruggeri |
| Pubbl/distr/stampa | Chichester [England], : Wiley, 2012 |
| Descrizione fisica | 1 online resource (521 p.) |
| Disciplina | 362.102/1 |
| Altri autori (Persone) |
FaltinFrederick W
KenettRon RuggeriFabrizio |
| Soggetto topico |
Medical care - Mathematical models
Medical care |
| ISBN |
1-119-94204-7
1-299-31470-8 1-119-94001-X 1-119-94000-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Statistical aspects in ICH guidelines / Sampson and Kenett -- Statistical methods in clinical trials / Telba Irony -- Pharmacikinetics, pharmacodynamics, and pharmacometrics / Serge Guzy -- Virtual clinical trials for streamlining drug development / Zvia Agur -- Stage wise clinical trial experiments in phase I, II and III / S. Zacks -- Risk management in drug development / Kenett -- 21st century challenges in drug development / Yafit Stark -- Bias in modeling and monitoring health outcomes / Olivia Grigg -- Disease tracking / Biggeri -- Process indicators and outcome measures in the treatment of acute myocardial infarction patients / Guglielmi ... [et al.] -- Meta-analysis / Eva Negri -- Control charts in healthcare / Woodall, Adams, and Benneyan -- Uses & abuses of control charts in healthcare / Jordan and Benneyan -- Six sigma in health care / Shirley Coleman -- Statistical process control in clinical medicine / Winkel and Zhang -- A model for kidney allocation : data-driven optimization / Yahav -- Statistical issues in vaccine safety evaluation / Musonda -- Economics of healthcare / Manca -- Benchmarking of healthcare costs & performance / Tarricone -- Statistical issues in healthcare facilities management / O'Neill -- Health care as a service / Anne Shade -- Statistical issues in insurance/payer processes / Stavish and Popkoski -- Quality of electronic medical records / Gregori. |
| Record Nr. | UNINA-9910138867603321 |
| Chichester [England], : Wiley, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||