Recent Trends in Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers, Roggenbach Markus
Автор: Filipe Joaquim, Śmialek Michal, Brodsky Alexander Название: Enterprise Information Systems: 22nd International Conference, Iceis 2020, Virtual Event, May 5-7, 2020, Revised Selected Papers ISBN: 3030754170 ISBN-13(EAN): 9783030754174 Издательство: Springer Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Drechsler Rolf, GroЯe Daniel Название: Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems ISBN: 3030680703 ISBN-13(EAN): 9783030680701 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science.
Автор: Ohyama Wataru, Jung Soon Ki Название: Frontiers of Computer Vision: 26th International Workshop, Iw-Fcv 2020, Ibusuki, Kagoshima, Japan, February 20-22, 2020, Revised Selected Papers ISBN: 981154817X ISBN-13(EAN): 9789811548178 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes refereed proceedings of the 26th International Workshop Frontiers of Computer Vision, IW-FCV 2020, held in Ibusuki, Kagoshima, Japan, in February 2020. The 27 full papers presented were thoroughly reviewed and selected from 68 submissions.
Автор: Escobar Santiago, Martн-Oliet Narciso Название: Rewriting Logic and Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers ISBN: 3030635945 ISBN-13(EAN): 9783030635947 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 the refereed post-conference proceedings of the 10th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2020, held as a virtual event, in September 2020.
The 8 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions and are organized in the following topical sections: personality and behavior; behavior in face of adversaries; smart environments; decentralized systems and digital ledgers; and reflections on socio-technical aspects of security.
The Chapter "Statistical Reliability of 10 Years of Cyber Security User Studies" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Автор: Fшlstad Asbjшrn, Araujo Theo, Papadopoulos Symeon Название: Chatbot Research and Design: 4th International Workshop, Conversations 2020, Virtual Event, November 23-24, 2020, Revised Selected Papers ISBN: 3030682870 ISBN-13(EAN): 9783030682873 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Cochez Michael, Croitoru Madalina, Marquis Pierre Название: Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, Gkr 2020, Virtual Event, September 5, 2020, Revised Selected ISBN: 3030723070 ISBN-13(EAN): 9783030723071 Издательство: Springer Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Extended Workshop Papers.- Active Semantic Relations in Layered Enterprise Architecture Development.- A Belief Update System Using an Event Model for Location of People in a Smart Home.- A Natural Language Generation Technique for Automated Psychotherapy.- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution.- Set Visualisations with Euler and Hasse Diagrams.- Usage Patterns Identification Using Graphs and Machine Learning.- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination.- Invited Additional Contributions.- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification.- Galois Connections for Patterns: An Algebra of Labelled Graphs.
Автор: Freund Rudolf, Ishdorj Tseren-Onolt, Rozenberg Grzegorz Название: Membrane Computing: 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers ISBN: 3030771016 ISBN-13(EAN): 9783030771010 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The 10 full papers presented were selected from 31 submissions. The papers deal with all aspects on membrane computing and related areas.
Автор: Bowles Juliana, Broccia Giovanna, Nanni Mirco Название: From Data to Models and Back: 9th International Symposium, Datamod 2020, Virtual Event, October 20, 2020, Revised Selected Papers ISBN: 3030706494 ISBN-13(EAN): 9783030706494 Издательство: Springer Цена: 63350.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020. The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning;
Автор: Hasan Osman, Mallet Frйdйric Название: Formal Techniques for Safety-Critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ISBN: 3030469018 ISBN-13(EAN): 9783030469016 Издательство: Springer Цена: 46570.00 T Наличие на складе: Невозможна поставка. Описание: This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions.
Автор: Zu Qiaohong, Tang Yong, Mladenovic Vladimir Название: Human Centered Computing: 6th International Conference, Hcc 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers ISBN: 3030706257 ISBN-13(EAN): 9783030706258 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Kerautret Bertrand, Colom Miguel, Krдhenbьhl Adrien Название: Reproducible Research in Pattern Recognition: Third International Workshop, Rrpr 2021, Virtual Event, January 11, 2021, Revised Selected Papers ISBN: 3030764222 ISBN-13(EAN): 9783030764227 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Reproducible Research in Pattern Recognition, RRPR 2021, held as a virtual event, in January 2021. The 8 revised full papers, presented together with 6 short papers, were carefully reviewed and selected from 18 submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
