Resources
Mitochondria metabolism sets the species-specific tempo of neuronal development
Project: NEUROTEMPO
Updated at: 01-01-2025
Periodic Reporting for period 4 - SleepSynapses (The role of sleep in synaptic plasticity)
Project: SleepSynapses
Updated at: 01-01-2025
Studying Macrophages in the Murine Steatotic Liver using Flow Cytometry and Confocal Microscopy
Project: MyeFattyLiver
Updated at: 01-01-2025
Astroglial Calcium Signaling Encodes Sleep Need in Drosophila
Project: SleepSynapses
Updated at: 01-01-2025
Homeostatic control of deep sleep and molecular correlates of sleep pressure in Drosophila
Project: SleepSynapses
Updated at: 01-01-2025
Periodic Reporting for period 3 - TerrACE (Terrace Archaeology and Culture in Europe)
Project: TerrACE
Updated at: 01-01-2025
PSEUDO-DISACCHARIDE COMPOUNDS
Project: CARBOCENTRE
Updated at: 01-01-2025
PSEUDO-DISACCHARIDE COMPOUNDS
Project: CARBOCENTRE
Updated at: 01-01-2025
The family signature theorem
Project: HToMS
Updated at: 01-01-2025
On diffeomorphisms of even-dimensional discs
Project: HToMS
Updated at: 01-01-2025
Monodromy and mapping class groups of 3-dimensional hypersurfaces
Project: HToMS
Updated at: 01-01-2025
Diffeomorphisms of discs
Project: HToMS
Updated at: 01-01-2025
You Shall Speak My Language: In Defense of Linguistic Specificity and Rigorous Comparativism
Project: NONWESTLIT
Updated at: 01-01-2025
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale
Project: ELVER
Updated at: 01-01-2025
The Arm Morello Evaluation Platform—Validating CHERI-Based Security in a High-Performance System
Project: ELVER
Updated at: 01-01-2025
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
Project: ELVER
Updated at: 01-01-2025
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic
Project: ELVER
Updated at: 01-01-2025
Cakes That Bake Cakes: Dynamic Computation in CakeML
Project: ELVER
Updated at: 01-01-2025
Improving Security with Hardware Support: CHERI and Arm's Morello
Project: ELVER
Updated at: 01-01-2025
Wait-Free Weak Reference Counting
Project: ELVER
Updated at: 01-01-2025
Verified security properties for the capability-enhanced CHERI-MIPS architecture
Project: ELVER
Updated at: 01-01-2025
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
Project: ELVER
Updated at: 01-01-2025
Social acceptance in coastal and marine protected areas: Port-cros national park (France)
Project: FIDELIO
Updated at: 01-01-2025
Periodic Reporting for period 2 - RobustStats (Robust statistical methodology and theory for large-scale data)
Project: RobustStats
Updated at: 01-01-2025
Complete dataset: 4 additional figures and 3 tables from A biocodicological analysis of the medieval library and archive...
Project: B2C
Updated at: 01-01-2025
The Book of Uí Mhaine: An Interdisciplinary Analysis of the Materiality of the Gaelic Manuscript Tradition
Project: B2C
Updated at: 01-01-2025