Table of Contents: “...TC 1: Foundations of Computer Science -- Hot Current Topics of Descriptional Complexity -- A Survey of Compositional Signal Flow Theory -- TC 2: Software: Theory and Practice -- Algorithmics -- Advances in Data Management in the Big Data Era -- TC 3...”

Full text 

Table of Contents: “... Token Petri Net and P System -- Certain State Sequences Defined by P Systems with Reactions -- On Numerical 2D P Colonies with the Blackboard and the Gray Wolf Algorithm....”

Full text 

Table of Contents: “... CTL-Formulas Using the CEGAR Approach -- Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms....”

Full text 

Table of Contents: “... -- Convolutional Neural Networks for Face Illumination Transfer -- Modeling the Self-navigation Behavior of Patients with Alzheimer's Disease in Virtual Reality -- A Large-scale VR Panoramic Dataset of QR code and Improved Detecting Algorithm....”

Full text 

Table of Contents: “... of the Tsaknakis-Spirakis Algorithm for Approximate Nash Equilibrium -- Prophet Inequality with Competing Agents -- Lower Bounds for the Query Complexity of Equilibria in Lipschitz Games- Gerrymandering on graphs: Computational complexity and parameterized algorithms...”

Full text 

Table of Contents: “... Traffic Redirection Method for Edge Network -- A Network Energy Efficiency Measurement Method for Cloud-Edge Communication Network -- A Traffic Prediction Algorithm Based on Converged Networks of LTE and Low Power Wide Areanetworks -- Analysis on the Current...”

Full text 

Table of Contents: “... -- On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger -- BKW Meets Fourier: New Algorithms for LPN with Sparse Parities -- Computational Robust (Fuzzy) Extractors for CRS-dependent Sources with Minimal Min-entropy -- Polynomial-time...”

Full text 

Table of Contents: “...Depicting recommendations in academia: How ResearchGate communicates (via design or upon request) about recommender algorithms -- A Study on the Process of Migration to Training in Brazil: Analysis Based on Academic Education Data -- Indexes...”

Full text 

Table of Contents: “... Algorithms -- Accurate Strategy for Mixed Criticality Scheduling -- Formal Modeling and Verification, Testing -- Model-based Design of Resilient Systems Using Quantitative Risk Assessment -- An Evaluation of Estimation Techniques for Probabilistic Verification...”

Full text 

Table of Contents: “... at Peking University in EUChinaGRID Project -- Grid Middleware & Interoperability -- ReSS: A Resource Selection Service for the Open Science Grid -- A Model for the Storage Resource Manager -- The Session Based Fault Tolerance Algorithm of Platform EGO Web...”

Full text