Informationsteknologi gemensamma


Personer


Publikationer

null null 1 av 29 null null
B3 Icke-referentgranskade konferenspublikationer
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels (2020)
Ashraf Adnan, Lilius Johan, Porres Ivan, Waldén Marina, Petre Luigia
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Coarse-grained modeling of cell division in 3D: influence of density, medium viscosity, and inter-membrane friction on cell growth and nearest neighbor distribution (2020)
Pranav Madhikar, Jan Åström, Jan Westerholm, Björn Baumeier, Mikko Karttunen
Soft Materials
Visa på utgivarens sida
A4 Konferenspublikationer
Identification of low-order models using rational orthonormal basis functions (2020)
Mikael Manngård, Hannu T Toivonen
IEEE Conference on Decision and Control
IEEE
A4 Konferenspublikationer
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time
Systems with Concurrent Processes
(2020)
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, and Marina Waldén
A4 Konferenspublikationer
On solving nonconvex MINLP problems with SHOT (2020)
Andreas Lundell, Jan Kronqvist
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Scaling and Diabatic Effects in Quantum Annealing with a D-Wave Device (2020)
Weinberg Phillip, Tylutki Marek, Rönkkö Jami M., Westerholm Jan, Åström Jan A, Manninen Pekka, Törmä Päivi, Sandvik Anders W.
Physical Review Letters
Visa på utgivarens sida
A4 Konferenspublikationer
A Cloud based super-optimization method to parallelize the sequential code's nested loops (2019)
Amin Majd, Mohammad Loni, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna
IEEE
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
An efficient model for quantifying the interaction between structural properties of software and hardware in the ARM big.LITTLE architecture (2019)
Stepanovic S, Georgakarakos G, Holmbacka S, Lilius J
Concurrency and Computation: Practice and Experience
Visa på utgivarens sida
A4 Konferenspublikationer
An Integrated Model-based Tool Chain for Managing Variability in Complex System Design (2019)
Bilic Damir, Brosse Etienne, Sadovykh Andrey, Truscan Dragos, Bruneliere Hugo, Ryssel Uwe
IEEE
Visa på utgivarens sida

Senast uppdaterad 2018-11-12 vid 11:22