Master thesis by Pepijn Vunderink: "Program Matching with Semantic Patterns"

"We propose the Dyno pattern language, in which concrete object language syntax can be used to express intuitive semantic patterns of programs. Pattern matching is performed by translating Dyno patterns to μ-calculus formulas and model checking these formulas against models extracted from object programs."

https://repository.tudelft.nl/record/uuid:a18ab135-96b1-417c-b25e-46aa02521896

Master thesis by Niyousha Najmaei: "The Internal Language of Comprehension Categories"

"[..] we propose a candidate type theory for the internal language of comprehension categories by extracting a type theory from the semantics given by a general comprehension category which is not full and split. We also give an interpretation of this type theory in every comprehension category."

https://repository.tudelft.nl/record/uuid:39e79d29-122c-4b54-827f-fd9908495e17

Master thesis by Jochem Broekhoff: "Domain-Specific Abstractions for Algorithmic Graph Processing"

"The Green-Marl Intermediate Representation (GMIR) [..] prevents frontier exploration algorithms and community detection algorithms to be expressed, such as Dijkstra’s shortest path and the Louvain clustering method. We [..] introduce new domain-specific abstractions for algorithmic graph processing, targeting those algorithms."

https://repository.tudelft.nl/record/uuid:a4d57d94-811c-430f-8dd1-46d6a478feb1

I'm planning an event on 'The Future of the Doctorate' (will update here asap).

In the meantime, what are your views on its future, given all that's happening?

#AcWri #DoctoralEducation #DoctoralWriting #PhDLife #Thesis #ResearchWriting #GenAI #GAI

#AcademicSky

https://www.bloomsbury.com/uk/change-and-stability-in-thesis-and-dissertation-writing-9781350146570/

Master thesis by Hendy Liang: "Property-Based ASTs: Enabling Language Parametricity in Refactoring Tools"

"By leveraging Tree-Sitter, a parser generator that creates parsers that produce generic, property-based ASTs, this research adapts Renaissance, an existing industrial refactoring tool, to support multi-language extensibility with minimal additional effort."

https://repository.tudelft.nl/record/uuid:6e143a35-32b8-4f7e-928e-52057ea57566

How to structure your Thesis - IdeaLaunch

Website:
https://idealaunch.in/service/phd-thesis-chapterization/

Whatsapp:
https://wa.me/917548889787
https://wa.me/919342492103
https://wa.me/918668193484

Mail id:
research@idealaunch.in

Call us:
+91 7548889787
+91 9342492103
+91 8668193484

Master thesis by Arnoud van der Leer: Universal Algebra, Univalent Foundations and the Untyped λ-Calculus

"This thesis studies and expands upon Martin Hyland’s paper ‘Classical lambda calculus in modern dress’. [...] The thesis translates Hyland’s paper from set theory with classical logic to univalent foundations, and showcases where subtleties arise in such a translation."

https://repository.tudelft.nl/record/uuid:e6582866-9c0d-4a13-8eda-42c25e0deba4

Master thesis by Jakob Nauke: Compiling Dependent Type Preconditions to Runtime Checks With Agda2Hs

"As an extension to Agda2Hs, we
have implemented a solution to automatically insert runtime checks for the preconditions and only make those definitions accessible in the output that are also checkable."

https://repository.tudelft.nl/record/uuid:0a13ca4a-9d3c-416e-bb88-affc3f14ee52

Thesis got published today. Finally.

"In-Arena Goods Delivery with Robots : A Case Study of Nokia Corporation"
https://www.theseus.fi/handle/10024/874343

Abstract:
"The objective of the project was to explore methods for leveraging 5G technology to enhance the visitor experience at the Nokia Arena event venue. Thesis was commissioned by Nokia Corporation as a part of larger Design Sprint process. The project centered on optimizing the food ordering process for individuals with reduced mobility to facilitate improved services during events.

Service concept for in-arena goods delivery allows event attendees to order food and drinks directly from their own mobile devices. Delivery robots are used for the food delivery. 5G wireless technology is to be used for the connectivity and indoor navigation of robots.

