Project topics materials

High-Order Deterministic tree Transducers

Analyzing and Improving Software Resilience against Unanticipated Exceptions

Turning Supervised Learning Into Multi-Turn Interactive Tasks 

Prerequisites for a high level modeling language for Safety Analyses

Classical Live Programming Environments

Nonlinear global modes in jets with absolutely unstable inlet

Immigration policy and race relations in the Conservative Party

Input-to-state stability and positivity of non-homogeneous heat equation

Equivalence between friendship network and a non-uniform sam- pling of contact network 

Tourists and Indigenous culture: Case of Aboriginal Australians, Maoris, Native

Retention of New Customers with a Loyalty Program 

Extensions of the light (monotone) Dialectica interpretation to extractions from fully classical proofs

Physical mechanisms leading to transient energy growth

Edge sign prediction in general graphs and Correlation Clustering 

Optimising Just-in-time compiler architectures 

Transient Growth in Rayleigh-B´enard-Poiseuille/Couette flows

Instrumental Music Skills as Input Primitive for Visual Creative Authoring 

Towards a framework for system sarchitecture 

Computability of Functions Defined by Transducers over Infinite Alphabets 

Overview of Gaussian Processes and derived models, applications to single and multi-objective optimization, and multi-fidelity modeling 

Challenges faced by the new management control approach as applied to a project oriented organization: a case study as a starting point