Items where Year is 2024

A

PP-2024-03: Afshari, Bahareh and Grotenhuis, Lide and Leigh, Graham E. and Zenger, Lukas (2024) Intuitionistic Master Modality. [Pre-print]

DS-2024-09: Allerstorfer, Rene (2024) Position-based Quantum Cryptography: From Theory towards Practice. Doctoral thesis, Universiteit van Amsterdam.

MoL-2024-10: Alvarez, David Quinn (2024) The temporal Heyting calculus. [Report]

B

MoL-2024-08: Becker, Justus (2024) Proof Translations for Intuitionistic Modal Logic. [Report]

C

DS-2024-12: Chen, Yanlin (2024) On Quantum Algorithms and Limitations for Convex Optimization and Lattice Problems. Doctoral thesis, Universiteit van Amsterdam.

MoL-2024-09: Chung, Liam (2024) Automata Closure Constructions for Kleene Algebra with Hypotheses. [Report]

DS-2024-02: Cornelissen, Bas (2024) Measuring musics: Notes on modes, motifs, and melodies. Doctoral thesis, Universiteit van Amsterdam.

D

DS-2024-03: De Cao, Nicola (2024) Entity Centric Neural Models for Natural Language Processing. Doctoral thesis, Universiteit van Amsterdam.

X-2024-01: De Jong, Eline (2024) Better secure than sorry? Assessing the quantum cybersecurity 'risk'. [Pre-print]

DS-2024-07: Degano, Marco (2024) Indefinites and their values. Doctoral thesis, Universiteit van Amsterdam.

X-2024-02: Dekker, Paul (2024) Conceptual Windows Afford Views on Satisfying Individuals. [Report]

X-2024-05: Dekker, Paul (2024) A Logic for Contextually Restricted Quantification. [Report]

X-2024-04: Dekker, Paul (2024) On Presenting Objects in Propositions. [Report]

HDS-40: de Bouvère, Karel Louis (2024) A Method in Proofs of Undefinability. Doctoral thesis, Universiteit van Amsterdam.

F

DS-2024-10: Feijen, Willem (2024) Fast, Right, or Best? Algorithms for Practical Optimization Problems. Doctoral thesis, Universiteit van Amsterdam.

G

MoL-2024-14: Ganguly, Arunavo (2024) Characterizing Formulas using Post’s Lattice. [Report]

MoL-2024-07: Ghosh, Swapnil (2024) An Exploration of Contraction Free Arithmetic. [Report]

MoL-2024-18: Gronwald, Jan W. (2024) A Practice-Based Critique of Reverse Mathematics. [Report]

J

DS-2024-13: Jumelet, Jaap (2024) Finding Structure in Language Models. Doctoral thesis, Universiteit van Amsterdam.

K

MoL-2024-06: Kroon, Wessel (2024) Knowledge as Issue-Relevant Information. [Report]

L

PP-2024-01: Leo, Joop (2024) Reconciling positionalism and antipositionalism. [Pre-print] (In Press)

M

MoL-2024-16: Müller, Michael A. (2024) Arguing with Doubt. [Report]

N

MoL-2024-03: Nelissen, Pelle (2024) Consistent Judgment Aggregation in Liquid Democracy: Utilizing Delegation Structure in the Ranked Agenda Rule. [Report]

PP-2024-02: Nieto-de la Rosa, Francisco Santiago and Ramos-Garcia, Ulises Ariet and Vargas-Sandoval, Ana Lucia and de Jongh, Dick (2024) Extending antichains in the poset of the finite subsets of omega. [Pre-print] (Submitted)

P

DS-2024-11: Pinto Prieto, Daira (2024) Combining Uncertain Evidence: Logic and Complexity. Doctoral thesis, Universiteit van Amsterdam.

MoL-2024-01: Pohlmann, Max (2024) Analytic Nondualism: Why Reality is Objectively Subjective. [Report]

R

MoL-2024-11: Renata, Alyssa (2024) Homotopy Theory of Computable Spaces. [Report]

X-2024-03: Rey, Simon and Endriss, Ulle (2024) A Note on How to Build a Conference Schedule: The Case of ECAI-2024. [Report]

DS-2024-01: Rooduijn, Jan (2024) Fragments and Frame Classes: Towards a Uniform Proof Theory for Modal Fixed Point Logics. Doctoral thesis, Universiteit van Amsterdam.

S

DS-2024-05: Seifan, Fatemeh (2024) Coalgebraic fixpoint logic Expressivity and completeness result. Doctoral thesis, Universiteit van Amsterdam.

MoL-2024-15: Seip, Paul (2024) A Constructive Small Object Argument. [Report]

HDS-39: Smid, Michiel (2024) Dynamic Data Structures on Multiple Storage Media. Doctoral thesis, Universiteit van Amsterdam.

MoL-2024-12: Smit, Wouter (2024) Axiomatising Protocol-Dependent Knowledge in Gossip. [Report]

DS-2024-06: Sotáková, Jana (2024) Isogenies and Cryptography. Doctoral thesis, Universiteit van Amsterdam.

MoL-2024-04: Spencer-Piacentini, Fiona (2024) Wondering about Mood in Romance: the view from Italian inquisitive predicates. [Report]

T

DS-2024-04: Takmaz, Ece (2024) Visual and Linguistic Processes in Deep Neural Networks: A Cognitive Perspective. Doctoral thesis, Universiteit van Amsterdam.

V

MoL-2024-13: Van Santvliet, Hannah (2024) Parameterizing the Notion of Automatability in Proof Complexity. [Report]

DS-2024-08: Verduyn Lunel, Philip (2024) Quantum Position Verification: Loss-tolerant Protocols and Fundamental Limits. Doctoral thesis, Universiteit van Amsterdam.

HDS-41: van Dantzig, David (2024) Studien over Topologische Algebra. Doctoral thesis, Rijksuniversiteit Groningen.

HDS-38: van den Dries, Lou (2024) Model Theory of Fields: Decidability and Bounds for Polynomial Ideals. Doctoral thesis, Rijksuniversiteit Utrecht.

W

MoL-2024-19: Wang, Yilun (2024) Oblivious Transfer from Quantum One-way Functions. [Report]

MoL-2024-02: Weijland, Elynn Louise (2024) An Analysis of Visual and Morphosyntactic Cues in Biased Polar Questions in Dutch. [Report]

MoL-2024-17: Westerman, Floris (2024) PageZero: Mitigating Speculative Execution Attacks by Clearing Page Tables. [Report]

Y

MoL-2024-05: Ye, Lingyuan (2024) Algebraic Monoidal Model Categories and Path Category Structures for Effective Kan Fibrations. [Report]