The formal method known as B and a sketch for its implementation
Tekijät
Päivämäärä
2002Samankaltainen aineisto
Näytetään aineistoja, joilla on samankaltainen nimeke tai asiasanat.
-
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 ... -
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 ... -
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 ... -
Tutkiva valmentaja : tietokonepohjaisen liikunnanopetuksen tarkkailu- ja analysointisysteemin (LOTAS 2.0) soveltuvuus valmennustapahtuman analysointiin
Hytönen, Tuukka; Joru, Sami (2010)Hytönen, T. & Joru, S. 2010. TUTKIVA VALMENTAJA – Tietokonepohjaisen lii-kunnanopetuksen tarkkailu- ja analysointisysteemin (LOTAS 2.0) soveltuvuus valmen-nustapahtuman analysointiin. Liikuntapedagogiikan pro gradu-tutkielma. ...
Ellei toisin mainittu, julkisesti saatavilla olevia JYX-metatietoja (poislukien tiivistelmät) saa vapaasti uudelleenkäyttää CC0-lisenssillä.