JYX > Opinnäytteet > Pro gradu -tutkielmat > View Item
The formal method known as B and a sketch for its implementation
MetadataShow full item record
- Pro gradu -tutkielmat 
Showing items with similar title or keywords.
ECCOLA : a method for implementing ethically aligned AI systems Vakkuri, Ville; Kemell, Kai-Kristian; Jantunen, Marianna; Halme, Erika; Abrahamsson, Pekka (Elsevier, 2021)Artificial Intelligence (AI) systems are becoming increasingly widespread and exert a growing influence on society at large. The growing impact of these systems has also highlighted potential issues that may arise from ...
Systematic implementation of higher order Whitney forms in methods based on discrete exterior calculus Lohi, Jonni (Springer, 2022)We present a systematic way to implement higher order Whitney forms in numerical methods based on discrete exterior calculus. Given a simplicial mesh, we first refine the mesh into smaller simplices which can be used to ...
CLEASE : A versatile and user-friendly implementation of Cluster Expansion method Chang, Jin Hyun; Kleiven, David; Melander, Marko; Akola, Jaakko; Garcia-Lastra, Juan Maria; Vegge, Tejs (IOP Publishing, 2019)Materials exhibiting a substitutional disorder such as multicomponent alloys and mixed metal oxides/oxyfluorides are of great importance in many scientific and technological sectors. Disordered materials constitute an ...
Tuoterunko hajautetussa ympäristössä Kuosmanen, Timo (2007)
Vaatimustenhallinta ja sen kehittäminen ohjelmiston elinkaaren näkökulmasta Kallio, Jenni (2008)