Related papers: An introduction to the Ribe program
In this informal report, I outline my research efforts, collaborations, and other experiences while participating in the Naval Research Laboratory (NRL)'s Advanced Graduate Research Program (AGRP), aka Sabbatical, from October 2008 through…
Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and simulating such systems using a C-like language with…
Bibliometric-enhanced Information Retrieval (BIR) workshops serve as the annual gathering of IR researchers who address various information-related tasks on scientific corpora and bibliometrics. The workshop features original approaches to…
This article addresses the challenge of validating the admission committee's decisions for undergraduate admissions. In recent years, the traditional review process has struggled to handle the overwhelmingly large amount of applicants'…
PRIMES STEP is a mathematical outreach program established at MIT in 2015. STEP students study advanced topics beyond the school curriculum and conduct group research projects, often leading to publication. This article discusses the…
This paper provides some reflections on the field of mathematical software on the occasion of John Rice's 65th birthday. I describe some of the common themes of research in this field and recall some significant events in its evolution.…
During the five days of this conference a very dense scientific program has enlighted our research fields, with the presentation of large number of interesting lectures. I will try to summarize the theoretical aspects of some of these new…
This is an expanded version of the notes by the second author of the lectures on Hitchin systems and their quantization given by the first author at the Beijing Summer Workshop in Mathematics and Mathematical Physics ``Integrable Systems…
This paper provides interested beginners with an updated and detailed introduction to the field of Intelligent Tutoring Systems (ITS). ITSs are computer programs that use artificial intelligence techniques to enhance and personalize…
Reinforcement learning (RL) has gained traction for its success in solving complex tasks for robotic applications. However, its deployment on physical robots remains challenging due to safety risks and the comparatively high costs of…
In real-world applications of reinforcement learning (RL), noise from inherent stochasticity of environments is inevitable. However, current policy evaluation algorithms, which plays a key role in many RL algorithms, are either prone to…
This article focuses on how data literacy education such as research data management skills can be integrated into teacher training programmes in order to adequately train the teachers of tomorrow. To this end, interviews were conducted…
The present work consists of topics covered through a course currently taught by the author at SIMIS.
In a previous paper the authors argued the case for incorporating ideas from innate immunity into articficial immune systems (AISs) and presented an outline for a conceptual framework for such systems. A number of key general properties…
This is the write-up of the talk I gave at the 23rd International Symposium on Mathematical Programming (ISMP) in Bordeaux, France, July 6th, 2018. The talk was a general overview of the state of the art of time-varying, mainly convex,…
This is an introduction to the special issue collection of articles on "Semi-classical and quantum Rabi models" to be published in J. Phys. A to mark the 80th anniversary of the Rabi model.
The twelfth Workshop on Logic Programming Environments, WLPE 2002, is one in a series of international workshops held in the topic area. The workshops facilitate the exchange ideas and results among researchers and system developers on all…
In the field of robotics many different approaches ranging from classical planning over optimal control to reinforcement learning (RL) are developed and borrowed from other fields to achieve reliable control in diverse tasks. In order to…
We present several known solutions to the two-dimensional Ising model. This review originated from the ``Ising 100'' seminar series held at Bo\u{g}azi\c{c}i University, Istanbul, in 2024.
These lectures about lattice field theory were written for, and given at, TASI 2019, ``The many dimensions of quantum field theory.'' The students at this TASI were mostly interested in formal things, and so these are slightly unusual…