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.
"Smart Technologies" for Society, State and Economy / / edited by Elena G. Popkova, Bruno S. Sergi
| "Smart Technologies" for Society, State and Economy / / edited by Elena G. Popkova, Bruno S. Sergi |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XXI, 1766 p. 313 illus., 150 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Networks and Systems |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-59126-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484997103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
(Un)explainable Technology / / by Hendrik Kempt
| (Un)explainable Technology / / by Hendrik Kempt |
| Autore | Kempt Hendrik |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2024 |
| Descrizione fisica | 1 online resource (137 pages) |
| Disciplina | 601 |
| Soggetto topico |
Science - Social aspects
Communication in science Rhetoric Technology Science Science - Philosophy Science - Moral and ethical aspects Artificial intelligence Science and Technology Studies Rhetoric of Science and Technology Philosophy of Science Science Ethics Artificial Intelligence |
| ISBN |
9783031680984
3031680987 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Introduction -- Chapter 2: Conceptual Clarification -- Chapter 3: Epistemological Conditions -- Chapter 4: The Ethics of Explainability -- Chapter 5: Applied Cases -- Chapter 6: Explainability Debunked? -- Chapter 7: Conclusions. |
| Record Nr. | UNINA-9910886097203321 |
Kempt Hendrik
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1 / edited by Lin Zhang ... [et al.]
| 1 / edited by Lin Zhang ... [et al.] |
| Autore | China Intelligent Networked Things Conference, 8 : 2025 |
| Pubbl/distr/stampa | Springer, : Singapore, 2026 |
| Descrizione fisica | 1 testo elettronico (XVIII, 372 p. : ill.) |
| Soggetto topico |
Artificial Intelligence
Communications Engineering - Networks |
| Soggetto non controllato |
Agent-Based Simulation
Artificial Intelligence Biomedical Visualization Circuit Simulation Computational Device Simulation Discrete Simulation Emerging Technologies Finite Element Techniques High Performance Computing Human Factors Interaction Paradigms Networked Things Security Visualization Signal Transmission Visualization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00310281 |
| China Intelligent Networked Things Conference, 8 : 2025 | ||
| Springer, : Singapore, 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 / dited by Sridaran Rajagopal ... [et al.].
| 1 / dited by Sridaran Rajagopal ... [et al.]. |
| Autore | International Conference on Advancements in Smart Computing and Information Security, 4 : 2025 |
| Pubbl/distr/stampa | pringer, : ham, , 026. |
| Descrizione fisica | testo elettronico (XXXVII, 416 p. : ll.) |
| Soggetto topico |
Artificial Intelligence
Computer Applications Computing Milieux |
| Soggetto non controllato |
Artificial Intelligence
Attacks Blockchain Cloud Computing Security Cryptography Cyber Security Deep Learning Encryption IOT Image Processing Smart Computing Machine Learning Neural Networks Systems Security |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00310248 |
| International Conference on Advancements in Smart Computing and Information Security, 4 : 2025 | ||
| pringer, : ham, , 026. | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 / edited by Hamid R. Arabnia ... [et al.]
| 1 / edited by Hamid R. Arabnia ... [et al.] |
| Autore | International Conference on the AI Revolution : 2025 |
| Pubbl/distr/stampa | Springer, : Cham, 2026 |
| Descrizione fisica | 1 testo elettronico (XVI, 516 p. : ill.) |
| Soggetto topico |
Artificial Intelligence
Computer Applications Computer Imaging - Vision - Pattern Recognition and Graphics Computer Science - General Software Engineering/Programming and Operating Systems Systems and Data Security |
| Soggetto non controllato |
AI Applications
AI Bias AI Ethics Artificial Intelligence Deep Learning LLMs Machine Learning Neural Networks Prediction Methods Software Tools |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00310211 |
| International Conference on the AI Revolution : 2025 | ||
| Springer, : Cham, 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 / edited by Riccardo Guidotti, Ute Schmid, Luca Longo
| 1 / edited by Riccardo Guidotti, Ute Schmid, Luca Longo |
| Autore | World Conference on Explainable Artificial Intelligence, 3 : 2025 |
| Pubbl/distr/stampa | Springer, : Cham, 2026 |
| Descrizione fisica | 1 testo elettronico (XIX, 450 p. : ill.) |
| Soggetto topico |
Artificial Intelligence
Computer Applications Computer Communication Networks Natural Language Processing (NLP) |
| Soggetto non controllato |
Ante-Hoc Approaches for Interpretability
Argumentative-Based Approaches for Explanations Artificial Intelligence Auto-Encoders & Explainability of Latent Spaces Black-Boxes vs White-Boxes Case-Based Explanations for AI Systems Causal Inference & Explanations Decomposition of Neural Network-Based Models for XAI Explainable Artificial Intelligence Graph Neural Networks for Explainability Interpretable Machine Learning Interpretable Representational Learning Interpreting & Explaining Convolutional Neural Networks Machine Learning Model-Specific vs Model-Agnostic Methods for XAI Natural Language Processing for Explanations Neuro-Symbolic Reasoning for XAI Open Access Post-Hoc Methods for Explainability Pruning Methods with XAI |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00310140 |
| World Conference on Explainable Artificial Intelligence, 3 : 2025 | ||
| Springer, : Cham, 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
10th International Conference on Automated Deduction [[electronic resource] ] : Kaiserslautern, FRG, July 24-27, 1990. Proceedings / / edited by Mark E. Stickel
| 10th International Conference on Automated Deduction [[electronic resource] ] : Kaiserslautern, FRG, July 24-27, 1990. Proceedings / / edited by Mark E. Stickel |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (XVIII, 690 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-47171-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A theorem prover for a computational logic -- A complete semantic back chaining proof system -- Parallelizing the closure computation in automated deduction -- Partheo: A high-performance parallel theorem prover -- Substitution-based compilation of extended rules in deductive databases -- Automatic theorem proving in paraconsistent logics: Theory and implementation -- Case-free programs: An abstraction of definite horn programs -- Generalized well-founded semantics for logic programs -- Tactical theorem proving in program verification -- Extensions to the rippling-out tactic for guiding inductive proofs -- Guiding induction proofs -- Term rewriting induction -- A resolution principle for clauses with constraints -- Str+ve: The Str+ve-based subset prover -- Ritt-Wu's decomposition algorithm and geometry theorem proving -- Encoding a dependent-type ?-calculus in a logic programming language -- Investigations into proof-search in a system of first-order dependent function types -- Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete -- An improved general E-unification method -- Some results on equational unification -- Unification in a combination of equational theories: an efficient algorithm -- SLIM: An automated reasoner for equivalences, applied to set theory -- An examination of the prolog technology theorem-prover -- Presenting intuitive deductions via symmetric simplification -- Toward mechanical methods for streamlining proofs -- Ordered rewriting and confluence -- Complete sets of reductions with constraints -- Rewrite systems for varieties of semigroups -- Improving associative path orderings -- Perspectives on automated deduction -- On restrictions of ordered paramodulation with simplification -- Simultaneous paramodulation -- Hyper resolution and equality axioms without function substitutions -- Automatic acquisition of search guiding heuristics -- Automated reasoning contributes to mathematics and logic -- A mechanically assisted constructive proof in category theory -- Dynamic logic as a uniform framework for theorem proving in intensional logic -- A tableaux-based theorem prover for a decidable subset of default logic -- Computing prime implicants -- Minimizing the number of clauses by renaming -- Higher order E-unification -- Programming by example and proving by example using higher-order unification -- Retrieving library identifiers via equational matching of types -- Unification in monoidal theories -- A science of reasoning: Extended abstract -- The TPS theorem proving system -- Schemata -- Cylindric algebra equation solver -- The OYSTER-CLAM system -- A high-performance parallel theorem prover -- The romulus proof checker -- IMPS : An interactive mathematical proof system -- UNICOM: A refined completion based inductive theorem prover -- The theorem prover of the program verifier Tatzelwurm -- RCL: A lisp verification system -- Orme an implementation of completion procedures as sets of transitions rules -- Otter 2.0 -- Dissolver: A dissolution-based theorem prover -- TRIP: An implementation of clausal rewriting -- OSCAR -- Expert thinker: An adaptation of F-Prolog to microcomputers -- A prolog technology theorem prover -- A general clause theorem prover -- Liss — The logic inference search system -- ACE: The abstract clause engine -- Tutorial on high-performance automated theorem proving -- Tutorial on reasoning and representation with concept languages -- Tutorial on ?Prolog -- Tutorial on equational unification -- Tutorial on compilation techniques for logics -- Tutorial on high-performance theorem provers: Efficient implementation and parallelisation -- Tutorial on rewrite-based theorem proving -- Tutorial on program-synthetic deduction -- Tutorial on computing models of propositional logics. |
| Record Nr. | UNISA-996465843003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The 10th International Conference on Computer Engineering and Networks [[electronic resource] /] / edited by Qi Liu, Xiaodong Liu, Tao Shen, Xuesong Qiu
| The 10th International Conference on Computer Engineering and Networks [[electronic resource] /] / edited by Qi Liu, Xiaodong Liu, Tao Shen, Xuesong Qiu |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XXIII, 1757 p. 913 illus., 450 illus. in color.) |
| Disciplina | 621.39 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Telecommunication
Computational intelligence Artificial intelligence Internet of things Biomedical engineering Communications Engineering, Networks Computational Intelligence Artificial Intelligence Internet of Things Biomedical Engineering and Bioengineering |
| ISBN | 981-15-8462-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Internet of Things and Smart Systems -- Artificial Intelligence and Applications -- Communication System Detection, Analysis and Application -- Medical Engineering and Information Systems. |
| Record Nr. | UNINA-9910483194503321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The 10th International Conference on Computer Engineering and Networks / / edited by Qi Liu, Xiaodong Liu, Tao Shen, Xuesong Qiu
| The 10th International Conference on Computer Engineering and Networks / / edited by Qi Liu, Xiaodong Liu, Tao Shen, Xuesong Qiu |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XXIII, 1757 p. 913 illus., 450 illus. in color.) |
| Disciplina | 621.39 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Telecommunication
Computational intelligence Artificial intelligence Internet of things Biomedical engineering Communications Engineering, Networks Computational Intelligence Artificial Intelligence Internet of Things Biomedical Engineering and Bioengineering |
| ISBN | 981-15-8462-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Internet of Things and Smart Systems -- Artificial Intelligence and Applications -- Communication System Detection, Analysis and Application -- Medical Engineering and Information Systems. |
| Record Nr. | UNINA-9910863286103321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
10th International Conference on Practical Applications of Computational Biology & Bioinformatics / / edited by Mohd Saberi Mohamad, Miguel P. Rocha, Florentino Fdez-Riverola, Francisco J. Domínguez Mayo, Juan F. De Paz
| 10th International Conference on Practical Applications of Computational Biology & Bioinformatics / / edited by Mohd Saberi Mohamad, Miguel P. Rocha, Florentino Fdez-Riverola, Francisco J. Domínguez Mayo, Juan F. De Paz |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource |
| Disciplina | 570.285 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Bioinformatics Computational Intelligence Artificial Intelligence Computational and Systems Biology |
| ISBN | 3-319-40126-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data And Text Mining -- Gene Expression -- Genomics -- Systems Biology. |
| Record Nr. | UNINA-9910254228103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Artificial Intelligence
(20797)
- Artificial intelligence (20708)
- Application software (6061)
- Computer networks (4673)
- Computer Communication Networks (4060)