Applied Deliberation

Assorted Adventures of Sampsa Kiiskinen

These publications are roughly ordered by how useful and entertaining they are to me. I should say a thing or two about them to summarize the results here.

Papers

Sampsa Kiiskinen “Curiously Empty Intersection of Proof Engineering and Computational Sciences,” in Impact of Scientific Computing on Science and Society, ed. Pekka Neittaanmäki and Marja-Leena Rantalainen, 1st ed. (Springer, 2023), 45–73, http://users.jyu.fi/~sapekiis/static/publications/intersection-2022.pdf.

Samuli Rahkonen et al. “Reflectance Measurement Method Based on Sensor Fusion of Frame-Based Hyperspectral Imager and Time-of-Flight Depth Camera,” Sensors 22, no. 22 (November 10, 2022), https://www.mdpi.com/1424-8220/22/22/8668.

Tuomo Rossi et al. “Systematisation of Systems Solving Physics Boundary Value Problems,” in Numerical Mathematics and Advanced Applications ENUMATH 2019 (Springer, 2021), 35–51, http://urn.fi/URN:NBN:fi:jyu-202111015459.

Theses

Sampsa Kiiskinen “Modeling Friction Between Shearing Brittle Surfaces with a Discrete Element Method” (Master’s thesis, University of Jyväskylä, 2018), http://urn.fi/URN:NBN:fi:jyu-201803271855.

Sampsa Kiiskinen “Polkuintegraaliperustilamenetelmä” (Candidate thesis, University of Jyväskylä, 2017), http://urn.fi/URN:NBN:fi:jyu-201803271854.

Conferences

Sampsa Kiiskinen “Typeless Typeclasses: Implementing Monads and Monad Transformers in Lisp” (Trondheim, Norway: Third International Conference CSAI 2023, August 28, 2023).

Sampsa Kiiskinen “Formalizing Cell Complexes in a Dependent Type Theory and Extracting Their Computational Content for Working with Numerical Solvers” (Espoo, Finland: Nordic Congress of Mathematicians 2022, August 21, 2022).

Sampsa Kiiskinen “Towards a Formalization of Discrete Exterior Calculus” (Oulu, Finland: Finnish Mathematical Days 2020, January 2, 2020).

Matti Aleksanteri Eskelinen and Sampsa Kiiskinen “Snapshot Optical Characterization of a Prism with a Hyperspectral Camera” (Jyväskylä, Finland: Optics and Photonics Days 2018, May 28, 2018).

Software

Sampsa Kiiskinen “Discrete Exterior Zoo,” last modified September 1, 2022, https://github.com/Tuplanolla/dez.

Sampsa Kiiskinen “Brittle Matter Matters,” last modified January 22, 2018, https://github.com/Tuplanolla/brittle-matter-matters.

Sampsa Kiiskinen “Pen of PIGS,” last modified January 23, 2017, https://github.com/Tuplanolla/pen-of-pigs.

Sampsa Kiiskinen “TMVS,” last modified August 9, 2016, https://github.com/Tuplanolla/tmvs.

Sampsa Kiiskinen “CHEAT,” last modified August 7, 2014, https://github.com/Tuplanolla/cheat.