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.
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science : 5-8 July 2016, New York, NY, USA / / sponsored by IEEE Computer Society [and seven others]
| 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science : 5-8 July 2016, New York, NY, USA / / sponsored by IEEE Computer Society [and seven others] |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 |
| Descrizione fisica | 1 online resource (901 pages) |
| Disciplina | 004.015113 |
| Soggetto topico |
Computer logic
Electronic data processing Computer programming |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910169228303321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science : 5-8 July 2016, New York, NY, USA / / sponsored by IEEE Computer Society [and seven others]
| 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science : 5-8 July 2016, New York, NY, USA / / sponsored by IEEE Computer Society [and seven others] |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 |
| Descrizione fisica | 1 online resource (901 pages) |
| Disciplina | 004.015113 |
| Soggetto topico |
Computer logic
Electronic data processing Computer programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280064503316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2018 International Conference on Electrical, Electronics, Communication, Computer, and Optimization Techniques (ICEECCOT) / / Institute of Electrical and Electronics Engineers ; M. Shivakumar, B. D. Parameshachari, Reshma Banu, contributors
| 2018 International Conference on Electrical, Electronics, Communication, Computer, and Optimization Techniques (ICEECCOT) / / Institute of Electrical and Electronics Engineers ; M. Shivakumar, B. D. Parameshachari, Reshma Banu, contributors |
| Pubbl/distr/stampa | Piscataway, NJ : , : IEEE, , 2018 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 004.015113 |
| Soggetto topico |
Computer science
Electrical engineering Mathematical optimization |
| ISBN | 1-5386-5130-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2018 International Conference on Electrical, Electronics, Communication, Computer, and Optimization Techniques |
| Record Nr. | UNINA-9910389546303321 |
| Piscataway, NJ : , : IEEE, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2018 International Conference on Electrical, Electronics, Communication, Computer, and Optimization Techniques (ICEECCOT) / / Institute of Electrical and Electronics Engineers ; M. Shivakumar, B. D. Parameshachari, Reshma Banu, contributors
| 2018 International Conference on Electrical, Electronics, Communication, Computer, and Optimization Techniques (ICEECCOT) / / Institute of Electrical and Electronics Engineers ; M. Shivakumar, B. D. Parameshachari, Reshma Banu, contributors |
| Pubbl/distr/stampa | Piscataway, NJ : , : IEEE, , 2018 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 004.015113 |
| Soggetto topico |
Computer science
Electrical engineering Mathematical optimization |
| ISBN | 1-5386-5130-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2018 International Conference on Electrical, Electronics, Communication, Computer, and Optimization Techniques |
| Record Nr. | UNISA-996574626103316 |
| Piscataway, NJ : , : IEEE, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2022 International Conference on Theoretical and Applied Computer Science and Engineering (ICTASCE) / / Institute of Electrical and Electronics Engineers
| 2022 International Conference on Theoretical and Applied Computer Science and Engineering (ICTASCE) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, NJ : , : IEEE, , 2022 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 004.015113 |
| Soggetto topico | Computer science |
| ISBN | 979-83-503-3162-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2022 International Conference on Theoretical and Applied Computer Science and Engineering |
| Record Nr. | UNISA-996575073803316 |
| Piscataway, NJ : , : IEEE, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / / edited by R. E. Shostak
| 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / / edited by R. E. Shostak |
| Edizione | [1st ed. 1984.] |
| Pubbl/distr/stampa | New York : , : Springer-Verlag, , [1984] |
| Descrizione fisica | 1 online resource (VIII, 509 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Automatic theorem proving
Logic, Symbolic and mathematical Computer science |
| ISBN | 0-387-34768-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Universal Unification -- A Portable Environment for Research in Automated Reasoning -- A Natural Proof System Based on Rewriting Techniques -- EKL—A Mathematically Oriented Proof Checker -- A Linear Characterization of NP-Complete Problems -- A Satisfiability Tester for Non-Clausal Propositional Calculus -- A Decision Method for Linear Temporal Logic -- A Progress Report on New Decision Algorithms for Finitely Presented Abelian Groups -- Canonical Forms in Finitely Presented Algebras -- Term Rewriting Systems and Algebra -- Termination of a Set of Rules Modulo a Set of Equations -- Associative-Commutative Unification -- A Linear Time Algorithm for a Subcase of Second Order Instantiation -- A New Equational Unification Method: A Generalisation of Martelli-Montanari’s Algorithm -- A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering that x 3 = x Implies Ring Commutativity -- A Narrowing Procedure for Theories with Constructors -- A General Inductive Completion Algorithm and Application to Abstract Data Types -- The Next Generation of Interactive Theorem Provers -- The Linked Inference Principle, II: The User’s Viewpoint -- A New Interpretation of the Resolution Principle -- Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving -- Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs -- Analytic and Non-analytic Proofs -- Applications of Protected Circumscription -- Implementation Strategies for Plan-Based Deduction -- A Programming Notation for Tactical Reasoning -- The Mechanization of Existence Proofs of Recursive Predicates -- Solving Word Problems in Free Algebras Using Complexity Functions -- Solving a Problem in Relevance Logic with an Automated Theorem Prover. |
| Record Nr. | UNISA-996465607703316 |
| New York : , : Springer-Verlag, , [1984] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Computing and Systems for Security [[electronic resource] ] : Volume 2 / / edited by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
| Advanced Computing and Systems for Security [[electronic resource] ] : Volume 2 / / edited by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | New Delhi : , : Springer India : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (324 p.) |
| Disciplina | 004.015113 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Signal processing Image processing Speech processing systems Computer security Computational Intelligence Signal, Image and Speech Processing Systems and Data Security |
| ISBN | 81-322-2653-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Signal Processing: Chapter 1. Design and Development of Marathi Speech Interface System -- Chapter 2. Fusion-based noisy image segmentation method -- Chapter 3. An Approach for Automatic Indic Script Identification from Handwritten Document Images -- Chapter 4. Writer Verification on Bangla Handwritten Characters -- Chapter 5. Face Recognition in Video using Deformable Parts Model with Scale Invariant Feature Transform (DPSIFT) -- Chapter 6. Registration of Range Images using a novel technique of Centroid Alignment -- Software Engineering: Chapter 7. An investigation into effective test coverage -- Chapter 8. Resource Management in Native Languages using Dynamic Binary Instrumentation (PIN) -- Chapter 9. A Study on Software Risk Management Strategies and Mapping with SDLC -- Chapter 10. A New Service Discovery Approach for Community based Web -- Chapter 11. Data-flow Analysis-based Approach of Database Watermarking -- Networking and Cloud Computing: Chapter 12. A New Framework for Configuration Management and Compliance Checking towards Component Based Software Development -- Chapter 13. CAD Based Analysis of Power Distribution Network for SOC Design -- Algorithms: Chapter 14. A New Hybrid Mutual Exclusion Algorithm in Absence of Majority Consensus -- Chapter 15. A Comprehensive Sudoku Instance Generator -- Chapter 16. Impleme nting Software Transactional Memory using STM Haskell -- Chapter 17. Comparative Analysis of Genetic Algorithm and Classical Algorithms in Fractional Programming -- Chapter 18. An Algorithm to Solve 3D Guard Zone Computation Problem -- Chapter 19. Multi-step ahead Groundwater Level Time Series Forecasting using Gaussian Process Regression and ANFIS -- Chapter 20. Anomaly Detection and Three Anomalous Coins Problem. |
| Record Nr. | UNINA-9910254208503321 |
| New Delhi : , : Springer India : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computer and Computational Sciences : Proceedings of ICCCCS 2016, Volume 2 / / edited by Sanjiv K. Bhatia, Krishn K. Mishra, Shailesh Tiwari, Vivek Kumar Singh
| Advances in Computer and Computational Sciences : Proceedings of ICCCCS 2016, Volume 2 / / edited by Sanjiv K. Bhatia, Krishn K. Mishra, Shailesh Tiwari, Vivek Kumar Singh |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIV, 713 p. 254 illus.) |
| Disciplina | 004.015113 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Electrical engineering Artificial intelligence Computational Intelligence Communications Engineering, Networks Artificial Intelligence |
| ISBN | 981-10-3773-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Technical Program Committee -- Table of Contents -- about the editors -- Chapters -- Author index. |
| Record Nr. | UNINA-9910299567703321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computer Science and Ubiquitous Computing : CSA-CUTE 2019 / / James J. Park [and four others], editors
| Advances in Computer Science and Ubiquitous Computing : CSA-CUTE 2019 / / James J. Park [and four others], editors |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XXVII, 605 p. 293 illus., 219 illus. in color.) |
| Disciplina | 004.015113 |
| Collana | Lecture notes in electrical engineering |
| Soggetto topico |
Computer science
Ubiquitous computing |
| ISBN | 981-15-9343-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Method for Nocturia Monitoring in Smart Home using Decision Trees -- Efficient Data Aggregation for Human Activity Detection with Smart Home Sensor Net-work using K-means Clustering Algorithm -- Indoor Positioning System Using Pyramidal Beacon in Mobile Augmented Reality -- Design and Implementation of Real-Time Vehicle Recognition and Detection System based on YOLO -- Purchase Predictive Design Using Skeleton Model and Purchase Record -- Intelligent Digital Signage Using Deep Learning Based Recommendation System in Edge Environment -- Performance Analysis of Pulse Modulation in Robot Control based on IEEE 802.11 LiFi Standard -- Deep Learning-based Experimentation for Predicting Secondary Structure of Amino Acid Sequence -- A Study on Vulnerabilities of Linux Password and Countermeasures -- Analysis of Learning Model for Improvement of Software Education in Korea -- Implementation and Experiment of Join Optimization Algorithm for Inverted Index in an RDBMS -- Real-Time Subscriber Session Management on 5G NSA Wireless Network Systems -- PCA and K-Means based Genome Analysis for Hymenobacter sp. PAMC26628 . |
| Record Nr. | UNISA-996464516503316 |
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computer Science and Ubiquitous Computing : CSA-CUTE 2019 / / James J. Park [and four others], editors
| Advances in Computer Science and Ubiquitous Computing : CSA-CUTE 2019 / / James J. Park [and four others], editors |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XXVII, 605 p. 293 illus., 219 illus. in color.) |
| Disciplina | 004.015113 |
| Collana | Lecture notes in electrical engineering |
| Soggetto topico |
Computer science
Ubiquitous computing |
| ISBN | 981-15-9343-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Method for Nocturia Monitoring in Smart Home using Decision Trees -- Efficient Data Aggregation for Human Activity Detection with Smart Home Sensor Net-work using K-means Clustering Algorithm -- Indoor Positioning System Using Pyramidal Beacon in Mobile Augmented Reality -- Design and Implementation of Real-Time Vehicle Recognition and Detection System based on YOLO -- Purchase Predictive Design Using Skeleton Model and Purchase Record -- Intelligent Digital Signage Using Deep Learning Based Recommendation System in Edge Environment -- Performance Analysis of Pulse Modulation in Robot Control based on IEEE 802.11 LiFi Standard -- Deep Learning-based Experimentation for Predicting Secondary Structure of Amino Acid Sequence -- A Study on Vulnerabilities of Linux Password and Countermeasures -- Analysis of Learning Model for Improvement of Software Education in Korea -- Implementation and Experiment of Join Optimization Algorithm for Inverted Index in an RDBMS -- Real-Time Subscriber Session Management on 5G NSA Wireless Network Systems -- PCA and K-Means based Genome Analysis for Hymenobacter sp. PAMC26628 . |
| Record Nr. | UNINA-9910483339803321 |
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
