The formal method known as B and a sketch for its implementation
Showing items with similar title or keywords.
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 ...
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 ...
Implementation of sparse forward mode automatic differentiation with application to electromagnetic shape optimization Toivanen, Jukka; Mäkinen, Raino (Taylor & Francis, 2011)In this paper, we present the details of a simple lightweight implementation of the so-called sparse forward mode automatic differentiation (AD) in the C++programming language. Our implementation and the well-known ADOL-C ...
Kuosmanen, Timo (2007)
Kallio, Jenni (2008)