Media Summary: FAIR-DI cordially invites you to join this year's FAIR-DI workshop on the topic of a FAIR data infrastructure for materials science. Talk at the FAIR-DI workshop on FAIR data infrastructure for materials science (2021-10-01) on a Talk at the Workshop on Ontologies for Materials-Databases Interoperability (2021-10-05) on the need for debugging and ...

Patrick Lambrix A Method For - Detailed Analysis & Overview

FAIR-DI cordially invites you to join this year's FAIR-DI workshop on the topic of a FAIR data infrastructure for materials science. Talk at the FAIR-DI workshop on FAIR data infrastructure for materials science (2021-10-01) on a Talk at the Workshop on Ontologies for Materials-Databases Interoperability (2021-10-05) on the need for debugging and ... Research talk at LINHAC 2024. Miles Pitassi, Tim Brecht, Mingyue Xie. Puck Possession and Team Success in the NHL. LINHAC 2022-D3S2 Research papers 00:00:00: Introduction 00:01:50: Kanav Vats, Mehrnaz Fani, David A. Clausi, John S. Zelek: ... LINHAC 2025 Student Competition. Identifying and Analyzing SHL Ice Hockey Match Styles Based on Event Data Aggregation ...

LINHAC 2024 student competition finalist. Axel Rosendahl, (Linköping University), Beyond the Royal Road: A grid-based ... LINHAC 2024 student competition finalist. Ethan Parliament, (Queens University), Decision Making in the Neutral Zone and its ... Research talk at LINHAC 2024. Hassaan Inayatali, Timothy Chan. Evaluating Space Creation in the National Hockey League ... Les Valiant (Harvard University) The Role of TCS in ... Verbose Lean is a library for the Lean proof assistant whose goal is to help teaching first year undergrad students how to read and ... LINHAC 2025 Research Track presentation. Dropping the Gloves, Driving the Play Reassessing the Role of Fighting in Modern ...

Photo Gallery

Patrick Lambrix: A Method for Extending Ontologies
FAIR DI 2021 - A method for extending ontologies
OMDI 2021 - Lesson(s) learned for developing ontologies
Markante Tongenaar 2022 voordracht Patrick Lambrix
LINHAC 2024 - D2-research-talk-4
LINHAC 2022-D3S2 Research papers
LINHAC 2025-D3-Student-Competition-2
LINHAC 2024 - D3-Student competition - 3
LINHAC 2024 - D3-Student competition - 5
LINHAC 2024 - D3-research-talk-3
Enhanced and Efficient Reasoning in Large Language Models
Patrick Massot: Teaching mathematics using Verbose Lean
View Detailed Profile
Patrick Lambrix: A Method for Extending Ontologies

Patrick Lambrix: A Method for Extending Ontologies

FAIR-DI cordially invites you to join this year's FAIR-DI workshop on the topic of a FAIR data infrastructure for materials science.

FAIR DI 2021 - A method for extending ontologies

FAIR DI 2021 - A method for extending ontologies

Talk at the FAIR-DI workshop on FAIR data infrastructure for materials science (2021-10-01) on a

OMDI 2021 - Lesson(s) learned for developing ontologies

OMDI 2021 - Lesson(s) learned for developing ontologies

Talk at the Workshop on Ontologies for Materials-Databases Interoperability (2021-10-05) on the need for debugging and ...

Markante Tongenaar 2022 voordracht Patrick Lambrix

Markante Tongenaar 2022 voordracht Patrick Lambrix

Voordracht

LINHAC 2024 - D2-research-talk-4

LINHAC 2024 - D2-research-talk-4

Research talk at LINHAC 2024. Miles Pitassi, Tim Brecht, Mingyue Xie. Puck Possession and Team Success in the NHL.

LINHAC 2022-D3S2 Research papers

LINHAC 2022-D3S2 Research papers

LINHAC 2022-D3S2 Research papers 00:00:00: Introduction 00:01:50: Kanav Vats, Mehrnaz Fani, David A. Clausi, John S. Zelek: ...

LINHAC 2025-D3-Student-Competition-2

LINHAC 2025-D3-Student-Competition-2

LINHAC 2025 Student Competition. Identifying and Analyzing SHL Ice Hockey Match Styles Based on Event Data Aggregation ...

LINHAC 2024 - D3-Student competition - 3

LINHAC 2024 - D3-Student competition - 3

LINHAC 2024 student competition finalist. Axel Rosendahl, (Linköping University), Beyond the Royal Road: A grid-based ...

LINHAC 2024 - D3-Student competition - 5

LINHAC 2024 - D3-Student competition - 5

LINHAC 2024 student competition finalist. Ethan Parliament, (Queens University), Decision Making in the Neutral Zone and its ...

LINHAC 2024 - D3-research-talk-3

LINHAC 2024 - D3-research-talk-3

Research talk at LINHAC 2024. Hassaan Inayatali, Timothy Chan. Evaluating Space Creation in the National Hockey League ...

Enhanced and Efficient Reasoning in Large Language Models

Enhanced and Efficient Reasoning in Large Language Models

Les Valiant (Harvard University) https://simons.berkeley.edu/talks/les-valiant-harvard-university-2026-05-26 The Role of TCS in ...

Patrick Massot: Teaching mathematics using Verbose Lean

Patrick Massot: Teaching mathematics using Verbose Lean

Verbose Lean is a library for the Lean proof assistant whose goal is to help teaching first year undergrad students how to read and ...

LINHAC 2025-D2-Research-Track-4

LINHAC 2025-D2-Research-Track-4

LINHAC 2025 Research Track presentation. Dropping the Gloves, Driving the Play Reassessing the Role of Fighting in Modern ...