Mathematics

sort by:

Audio and video recordings of students engaged in collaborative mathematical modelling tasks

media posted on 2024-11-14

Refining Kaplan-Meier Estimation with the Generalized Pareto Model for Survival Analysis

Refining Kaplan-Meier Estimation with the Generalized Pareto Model for Survival Analysis

preprint posted on 2024-10-24

CONFERENCE CONTRIBUTION

Taniguchi (2022), Unprovability of Continuation-Passing Style Transformation in Lambek Calculus

conference contribution posted on 2024-06-05

Masaya Taniguchi

Detecting Spurious Factor Models

preprint posted on 2023-11-14

collection:
NWO Project Data, 'Foundations of Mechanistic Reasoning'

posted on 2023-05-01

PhD Thesis: Causation and Modality

PhD Thesis: Causation and Modality

thesis posted on 2023-05-01

Exhaustification in the semantics of ‘cause’ and ‘because’

Exhaustification in the semantics of ‘cause’ and ‘because’

conference contribution posted on 2023-05-01

Aboutness and Modality

Aboutness and Modality

conference contribution posted on 2023-05-01

Are causes ever too strong?

Are causes ever too strong?

conference contribution posted on 2023-05-01

Negation and Alternatives in Conditional Antecedents

Negation and Alternatives in Conditional Antecedents

conference contribution posted on 2023-05-01

How to Cause the Inevitable (ECAP 10 Slides)

How to Cause the Inevitable (ECAP 10 Slides)

presentation posted on 2023-05-01

The Limits of Causal Graphs: Density (Charles University Logic Seminar)

The Limits of Causal Graphs: Density (Charles University Logic Seminar)

presentation posted on 2023-05-01

Exhaustification in the semantics of 'cause' and 'because', MLC Seminar handout

Exhaustification in the semantics of 'cause' and 'because', MLC Seminar handout

presentation posted on 2023-05-01

Imagining a different world: defining sufficiency in truthmaker semantics

Imagining a different world: defining sufficiency in truthmaker semantics

presentation posted on 2023-05-01

Aboutness and Modality, Proceedings of the 23rd Amsterdam Colloquium

Aboutness and Modality, Proceedings of the 23rd Amsterdam Colloquium

conference contribution posted on 2022-12-16

Ade, Michelini & Vigiani (2022), Proportionality in Liquid Democracy and Representative Democracy

Ade, Michelini & Vigiani (2022), Proportionality in Liquid Democracy and Representative Democracy

conference contribution posted on 2022-08-20

Ouyang (2022), Permitted Announcement Logic with Unary Modal Operators

Ouyang (2022), Permitted Announcement Logic with Unary Modal Operators

conference contribution posted on 2022-08-08

Karkour (2022), Py*: Formalization of Python's Verifiable Bytecode and Virtual Machine in F*

Karkour (2022), Py: Formalization of Python's Verifiable Bytecode and Virtual Machine in F

conference contribution posted on 2022-07-28

CONFERENCE CONTRIBUTION

Buonaguidi (2022), Symmetry, locality and hyperintensionality

conference contribution posted on 2022-07-27

Maria Beatrice Buonaguidi

Parshina (2022), Evolution of Predicate Logic Notation

Parshina (2022), Evolution of Predicate Logic Notation

conference contribution posted on 2022-07-25

Kojelis (2022), Completing the Picture: Complexity of the Ackermann Fragment

Kojelis (2022), Completing the Picture: Complexity of the Ackermann Fragment

conference contribution posted on 2022-07-25

Daumantas Kojelis

Oliveira (2022), Subjective Logic as a Model for Social Networks

Oliveira (2022), Subjective Logic as a Model for Social Networks

conference contribution posted on 2022-07-25

José C. Oliveira

Phi-Math slides, 29 Jan 2021, Newcomb's Problem: an introduction to decision theory

Phi-Math slides, 29 Jan 2021, Newcomb's Problem: an introduction to decision theory

presentation posted on 2021-01-29

Amsterdam Colloquium 2019 experiment data and scripts

dataset posted on 2020-11-05

CONFERENCE CONTRIBUTION

Amsterdam Colloquium 2019 Proceedings Paper

conference contribution posted on 2020-10-21

Crete Summer School in Linguistics 2019 Poster

Crete Summer School in Linguistics 2019 Poster

poster posted on 2020-10-21

Amsterdam Colloquium 2019 Poster

Amsterdam Colloquium 2019 Poster

poster posted on 2020-10-21

ESSLLI 2019 Proceedings Paper

ESSLLI 2019 Proceedings Paper

conference contribution posted on 2020-10-20