Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Moa Johansson"'
Autor:
Anna Sarkadi, Anton Dahlberg, Kajsa Leander, Moa Johansson, Johanna Zahlander, Anna Fäldt, Robert S. Kristiansson, Kine Johansen
Publikováno v:
International Journal of Integrated Care, Vol 21, Iss 2 (2021)
Introduction: Multiple neurodevelopmental problems affect 7–8% of children and require evaluation by more than one profession, posing a challenge to care systems. Description: The local problem comprised distressed parents, diagnostic processes ave
Externí odkaz:
https://doaj.org/article/c2b821242ec24ec3aaa3e7e40a80b7e0
Autor:
Nicholas Smallbone, Moa Johansson
Publikováno v:
VPT@ETAPS
A key component of mathematical reasoning is the ability to formulate interesting conjectures about a problem domain at hand. In this paper, we give a brief overview of a theory exploration system called QuickSpec, which is able to automatically disc
Publikováno v:
Proceedings of the 9th International Performance Analysis Workshop and Conference & 5th IACSS Conference ISBN: 9783030993320
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8b43099193ad79df10868ff611442b8
https://doi.org/10.1007/978-3-030-99333-7_9
https://doi.org/10.1007/978-3-030-99333-7_9
Autor:
Savya Sachi Gupta, Moa Johansson, Dan Kuylenstierna, David Larsson, Julia Ortheden, Markus Pettersson
Publikováno v:
Proceedings of the 9th International Performance Analysis Workshop and Conference & 5th IACSS Conference ISBN: 9783030993320
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7cc9bb59c2c990402cc3ddacf1fb862
https://doi.org/10.1007/978-3-030-99333-7_21
https://doi.org/10.1007/978-3-030-99333-7_21
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ISBN: 9783031198489
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17b5f6cda3703660f83340a0cb8b0f5f
https://doi.org/10.1007/978-3-031-19849-6_11
https://doi.org/10.1007/978-3-031-19849-6_11
Publikováno v:
IFL
We present RoughSpec, a template-based extension of the theory exploration tool QuickSpec. QuickSpec uses testing to automatically discover equational properties about functions in a Haskell program. These properties can help the user understand the
Autor:
Moa Johansson
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 320
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030356637
Power meters are widely used for measuring training and racing effort in cycling, and the use of such sensors is now spreading also to other sports. Data collected from athletes’ power meters are used to help coaches analyse and understand training
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a35630c10b8c21bf48a629a37279a475
https://doi.org/10.1007/978-3-030-35664-4_5
https://doi.org/10.1007/978-3-030-35664-4_5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030148041
TFP
TFP
Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. a way to ensure both to the programmer and the compiler that a set of functions are defined for a specific data type. All instances of such type classes are expected to behave in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1b08341cac6a45232420afca44c8643
https://doi.org/10.1007/978-3-030-14805-8_4
https://doi.org/10.1007/978-3-030-14805-8_4