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.
Agents and Multi-Agent Systems: Technologies and Applications 2020 : 14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings / / edited by G. Jezic, J. Chen-Burger, M. Kusek, R. Sperka, Robert J. Howlett, Lakhmi C. Jain
| Agents and Multi-Agent Systems: Technologies and Applications 2020 : 14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings / / edited by G. Jezic, J. Chen-Burger, M. Kusek, R. Sperka, Robert J. Howlett, Lakhmi C. Jain |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (365 pages) : illustrations |
| Disciplina | 973.933092 |
| Collana | Smart Innovation, Systems and Technologies |
| Soggetto topico |
Computational intelligence
Data mining Knowledge representation (Information theory) Artificial intelligence Computational Intelligence Data Mining and Knowledge Discovery Knowledge based Systems Artificial Intelligence |
| ISBN | 981-15-5764-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484103503321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : 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 : 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. | UNINA-9910416084803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Current Achievements, Challenges and Digital Chances of Knowledge Based Economy / / edited by Svetlana Igorevna Ashmarina, Valentina Vyacheslavovna Mantulenko
| Current Achievements, Challenges and Digital Chances of Knowledge Based Economy / / edited by Svetlana Igorevna Ashmarina, Valentina Vyacheslavovna Mantulenko |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (826 pages) |
| Disciplina | 330 |
| Collana | Lecture Notes in Networks and Systems |
| Soggetto topico |
Engineering—Data processing
Computational intelligence Knowledge representation (Information theory) Economics Data Engineering Computational Intelligence Knowledge based Systems Economic Theory/Quantitative Economics/Mathematical Methods |
| ISBN | 3-030-47458-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge and Information as an Object of Criminal Law Protection -- Information Space Concept of Interaction between Digital and Innovative Economy -- Information Technologies Significance in Higher Education in Context of its Digitalization -- Information as Basic Value of Revenue Maximization in Evolving Public Procurement -- Transformation of Public Administration in the Interests of Digital Economy Development -- Informatization of Labor Regulation as Basis for Ensuring Sustainable Development of Enterprises -- The Development of the Domestic Pharmaceutical Industry in the Context of Digitalization -- Processes of Informatization in the Accounting of an Enterprise: The Methodological Aspect -- Electronic Document Management in International Carriage: Russian Experience of Railway Business -- Application of Big Data in the Educational Process. |
| Record Nr. | UNINA-9910484471903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development of clinical decision support systems using Bayesian networks : with an example of a multi-disciplinary treatment decision for laryngeal cancer / / Mario A. Cypko
| Development of clinical decision support systems using Bayesian networks : with an example of a multi-disciplinary treatment decision for laryngeal cancer / / Mario A. Cypko |
| Autore | Cypko Mario A. |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Wiesbaden, Germany : , : Springer Vieweg, , [2020] |
| Descrizione fisica | 1 online resource (XIX, 148 p. 39 illus., 10 illus. in color.) |
| Disciplina | 006.3 |
| Soggetto topico |
Artificial intelligence
Computer Applications Knowledge based Systems |
| ISBN | 3-658-32594-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Patient-specific Bayesian Network in a Clinical Environment -- TreLynCa: A Tumor Board Decision Model for Laryngeal Cancer -- Model Validation and Tools for Guided BN Modeling -- GUI for PSBN-based decision verification. |
| Record Nr. | UNINA-9910427694503321 |
Cypko Mario A.
|
||
| Wiesbaden, Germany : , : Springer Vieweg, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development of clinical decision support systems using Bayesian networks : with an example of a multi-disciplinary treatment decision for laryngeal cancer / / Mario A. Cypko
| Development of clinical decision support systems using Bayesian networks : with an example of a multi-disciplinary treatment decision for laryngeal cancer / / Mario A. Cypko |
| Autore | Cypko Mario A. |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Wiesbaden, Germany : , : Springer Vieweg, , [2020] |
| Descrizione fisica | 1 online resource (XIX, 148 p. 39 illus., 10 illus. in color.) |
| Disciplina | 006.3 |
| Soggetto topico |
Artificial intelligence
Computer Applications Knowledge based Systems |
| ISBN | 3-658-32594-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Patient-specific Bayesian Network in a Clinical Environment -- TreLynCa: A Tumor Board Decision Model for Laryngeal Cancer -- Model Validation and Tools for Guided BN Modeling -- GUI for PSBN-based decision verification. |
| Record Nr. | UNISA-996465448603316 |
|
Cypko Mario A.
|
||
| Wiesbaden, Germany : , : Springer Vieweg, , [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 | ||
| ||
