Analytical and Stochastic Modelling Techniques and Applications [[electronic resource] ] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings / / edited by Bruno Sericola, Telek Miklós, Gábor Horváth |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 273 p. 83 illus.) |
Disciplina | 519.23 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Computer system failures Application software Mathematical statistics Algorithms Software Engineering Computer Communication Networks System Performance and Evaluation Information Systems Applications (incl. Internet) Probability and Statistics in Computer Science Algorithm Analysis and Problem Complexity |
ISBN | 3-319-08219-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analytical, numerical and simulation algorithms for stochastic systems.- Markov processes -- Queueing networks -- Stochastic Petri nets -- Process algebras -- Game theory. |
Record Nr. | UNISA-996217777203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Analytical and Stochastic Modelling Techniques and Applications [[electronic resource] ] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings / / edited by Bruno Sericola, Telek Miklós, Gábor Horváth |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 273 p. 83 illus.) |
Disciplina | 519.23 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Computer system failures Application software Mathematical statistics Algorithms Software Engineering Computer Communication Networks System Performance and Evaluation Information Systems Applications (incl. Internet) Probability and Statistics in Computer Science Algorithm Analysis and Problem Complexity |
ISBN | 3-319-08219-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analytical, numerical and simulation algorithms for stochastic systems.- Markov processes -- Queueing networks -- Stochastic Petri nets -- Process algebras -- Game theory. |
Record Nr. | UNINA-9910484625803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets [[electronic resource] ] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / / edited by Serge Haddad, Lucia Pomello |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XI, 419 p. 139 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science |
ISBN | 3-642-31131-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465524903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
ISBN | 3-642-38697-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
Record Nr. | UNISA-996465839703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
ISBN | 3-642-38697-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
Record Nr. | UNINA-9910483208403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications in Statistical Computing [[electronic resource] ] : From Music Data Analysis to Industrial Quality Improvement / / edited by Nadja Bauer, Katja Ickstadt, Karsten Lübke, Gero Szepannek, Heike Trautmann, Maurizio Vichi |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 340 p. 83 illus., 48 illus. in color.) |
Disciplina | 519.5 |
Collana | Studies in Classification, Data Analysis, and Knowledge Organization |
Soggetto topico |
Statistics
Data mining Mathematical statistics Mathematics Operations research Decision making Statistics and Computing/Statistics Programs Data Mining and Knowledge Discovery Applied Statistics Probability and Statistics in Computer Science Mathematics in Music Operations Research/Decision Theory |
ISBN | 3-030-25147-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Methodological Developments in Data Science.-Aviation Data Analysis by Linear Programming in Airline Network Revenue Management -- Bayesian Reduced Rank Regression for Classification -- Modelling and classification of GC/IMS breath gas measurements for lozenges of different flavours -- The Cosine Depth Distribution Classifier for Directional Data -- A Nonconformity Ratio Based Desirability Function for Capability Assessment -- Part II Computational Statistics -- Heteroscedastic Discriminant Analysis using R -- Comprehensive Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems Using the R-Package flacco -- Part III Perspectives on Statistics and Data Science -- A Note on Artificial Intelligence and Statistics -- Statistical Computing and Data Science in Introductory Statistics -- Approaching Ethical Guidelines for Data Scientists -- Part IV Statistics in Econometric Applications -- Dating Lower Turning Points of Business Cycles – a Multivariate Linear Discriminant Analysis for Germany 1984 to 2009 -- Partial Orderings of Default Predictions -- Improving GMM efficiency in dynamic models for panel data with mean stationarity -- Part V Statistics in Industrial Applications -- Economically designed Bayesian np control charts using dual sample sizes for long-run processes -- Statistical analysis of the lifetime of diamond impregnated tools for core drilling of concrete -- Detection of anomalous sequences in crack data of a bridge monitoring -- Optimal Semi-Split-Plot Designs with R -- Continuous process monitoring through ensemble based anomaly detection -- Part VI Statistics in Music Applications -- Evaluation of Audio Feature Groups for the Prediction of Arousal and Valence in Music -- The Psychological Foundations of Classification. |
Record Nr. | UNINA-9910349330403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications of Machine Learning [[electronic resource] /] / edited by Prashant Johri, Jitendra Kumar Verma, Sudip Paul |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (404 pages) |
Disciplina | 006.31 |
Collana | Algorithms for Intelligent Systems |
Soggetto topico |
Applied mathematics
Engineering mathematics Signal processing Image processing Speech processing systems Machine learning Optical data processing Artificial intelligence Computer logic Mathematical statistics Mathematical and Computational Engineering Signal, Image and Speech Processing Machine Learning Image Processing and Computer Vision Logic in AI Probability and Statistics in Computer Science |
ISBN | 981-15-3357-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Statistical Learning Process for the Reduction of Sample Collection Assuring a Desired Level of Confidence -- Sentiment Analysis on Google Play Store Data using Deep Learning -- Managing the Data Meaning in the Data Stream Processing: A Systematic Literature Mapping -- Tracking an Object using Traditional MS (Mean Shift) and CBWH MS (Mean Shift) Algorithm with Kalman Filter -- Transfer Learning and Domain Adaptation for Named Entity Recognition -- Knowledge Graph from Informal Text: Architecture, Components, Algorithms and Applications -- Neighborhood-based Collaborative Recommendations: An Introduction -- Classification of Arabic Texts Using Singular Value Decomposition and Fuzzy C-Means Algorithms -- Echo State Network Based Nonlinear Channel Equalization in Wireless Communication System -- Melody Extraction from Music: A Comprehensive Study -- Comparative Analysis of Combined Gas Turbine-Steam Turbine Power Cycle Performance by Using Entropy Generation and Statistical Methodology -- Data Mining - A Tool for Handling Huge Voluminous Data -- Improved Training Pattern in Back Propagation Neural Networks Using Holt-Winters' Seasonal Method and Gradient Boosting Model -- Ensemble of Multi-headed Machine Learning Architectures for Time-series Forecasting of Healthcare Expenditures -- Applying Soft Computing Approaches To Investigate Software Fault Proneness in Agile Software Development Environment. |
Record Nr. | UNINA-9910403764103321 |
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applied Analytics through Case Studies Using SAS and R [[electronic resource] ] : Implementing Predictive Models and Machine Learning Techniques / / by Deepti Gupta |
Autore | Gupta Deepti |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018 |
Descrizione fisica | 1 online resource (XX, 404 p. 99 illus.) |
Disciplina | 519.502855369 |
Soggetto topico |
Big data
Open source software Computer programming Mathematical statistics Business mathematics R (Computer program language) Big Data Open Source Probability and Statistics in Computer Science Business Mathematics |
ISBN | 1-4842-3525-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1: Role of Analytics in Various Industries -- Chapter 2: Banking Case Study with Analytical Solutions -- Chapter 3: Retail Case Study with Analytical Solutions -- Chapter 4: Telecommunication Case Study with Analytical Solutions -- Chapter 5: Healthcare Case Study with Analytical Solutions -- Chapter 6: Airline Case Study with Analytical Solutions -- Chapter 7: FMCG Case Study with Analytical Solutions. . |
Record Nr. | UNINA-9910300756803321 |
Gupta Deepti
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applied Machine Learning [[electronic resource] /] / by David Forsyth |
Autore | Forsyth David |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXI, 494 p. 159 illus., 86 illus. in color.) |
Disciplina | 006.31 |
Soggetto topico |
Artificial intelligence
Mathematical statistics Artificial Intelligence Probability and Statistics in Computer Science |
ISBN | 3-030-18114-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Learning to Classify -- 2. SVM’s and Random Forests -- 3. A Little Learning Theory -- 4. High-dimensional Data -- 5. Principal Component Analysis -- 6. Low Rank Approximations -- 7. Canonical Correlation Analysis -- 8. Clustering -- 9. Clustering using Probability Models -- 10. Regression -- 11. Regression: Choosing and Managing Models -- 12. Boosting -- 13. Hidden Markov Models -- 14. Learning Sequence Models Discriminatively -- 15. Mean Field Inference -- 16. Simple Neural Networks -- 17. Simple Image Classifiers -- 18. Classifying Images and Detecting Objects -- 19. Small Codes for Big Signals -- Index. |
Record Nr. | UNINA-9910349292703321 |
Forsyth David
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applied Probability [[electronic resource] ] : From Random Sequences to Stochastic Processes / / by Valérie Girardin, Nikolaos Limnios |
Autore | Girardin Valérie |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIII, 260 p. 30 illus., 1 illus. in color.) |
Disciplina | 519.2 |
Soggetto topico |
Probabilities
Statistics Mathematical statistics Engineering mathematics Epidemiology Probability Theory and Stochastic Processes Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences Probability and Statistics in Computer Science Statistics for Business, Management, Economics, Finance, Insurance Engineering Mathematics |
ISBN | 3-319-97412-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Independent Random Sequences -- Conditions and Martingales -- Markov Chains -- Continuous Time Stochastic Processes -- Markov and Semi-Markov Processes -- Further Reading.-. |
Record Nr. | UNINA-9910300140203321 |
Girardin Valérie
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|