Mathematical and Engineering Methods in Computer Science

<div>Programming Support for Future Parallel Architectures.-&nbsp;Flexible Interpolation for Efficient Model Checking.-&nbsp;Understanding Transparent and Complicated Users as Instances of Preference Learning for Recommender Systems.-&nbsp;Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity.-&nbsp;Fitting Aggregation Operators.-&nbsp;Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs.-&nbsp;Self-adaptive Architecture for Multi-sensor Embedded Vision System.-&nbsp;</div><div>Exceptional Configurations of Quantum Walks with Grover's Coin.-&nbsp;Performance Analysis of Distributed Stream Processing Applications&nbsp;Through Colored Petri Nets.-&nbsp;GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half&nbsp;Edge Collapses.-&nbsp;Classifier Ensemble by Semi-supervised Learning: Local Aggregation&nbsp;Methodology.-&nbsp;The Challenge of Increasing Safe Response of Antivirus Software Users.-&nbsp;Weak Memory Models as LLVM-to-LLVM Transformations.</div>