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.
Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery [[electronic resource] ] : Volume 2 / / edited by Yong Liu, Lipo Wang, Liang Zhao, Zhengtao Yu
| Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery [[electronic resource] ] : Volume 2 / / edited by Yong Liu, Lipo Wang, Liang Zhao, Zhengtao Yu |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xxv, 1,119 pages) : illustrations |
| Disciplina | 006 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Knowledge representation (Information theory) Computational Intelligence Knowledge based Systems |
| ISBN | 3-030-32591-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484228803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery [[electronic resource] ] : Volume 1 / / edited by Yong Liu, Lipo Wang, Liang Zhao, Zhengtao Yu
| Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery [[electronic resource] ] : Volume 1 / / edited by Yong Liu, Lipo Wang, Liang Zhao, Zhengtao Yu |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (1,006 pages) |
| Disciplina | 006 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Knowledge representation (Information theory) Computational Intelligence Knowledge based Systems |
| ISBN | 3-030-32456-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484316103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agents and Multi-Agent Systems: Technologies and Applications 2020 [[electronic resource] ] : 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 [[electronic resource] ] : 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 [[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. | 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 [[electronic resource] /] / edited by Svetlana Igorevna Ashmarina, Valentina Vyacheslavovna Mantulenko
| Current Achievements, Challenges and Digital Chances of Knowledge Based Economy [[electronic resource] /] / 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) Economic theory 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 | ||
| ||
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 | ||
| ||
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. | UNINA-9910863108503321 |
|
Wu Zi-Yang
|
||
| Springer Singapore, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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. | UNINA-9910373927103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
