Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...

This repository is the main source tree of Jule. It contains the reference compiler, API, and the standard library. Jule does not have a stable release yet and continues to improve with each commit.

Abstract: Genetic programming (GP) and fuzzy logic are used to automatically segment mammography images. GP allows the evolution of optimized segmentation models, guided by a fuzzy logic-based fitness ...

Data wrangling is a difficult and time-consuming activity in computational notebooks, and existing wrangling tools do not fit the exploratory workflow for data scientists in these environments. We ...