Model Revision of Boolean Logical Models of Biological Regulatory Networks

Solving Scheduling Problems under Disruptions

Data Formatting Synthesis by Example

Incremental Synthesis of OutSystems Logic

IPST blood collection data - Models for blood collections optimization

Optimization models for IPST blood collection

Ambulance Assignment for Medical Emergencies

Automatic Chart Interpretation

Development of models to optimize IPST blood collections

Next-Gen Pure Function Synthesis in OutSystems

Sketch-Driven SQL Synthesis

Pure Function Synthesis in the OutSystems Plataform