From Data to Models and Back: 9th International Symposium, Datamod 2020, Virtual Event, October 20, 2020, Revised Selected Papers, Bowles Juliana, Broccia Giovanna, Nanni Mirco
Описание: Models of rewriting and rewriting logic.- Termination, confluence, coherence, and complexity.- Unification, generalization, and narrowing.- Graph rewriting.- Tree automata.- Rewriting strategies.- Rewriting-based declarative languages.- Explicit-state and symbolic model checking techniques.- Rewriting-based theorem proving, including (co)inductive theorem proving.- Rewriting-based constraint solving and satisfiability.
Описание: This book constitutes revised selected papers of the 8th International Symposium on Security in Computing and Communications, SSCC 2020, held in Chennai, India, in October 2020. The 13 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 42 submissions.
Описание: This book constitutes the refereed post-conference proceedings of the Third International Symposium on Benchmarking, Measuring, and Optimization, Bench 2020, held virtually in November 2020.The 12 revised full papers and 1 revised short paper presented were carefully reviewed and selected from 28 submissions.
Описание: Dynamic Pick and Place Trajectory of Delta Parallel Manipulator.- Design of aquatic product traceability coding scheme based on EPC label.- DEVS-based Modeling and Simulation of Wireless Sensor Network.- Spatial Reciprocity Aided CSI Acquirement for HST Massive MIMO.- A flexible film thermocouple temperature sensor.- Design of a Morphing Surface Using Auxetic Lattice Skin for Space-Reconfigurable Reflectors.- The Method of User Information Fusion Oriented to Manufacturing Service Value Net.- Image Fusion Method for Transformer Substation Based on NSCT and Visual Saliency.- Permission Dispatching Mechanism Inside and Outside of the Warranty Period for Equipment Maintenance Service System.- New Technology Development and Application Trends Based on Monitoring of Patent Data.- A K-means clustering optimization algorithm for spatiotemporal trajectory data.- Temporal and Spatial Changes of Ecosystem Health in Guangdong Province in Recent 11 years.- Salient Attention Model and Classes Imbalance Remission for Video Anomaly Analysis with Weak Label.- A Data Fusion Model based on Multi-source Non-real-time Intelligence.- Ancient Chinese Lexicon Construction Based on Unsupervised Algorithm of Minimum Entropy and CBDB Optimization.- Availability Analysis of GNSS RAIM based on Maximum Undetectable Position Bias.- Psychological semantic differences of Zhang Juzheng before and after DuoQing event.- Digital Rights Management Platform Based on Blockchain Technology.- A Deep Hybrid Neural Network Forecasting for Multivariate Non-stationary Time Series.- Risk Assessment of Flood Disasters in Hechi City Based on GIS.- Cultural Symbol Recognition Algorithm Based on CTPN+CRNN.- Spatial-temporal Variation and Future Changing Trend of NDVI in the Pearl River Basin from 1982 to 2015.- An Improved Collaborative Filtering Algorithm Based on Filling Missing Data.- Diagnosis method of Alzheimer's disease in PET image based on CNN multi-mode network.- Research on Multi-floor Path Planning Based on Recommendation Factors.- E-commerce Review Classification Based on SVM.- Experimental Research of Galfenol Composite Cantilever.- A capacitive flexible tactile sensor.- Multi-objective optimization of e-commerce logistics warehouse layout based on genetic algorithm.- Magnetic Circuit Design of Galfenol Composite Cantilever.-A MEMS-based piezoelectric pump with a low frequency and high flow.- Micro-video learning resource portrait and its application.- Research on Downscaling and Correction of TRMM Data in the Central China.- Research on the Knowledge Map of Combat Simulation Domain Based on Relational Database.- Scale-Aware Network with Attentional Selection For Human Pose Estimation.- Short-term Traffic Flow Prediction Based on SVR and LSTM.- A Logging Overhead Optimization Method Based on Anomaly Detection Model.- Multi-objective collaborative optimization of multi-level inventory: a model driven by after-sales service.- The Research About Spatial Distribution of Urban Functions Based on POI Data.- The Psychological Characteristics Changes Analysis of Su Shi before and after the Wutai Poetry Case - Based on the CC-LIWC.- A Conference Publishing System Based on Academic Social Network.- Software Component Library Management Mechanism for Equipment Parts Service Value-Net.- No-reference quality assessment for Uav patrol images of Transmission line.- An Inclusive Finance Consortium Blockchain Platform for Secure Data Storage and Value Analysis for Small and Medium-sized Enterprises.- An Under-Sampling Method of Unbalanced Data Classification Based on Support Vector.- Image classification algorithm for transmission line defects based on dual-channel feature fusion.- Research on Alarm Causality Filtering Based on Association Mining.- Exploring Psycholinguistic Differences between Song and Ming Emperoes bases on Literary Edicts.- The Influence of the Reform of Entrance Examination on University Development.
Описание: This book constitutes extended, revised and selected papers from the 22nd International Conference on Enterprise Information Systems, ICEIS 2020, held online during May 5-7, 2020.The 41 papers presented in this volume were carefully reviewed and selected for inclusion in this book from a total of 255 submissions.
Описание: This book constitutes the proceedings of the 4th International Workshop on Chatbot Research and Design, CONVERSATIONS 2020, which was held during November 23-24, 2020, hosted by the University of Amsterdam.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions.
Описание: This book constitutes the proceedings of the 8th CCF Conference on Big Data, BigData 2020, held in Chongqing, China, in October 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 65 submissions.
Описание: This book constitutes the refereed proceedings of the 28th International Symposium on Graph Drawing and Network Visualization, GD 2020, which was held during September 16-18, 2020. drawing tree-like graphs, visualization, and special drawings of elementary graphs; restricted drawings of special graph classes; graphs drawing contest.
Описание: This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions.
Описание: This book constitutes the revised selected papers of the 13th International Symposium on Foundations and Practice of Security, FPS 2020, held in Montreal, QC, Canada, in December 2020. The 11full papers and 1 short paper presented in this book were carefully reviewed and selected from 23 submissions.
Описание: This book constitutes the refereed proceedings of the 19th Symposium on High Performance Computing System, WSCAD 2018, held in Sao Paulo, Brazil, in October 2018. The papers included in this book are organized according to the following topics: cloud computing;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