The findings contribute valuable insights and expand understanding of the associated concepts. Although the project's practical scope was limited, the report offers recommendations for future research and perspectives to consider in the design process of prospective systems. At a broader level, it also introduces tools and methodologies for the planning and design of digital services within physical environments."

A fun 3D train builder site* made by Dalibor Itze as part of his bachelor thesis, with articles about railway design, and a summary of the thesis in a video essay.

https://www.youtube.com/watch?v=WDghfP8oXvU

https://railwaydesign.xyz

https://railwaydesign.xyz/history

(*A bit awkward to use at first, and might not very accessible, be warned.)

I just read through my latest #introduction and it’s so outdated

Hello friends

My name is Bibi and I am a final-year #PhD student in #astronomy and #astrophysics at Lund University in Sweden.

I observe #exoplanets with big #telescopes to study their atmospheric composition

I recently spent a year in #Chile at #ESO, and now I am writing up my #thesis, and I am applying for #postdocs

I am the first in my family to go to uni, so you’ll definitely hear me talk about that #scicomm

Friends have been arguing whether it’s ethically ok or not to:

1. ask a Large Language Model to list titles of papers potentially related to a #Thesis
2. take those titles and search them on a paper search engine, such as Google Scholar
3. manually read the returned papers
4. manually cite them in the thesis if relevant and appropriate

So… basically… using a LLM as supplementary search engine for previous literature.

How would you feel about it, fedi?

I think I have an opinion on the matter of my own, but I was wondering if there were some additional arguments to be made on the matter that would make me change it.

(Please don’t argue about “all LLMs bad because they use a lot of power and because they’ve been trained without consent”, we’ve agreed to not take that into consideration for the purpose of this debate.)

Master thesis by Olek Wolska:
Towards Modular Language Semantics of WebDSL: A Case Study of Using Algebraic Effects in Haskell for Language Specification

"We adapt the algebraic effects and handlers approach [...] to create a modular denotational semantics model of WebDSL [...] that allows us to distinguish between effects raised by different components of the language."

https://repository.tudelft.nl/record/uuid:47aba90c-b45d-477b-90c0-462e111efdb1

Master thesis by Niyousha Najmaei: The Internal Language of Comprehension Categories

"In this thesis, we first study how MLTT is interpreted in full split comprehension categories through concrete examples. Next, we investigate type theories that can be interpreted in comprehension categories which are not necessarily full and split."

https://repository.tudelft.nl/record/uuid:39e79d29-122c-4b54-827f-fd9908495e17

Master thesis by Alex Haršáni: Embedding Statix in Agda

"Using Statix, we can write a specification using constraints over scope graphs and terms. [...] we introduce a library called statix-in-agda. This library, written using the proof assistant Agda, includes the formalisation of scope graphs and embedding of Statix's constraints."

https://repository.tudelft.nl/record/uuid:8dfeb8f9-4bb3-4f91-8692-b9c9fbb4dadc

It's my thesis and if I want to include a selfie of my teamates and I at dinner displaying an entire plate of limes which we have consumed, I can.

A thesis is for documenting and demonstrating all the important things a student has learned over the course of their PhD. I learned that between the three of us, we can easily consume 21 lime quarters at dinner. Scientific fact.

Master thesis by Luka Janjić:
Program synthesis with dependent types

"We implement a prototype of a search algorithm driven by unsolved constraints typically generated during dependent type checking. We encode a range of synthesis problems from literature in our system, showcasing how it can be used for expressing the specification and synthesizing programs that manipulate data."

https://repository.tudelft.nl/record/uuid:1cdf7a62-d667-4376-a09b-e46c8bff508c

I just turned in my #thesis for my MSc in #ComputerScience with #DataAnalytics at #UniversityofYork!

The title of my thesis is “Exploring the impact of data imbalance on ε-Differential Privacy” and I do just that using the open-source Python library developed by IBM, diffprivlib. I’d love to share the results of my experiments in a white paper of some kind. Does anyone I’m connected to have experience in converting a masters thesis into a white paper for a journal or conference?