Table of Contents: “... as Finite State Machines -- AutomaTutor: An Educational Mobile App for Teaching Automata Theory -- ESBMC v7.3: Model Checking C++ Programs using Clang....”

Full text 

Table of Contents: “...Applications -- Road Surface Segmentation and Detection Under Extreme Weather Conditions Based on Mask-RCNN -- I-RAFT: Optical Flow Estimation Model Based on Multi-scale Initialization Strategy -- Educational Pattern Guided Self-Knowledge Distillation...”

Full text 

Full text 

Table of Contents: “... models and an application in interneuron classification -- Interpreting Machine Learning models for Survival Analysis: A study of Cutaneous Melanoma using the SEER Database -- Explanations of Symbolic Reasoning to Effect Patient Persuasion and Education...”

Full text 

Table of Contents: “... for data-driven decision making of collaborating enterprises -- Applied reasoning -- Designing Automated Guidance Systems for Learning Analysis -- Mental representations about tangible programming in early childhood education -- Connecting basic proportional...”

Full text 

Subject (ZB): “...Education -- Data processing....”

Full text 

Full text 

Table of Contents: “...Keynotes -- Symbolic Artificial Intelligence -- Machine Learning, Artificial Evolution and Genetic Programming -- Agro-ecological computational ecosystems -- Security for complex computing systems -- Education computational ecosystems -- Satellite...”

Full text 

Table of Contents: “... for teaching information systems modelling -- Promoting design thinking through knowledge maps: A case study in computer games design and development education -- Teaching fuzzy logic utilising innovative approaches -- Semi-automating the marking of a Java...”

Full text 

Subject (ZB): “...Education -- Data processing....”

Full text 

Table of Contents: “... Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit -- Logic Programming at Elementary School: Why, what and how should we teach Logic Programming to children -- Prolog Education in Selected High Schools in Bulgaria -- Introducing Prolog...”

Full text 

Subject (ZB): “...Technical education....”

Full text 

Subject (ZB): “...Education-Data processing....”

Full text 

Table of Contents: “... Programs -- Marrying Query Rewriting and Knowledge Graph Embeddings -- Lore: Educational Deductive Database System -- Comparing State of the Art Rule-Based Tools for Information Extraction -- A Case Study for Declarative Pattern Mining in Digital Forensics...”

Full text 

Table of Contents: “...: A selective Attention Approach -- Educational Videos Recommendation System Based On Topic Modeling -- Cybersecurity, Blockchain Technology and Internet of Things -- A Two-hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model...”

Full text 

Subject (ZB): “...Education-Data processing....”

Full text 

Table of Contents: “... SIMD Mechanisms -- Design and Implementation of The Link-list DMA Controller for High Bandwidth Data Streaming -- STEM Education Meets HPC -- Research on KNN-based GNSS Coordinate Classification for Epidemic Management -- An Improved Light Weight...”

Full text 

Table of Contents: “... and Evaluation of Digital Twin -- OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology -- A Life-long Learning Education Passport powered by Blockchain Technology and Verifiable Digital Credentials...”

Full text 

Full text 

Full text