Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings, de Boer Frank, Cerone Antonio
Автор: Larsen Kim Guldstrand, Willemse Tim Название: Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings ISBN: 3030270076 ISBN-13(EAN): 9783030270070 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.
Автор: Bдck Thomas, Preuss Mike, Deutz Andrй Название: Parallel Problem Solving from Nature - Ppsn XVI: 16th International Conference, Ppsn 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings, ISBN: 3030581144 ISBN-13(EAN): 9783030581145 Издательство: Springer Рейтинг: Цена: 91300.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers were carefully reviewed and selected from 268 submissions.
Автор: Yilmaz Murat, Niemann Jцrg, Clarke Paul Название: Systems, Software and Services Process Improvement: 27th European Conference, Eurospi 2020, Dьsseldorf, Germany, September 9-11, 2020, Proceedings ISBN: 3030564401 ISBN-13(EAN): 9783030564407 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Visionary Papers.- SPI Manifesto and Improvement Strategies.- SPI and Emerging Software and Systems Engineering Paradigms.- SPI and Standards and Safety and Security Norms.- SPI and Team Performance & Agile & Innovation.- SPI and Agile.- Emerging Software Engineering Paradigms.- Digitalisation of Industry, Infrastructure and E-Mobility.- Good and Bad Practices in Improvement.- Functional Safety and Cybersecurity.- Experiences with Agile and Lean.- Standards and Assessment Models.- Recent Innovations.- Virtual Reality.
Автор: Jansen Anton, Malavolta Ivano, Muccini Henry Название: Software Architecture: 14th European Conference, Ecsa 2020, l`Aquila, Italy, September 14-18, 2020, Proceedings ISBN: 3030589226 ISBN-13(EAN): 9783030589226 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A`quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected from 103 submissions.
Автор: Camara Javier, Steffen Martin Название: Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-Cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16-20, 2019, Re ISBN: 3030575055 ISBN-13(EAN): 9783030575052 Издательство: Springer Рейтинг: Цена: 55890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;
Автор: Abate Alessandro, Petrov Tatjana, Wolf Verena Название: Computational Methods in Systems Biology: 18th International Conference, Cmsb 2020, Konstanz, Germany, September 23-25, 2020, Proceedings ISBN: 3030603261 ISBN-13(EAN): 9783030603267 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions.
Автор: Krzhizhanovskaya Valeria V., Zбvodszky Gбbor, Lees Michael H. Название: Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part I ISBN: 3030503704 ISBN-13(EAN): 9783030503703 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: ICCS Main Track.- An efficient new static scheduling heuristic for accelerated architectures.- Multilevel Parallel Computations for Solving Multistage Multicriteria Optimization Problems.- Enabling Hardware Affinity in JVM-based Applications: A Case Study for Big Data.- An optimizing multi-platform source-to-source compiler framework for the NEURON MODeling Language.- Parallel numerical solution of a 2D Chemotaxis-Stokes system on GPUs technology.- Automatic management of cloud applications with use of Proximal Policy Optimization.- Utilizing GPU Performance Counters to Characterize GPU Kernels via Machine Learning.- A massively parallel algorithm for the three-dimensional Navier-Stokes-Boussinesq simulations of the atmospheric phenomena.- Reconstruction of Low Energy Neutrino Events with GPUs at IceCube.- Cache-Aware Matrix Polynomials.- QEScalor: Quantitative Elastic Scaling Framework in Distributed Streaming Processing.- From Conditional Independence to Parallel Execution in Hierarchical Models.- Improving performance of the Hypre iterative solver for Uintah combustion codes on manycore architectures using MPI Endpoints and Kernel Consolidation.- Analysis of Checkpoint I/O behavior.- Enabling EASEY deployment of containerized applications for future HPC systems.- Reproducibility of computational experiments on Kubernetes-managed container clouds with HyperFlow.- GPU-accelerated RDP Algorithm for Data Segmentation.- Sparse Matrix-Based HPC Tomography.- heFFTe: Highly Efficient FFT for Exascale.- Scalable Workflow-Driven Hydrologic Analysis in HydroFrame.- Patient-specific cardiac parametrization from Eikonal simulations.- An Empirical Analysis of Predictors for Workload Estimation in Healthcare.- How You Say Or What You Say? Neural Activity in Message Credibility Evaluation.- Look Who's Talking: Modeling Decision Making Based on Source Credibility.- An Adaptive Network Model for Burnout and Dreaming.- Computational Analysis of the Adaptive Causal Relationships between Cannabis, Anxiety and Sleep.- Detecting Critical Transitions in the Human Innate Immune System Post-Cardiac Surgery.- Using individual-based models to look beyond the horizon: the changing effects of household-based clustering of susceptibility to measles in the next 20 years.- Modelling the effects of antibiotics on gut flora using a nonlinear compartment model with uncertain parameters.- Stochastic volatility and early warning indicator.- Boost and Burst: Bubbles in the Bitcoin Market.- Estimation of tipping points for critical and transitional regimes in the evolution of complex interbank network.- Modeling of Fire Spread including Different Heat Transfer Mechanisms using Cellular Automata.- Narrow passage problem solution for motion planning.- Fault Injection, Detection and Treatment in Simulated Autonomous Vehicles.- Using Cellular Automata to Model High Density Pedestrian Dynamics.- Autonomous Vehicles as Local Traffic Optimizers.- Modeling Helping Behavior in Emergency Evacuations using Volunteer's Dilemma Game.- Learning Mixed Traffic Signatures in Shared Networks.- A Novel Metric to Evaluate In Situ Workflows.- Social Recommendation in Dynamic Evolving Relation Network.- DDNE: Discriminative Distance Metric Learning for Network Embedding.- Extracting Backbone Structure of a Road Network from Raw Data.- Look Deep into the New Deep Network: A Measurement Study on the ZeroNet.- Identifying influential spreaders on a weighted network using HookeRank method.- Community aware models of meme spreading in micro-blog social networks.- Dynamic Vote-Rank Based Approach for Effective Sequential Initialization of Information Spreading Processes within Complex Networks.- On the Planarity of Validated Complexes of Model Organisms in Protein-Protein Interaction Networks.- Towards Modeling of Information Processing within Business-Processes of Service-Providing Organizations.- A Probabilistic Infection Model for Efficien
Автор: Nisky Ilana, Hartcher-O`Brien Jess, Wiertlewski Michaлl Название: Haptics: Science, Technology, Applications: 12th International Conference, Eurohaptics 2020, Leiden, the Netherlands, September 6-9, 2020, Proceedings ISBN: 3030581462 ISBN-13(EAN): 9783030581466 Издательство: Springer Рейтинг: Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The were organized in topical sections on haptic science, haptic technology, and haptic applications.
Автор: Lalla-Ruiz Eduardo, Mes Martijn, VoЯ Stefan Название: Computational Logistics: 11th International Conference, ICCL 2020, Enschede, the Netherlands, September 28-30, 2020, Proceedings ISBN: 3030597466 ISBN-13(EAN): 9783030597467 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 11th International Conference on Computational Logistics, ICCL 2020, held in Enschede, The Netherlands, in September 2020.The 49 papers included in this book were carefully reviewed and selected from 73 submissions.
Advances in High-Performance Computational Earth Sciences: Applications and Frameworks.- Data-Driven Approach to Inversion Analysis of Three-dimensional Inner Soil Structure via Wave Propagation Analysis.- Data assimilation in volcano deformation using fast finite element analysis with high fidelity model.- Optimization and Local Time Stepping of an ADER-DG Scheme for Fully Anisotropic Wave Propagation in Complex Geometries.- The challenge of onboard SAR processing: a GPU opportunity.- High-resolution Source Estimation of Volcanic Sulfur Dioxide Emissions Using Large Scale Transport Simulations.- Granulation-based reverse image retrieval for microscopic rock images.- Hybrid SWAN for fast and efficient practical wave modelling - part 2.- Agent-Based Simulations, Adaptive Algorithms and Solvers.- An agent-based simulation of the spread of Dengue fever.- Hypergraph grammar-based model of adaptive bitmap compression.- Simulation of Neurotransmitter Flow in Three Dimensional Model of Presynaptic Bouton.- Scalable Signal-based Simulation of Autonomous Beings in Complex Environments.- Design of Loss Functions for Solving Inverse Problems using Deep Learning.- Asynchronous Actor-based Approach to Multiobjective Hierarchical Strategy.- MeshingNet: A New Mesh Generation Method based on Deep Learning.- A block preconditioner for scalable large scale finite element incompressible flow simulations.- Integrating Agent-Based Modelling with Copula Theory: Preliminary Insights and Open Problems.- Computational complexity of hierarchically adapted meshes.- A Novel Bio-inspired Hybrid Metaheuristic for Unsolicited Bulk Email Detection.- Applications of Computational Methods in Artificial Intelligence and Machine Learning.- Link Prediction by Analyzing Temporal Behavior of Vertices.- Detecting Most Insightful Parts of Documents using an Attention-Based Model.- Challenge Collapsar(CC) Attack Traffic Detection based on Packet Field Differentiated Preprocessing and Deep Neural Network.- Deep Low-Density Separation for Semi-Supervised Classification.- Learning functions using data-dependent regularization: Representer theorem revisited.- Reduction of Numerical Errors in Zernike Invariants Computed via Complex-Valued Integral Images.- Effect of Dataset Size on Efficiency of Collaborative Filtering Recommender Systems with Multi-Clustering as a Neighbourhood Identification Strategy.- GCN-IA: User Profile Based on Graph Convolutional Network with Implicit Association Labels.- Interval Adjoint Significance Analysis for Neural Networks.- Ringer: Systematic Mining of Malicious Domains by Dynamic Graph Convolutional Network.- An Empirical Evaluation Of Attention And Pointer Networks For Paraphrase Generation.- Interval methods for seeking fixed points of recurrent neural networks.- Fusion Learning: A One Shot Federated Learning.- The concept of system for automated scientific literature reviews generation.- A Proposed Machine Learning Model for Forecasting Impact of Traffic-Induced Vibrations on Buildings.- Retrain or not retrain ? - efficient pruning methods of deep CNN networks.- Hidden Markov Models and their Application for Predicting Failure Events.- Biomedical and Bioinformatics Challenges for Computer Science.- Reference-based Haplotype Phasing with FPGAs.- Tree Based Advanced Relative Expression Analysis.- Testing the significance of interactions in genetic studies using interaction information and resampling technique.- Analysis of ensemble feature selection for correlated high-dimensional RNA-Seq cancer data.- Biological Network Visualization for Targeted Proteomics based on Mean First-Passage Time in Semi-Lazy Random Walks.- Bootstrap Bias Corrected Cross Validation applied to Super Learning.- MMRF-CoMMpass data integration and analysis for identifying prognostic markers.- Using machine learning in accuracy assessment of knowledge-based energy and frequency base likelihood in pro
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
