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.
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops [[electronic resource] ] : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira
| Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops [[electronic resource] ] : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 416 p. 46 illus.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Application software Data encryption (Computer science) Knowledge representation (Information theory) Computer Systems Organization and Communication Networks Artificial Intelligence Computer Applications Cryptology Knowledge based Systems |
| ISBN | 3-030-55583-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems -- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems -- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI -- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. |
| Record Nr. | UNISA-996418301703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Efficient Integration of 5G and Beyond Heterogeneous Networks [[electronic resource] /] / by Zi-Yang Wu, Muhammad Ismail, Justin Kong, Erchin Serpedin, Jiao Wang
| Efficient Integration of 5G and Beyond Heterogeneous Networks [[electronic resource] /] / by Zi-Yang Wu, Muhammad Ismail, Justin Kong, Erchin Serpedin, Jiao Wang |
| Autore | Wu Zi-Yang |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (130 pages) : illustrations |
| Disciplina | 004.22 |
| Soggetto topico |
Computer organization
Electrical engineering Wireless communication systems Mobile communication systems Machine learning Knowledge representation (Information theory) Sociophysics Econophysics Computer Systems Organization and Communication Networks Communications Engineering, Networks Wireless and Mobile Communication Machine Learning Knowledge based Systems Data-driven Science, Modeling and Theory Building |
| ISBN | 981-15-6938-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Efficient Joint Planning of HetNets -- Chapter 3. Realization of Mobile Indoor Channels -- Chapter 4. Data-driven Handover Algorithm in Mobile HetNets -- Chapter 5. Data-driven Multi-homing Resource Allocation in Mobile HetNets -- Chapter 6. Conclusions. |
| Record Nr. | UNINA-9910416084203321 |
Wu Zi-Yang
|
||
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Efficient Integration of 5G and Beyond Heterogeneous Networks / / by Zi-Yang Wu, Muhammad Ismail, Justin Kong, Erchin Serpedin, Jiao Wang
| Efficient Integration of 5G and Beyond Heterogeneous Networks / / by Zi-Yang Wu, Muhammad Ismail, Justin Kong, Erchin Serpedin, Jiao Wang |
| Autore | Wu Zi-Yang |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Singapore, 2020 |
| Descrizione fisica | 1 online resource (130 pages) : illustrations |
| Disciplina | 004.22 |
| Soggetto topico |
Computer organization
Electrical engineering Wireless communication systems Mobile communication systems Machine learning Knowledge representation (Information theory) Sociophysics Econophysics Computer Systems Organization and Communication Networks Communications Engineering, Networks Wireless and Mobile Communication Machine Learning Knowledge based Systems Data-driven Science, Modeling and Theory Building |
| ISBN | 981-15-6938-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Efficient Joint Planning of HetNets -- Chapter 3. Realization of Mobile Indoor Channels -- Chapter 4. Data-driven Handover Algorithm in Mobile HetNets -- Chapter 5. Data-driven Multi-homing Resource Allocation in Mobile HetNets -- Chapter 6. Conclusions. |
| Record Nr. | UNISA-996465444403316 |
|
Wu Zi-Yang
|
||
| Springer Singapore, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Information and Knowledge Systems [[electronic resource] ] : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / / edited by Andreas Herzig, Juha Kontinen
| Foundations of Information and Knowledge Systems [[electronic resource] ] : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / / edited by Andreas Herzig, Juha Kontinen |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVIII, 335 p. 656 illus., 13 illus. in color.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Software engineering Database management Artificial intelligence Computer logic Knowledge representation (Information theory) Application software Mathematical Logic and Formal Languages Software Engineering/Programming and Operating Systems Database Management Logic in AI Knowledge based Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-39951-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Functional Dependencies in Incomplete Databases With Limited Domains -- Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings -- On matrices and K-relations -- Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood -- ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation -- Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems -- Diversity, Dependence and Independence -- Towards Probabilistic Reasoning in Type Theory - the Intersection Type Case -- Measuring Inconsistency in a General Information Space -- Parameterised Complexity of Model Checking and Satisability in Propositional Dependence Logic -- Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival -- Game Description Logic with Integers: A GDL Numerical Extension -- Craig Interpolation of Epistemic Logics with Distributed Knowledge -- On the dynamics of structured argumentation: Modeling changes in default justication logic -- Logic-based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams -- Realisability of Choreographies -- Schema Optimisation Instead Of (Local) Normalisation -- Strongly Minimal MapReduce Algorithms: A TeraSort Case Study -- Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences. |
| Record Nr. | UNISA-996418206003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Innovative Learning Environments in STEM Higher Education [[electronic resource] ] : Opportunities, Challenges, and Looking Forward / / edited by Jungwoo Ryoo, Kurt Winkelmann
| Innovative Learning Environments in STEM Higher Education [[electronic resource] ] : Opportunities, Challenges, and Looking Forward / / edited by Jungwoo Ryoo, Kurt Winkelmann |
| Autore | Ryoo Jungwoo |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XV, 137 p. 8 illus., 7 illus. in color.) |
| Disciplina | 519.5 |
| Collana | SpringerBriefs in Statistics |
| Soggetto topico |
Statistics
Machine learning Learning Instruction Knowledge representation (Information theory) Statistics for Social Sciences, Humanities, Law Machine Learning Statistics and Computing/Statistics Programs Learning & Instruction Knowledge based Systems Educació STEM Educació superior |
| Soggetto genere / forma | Llibres electrònics |
| Soggetto non controllato |
Statistics for Social Sciences, Humanities, Law
Machine Learning Statistics and Computing/Statistics Programs Learning & Instruction Knowledge based Systems Statistics in Social Sciences, Humanities, Law, Education, Behavorial Sciences, Public Policy Statistics and Computing Education Innovative Learning Environments ILEs Science, Technology, Engineering, and Math STEM virtual reality VR augmented reality mixed reality cross reality extended reality artificial intelligence AI adaptive learning personalized learning higher education multimodal learning mobile learning Open Access Social research & statistics Mathematical & statistical software Teaching skills & techniques Cognition & cognitive psychology Expert systems / knowledge-based systems |
| ISBN | 3-030-58948-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. X-FILEs Vision for personalized and Adaptive Learning -- 3. X-FILEs Vision for Multi-modal Learning Formats -- 4. X-FILEs Vision for Extended/Cross Reality (XR) -- 5. X-FILEs Vision for Artificial Intelligence (AI) and Machine Learning (ML) -- 6. Cross-Cutting Concerns -- 7. Epilogue. |
| Record Nr. | UNISA-996466564503316 |
|
Ryoo Jungwoo
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Engineering Tools and Techniques for AI Planning [[electronic resource] /] / edited by Mauro Vallati, Diane Kitchin
| Knowledge Engineering Tools and Techniques for AI Planning [[electronic resource] /] / edited by Mauro Vallati, Diane Kitchin |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (VIII, 277 p. 97 illus., 53 illus. in color.) |
| Disciplina | 006.3 |
| Soggetto topico |
Knowledge representation (Information theory)
Knowledge management Data mining Knowledge based Systems Knowledge Management Data Mining and Knowledge Discovery |
| ISBN | 3-030-38561-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Part I: Knowledge Capture and Encoding -- 1. Explanation-based Learning of Action Models -- 2. Automated Domain Model Encoding tools for Planning -- 3. A Formal Knowledge Engineering Approach for Planning and Scheduling: Applications with itSIMPLE -- 4. MyPDDL: Tools for efficiently creating PDDL domains and problems -- 5. Planning.Domains: A Tool Suite for the Planning Researcher -- 6. Modelling Planning Tasks: Representation Matters -- Part II: Interaction, Visualisation, and Explanation -- 7. An Interactive Tool for Plan Generation, Inspection and Visualization -- 8. Interactive Visualization in Planning and Scheduling -- 9. Argument-based Plan Explanation -- 10. Interactive Planning-based Hypothesis Generation with LTS++ -- 11. Web Planner: A Tool to Develop, Visualize and Test Classical Planning Domains -- Part III: Case Studies and Applications -- 12. Design of Timeline-based Planning Systems for Safe Human-Robot Collaboration -- 13. Planning in a Real-world Application: An AUV Case Study -- 14. Knowledge Engineering and Planning for Social Human-Robot Interaction: A Case Study.-. |
| Record Nr. | UNISA-996465454503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Graphs [[electronic resource] ] : Methodology, Tools and Selected Use Cases / / by Dieter Fensel, Umutcan Şimşek, Kevin Angele, Elwin Huaman, Elias Kärle, Oleksandra Panasiuk, Ioan Toma, Jürgen Umbrich, Alexander Wahler
| Knowledge Graphs [[electronic resource] ] : Methodology, Tools and Selected Use Cases / / by Dieter Fensel, Umutcan Şimşek, Kevin Angele, Elwin Huaman, Elias Kärle, Oleksandra Panasiuk, Ioan Toma, Jürgen Umbrich, Alexander Wahler |
| Autore | Fensel Dieter |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 147 p. 16 illus.) |
| Disciplina | 006 |
| Soggetto topico |
Knowledge representation (Information theory)
Application software Knowledge based Systems Information Systems Applications (incl. Internet) Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-37439-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction: What is a Knowledge Graph? -- How to build a Knowledge Graph -- How to use a Knowledge Graph -- Why we need Knowledge Graphs: Applications -- Conclusions -- References -- Appendix -- Index. |
| Record Nr. | UNISA-996465361703316 |
|
Fensel Dieter
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Linguistic Linked Data [[electronic resource] ] : Representation, Generation and Applications / / by Philipp Cimiano, Christian Chiarcos, John P. McCrae, Jorge Gracia
| Linguistic Linked Data [[electronic resource] ] : Representation, Generation and Applications / / by Philipp Cimiano, Christian Chiarcos, John P. McCrae, Jorge Gracia |
| Autore | Cimiano Philipp |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 286 p.) |
| Disciplina | 006 |
| Soggetto topico |
Knowledge representation (Information theory)
Natural language processing (Computer science) Application software Knowledge based Systems Natural Language Processing (NLP) Computer Appl. in Arts and Humanities |
| ISBN | 3-030-30225-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 Preliminaries -- 3 Linguistic Linked Open Data Cloud -- 4 Modelling lexical resources as Linked Data -- 5 Representing annotated texts as RDF -- 6 Modelling linguistic annotations -- 7 Modelling metadata of language resources -- 8 Linguistic Categories -- 9 Converting language resources into Linked Data -- 10 Link Representation and Discovery -- 11 Linked Data-based NLP Workflows -- 12 Applying linked data principles to linking multilingualWordnets -- 13 Linguistic Linked Data in Digital Humanities -- 14 Discovery of language resources -- 15 Conclusion. |
| Record Nr. | UNISA-996465350703316 |
|
Cimiano Philipp
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems: OTM 2019 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings / / edited by Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis, Claudio Agostino Ardagna, Robert Meersman
| On the Move to Meaningful Internet Systems: OTM 2019 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings / / edited by Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis, Claudio Agostino Ardagna, Robert Meersman |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 760 p. 415 illus., 183 illus. in color.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Knowledge representation (Information theory) Natural language processing (Computer science) Software engineering Programming languages (Electronic computers) Mathematical logic Information Systems Applications (incl. Internet) Knowledge based Systems Natural Language Processing (NLP) Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-030-33246-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems Applications (incl. Internet) -- Information Storage and Retrieval -- Software Engineering -- Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in Administrative Data Processing -- Ontologies -- Databases -- Semantics -- Cooperative Information Systems -- Cloud Computing -- Trust, Security, Privacy And Risk. Management. |
| Record Nr. | UNISA-996466181803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
| Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 187 p. 96 illus., 19 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Artificial intelligence Computer logic Knowledge representation (Information theory) Application software Theory of Computation Information Systems and Communication Service Software Engineering/Programming and Operating Systems Logic in AI Knowledge based Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-57977-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Full Papers -- Technical Communication Papers. |
| Record Nr. | UNISA-996418283903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||