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.
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 | ||
| ||
10th International Conference on Practical Applications of Computational Biology & Bioinformatics [[electronic resource] /] / 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 [[electronic resource] /] / 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 Biology/Bioinformatics |
| 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 [[electronic resource] ] : 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 [[electronic resource] ] : 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 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 Mechatronics Artificial intelligence Signal processing Image processing Speech processing systems Power electronics Control, Robotics, Mechatronics Artificial Intelligence Signal, Image and Speech Processing Power Electronics, Electrical Machines and Networks |
| 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 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 [[electronic resource] /] / 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 [[electronic resource] /] / 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-9910299823503321 |
| 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 [[electronic resource] /] / 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 [[electronic resource] /] / 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 [[electronic resource] /] / 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 [[electronic resource] /] / 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 Biology/Bioinformatics |
| 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 | ||
| ||
13th International Conference on Theory and Application of Fuzzy Systems and Soft Computing — ICAFS-2018 [[electronic resource] /] / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo. Jamshidi, Fahreddin M. Sadikoglu
| 13th International Conference on Theory and Application of Fuzzy Systems and Soft Computing — ICAFS-2018 [[electronic resource] /] / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo. Jamshidi, Fahreddin M. Sadikoglu |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIX, 970 p. 295 illus., 170 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-04164-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From status quo bias to innovative multiagent decisions under fuzzy preferences and fuzzy majority -- Bimodal information clustering methods -- Maximum likelihood estimation from interval-valued data. Application to fuzzy clustering -- Theory and practice of material development under imperfect information -- Forming and Quantifying Consensus in Distributed System Modeling and Group Decision-Making:A Perspective of Granular Computing -- Why multidimensional fuzzy arithmetic? -- On Using Fuzzy Sets in Healthcare Process Analysis -- Optimization of Jobs in GIS by Coloring of Fuzzy Temporal Graph -- Algebraic Properties Of Z -Numbers Under Multiplicative Arithmetic Operations -- Z-number based TOPSIS method in multi-criteria decision making -- Comparative Analysis of Artificial Intelligence Based Methods for Prediction of Precipitation. Case Study: North Cyprus -- Analysis and Processing of Information in Economic Problems. Crisp and Fuzzy Technologies -- Labeled Fuzzy Rough Sets in Multiple-criteria Decision-making -- Comparing Image Distortion of LSB -- An Effective Fuzzy Controlled Filter for Feature Extraction Method -- Analysis of Prediction Models for Wind Power Density, Case Study: Ercan Area, Northern Cyprus -- Evaluation of Image Representations for Player Detection in Field Sports using Convolutional Neural Networks -- A Fuzzy Based Gaussian Weighted Moving Windowing for Denoising Electrocardiogram (ECG) Signals -- Integrated Deep Learning Structures For Hand Gesture Recognition -- Rule Based Intelligent Diabetes Diagnosis System -- Intensive Investigation in Differential Diagnosis of Erythemato-Squamous Diseases -- A Computational-Intelligence Based Approach to Diagnosis of Diabetes Mellitus Disease -- Fuzzy Expert system for rectal cancer. |
| Record Nr. | UNINA-9910483261503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2019) [[electronic resource] ] : Seville, Spain, May 13–15, 2019, Proceedings / / edited by Francisco Martínez Álvarez, Alicia Troncoso Lora, José António Sáez Muñoz, Héctor Quintián, Emilio Corchado
| 14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2019) [[electronic resource] ] : Seville, Spain, May 13–15, 2019, Proceedings / / edited by Francisco Martínez Álvarez, Alicia Troncoso Lora, José António Sáez Muñoz, Héctor Quintián, Emilio Corchado |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (617 pages) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-20055-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484584203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The 1st International Conference on Advanced Intelligent System and Informatics (AISI2015), November 28-30, 2015, Beni Suef, Egypt [[electronic resource] /] / edited by Tarek Gaber, Aboul Ella Hassanien, Nashwa El-Bendary, Nilanjan Dey
| The 1st International Conference on Advanced Intelligent System and Informatics (AISI2015), November 28-30, 2015, Beni Suef, Egypt [[electronic resource] /] / edited by Tarek Gaber, Aboul Ella Hassanien, Nashwa El-Bendary, Nilanjan Dey |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (516 p.) |
| Disciplina | 006.33 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Artificial intelligence
Computational intelligence Artificial Intelligence Computational Intelligence |
| ISBN | 3-319-26690-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intelligent systems and informatics (I) -- Multimedia computing and social networks -- Hybrid Intelligent systems -- Cloud Computing and Big Data Mining. |
| Record Nr. | UNINA-9910254997903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2016 International Symposium on Experimental Robotics [[electronic resource] /] / edited by Dana Kulić, Yoshihiko Nakamura, Oussama Khatib, Gentiane Venture
| 2016 International Symposium on Experimental Robotics [[electronic resource] /] / edited by Dana Kulić, Yoshihiko Nakamura, Oussama Khatib, Gentiane Venture |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVI, 856 p. 506 illus.) |
| Disciplina | 629.892 |
| Collana | Springer Proceedings in Advanced Robotics |
| Soggetto topico |
Robotics
Automation Artificial intelligence Robotics and Automation Artificial Intelligence |
| ISBN | 3-319-50115-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Aerial Robots 1 -- Actuation -- Grasping 1 -- Manipulation -- Human-Robot Interaction 1 -- Mobile Robots 1 -- Perception -- Aerial Robots 2 -- Grasping 2 -- Planning and Control -- Mobile Robots -- Human-Robot Interaction 2. |
| Record Nr. | UNINA-9910254337303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Artificial Intelligence
(12727)
- Artificial intelligence (12698)
- Application software (4351)
- Information Systems Applications (incl. Internet) (3487)
- Computers (2847)