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 ... -
Creating digital musical instruments with and for children : Including vocal sketching as a method for engaging in codesign
Falkenberg, Kjetil; Lindetorp, Hans; Latupeirissa, Adrian Benigno; Frid, Emma (Jyväskylän Yliopisto, 2020)A class of master of science students and a group of preschool children codesigned new digital musical instruments based on workshop interviews involving vocal sketching, a method for imitating and portraying sounds. The ...
Ellei toisin mainittu, julkisesti saatavilla olevia JYX-metatietoja (poislukien tiivistelmät) saa vapaasti uudelleenkäyttää CC0-lisenssillä.