Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings, de Boer Frank, Cerone Antonio
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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
Classifier Learning from Difficult Data.- Different strategies of fitting logistic regression for positive and unlabelled data.- Branch-and-Bound Search for Training Cascades of Classifiers.- Application of the stochastic gradient method in the construction of the main components of PCA in the task diagnosis of multiple sclerosis in children.- Grammatical Inference by Answer Set Programming.- Dynamic Classifier Selection for data with skewed class distribution using Imbalance Ratio and Euclidean distance.- On Model Evaluation under Non-constant Class Imbalance.- A Correction Method of a Base Classifier Applied to Imbalanced Data Classification.- Standard Decision Boundary in a support-domain of fuzzy classifier prediction for the task of imbalanced data classification.- Employing One-class SVM Classifier Ensemble for Imbalanced Data Stream Classification.- Clustering and Weighted Scoring in Geometric Space Support Vector Machine Ensemble for Highly Imbalanced Data Classification.- Performance Analysis of Binarization Strategies for Multi-Class Imbalanced Data Classification.- Towards Network Anomaly Detection Using Graph Embedding.- Maintenance and Security System for PLC Railway LED Sign Communication Infrastructure.- Behavioral Biometric User Authentication from URL Logs.- On the impact of network data balancing in cybersecurity applications.- Pattern recognition model to aid the optimization of Dynamic Spectrally-Spatially Flexible Optical Networks.- Missing Features Reconstruction Using a Wasserstein Generative Adversarial Imputation Network.- Complex Social Systems through the Lens of Computational Science.- Cooperation for public goods under uncertainty.- An Information-Theoretic and Dissipative Systems Approach to the Study of Knowledge Diffusion and Emerging Complexity in Innovation Systems.- Mapping the port influence diffusion patterns: a case study of Rotterdam, Antwerp and Singapore.- Entropy-based Measure for Influence Maximization in Temporal Networks.- Evaluation of the Costs of Delayed Campaigns for Limiting the Spread of Negative Content, Panic and Rumours in Complex Networks.- From generality to specificity: on matter of scale in social media topic Communities.- Computational Health.- Hybrid Text Feature Modeling for Disease Group Prediction using Unstructured Physician Notes.- Early signs of critical slowing down in heart surface electrograms of ventricular fibrillation victims.- A Comparison of Generalized Stochastic Milevsky-Promislov Mortality Models with continuous non-Gaussian Filters.- Ontology-Based Inference for Supporting Clinical Decisions in Mental Health.- Towards Prediction of Heart Arrhythmia Onset Using Machine Learning.- Stroke ICU Patient Mortality Day Prediction.- Universal measure for medical image quality evaluation based on gradient approach.- Constructing Holistic Patient Flow Simulation Using System Approach.- Investigating Coordination of Hospital Departments in Delivering Healthcare for Acute Coronary Syndrome Patients using Data-Driven Network Analysis.- A Machine Learning Approach To Short-term Body Weight Prediction In A Dietary Intervention Program.- An analysis of demographic data in Irish healthcare domain to support semantic uplift.- From Population to Subject-Specific Reference Intervals.- Analyzing the spatial distribution of acute coronary syndrome cases using synthesized data on arterial hypertension prevalence.- The Atrial Fibrillation Risk Score for Hyperthyroidism Patients.- Applicability of Machine Learning Methods to Multi-Label Medical Text Classification.- Machine Learning Approach for the Early Prediction of the Risk of Overweight and Obesity in Young People.- Gait Abnormality Detection in People with Cerebral Palsy using an Uncertainty-based State-space Model.- Analyses of public health databases via clinical pathway modelling: TBWEB.- Preliminary results on Pulmonary Tuberculosis detection in Chest X-Ray us
ICCS Main Track.- Modified binary tree in the fast PIES for 2D problems with complex shapes.- Generating Random Floating-Point Numbers by Dividing Integers: a Case Study.- An effective stable numerical method for integrating highly oscillating functions with a linear phase.- Fitting Penalized Logistic Regression Models using QR Factorization.- Uncertainty Quantification in Fractional Stochastic Integro-Differential Equations using Legendre Wavelet Collocation Method.- A Direct High-order Curvilinear Triangular Mesh Generation Method Using an Advancing Front Technique.- Data-driven partial differential equations discovery approach for the noised multi-dimensional data.- Preconditioning Jacobian Systems by Superimposing Diagonal Blocks.- NURBS curves in parametric integral equations system for modeling and solving boundary value problems in elasticity.- Parameterizations and Lagrange Cubics for Fitting Multidimensional Data.- Loop Aggregation for Approximate Scientific Computing.- Numerical Computation for a Flow Caused by a High-speed Traveling Train and a Stationary Overpass.- Bezier surfaces for modeling inclusions in PIES.- Impact of water on methane adsorption in nanopores: A hybrid GCMC-MD simulation study.- A stable discontinuous Galerkin based isogeometric residual minimization for the Stokes problem.- Numerical Modeling of the Two-Phase Flow of Water with Ice in the Tom River.- Remarks on Kaczmarz algorithm for solving consistent and inconsistent system of linear equations.- Investigating the Benefit of FP16-enabled Mixed-precision Solvers for Symmetric Positive Definite Matrices using GPUs.- Simulation versus ordered fuzzy numbers driven approach to multi depot vehicle cyclic routing and scheduling problem.- Epigenetic modification of genetic algorithm.- ITP-KNN: Encrypted Video Flow Identification Based on the Intermittent Traffic Pattern of Video and K-Nearest Neighbors Classification.- DeepAD-a Joint Embedding Approach for Anomaly Detection on Attributed Networks.- SciNER: Extracting Named Entities From Scientific Literature.- GPU-embedding of kNN-graph representing large and high-dimensional data.- Evolving Long Short-Term Memory Networks.- Personality Recognition from Source Code Based on Lexical, Syntactic and Semantic Features.- Data fitting by exponential sums with equal weights.- A Combination of Moment Descriptors, Fourier Transform and Matching Measures for Action Recognition Based on Shape.- Improving accuracy and speeding up Document Image Classification through parallel systems.- Computation of the airborne contaminant transport in urban area by the artificial neural network.- Exploring Musical Structure using Tonnetz Lattice Geometry and LSTMs.- Modeling of Anti-tracking Network based on Convex-polytope Topology.- A Workload Division Differential Privacy Algorithm to Improve the Accuracy for Linear Computations.- On the Automated Assessment of Open-Source Cyber Threat Intelligence Sources.- Malicious Domain Detection Based on K-means and SMOTE.- Microservice Disaster Crash Recovery: A Weak Global Referential Integrity Management.- Hashing Based Prediction for Large-Scale Kernel Machine.- Picking Peaches or Squeezing Lemons: Selecting Crowdsourcing Workers for Reducing Cost of Redundancy.- Are n-gram Categories Helpful in Text Classification?.- Calculating Reactive Power Compensation for Large-scale Street Lighting.- Developing a Decision Support App for Computational Agriculture.- Optimal Location of Sensors for Early Detection of Tsunami Waves.- A Novel Formulation for Inverse Distance Weighting from Weighted Linear Regression.- Addressing the Robustness of Resource Allocation in the Presence of Application and System Irregularities via PEPA Based Modeling.- An Adaptive Computational Network Model for Strange Loops in Political Evolution in Society.- Joint Entity Linking for Web Tables with Hybrid Semantic Matching.- A new coefficient of rankings simil
Описание: 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.
Описание: This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference on Software Architecture, ECSA 2020, held in L`Aquila, Italy*, in September 2020. FAACS-MDE4SA - Joint Workshop on Formal Approaches for Advanced Computing Systems and Model-Driven Engineering for Software Architecture;
Описание: 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;
Описание: This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
