## Proceedings 12th International Symposium on Games Automata Logics and Formal Verification

This volume contains the proceedings of the 12th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2021) The aim of theGandalF 2021 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games and Automata .…

## Information Dynamics and The Arrow of Time

Time appears to pass irreversibly. In light of CPT symmetry, the Universe’sinitial condition is thought to be somehow responsible . We propose a model, thestochastic partitioned cellular automaton (SPCA) in which to study themechanisms and consequences of emergent irreversibility . We show that SPCA dynamics can be madedeterministic and reversible, by attaching randomly initialized degrees offreedom .…

## Small PCSPs that reduce to large CSPs

The Promise ConstraintSatisfaction Problem PCSP(A,B) asks whether a given input structure mapshomomorphically to A or does not even map to B . If there exists a structure C with homomorphisms $A\to C\to B$ reduces naturally to CSP(C) But Barto showed that some PCSPs over finite structures A, B require solving CSPs .…

## Embedding Divisor and Semi Prime Testability in f vectors of polytopes

We obtain computational hardness results for f-vectors of polytopes by . reducing reductions of the problems DIVISOR and SEMI-PRIME TESTABILITY toproblems . Further, we show that the corresponding problems for . f-vesctors of simplicial polytope are polytime solvable . Theregime where we prove this computational difference is when the dimension$d$ tends to infinity and the number of facets is linear in $d$.…

## A computationally efficient framework for vector representation of persistence diagrams

In Topological Data Analysis, a common way of quantifying the shape of data is to use a persistence diagram (PD) PDs are multisets of points in $\mathbb{R}^2$ computed using tools of algebraic topology . However, this multi-set structure limits the utility of PDs in applications .…

## Field Study in Deploying Restless Multi Armed Bandits Assisting Non Profits in Improving Maternal and Child Health

The widespread availability of cell phones has enabled non-profits to deliver critical health information to their beneficiaries in a timely manner . A significant challenge in such information delivery programs is that a significantfraction of beneficiaries drop out of the program .…

## An End to End Transformer Model for 3D Object Detection

We propose 3DETR, an end-to-end Transformer based object detection model for 3D point clouds . Compared to existing detection methods that employ a number of 3D-specific inductive biases, 3DEER requires minimal modifications to the Transformer block . Through extensive experiments, we show 3DDER outperforms the well-established and highly optimized VoteNet baselines on the challenging ScanNetV2 dataset by 9.5% .…

## Weighted Graph Based Signal Temporal Logic Inference Using Neural Networks

Paper proposes method that trains neural networks to learn spatial-temporal properties . Each neuron of neural networks corresponds to asubformula in a flexible wGSTL formula structure . We use a COVID-19dataset and a rain prediction dataset to evaluate the performance of the proposed framework and algorithms .…

## Stochastic modelling of symmetric positive definite material tensors

Spatial symmetries and invariances play an important role in the description of materials . Here we discuss how to model and generate randomensembles of tensors . It is shown how therandom ensemble can be modelled and generated, with fine control of the spatialsymmetry or invariance of the whole ensemble, as well as its Fr\’echet mean, independent in its scaling and directional aspects .…

## Sampling Strategy Optimization for Randomized Benchmarking

Randomized benchmarking (RB) is a widely used method for estimating the average fidelity of gates implemented on a quantum computing device . The sampling strategy is determined by a set of configurable parameters (an RB configuration) The RB configuration is often chosen heuristically and therehas been little research on its best configuration .…

## A Qualitative Evaluation of User Preference for Link based vs Text based Recommendations of Wikipedia Articles

Literature recommendation systems (LRS) assist readers in the discovery ofrelevant content from the overwhelming amount of literature available . There is a lack of research on the user-perceived recommendation characteristics for fundamentally different approaches to content-based literature recommendation . We conclude that users of literature recommendation systems can benefit most from hybrid approachesthat combine both link- and text-based approaches .…

## Conservative Data Sharing for Multi Task Offline Reinforcement Learning

