UniForM // Universität Oldenburg https://uol.de/csd/projects/uniform
Damit ist der Verfeinerungsbegriff von CSP und die Werkzeugunterstützung durch den Model-Checker
Damit ist der Verfeinerungsbegriff von CSP und die Werkzeugunterstützung durch den Model-Checker
In this talk we discuss the Ori model for charged AdS black holes.
In this thesis, the unstructured-grid ocean model FVCOM coupled to the wave model
Uecker Optimal management and spatial patterns in a distributed shallow lake model
Making sense of periodicity glimpses in a prediction-update-loop—A computational model
Baumann, Oliver Kramer: Evolutionary Multi-objective Optimization of Large Language Model
Systems chemotax A chemotaxis model in the form of a quasilinear 2 component reaction
stress in a photoreceptor cell line and restores visual function in a zebrafish model
Lorenz, "Adherence to the OECD Model Tax Convention: A Textual Analysis of Member
Wind Farms (EU, 2002-2006) HONEYMOON A High Resolution Numerical Wind Energy Model