Info
Advances in Intelligent Data Analysis XVIII [[electronic resource] ] : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings / / edited by Michael R. Berthold, Ad Feelders, Georg Krempl
| Advances in Intelligent Data Analysis XVIII [[electronic resource] ] : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings / / edited by Michael R. Berthold, Ad Feelders, Georg Krempl |
| Autore | Berthold Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XIV, 588 p. 210 illus., 132 illus. in color.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Data mining Computers Machine learning Computer organization Database Management Data Mining and Knowledge Discovery Computing Milieux Machine Learning Computer Systems Organization and Communication Networks |
| Soggetto non controllato |
Database Management
Data Mining and Knowledge Discovery Computing Milieux Machine Learning Computer Systems Organization and Communication Networks open access data mining learning systems classification clustering semantics learning algorithms supervised learning association rules social networks graphic methods neural networks artificial intelligence computer vision correlation analysis databases education engineering graph theory image analysis Databases Database programming Data mining Expert systems / knowledge-based systems Information technology: general issues Machine learning Computer networking & communications |
| ISBN | 3-030-44584-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection of Derivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization. |
| Record Nr. | UNISA-996418219903316 |
Berthold Michael
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Anti-fragile ICT Systems [[electronic resource] /] / by Kjell Jørgen Hole
| Anti-fragile ICT Systems [[electronic resource] /] / by Kjell Jørgen Hole |
| Autore | Hole Kjell Jørgen |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Springer Nature, 2016 |
| Descrizione fisica | 1 online resource (XVIII, 151 pages) ; : 44 illustrations, 22 illustrations in colour; digital, PDF file(s) |
| Disciplina | 004.6 |
| Collana | Simula SpringerBriefs on Computing |
| Soggetto topico |
Computer organization
Computers Artificial intelligence Computer simulation Computer Systems Organization and Communication Networks Information Systems and Communication Service Artificial Intelligence Simulation and Modeling |
| Soggetto non controllato |
Computer Systems Organization and Communication Networks
Information Systems and Communication Service Artificial Intelligence Simulation and Modeling Computer Engineering and Networks Database Management System Computer Science Anomaly detection Anti-fragility Cloud computing Complex adaptive systems DevOps (Development and Operation) Diversity Loose coupling Malware Malware detection Microservices Modules Monitoring Redundancy Risk analysis Software architecture Software design System dependencies Tight coupling Trust Weak links Computer networking & communications Computer modelling & simulation |
| ISBN | 3-319-30070-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Part I: The Concept of Anti-Fragility: 1 Introduction -- 2 Achieving Anti-Fragility -- 3 The Need to Build Trust -- 4 Principles Ensuring Anti-Fragility -- Part II: Anti-Fragility to Downtime: 5 Anti-Fragile Cloud Solutions -- 6 An Anti-Fragile e-Government System -- 7 Anti-Fragile Cloud-Based Telecom Systems -- Part III: Anti-Fragility to Malware: 8 Robustness to Malware Spreading -- 9 Robustness to Malware Reinfections -- 10 Anti-Fragility to Malware Spreading -- Part IV: Anomaly Detection: 11 The Cortical Learning Algorithm -- 12 Detecting Anomalies with the CLA -- Part V: Future Anti-Fragile Systems: 13 Summary and Future Work -- About the Author -- References -- Index. |
| Record Nr. | UNINA-9910136809003321 |
|
Hole Kjell Jørgen
|
||
| Springer Nature, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber-physical systems : a model-based approach / / Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg
| Cyber-physical systems : a model-based approach / / Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg |
| Autore | Taha Walid <1972-> |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (xxii, 187 pages) : illustrations; digital, PDF file(s) |
| Disciplina | 004.6 |
| Soggetto topico |
Computer organization
Computer engineering Internet of things Embedded computer systems Computer simulation Control engineering Robotics Mechatronics Computer Systems Organization and Communication Networks Cyber-physical systems, IoT Simulation and Modeling Control, Robotics, Mechatronics |
| Soggetto non controllato |
Computer Systems Organization and Communication Networks
Cyber-physical systems, IoT Simulation and Modeling Control, Robotics, Mechatronics Computer Engineering and Networks Cyber-Physical Systems Computer Science Control, Robotics, Automation CPS Embedded System model-based engineering hybrid systems Acumen coordinate transformations modeling computational systems modeling physical systems control sensing and actuation game theory Open Access Computer networking & communications Electrical engineering Cybernetics & systems theory Computer modelling & simulation Automatic control engineering Electronic devices & materials |
| ISBN | 3-030-36071-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Core Concepts -- 1. What is a Cyber-Physical System? -- 2. Modeling Physical Systems -- 3. Hybrid Systems -- 4. Control Theory -- 5. Modeling Computational Systems -- 6. Coordinate Transformation (Robot Arm) -- Part II: Selected Topics -- 7. Game Theory -- 8. Communications -- 9. Sensing and Actuation -- Part III: Appendix -- A. Acumen Reference Manual -- Index. |
| Record Nr. | UNINA-9910418353203321 |
|
Taha Walid <1972->
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber-physical systems : a model-based approach / / Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg
| Cyber-physical systems : a model-based approach / / Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg |
| Autore | Taha Walid <1972-> |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (xxii, 187 pages) : illustrations; digital, PDF file(s) |
| Disciplina | 004.6 |
| Soggetto topico |
Computer organization
Computer engineering Internet of things Embedded computer systems Computer simulation Control engineering Robotics Mechatronics Computer Systems Organization and Communication Networks Cyber-physical systems, IoT Simulation and Modeling Control, Robotics, Mechatronics |
| Soggetto non controllato |
Computer Systems Organization and Communication Networks
Cyber-physical systems, IoT Simulation and Modeling Control, Robotics, Mechatronics Computer Engineering and Networks Cyber-Physical Systems Computer Science Control, Robotics, Automation CPS Embedded System model-based engineering hybrid systems Acumen coordinate transformations modeling computational systems modeling physical systems control sensing and actuation game theory Open Access Computer networking & communications Electrical engineering Cybernetics & systems theory Computer modelling & simulation Automatic control engineering Electronic devices & materials |
| ISBN | 3-030-36071-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Core Concepts -- 1. What is a Cyber-Physical System? -- 2. Modeling Physical Systems -- 3. Hybrid Systems -- 4. Control Theory -- 5. Modeling Computational Systems -- 6. Coordinate Transformation (Robot Arm) -- Part II: Selected Topics -- 7. Game Theory -- 8. Communications -- 9. Sensing and Actuation -- Part III: Appendix -- A. Acumen Reference Manual -- Index. |
| Record Nr. | UNISA-996464383003316 |
|
Taha Walid <1972->
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantic Systems. In the Era of Knowledge Graphs [[electronic resource] ] : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings / / edited by Eva Blomqvist, Paul Groth, Victor de Boer, Tassilo Pellegrini, Mehwish Alam, Tobias Käfer, Peter Kieseberg, Sabrina Kirrane, Albert Meroño-Peñuela, Harshvardhan J. Pandit
| Semantic Systems. In the Era of Knowledge Graphs [[electronic resource] ] : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings / / edited by Eva Blomqvist, Paul Groth, Victor de Boer, Tassilo Pellegrini, Mehwish Alam, Tobias Käfer, Peter Kieseberg, Sabrina Kirrane, Albert Meroño-Peñuela, Harshvardhan J. Pandit |
| Autore | Blomqvist Eva |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XIII, 127 p. 102 illus., 30 illus. in color.) |
| Disciplina | 006.33 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Knowledge representation (Information theory)
Application software Computers Knowledge based Systems Computer Applications Information Systems and Communication Service |
| Soggetto non controllato |
Knowledge based Systems
Computer Applications Information Systems and Communication Service Computer and Information Systems Applications Computer Engineering and Networks artificial intelligence computer science computer systems data handling databases dbpedia internet knowledge-based system linguistics linked data Natural Language Processing (NLP) natural languages ontologies query languages query processing resource description framework search engines semantic web semantics World Wide Web Expert systems / knowledge-based systems Information technology: general issues Computer networking & communications |
| ISBN | 3-030-59833-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The New DBpedia Release Cycle: Increasing Agility and Efficiency in Knowledge Extraction Workflows -- DBpedia Archivo - A Web-Scale Interface for Ontology Archiving under Consumer-oriented Aspects,. A Knowledge Retrieval Framework for Household Objects and Actions with External Knowledge -- Semantic Annotation, Representation and Linking of Survey Data -- QueDI: from Knowledge Graph Querying to Data Visualization -- EcoDaLo: Federating advertisement targeting with Linked Data -- MINDS: a translator to embed mathematical expressions inside SPARQL queries -- Integrating Historical Person Registers as Linked Open Data in the WarSampo Knowledge Graph. |
| Record Nr. | UNISA-996418218103316 |
|
Blomqvist Eva
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software for Exascale Computing - SPPEXA 2016-2019 [[electronic resource] /] / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel
| Software for Exascale Computing - SPPEXA 2016-2019 [[electronic resource] /] / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel |
| Autore | Bungartz Hans-Joachim |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XII, 620 p. 256 illus., 231 illus. in color.) |
| Disciplina | 003.3 |
| Collana | Lecture Notes in Computational Science and Engineering |
| Soggetto topico |
Computer simulation
Computer software—Reusability Computer mathematics Input-output equipment (Computers) Applied mathematics Engineering mathematics Physics Simulation and Modeling Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation |
| Soggetto non controllato |
Simulation and Modeling
Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation Computer Science Computer Hardware Mathematical and Computational Engineering Applications Theoretical, Mathematical and Computational Physics open access computational algorithms and numerical methods data management and exploration high-performance computing simulation software and applications system software and software tools Computer modelling & simulation Systems analysis & design Maintenance & repairs Maths for scientists Computer networking & communications Distributed databases Maths for engineers Mathematical physics |
| ISBN | 3-030-47956-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EXA-DUNE: Flexible PDE Solvers, Numerical Methods, and Applications -- Smart-DASH: Smart Data Structures and Algorithms with Support for Hierarchical Locality -- Terra-Neo: Integrated Co-Design of an Exascale Earth Mantle Modeling Framework -- EXASTEEL-2: Dual Phase Steels - from Micro to Macro Properties -- GROMEX: Unified Long-range Electrostatics and Dynamic Protonation for Realistic Biomolecular Simulations on the Exascale -- ExaStencils: Advanced Stencil-Code Engineering -- ExaFSA: Exascale Simulation of Fluid-Structure-Acoustics Interactions -- EXAHD: An Exa-Scalable Two-Level Sparse Grid Approach for Higher-Dimensional Problems in Plasma Physics and Beyond -- EXAMAG: Exascale Simulations of the Magnetic Universe -- FFMK: A Fast and Fault Tolerant Microkernel-based System for Exascale Computing -- ESSEX-II: Equipping Sparse Solvers for Exascale -- EXASOLVERS: Extreme Scale Solvers for Coupled Problems -- ADA-FS: Advanced Data Placement via Ad-hoc File Systems at Extreme Scales -- AIMES: Advanced Computation and I/O Methods for Earth-System Simulations. ExaDG: High-Order Discontinuous Galerkin for the Exa-Scale. MYX-MUST Correctness Checking for YML and XMP Programs -- ExtraPeak: Automatic Performance Modeling of HPC Applications with Multiple Model Parameters. |
| Record Nr. | UNISA-996418265803316 |
|
Bungartz Hans-Joachim
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [[electronic resource] ] : A Reference Model Guided Approach for Common Challenges / / edited by Zhiming Zhao, Margareta Hellström
| Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [[electronic resource] ] : A Reference Model Guided Approach for Common Challenges / / edited by Zhiming Zhao, Margareta Hellström |
| Autore | Zhao Zhiming |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (X, 373 p. 124 illus., 101 illus. in color.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Environment Special purpose computers Computers Software engineering Geography Computer Applications Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general |
| Soggetto non controllato |
Computer Applications
Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general Computer and Information Systems Applications Environmental Sciences Database Management System Software Engineering Geography cloud computing cloud providers cloud services computer networks computing resource data communication systems databases distributed computer systems distributed systems engineering grid computing internet network protocols open access parallel processing systems signal processing telecommunication networks wireless telecommunication systems Information technology: general issues The environment Expert systems / knowledge-based systems Computer networking & communications Operating systems |
| ISBN | 3-030-52829-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Supporting cross-domain system-level environmental and earth science -- ICT infrastructure for environmental and earth sciences -- Common challenges and requirements -- ENVRI reference model -- Reference model guided engineering -- Semantic and knowledge engineering using ENVRI RM -- Data curation and preservation -- Data cataloguing -- Data identification and citation -- Data processing -- Virtual infrastructure optimization -- Data provenance -- Metadata, semantic linking -- Authentication, Authorization, and Accounting -- Virtual research environment -- Case study: e.g., data subscriptions using elastic Cloud service -- Case study: e.g., D4Science: a VRE solution for RI -- Case study: LifeWatch -- Sustainability -- Future challenges. |
| Record Nr. | UNISA-996418281903316 |
|
Zhao Zhiming
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||