ECML PKDD 2018 Workshops [[electronic resource] ] : MIDAS 2018 and PAP 2018, Dublin, Ireland, September 10-14, 2018, Proceedings / / edited by Carlos Alzate, Anna Monreale, Livio Bioglio, Valerio Bitetta, Ilaria Bordino, Guido Caldarelli, Andrea Ferretti, Riccardo Guidotti, Francesco Gullo, Stefano Pascolutti, Ruggero G. Pensa, Celine Robardet, Tiziano Squartini |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (X, 173 p. 70 illus., 50 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Computer security Computers and civilization E-commerce Artificial Intelligence Data Mining and Knowledge Discovery Systems and Data Security Computers and Society e-Commerce/e-business |
ISBN | 3-030-13463-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Multivariate and Multi-step ahead Machine Learning Approach to Traditional and Cryptocurrencies Volatility Forecasting -- Calibrating the Mean-reversion Parameter in the Hull-White Model Using NeuralNetworks -- Deep Factor Model–Explaining Deep Learning Decisions for Forecasting Stock Returns with Layer-wise Relevance Propagation -- A Comparison of Neural Network Methods for Accurate Sentiment Analysis of Stock Market Tweets -- A Progressive Resampling Algorithm for Finding Very Sparse Investment Portfolios -- ICIE 1.0: A Novel Tool for Interactive Contextual Interaction Explanations -- Testing for Self-excitation in Financial Events: A Bayesian Approach -- A Web Crawling Environment to Support Financial Strategies and Trend Correlation -- A differential privacy workflow for inference of parameters in the Rasch model -- Privacy Preserving Client/Vertical-Servers Classification -- Privacy Risk for Individual Basket Patterns -- Exploring Students Eating Habits through Individual Profiling and Clustering Analysis. |
Record Nr. | UNISA-996466337603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ECML PKDD 2018 Workshops : MIDAS 2018 and PAP 2018, Dublin, Ireland, September 10-14, 2018, Proceedings / / edited by Carlos Alzate, Anna Monreale, Livio Bioglio, Valerio Bitetta, Ilaria Bordino, Guido Caldarelli, Andrea Ferretti, Riccardo Guidotti, Francesco Gullo, Stefano Pascolutti, Ruggero G. Pensa, Celine Robardet, Tiziano Squartini |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (X, 173 p. 70 illus., 50 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Computer security Computers and civilization E-commerce Artificial Intelligence Data Mining and Knowledge Discovery Systems and Data Security Computers and Society e-Commerce/e-business |
ISBN | 3-030-13463-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Multivariate and Multi-step ahead Machine Learning Approach to Traditional and Cryptocurrencies Volatility Forecasting -- Calibrating the Mean-reversion Parameter in the Hull-White Model Using NeuralNetworks -- Deep Factor Model–Explaining Deep Learning Decisions for Forecasting Stock Returns with Layer-wise Relevance Propagation -- A Comparison of Neural Network Methods for Accurate Sentiment Analysis of Stock Market Tweets -- A Progressive Resampling Algorithm for Finding Very Sparse Investment Portfolios -- ICIE 1.0: A Novel Tool for Interactive Contextual Interaction Explanations -- Testing for Self-excitation in Financial Events: A Bayesian Approach -- A Web Crawling Environment to Support Financial Strategies and Trend Correlation -- A differential privacy workflow for inference of parameters in the Rasch model -- Privacy Preserving Client/Vertical-Servers Classification -- Privacy Risk for Individual Basket Patterns -- Exploring Students Eating Habits through Individual Profiling and Clustering Analysis. |
Record Nr. | UNINA-9910337582003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVIII, 523 p. 398 illus., 98 illus. in color.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Special purpose computers Computers Architecture, Computer Artificial intelligence Application software Software Engineering Special Purpose and Application-Based Systems Theory of Computation Computer System Implementation Artificial Intelligence Computer Applications |
ISBN | 3-030-54994-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems. |
Record Nr. | UNISA-996418289703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVIII, 575 p. 605 illus., 85 illus. in color.) |
Disciplina | 006.3 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computers
Artificial intelligence Software engineering Special purpose computers Architecture, Computer Application software Theory of Computation Artificial Intelligence Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Computer System Implementation Computer Applications |
ISBN | 3-030-54997-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis. |
Record Nr. | UNISA-996418292803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVIII, 575 p. 605 illus., 85 illus. in color.) |
Disciplina | 006.3 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computers
Artificial intelligence Software engineering Special purpose computers Architecture, Computer Application software Theory of Computation Artificial Intelligence Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Computer System Implementation Computer Applications |
ISBN | 3-030-54997-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis. |
Record Nr. | UNINA-9910416085803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVIII, 523 p. 398 illus., 98 illus. in color.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Special purpose computers Computers Architecture, Computer Artificial intelligence Application software Software Engineering Special Purpose and Application-Based Systems Theory of Computation Computer System Implementation Artificial Intelligence Computer Applications |
ISBN | 3-030-54994-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems. |
Record Nr. | UNINA-9910416085903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Personal Analytics and Privacy. An Individual and Collective Perspective [[electronic resource] ] : First International Workshop, PAP 2017, Held in Conjunction with ECML PKDD 2017, Skopje, Macedonia, September 18, 2017, Revised Selected Papers / / edited by Riccardo Guidotti, Anna Monreale, Dino Pedreschi, Serge Abiteboul |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIV, 159 p. 37 illus.) |
Disciplina | 005.8 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computers
Application software Computer security Computers and civilization Information Systems and Communication Service Computer Appl. in Social and Behavioral Sciences Systems and Data Security Computers and Society |
ISBN | 3-319-71970-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Your Privacy, My Privacy? On Leakage Risk Assessment in Online Social Networks -- From Self-Data to Self-Preferences: Towards Preference Elicitation in Personal Information Management Systems -- Assessing Privacy Risk in Retail Data.- Differential Privacy and Neural Networks -- Co-clustering for Differentially Private Synthetic Data Generation -- Evaluating the Impact of Friends in Predicting User's Availability in Online Social Networks -- Movement Behaviour Recognition for Water Activities -- Automatic Recognition of Public Transport Trips from Mobile Device Sensor Data and Transport Infrastructure Information -- Guess the Movie - Linking Facebook Pages to IMDb Movies -- Research on Online Digital Cultures - Community Extraction and Analysis by Markov and k-Means Clustering -- Churn Prediction Using Dynamic RFM-Augmented Node2vec -- Multi-scale Community Detection in Temporal Networks Using Spectral Graph Wavelets -- Influence Maximization-based Event Organization on Social Networks. |
Record Nr. | UNISA-996466423103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Personal Analytics and Privacy. An Individual and Collective Perspective : First International Workshop, PAP 2017, Held in Conjunction with ECML PKDD 2017, Skopje, Macedonia, September 18, 2017, Revised Selected Papers / / edited by Riccardo Guidotti, Anna Monreale, Dino Pedreschi, Serge Abiteboul |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIV, 159 p. 37 illus.) |
Disciplina | 005.8 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computers
Application software Computer security Computers and civilization Information Systems and Communication Service Computer Appl. in Social and Behavioral Sciences Systems and Data Security Computers and Society |
ISBN | 3-319-71970-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Your Privacy, My Privacy? On Leakage Risk Assessment in Online Social Networks -- From Self-Data to Self-Preferences: Towards Preference Elicitation in Personal Information Management Systems -- Assessing Privacy Risk in Retail Data.- Differential Privacy and Neural Networks -- Co-clustering for Differentially Private Synthetic Data Generation -- Evaluating the Impact of Friends in Predicting User's Availability in Online Social Networks -- Movement Behaviour Recognition for Water Activities -- Automatic Recognition of Public Transport Trips from Mobile Device Sensor Data and Transport Infrastructure Information -- Guess the Movie - Linking Facebook Pages to IMDb Movies -- Research on Online Digital Cultures - Community Extraction and Analysis by Markov and k-Means Clustering -- Churn Prediction Using Dynamic RFM-Augmented Node2vec -- Multi-scale Community Detection in Temporal Networks Using Spectral Graph Wavelets -- Influence Maximization-based Event Organization on Social Networks. |
Record Nr. | UNINA-9910484982803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|