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 | ||
| ||
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 | ||
| ||
10th International Conference on Robotics, Vision, Signal Processing and Power Applications : Enabling Research and Innovation Towards Sustainability / / edited by Mohamad Adzhar Md Zawawi, Soo Siang Teoh, Noramalina Binti Abdullah, Mohd Ilyas Sobirin Mohd Sazali
| 10th International Conference on Robotics, Vision, Signal Processing and Power Applications : Enabling Research and Innovation Towards Sustainability / / edited by Mohamad Adzhar Md Zawawi, Soo Siang Teoh, Noramalina Binti Abdullah, Mohd Ilyas Sobirin Mohd Sazali |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVIII, 647 p. 322 illus., 239 illus. in color.) |
| Disciplina | 629.8 |
| Collana | Lecture Notes in Electrical Engineering |
| Soggetto topico |
Control engineering
Robotics Automation Artificial intelligence Signal processing Electric power production Control, Robotics, Automation Artificial Intelligence Signal, Speech and Image Processing Electrical Power Engineering |
| ISBN | 981-13-6447-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robotics, Control, Mechatronics and Automation -- Vision, Image, and Signal Processing -- Artificial Intelligence and Computer Applications -- Electronic Design and Applications -- Biomedical, Bioengineering and Applications -- RF, Antenna Applications and Telecommunication Systems -- Power Systems, High Voltage and Renewable Energy -- Electrical Machines, Drives and Power Electronics -- Devices, Circuits and Embedded Systems -- Sensors and Sensing Techniques. |
| Record Nr. | UNINA-9910483247403321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
10th International Conference on Soft Computing Models in Industrial and Environmental Applications / / edited by Álvaro Herrero, Javier Sedano, Bruno Baruque, Héctor Quintián, Emilio Corchado
| 10th International Conference on Soft Computing Models in Industrial and Environmental Applications / / edited by Álvaro Herrero, Javier Sedano, Bruno Baruque, Héctor Quintián, Emilio Corchado |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (471 p.) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-319-19719-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Classification and Clustering Methods -- Evolutionary Computation and Optimization -- Intelligent Systems -- SOCO15-SS01: Soft Computing Methods in Bioinformatics -- SOCO15-SS02: Optimization, Modeling and Control Systems (OMCS) -- SOCO15-SS03: Soft Computing Approaches for Knowledge Extraction -- SOCO15-SS04: Soft Computing Methods in Manufacturing and Management Systems. |
| Record Nr. | UNINA-9910733713003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
10th International Conference on Theory and Application of Soft Computing, Computing with Words and Perceptions - ICSCCW-2019 / / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo Jamshidi, Mustafa B. Babanli, Fahreddin M. Sadikoglu
| 10th International Conference on Theory and Application of Soft Computing, Computing with Words and Perceptions - ICSCCW-2019 / / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo Jamshidi, Mustafa B. Babanli, Fahreddin M. Sadikoglu |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (997 pages) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-35249-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483980403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
11th International Conference on Practical Applications of Computational Biology & Bioinformatics / / edited by Florentino Fdez-Riverola, Mohd Saberi Mohamad, Miguel Rocha, Juan F. De Paz, Tiago Pinto
| 11th International Conference on Practical Applications of Computational Biology & Bioinformatics / / edited by Florentino Fdez-Riverola, Mohd Saberi Mohamad, Miguel Rocha, Juan F. De Paz, Tiago Pinto |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 330 p. 97 illus.) |
| 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-60816-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Processing 2D gel electrophoresis images for efficient Gaussian mixture modeling -- Development of text mining tools for information retrieval from patents -- Multidimensional Feature Selection and Interaction Mining with Decision Tree based ensemble methods -- Study of the Epigenetic Signals in the Human Genome -- An Ensemble Approach for Gene Selection in Gene Expression Data -- Dissimilar Symmetric Word Pairs in the Human Genome. |
| Record Nr. | UNINA-9910254312903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Artificial Intelligence
(20299)
- Artificial intelligence (20239)
- Application software (6009)
- Computer networks (4593)
- Computer Communication Networks (4005)