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.
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNISA-996464423903316 |
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNINA-9910491025703321 |
|
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
| Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
| Autore | Ivrii Alexander |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2020 |
| Descrizione fisica | 1 electronic resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Systems analysis & design
Software testing & verification Computer architecture & logic design Mathematical theory of computation Artificial intelligence |
| Soggetto non controllato |
Formal Methods
Computer-Aided System Design Hardware and System Verification Formal Verification, Specification, Synthesis, and Testing Automated and Formal Reasoning |
| ISBN | 3-85448-042-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 Formal Methods in Computer Aided Design |
| Record Nr. | UNINA-9910485583803321 |
|
Ivrii Alexander
|
||
| Vienna, : TU Wien Academic Press, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
| Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 |
| Autore | Piskac Ruzica |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2021 |
| Descrizione fisica | 1 electronic resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Systems analysis & design
Software testing & verification Computer architecture & logic design Mathematical theory of computation Artificial intelligence |
| Soggetto non controllato | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 Formal Methods in Computer Aided Design |
| Record Nr. | UNINA-9910504301503321 |
|
Piskac Ruzica
|
||
| Vienna, : TU Wien Academic Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
| Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 |
| Autore | Piskac Ruzica |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2021 |
| Descrizione fisica | 1 electronic resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Systems analysis & design
Software testing & verification Computer architecture & logic design Mathematical theory of computation Artificial intelligence |
| Soggetto non controllato | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 Formal Methods in Computer Aided Design |
| Record Nr. | UNISA-996580848503316 |
|
Piskac Ruzica
|
||
| Vienna, : TU Wien Academic Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Scalable uncertainty management : 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings / / Jesse Davis, Karim Tabia (editors)
| Scalable uncertainty management : 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings / / Jesse Davis, Karim Tabia (editors) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIV, 297 p. 208 illus., 25 illus. in color.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Uncertainty (Information theory)
Mathematical theory of computation Machine learning |
| ISBN | 3-030-58449-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains -- Score-Based Explanations in Data Management and Machine Learning -- From Ppossibilistic Rule-Based Systems to Machine Learning -- Logic, Probability and Action: A Situation Calculus Perspective -- When Nominal Analogical Proportions do not Fail -- Measuring Disagreement with Interpolants -- Inferring from an imprecise Plackett–Luce model: Application to Label Ranking -- Inference with Choice Functions Made Practical -- A Formal Learning Theory for Three-way Clustering -- Belief Functions for Safety Arguments Confidence Estimation -- Incremental Elicitation of Capacities for the Sugeno Integral with a Maximum Approach -- Computable Randomness is About More than Probabilities -- Equity in Learning Problems: an OWA Approach -- Conversational Recommender System by Bayesian Methods -- Dealing with Atypical Instances in Evidential Decision-Making -- Evidence Theory Based Combination of Frequent Chronicles for Failure Prediction -- Rule-Based Classification for Evidential Data -- Undecided Voters as Set-Valued Information -- Towards Forecasts under Epistemic Imprecision -- Multi-Dimensional Stable Matching Problems in Abstract Argumentation -- Modal Interpretation of Formal Concept Analysis for Incomplete Representations -- A Symbolic Approach for Counterfactual Explanations -- Modelling Multivariate Ranking Functions with Min-Sum Networks -- An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming. |
| Record Nr. | UNISA-996418307203316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Scalable uncertainty management : 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings / / Jesse Davis, Karim Tabia (editors)
| Scalable uncertainty management : 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings / / Jesse Davis, Karim Tabia (editors) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIV, 297 p. 208 illus., 25 illus. in color.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Uncertainty (Information theory)
Mathematical theory of computation Machine learning |
| ISBN | 3-030-58449-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains -- Score-Based Explanations in Data Management and Machine Learning -- From Ppossibilistic Rule-Based Systems to Machine Learning -- Logic, Probability and Action: A Situation Calculus Perspective -- When Nominal Analogical Proportions do not Fail -- Measuring Disagreement with Interpolants -- Inferring from an imprecise Plackett–Luce model: Application to Label Ranking -- Inference with Choice Functions Made Practical -- A Formal Learning Theory for Three-way Clustering -- Belief Functions for Safety Arguments Confidence Estimation -- Incremental Elicitation of Capacities for the Sugeno Integral with a Maximum Approach -- Computable Randomness is About More than Probabilities -- Equity in Learning Problems: an OWA Approach -- Conversational Recommender System by Bayesian Methods -- Dealing with Atypical Instances in Evidential Decision-Making -- Evidence Theory Based Combination of Frequent Chronicles for Failure Prediction -- Rule-Based Classification for Evidential Data -- Undecided Voters as Set-Valued Information -- Towards Forecasts under Epistemic Imprecision -- Multi-Dimensional Stable Matching Problems in Abstract Argumentation -- Modal Interpretation of Formal Concept Analysis for Incomplete Representations -- A Symbolic Approach for Counterfactual Explanations -- Modelling Multivariate Ranking Functions with Min-Sum Networks -- An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming. |
| Record Nr. | UNINA-9910427714203321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tractability of Multivariate Problems [[electronic resource] ] : Volume II: Standard Information for Functionals / / Erich Novak, Henryk Woźniakowski
| Tractability of Multivariate Problems [[electronic resource] ] : Volume II: Standard Information for Functionals / / Erich Novak, Henryk Woźniakowski |
| Autore | Novak Erich |
| Pubbl/distr/stampa | Zuerich, Switzerland, : European Mathematical Society Publishing House, 2010 |
| Descrizione fisica | 1 online resource (675 pages) |
| Collana | EMS Tracts in Mathematics (ETM) |
| Soggetto topico |
Mathematical theory of computation
Numerical analysis Computer science |
| ISBN | 3-03719-584-3 |
| Classificazione | 65-xx68-xx |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910151929403321 |
|
Novak Erich
|
||
| Zuerich, Switzerland, : European Mathematical Society Publishing House, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tractability of Multivariate Problems [[electronic resource] ] : Volume I: Linear Information / / Erich Novak, Henryk Woźniakowski
| Tractability of Multivariate Problems [[electronic resource] ] : Volume I: Linear Information / / Erich Novak, Henryk Woźniakowski |
| Autore | Novak Erich |
| Pubbl/distr/stampa | Zuerich, Switzerland, : European Mathematical Society Publishing House, 2008 |
| Descrizione fisica | 1 online resource (395 pages) |
| Collana | EMS Tracts in Mathematics (ETM) |
| Soggetto topico |
Numerical analysis
Mathematical theory of computation Computer science |
| ISBN | 3-03719-526-6 |
| Classificazione | 65-xx68-xx |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910151934203321 |
|
Novak Erich
|
||
| Zuerich, Switzerland, : European Mathematical Society Publishing House, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
