Distributed Computing and Internet Technology: 16th International Conference, Icdcit 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings (Paperback, 2020)

Invited Talks.- Graph Analytics.- A distributed and trusted web of formal proofs.- Prosperos Books: A Distributed Architecture for AI.- Trust: Anthropomorphic Algorithmic.- A Very Gentle Introduction to Multiparty Session Types.- Constructing Knowledge Graph from Data Catalogues.- Concurrent and Distributed Systems Modelling and Veri?cation.- Round-Message Trade-o? in Distributed Steiner Tree Construction in the CON GEST model.- An E?cient Message Transmission and Veri?cation Scheme for VANETs.- Generalised Dining Philosophers as Feedback Control.- Verifying Implicitly Quanti?ed Modal Logic over dynamic networks of processes.- Cloud and Grid Computing.- Secure Content-based Image Retrieval using Combined Features in Cloud.- Design of a Scheduling Approach for Budget-deadline Constrained Applications in Heterogeneous Clouds.- Resource Scheduling for Tasks of a Work?ow in Cloud Environment.- Bearing Fault Classi?cation using Wavelet Energy and Autoencoder.- Social Networks, Machine Learning and Mobile Networks.- Community Detection in Social Networks using Deep Learning.- Multi-Winner Heterogeneous Spectrum Auction Mechanism for Channel Allocation in Cognitive Radio Networks.- A Hybrid Approach for Fake News Detection in Twitter based on User Features and Graph Embedding.- Online Context-Adaptive Energy-Aware Security Allocation in Mobile Devices: A Tale of Two Algorithms.- A Framework Towards Generalized Mid-term Energy Forecasting Model for Industrial Sector in Smart Grid.- An Online Low-Cost System for Air Quality Monitoring, Prediction, and Warning.-Word2vecs Distributed Word Representation for Hindi Word Sense Disambiguation.- Text Document Clustering using Community Discovery Approach.- Data Processing and Blockchain Technology.- An E?cient and Novel Buyer and Sellers Distributed Ledger Based Protocol Using Smart Contracts.- Distributed and Lazy Auditing of Outsourced Data HealthChain: A Secure Scalable Health Care Data Management System Using Blockchain.- HealthChain: A Secure Scalable Health Care Data Management System Using Blockchain.- Transcript Management Using Blockchain enabled Smart Contracts.- Short Papers.- Identifying Reduced Features based on IG-Threshold for DoS Attack Detection using PART.- Uniform Circle Formation by Swarm Robots Under Limited Visibility.- Histopathological Image Classi?cation by Optimized Neural Network using IGSA.