Table of Contents: “...Transducers and the Power of Delay -- When the Map is More Exact than the Terrain -- Formal Languages and the NLP Black Box -- On Structural Tractability Parameters for Hard String Problems -- Jumping Automata over Infinite Words -- Isometric Words based...”

Full text 

Table of Contents: “... Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint...”

Full text 

Table of Contents: “... Non-Recurrent Letter -- Merging two Hierarchies of External Contextual Grammars with Subregular Selection -- A Tight Upper Bound on the Length of Maximal Bordered Box Repetition-Free Words....”

Full text 

Table of Contents: “... Redundancy Learning for Unsupervised Multi-view Feature Selection -- Dynamic Feed-Forward LSTM -- Black-box Adversarial Attack on Graph Neural Networks Based on Node Domain Knowledge -- Role and Relationship-Aware Representation Learning for Complex Coupled...”

Full text 

Table of Contents: “... for Digital Content Understanding -- Desertification Detection in Satellite Images using Siamese Variational Autoencoder with Transfer Learning -- Speaker Identification Enhancement Using Emotional Features -- Classification of punches in Olympic boxing using...”

Full text 

Table of Contents: “...Assumption Generation for Learning-Enabled Autonomous Systems -- Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes -- Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking...”

Full text 

Full text 

Table of Contents: “... Temporal Logic -- Equivalence Checking 40 Years After: A Review of Bisimulation Tools -- Apartness and Distinguishing formulas in Using the parallel ATerm library for parallel model checking and state space generation -- Active Automata Learning as Black-Box...”

Full text 

Table of Contents: “... Points -- Collective Learning of Low-Memory Matrix Adaptation for Large-Scale Black-Box Optimization -- Evolutionary Time-Use Optimization for Improving Children's Health Outcomes -- Iterated Local Search for the eBuses Charging Location Problem -- Multi-view...”

Full text 

Table of Contents: “... on Rectangular Boards - Part 1: Partisan Col and Snort -- Solving Bicoloring-Graph Games on Rectangular Boards - Part 2: Impartial Col and Snort -- BoxOff is NP-Complete....”

Full text 

Table of Contents: “... -- The Skewed Kruskal algorithm -- Bounds for sparse solutions of K-SVCR multi-class classification model -- Integer Linear Programming in Solving an Optimization Problem at the Mixing Department of the Metallurgical Production -- Realtime Gray-Box Algorithm...”

Full text 

Table of Contents: “...Invited Paper -- Learning Monitorable Operational Design Domains for Assured Autonomy -- Reinforcement Learning -- Dynamic Shielding for Reinforcement Learning in Black-Box Environments -- An Impossibility Result in Automata-Theoretic Reinforcement...”

Full text 

Table of Contents: “... of Reactive Plans Using Social Norms -- Self-Learning Governance of Black-Box Multi-Agent Systems -- Computational Theory of Mind for Human-Agent Coordination -- Computational Discovery of Transaction-Based Financial Crime via Grammatical Evolution: The Case...”

Full text 

Table of Contents: “...Process mining -- Decision Mining with Time Series Data Based on Automatic Feature Generation -- Inferring A Multi-Perspective Likelihood Graph from Black-Box Next Event Predictors -- Bootstrapping Generalization of Process Models Discovered From Event...”

Full text 

Table of Contents: “...Installation -- Networks 4 newbies -- Python Basics -- Layer 2 attacks -- TCP / IP Tricks -- WHO IS DNS? -- HTTP Hacks -- Wifi fun -- Feeling Bluetooth on the Tooth -- Bargain Box Kung Fu -- Scapy Reference -- Secondary Links -- Index....”

Full text 

Full text 

Table of Contents: “... between Senior Communities with Telepresence Robots -- Reopening the Black Box of Career Age and Research Performance. - Intergenerational Techno-Creative Activities in a Library Fablab. - ‘Industrie 4.0’ and an Aging Workforce – A Discussion from a...”

Full text 

Table of Contents: “..., and the Future -- Pay-as-you-go Data Integration: Experiences and Recurring Themes -- Foundations of Computer Science -- Robust Recoverable Path Using Backup Nodes -- On Contact Graphs with Cubes and Proportional Boxes -- Orthogonal Layout with Optimal Face Complexity...”

Full text 

Table of Contents: “... Children with ASD -- Culture as a Driver for the Design of Social Robots for Autism Spectrum Disorder Interventions in the Middle East -- Robo2Box: A Toolkit to Elicit Children's Design Requirements for Classroom Robots -- Interaction with Artificial Companions...”

Full text 

Table of Contents: “... Security Does Not Imply Indistinguishability Under Selective Opening -- Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts -- Towards Non-Black-Box Separations of Public Key Encryption and One Way Function -- Post...”

Full text