Blog Posts
Find blog posts shared by the Owlstown community.
Presented at Thursday's Seminars @ UCRC UOC
Yesterday, my supervisor, Dr. Panagiota Dimitropoulou and I had the opportunity to give a presentation entitled "The use of innovative technologies for the assessment and training for children with neurodevelopmental disorders and learning difficu...
Post · August 25, 2023
Dimension analysis and graded algebras
Late February I gave a talk at online meeting of the IFIP Working Group 2.1 on Algorithmic Languages and Calculi. The talk presents work in progress (earlier mentioned in a post 2022-11) on "Dimension analysis and graded algebras". The talk slides...
Post · August 21, 2023
Types, equations, dimensions and the Pi theorem
Last week we submitted a paper to JFP about dimension analysis in a (dependently) typed functional language (like Idris or Agda). It is also available (as a pre-print) on arXiv.
arXiv: 2308.09481
Authors: N. Botta, P. Jansson, G. da Silva
Abstrac...
Post · August 21, 2023
An International Student's Guide to Moving Back Home
NOTE: I originally drafted this post in May/June 2023, as I was in the process of moving back home. Perhaps as expected, the process of moving was so much that I completely forgot to post the post! On the bright side, it does allow me to write ret...
Post · August 18, 2023
More on computing Level-p-complexity with Haskell
After the earlier posts (2022-12, 2023-03) there has been some more development on the "Level-\(p\)-complexity"-front. The topic is inspired from mathematical research by Prof. Jeffrey Steif and other colleagues, but the paper (in submission to JF...
Post · August 16, 2023
Publication of a new article!
I’m happy to announce the publication of my new research article titled Towards an accurate method for column void volume determination using liquid chromatography-mass spectrometry, which we published in the Journal of Chromatography A. 1
We e...
Post · August 14, 2023