Scalable Uncertainty Management [[electronic resource] ] : 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings / / edited by Nahla Ben Amor, Benjamin Quost, Martin Theobald |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 452 p. 220 illus., 57 illus. in color.) |
Disciplina | 003.54 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer logic Mathematical statistics Artificial Intelligence Logics and Meanings of Programs Probability and Statistics in Computer Science |
ISBN | 3-030-35514-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Experimental Study on the Behaviour of Inconsistency Measures -- Inconsistency Measurement Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study -- The Hidden Elegance of Causal Interaction Models -- Computational Models for Cumulative Prospect Theory: Application to the Knapsack Problem Under Risk -- On a new evidential C-Means algorithm with instance-level constraints -- Hybrid Reasoning on a Bipolar Argumentation Framework -- Active Preference Elicitation by Bayesian Updating on Optimality Polyhedra -- Selecting Relevant Association Rules From Imperfect Data -- Evidential classification of incomplete data via imprecise relabelling: Application to plastic sorting -- An analogical interpolation method for enlarging a training dataset -- Towards a reconciliation between reasoning and learning - A position paper -- CP-nets, π-pref nets, and Pareto dominance -- Measuring Inconsistency through Subformula Forgetting Explaining Hierarchical Multi-Linear Models -- Assertional Removed Sets Merging of DL-Lite Knowledge Bases -- An Interactive Polyhedral Approach for Multi-Objective Combinatorial Optimization with Incomplete Preference Information -- Open-Mindedness of Gradual Argumentation Semantics -- Approximate Querying on Property Graphs -- Learning from Imprecise Data: Adjustments of Optimistic and Pessimistic Variants -- On cautiousness and expressiveness in interval-valued logic -- Preference Elicitation with Uncertainty: Extending Regret Based Methods with Belief Functions -- Evidence Propagation and Consensus Formation in Noisy Environments -- Order-Independent Structure Learning of Multivariate Regression Chain Graphs -- l Comparison of analogy-based methods for predicting preferences -- Using Convolutional Neural Network in Cross-Domain Argumentation Mining Framework -- ConvNet and Dempster-Shafer Theory for Object Recognition -- On learning evidential contextual corrections from soft labels using a measure of discrepancy between contour functions -- Efficient Mo ̈bius Transformations and their applications to D-S Theory -- From shallow to deep interactions between knowledge representation, reasoning and machine learning -- Dealing with Continuous Variables in Graphical Models -- Towards Scalable and Robust Sum-Product Networks -- Learning Models over Relational Data:A Brief Tutorial -- Subspace Clustering and Some Soft Variants -- Algebraic Approximations for Weighted Model Counting. |
Record Nr. | UNINA-9910357841303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Scalable Uncertainty Management [[electronic resource] ] : 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings / / edited by Nahla Ben Amor, Benjamin Quost, Martin Theobald |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 452 p. 220 illus., 57 illus. in color.) |
Disciplina | 003.54 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer logic Mathematical statistics Artificial Intelligence Logics and Meanings of Programs Probability and Statistics in Computer Science |
ISBN | 3-030-35514-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Experimental Study on the Behaviour of Inconsistency Measures -- Inconsistency Measurement Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study -- The Hidden Elegance of Causal Interaction Models -- Computational Models for Cumulative Prospect Theory: Application to the Knapsack Problem Under Risk -- On a new evidential C-Means algorithm with instance-level constraints -- Hybrid Reasoning on a Bipolar Argumentation Framework -- Active Preference Elicitation by Bayesian Updating on Optimality Polyhedra -- Selecting Relevant Association Rules From Imperfect Data -- Evidential classification of incomplete data via imprecise relabelling: Application to plastic sorting -- An analogical interpolation method for enlarging a training dataset -- Towards a reconciliation between reasoning and learning - A position paper -- CP-nets, π-pref nets, and Pareto dominance -- Measuring Inconsistency through Subformula Forgetting Explaining Hierarchical Multi-Linear Models -- Assertional Removed Sets Merging of DL-Lite Knowledge Bases -- An Interactive Polyhedral Approach for Multi-Objective Combinatorial Optimization with Incomplete Preference Information -- Open-Mindedness of Gradual Argumentation Semantics -- Approximate Querying on Property Graphs -- Learning from Imprecise Data: Adjustments of Optimistic and Pessimistic Variants -- On cautiousness and expressiveness in interval-valued logic -- Preference Elicitation with Uncertainty: Extending Regret Based Methods with Belief Functions -- Evidence Propagation and Consensus Formation in Noisy Environments -- Order-Independent Structure Learning of Multivariate Regression Chain Graphs -- l Comparison of analogy-based methods for predicting preferences -- Using Convolutional Neural Network in Cross-Domain Argumentation Mining Framework -- ConvNet and Dempster-Shafer Theory for Object Recognition -- On learning evidential contextual corrections from soft labels using a measure of discrepancy between contour functions -- Efficient Mo ̈bius Transformations and their applications to D-S Theory -- From shallow to deep interactions between knowledge representation, reasoning and machine learning -- Dealing with Continuous Variables in Graphical Models -- Towards Scalable and Robust Sum-Product Networks -- Learning Models over Relational Data:A Brief Tutorial -- Subspace Clustering and Some Soft Variants -- Algebraic Approximations for Weighted Model Counting. |
Record Nr. | UNISA-996466283003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Scalable Uncertainty Management [[electronic resource] ] : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 413 p. 53 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Mathematical statistics Programming languages (Electronic computers) Computer programming Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Probability and Statistics in Computer Science Programming Languages, Compilers, Interpreters Programming Techniques |
ISBN | 3-030-00461-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Answer Set Programming -- Bayesian Networks -- Data Integration -- Decision Making -- Information Theory -- Logic Programming -- Ontology -- Rank Aggregation -- Uncertainty -- Clustering -- Fuzzy logic. |
Record Nr. | UNINA-9910349403303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Scalable Uncertainty Management [[electronic resource] ] : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 413 p. 53 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Mathematical statistics Programming languages (Electronic computers) Computer programming Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Probability and Statistics in Computer Science Programming Languages, Compilers, Interpreters Programming Techniques |
ISBN | 3-030-00461-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Answer Set Programming -- Bayesian Networks -- Data Integration -- Decision Making -- Information Theory -- Logic Programming -- Ontology -- Rank Aggregation -- Uncertainty -- Clustering -- Fuzzy logic. |
Record Nr. | UNISA-996466331603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Scalable Uncertainty Management [[electronic resource] ] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / / edited by Lluis Godo, Andrea Pugliese |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 309 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical statistics Computer programming Software engineering Mathematical logic Artificial Intelligence Probability and Statistics in Computer Science Programming Techniques Software Engineering Mathematical Logic and Formal Languages |
Soggetto genere / forma |
Kongress.
Washington (DC, 2009) |
ISBN | 3-642-04388-7 |
Classificazione |
DAT 655f
DAT 703f DAT 706f DAT 773f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | PrDB: Managing Large-Scale Correlated Probabilistic Databases (Abstract) -- Uncertainty in the Semantic Web -- Bridging the Gap between Abstract Argumentation Systems and Logic -- Modeling Unreliable Observations in Bayesian Networks by Credal Networks -- Interventions in Possibilistic Logic -- An Analysis of Sum-Based Incommensurable Belief Base Merging -- An Argument-Based Approach to Using Multiple Ontologies -- A Model Based on Possibilistic Certainty Levels for Incomplete Databases -- A Proposal for Making Argumentation Computationally Capable of Handling Large Repositories of Uncertain Data -- Making Sense of a Sequence of Events: A Psychologically Supported AI Implementation -- Explaining Inconsistencies in OWL Ontologies -- On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics -- Towards Relational Schema Uncertainty -- Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics -- Fast and Accurate Prediction of the Destination of Moving Objects -- Weighted Description Logics Preference Formulas for Multiattribute Negotiation -- Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs -- Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics -- Finite Satisfiability in Infinite-Valued ?ukasiewicz Logic -- Compression of Probabilistic XML Documents -- Query Answering in Belief Logic Programming -- Towards Effective Elicitation of NIN-AND Tree Causal Models -- An Evidence-Theoretic k-Nearest Neighbor Rule for Multi-label Classification. |
Record Nr. | UNISA-996465314303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Scalable Uncertainty Management [[electronic resource] ] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / / edited by Lluis Godo, Andrea Pugliese |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 309 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical statistics Computer programming Software engineering Mathematical logic Artificial Intelligence Probability and Statistics in Computer Science Programming Techniques Software Engineering Mathematical Logic and Formal Languages |
Soggetto genere / forma |
Kongress.
Washington (DC, 2009) |
ISBN | 3-642-04388-7 |
Classificazione |
DAT 655f
DAT 703f DAT 706f DAT 773f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | PrDB: Managing Large-Scale Correlated Probabilistic Databases (Abstract) -- Uncertainty in the Semantic Web -- Bridging the Gap between Abstract Argumentation Systems and Logic -- Modeling Unreliable Observations in Bayesian Networks by Credal Networks -- Interventions in Possibilistic Logic -- An Analysis of Sum-Based Incommensurable Belief Base Merging -- An Argument-Based Approach to Using Multiple Ontologies -- A Model Based on Possibilistic Certainty Levels for Incomplete Databases -- A Proposal for Making Argumentation Computationally Capable of Handling Large Repositories of Uncertain Data -- Making Sense of a Sequence of Events: A Psychologically Supported AI Implementation -- Explaining Inconsistencies in OWL Ontologies -- On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics -- Towards Relational Schema Uncertainty -- Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics -- Fast and Accurate Prediction of the Destination of Moving Objects -- Weighted Description Logics Preference Formulas for Multiattribute Negotiation -- Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs -- Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics -- Finite Satisfiability in Infinite-Valued ?ukasiewicz Logic -- Compression of Probabilistic XML Documents -- Query Answering in Belief Logic Programming -- Towards Effective Elicitation of NIN-AND Tree Causal Models -- An Evidence-Theoretic k-Nearest Neighbor Rule for Multi-label Classification. |
Record Nr. | UNINA-9910484801303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Seamless R and C++ Integration with Rcpp [[electronic resource] /] / by Dirk Eddelbuettel |
Autore | Eddelbuettel Dirk |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (236 p.) |
Disciplina | 519.502855133 |
Collana | Use R! |
Soggetto topico |
Statistics
Mathematical statistics R (Computer program language) Statistics and Computing/Statistics Programs Statistical Theory and Methods Probability and Statistics in Computer Science |
ISBN | 1-4614-6868-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Introduction -- A Gentle Introduction to Rcpp -- Tools and Setup -- Core Data Types -- Data Structures: Part One -- Data Structures: Part Two -- Advanced Topics -- Using Rcpp in your package -- Extending Rcpp -- Modules -- Sugar -- Applications -- RInside -- RcppArmadillo -- RcppGSL -- RcppEigen Appendix -- C++ for R programmers -- Indices -- References . |
Record Nr. | UNINA-9910437870303321 |
Eddelbuettel Dirk
![]() |
||
New York, NY : , : Springer New York : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Secure Networked Inference with Unreliable Data Sources [[electronic resource] /] / by Aditya Vempaty, Bhavya Kailkhura, Pramod K. Varshney |
Autore | Vempaty Aditya |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIII, 208 p. 74 illus., 71 illus. in color.) |
Disciplina | 004.6 |
Soggetto topico |
Computer communication systems
Computer security Electrical engineering Signal processing Image processing Speech processing systems Coding theory Information theory Mathematical statistics Computer Communication Networks Systems and Data Security Communications Engineering, Networks Signal, Image and Speech Processing Coding and Information Theory Probability and Statistics in Computer Science |
ISBN |
9789811323126
981-13-2312-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1 Introduction -- Chapter 2 Conventional Inference theories -- Chapter 3 Distributed Detection in Networks -- Chapter 4 Distributed Estimation and Target Localization -- Chapter 5 Distributed Classification and Target Tracking -- Chapter 6 New Research Directions Discussion and conclusions. |
Record Nr. | UNINA-9910349472503321 |
Vempaty Aditya
![]() |
||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Selected Areas in Cryptography – SAC 2018 [[electronic resource] ] : 25th International Conference, Calgary, AB, Canada, August 15–17, 2018, Revised Selected Papers / / edited by Carlos Cid, Michael J. Jacobson Jr |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 499 p. 210 illus., 50 illus. in color.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer security
Data encryption (Computer science) Computer networks - Security measures Computer communication systems Mathematical statistics Systems and Data Security Cryptology Mobile and Network Security Security Services Computer Communication Networks Probability and Statistics in Computer Science |
ISBN | 3-030-10970-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910337567703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Selected Areas in Cryptography – SAC 2018 [[electronic resource] ] : 25th International Conference, Calgary, AB, Canada, August 15–17, 2018, Revised Selected Papers / / edited by Carlos Cid, Michael J. Jacobson Jr |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 499 p. 210 illus., 50 illus. in color.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer security
Data encryption (Computer science) Computer networks - Security measures Computer communication systems Mathematical statistics Systems and Data Security Cryptology Mobile and Network Security Security Services Computer Communication Networks Probability and Statistics in Computer Science |
ISBN | 3-030-10970-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466455103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|