Offline reinforcement learning (RL) algorithms have shown promising results in domains where abundant pre-collected data is available . However, sharing data across all tasks in multi-task offline RL performs surprisinglypoorly in practice . To address this challenge, we develop a simple technique for data-sharing in multi task offline RL that routes data based on the improvementover the task-specific data .…

## A computationally efficient framework for vector representation of persistence diagrams

In Topological Data Analysis, a common way of quantifying the shape of data is to use a persistence diagram (PD) PDs are multisets of points in $\mathbb{R}^2$ computed using tools of algebraic topology . However, this multi-set structure limits the utility of PDs in applications .…

## Active SLAM over Continuous Trajectory and Control A Covariance Feedback Approach

This paper proposes a novel active Simultaneous Localization and Mapping (SLAM) method with continuous trajectory optimization over a stochastic robot kinematic model . The proposed optimization method captures the coupling between localization and mapping in predicting uncertainty evolution and synthesizes highly informative sensing trajectories .…

## Stochastic modelling of symmetric positive definite material tensors

Spatial symmetries and invariances play an important role in the description of materials . Here we discuss how to model and generate randomensembles of tensors . It is shown how therandom ensemble can be modelled and generated, with fine control of the spatialsymmetry or invariance of the whole ensemble, as well as its Fr\’echet mean, independent in its scaling and directional aspects .…

## Computing the exact sign of sums of products with floating point arithmetic

In computational geometry, the construction of essential primitives like Voronoi diagrams and Delaunay triangulations require the evaluation of the signs of determinants . The samesigns are needed for the exact solution of linear programming problems and systems of linear inequalities .…

## 0 Gaps on 3D Digital Curves

In Digital Geometry, gaps are some basic portion of a digital object that adiscrete ray can cross without intersecting any voxel of the object itself . The number of $0$-gaps of a $3$D digitalcurve can be expressed as a linear combination of the number of its $i$-cells(with $i = 0, \ldots, 3$)…

## Computing the exact sign of sums of products with floating point arithmetic

In computational geometry, the construction of essential primitives like Voronoi diagrams and Delaunay triangulations require the evaluation of the signs of determinants . The samesigns are needed for the exact solution of linear programming problems and systems of linear inequalities .…

## Exact and Approximation Algorithms for Many To Many Point Matching in the Plane

Given two sets $S$ and $T$ of points in the plane, of total size $n$, a {many-to-many} matching is a set of pairs of pairs $p,q$ such that $p\in S$, $q\in T$ and for each $r$ appears in at least onesuch pair .…

## Hybrid quadrature moment method for accurate and stable representation of non Gaussian processes and their dynamics

The proposed method is tested on a simple model of bubblesoscillating in response to a temporally fluctuating pressure field . Theapproach decreases model-form error by a factor of 10 when compared totraditional QBMMs. It is both numerically stable and computationally efficientsince it does not expand the baseline moment set.…

## Smart Grids Co Simulations Survey Research Directions

Integration of renewable sources, communication and power networks withinformation and communication technologies is one of the main challenges in Smart Grids (SG) large-scale testing . The coupling ofsimulators is commonly used to dynamically simulate several aspects of the SGinfrastructure . In this paper, we provide ascoping review of research of co-simulations in the context of Smart Grid .…

## The impact of the COVID 19 pandemic on academic productivity

‘Publish or perish’ is an expression describing the pressure on academics to publish research to ensure a successful career in academia . With aglobal pandemic that has changed the world, how has it changed academic productivity? Here we show that academics are posting just as many publications on the arXiv pre-print server as if there were no pandemic .…

## Automatic Reuse Adaption and Execution of Simulation Experiments via Provenance Patterns

Approaches for automatically reusing andgenerating simulation experiments can support modelers in conducting simulation studies in a more systematic and effective manner . We exploit provenance graphs of simulation studies, which contain meta-information about the entities that were used or produced during the simulation study .…

## Hunspell for Sorani Kurdish Spell Checking and Morphological Analysis

There is noprogress in open-source to create such tools for Sorani Kurdish, also known asCentral Kurdish, as a less-resourced language . This implementation can beused for further developments in the field by researchers and also, beintegrated into text editors under a publicly available license .…