Zobrazeno 1 - 10
of 98
pro vyhledávání: '"Jansson, Patrik"'
Autor:
Ekmark, Ida, Hoppe, Mathias, Fülöp, Tünde, Jansson, Patrik, Antonsson, Liam, Vallhagen, Oskar, Pusztai, Istvan
Publikováno v:
Journal of Plasma Physics, 90(3), 905900306 (2024)
When simulating runaway electron dynamics in tokamak disruptions, fluid models with lower numerical cost are often preferred to more accurate kinetic models. The aim of this work is to compare fluid and kinetic simulations of a large variety of diffe
Externí odkaz:
http://arxiv.org/abs/2402.05843
The tensor notation used in several areas of mathematics is a useful one, but it is not widely available to the functional programming community. In a practical sense, the (embedded) domain-specific languages (DSLs) that are currently in use for tens
Externí odkaz:
http://arxiv.org/abs/2312.02664
Autor:
Hjelmqvist, Jacob, Jansson, Patrik
ccording to the curriculum, dance should be included in the PE classroom. However, PE teachers seem to have little knowledge of how to teach dance. This is an interview study using inductive qualitative analysis. This degree project essay aims to ana
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-104649
The languages of mathematical physics and modelling are endowed with a rich "grammar of dimensions" that common abstractions of programming languages fail to represent. We propose a dependently typed domain-specific language (embedded in Idris) that
Externí odkaz:
http://arxiv.org/abs/2308.09481
Autor:
Jansson, Julia, Jansson, Patrik
This paper describes a purely functional library for computing level-$p$-complexity of Boolean functions, and applies it to two-level iterated majority. Boolean functions are simply functions from $n$ bits to one bit, and they can describe digital ci
Externí odkaz:
http://arxiv.org/abs/2302.02473
Autor:
Pusztai, Istvan, Ekmark, Ida, Bergström, Hannes, Halldestam, Peter, Jansson, Patrik, Hoppe, Mathias, Vallhagen, Oskar, Fülöp, Tünde
A Bayesian optimization framework is used to investigate scenarios for disruptions mitigated with combined deuterium and neon injection in ITER. The optimization cost function takes into account limits on the maximum runaway current, the transported
Externí odkaz:
http://arxiv.org/abs/2302.01260
Autor:
Jansson, Patrik, Jogerot, Adam
The following study focuses on a certain typologi of uses of history, defined as narratological uses of history. This typology is used to investigate its applicability on teaching materials in history education and materials used in Swedish teaching
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-479561
Publikováno v:
J. Funct. Prog. 31 (2021) e24
In verified generic programming, one cannot exploit the structure of concrete data types but has to rely on well chosen sets of specifications or abstract data types (ADTs). Functors and monads are at the core of many applications of functional progr
Externí odkaz:
http://arxiv.org/abs/2008.02123
Publikováno v:
EPTCS 295, 2019, pp. 79-90
At the workshop on Trends in Functional Programming in Education (TFPIE) in 2015 Ionescu and Jansson presented the approach underlying the "Domain Specific Languages of Mathematics" (DSLsofMath) course even before the first course instance. We were t
Externí odkaz:
http://arxiv.org/abs/1908.01572
Publikováno v:
In Journal of Pediatric Surgery November 2022 57(11):736-739
