Stateful systems are extremely common in the real world: lift controllers, ATMs, even networks all have an underlying state which updates as the system receives different inputs. These stateful systems can be drawn as…
“Digraphs” is a package for the computational algebra system GAP that has been in development and use here in St Andrews since 2014. It provides usable tools and algorithms for directed graphs, a concept that arises in…
Research projects rely on high-quality, well documented data to produce useful findings. Inaccurate data can hinder researchers’ abilities to answer research questions. We will present the newly developed, open-source…
AI is being reduced to chatbots lately. This is a shame, as there is more to the broader field of AI than chatbots. Constraint Programming is a method for optimal decision making, it works by developing a declarative…