User profiles for "author:Heidi Dahl"
Heidi EI DahlPosten Norge Verified email at posten.no Cited by 150 |
[PDF][PDF] Structured semantics for the CORAS security risk modelling language
The CORAS security risk modelling language is a customised graphical language for com-
munication, documentation and analysis of security threat and risk scenarios. We present a …
munication, documentation and analysis of security threat and risk scenarios. We present a …
Collaborative talk in mathematics–contrasting examples from third graders
H Dahl, T Klemp, V Nilssen - Education 3-13, 2018 - Taylor & Francis
There is a substantial body of knowledge on the importance of language for learning in
general, and for learning mathematics in particular. Hence, language skills and collaborative …
general, and for learning mathematics in particular. Hence, language skills and collaborative …
Using dependent CORAS diagrams to analyse mutual dependency
The CORAS method for security risk analysis provides a customized language, the CORAS
diagrams, for threat and risk modelling. In this paper, we extend this language to capture …
diagrams, for threat and risk modelling. In this paper, we extend this language to capture …
Deconfliction and surface generation from bathymetry data using LR B-splines
A set of bathymetry point clouds acquired by different measurement techniques at different
times, having different accuracy and varying patterns of points, are approximated by an LR B …
times, having different accuracy and varying patterns of points, are approximated by an LR B …
Rational fixed radius rolling ball blends between natural quadrics
HEI Dahl, R Krasauskas - Computer aided geometric design, 2012 - Elsevier
By applying results on canal surfaces, we study exact rational parametrizations of fixed
radius rolling ball blends of pairs of natural quadrics. We classify all configurations where …
radius rolling ball blends of pairs of natural quadrics. We classify all configurations where …
Improved blends between primitive surfaces
HEI Dahl - 2014 - duo.uio.no
This thesis studies exact rational parametrizations of blends between the natural quadrics.
The first part focuses on fixed and variable radius rolling ball blends as patches on canal …
The first part focuses on fixed and variable radius rolling ball blends as patches on canal …
“He's so fast at drawing”–Children's use of drawings as a tool to solve word problems in multiplication and division
H Dahl - Eleventh Congress of the European Society for …, 2019 - hal.science
This paper examines how young pupils (age 8–9) use drawings as a tool in exploring
multiplicative situations. Analysis shows that drawings play an important role in their …
multiplicative situations. Analysis shows that drawings play an important role in their …
Piecewise rational parametrizations of canal surfaces
HEI Dahl - International Conference on Mathematical Methods for …, 2012 - Springer
Canal surfaces, as envelopes of one-parameter families of spheres, correspond to curves in
Minkowski space. We show that the continuity properties of a canal surface are inherited …
Minkowski space. We show that the continuity properties of a canal surface are inherited …
AF equivalence relations associated to locally finite groups
H Dahl - Journal of the Ramanujan Mathematical Society, 2008 - ischolar.sscldl.in
In [5, Theorem 3.8], Giordano, Putnam and Skau showed that the Âetale equivalence
relation associated to a (countable) group acting minimally and freely on the Cantor set is AF …
relation associated to a (countable) group acting minimally and freely on the Cantor set is AF …
A modular approach to the modelling and analysis of risk scenarios with mutual depenencies
This report describes a modular approach to the modelling and analysis of risk scenarios
with mutual dependencies. The presented approach may be used to deduce the risk-level of …
with mutual dependencies. The presented approach may be used to deduce the risk-level of …