Settling waterscapes in Europe. The archaeology of Neolithic and Bronze Age pile-dwellings.
Project: EXPLO
Updated at: 01-01-2025
Resources
10.000+ items found
Lifting the Concentration Limit of Mass Photometry by PEG Nanopatterning
Project: PHOTOMASS
Updated at: 01-01-2025
Periodic Reporting for period 3 - EXPLO (Exploring the dynamics and causes of prehistoric land use change in the cradle ...
Project: EXPLO
Updated at: 01-01-2025
Seeds of empire or seeds of friendship? The politics of the diffusion of Chinese cotton seeds in Tajikistan
Project: CLD
Updated at: 01-01-2025
Investigation of the Alcohols and Water Hydrogen Bonding Structure via Monomer Fraction Studies
Project: ElectroThermo
Updated at: 01-01-2025
On Robustness for Natural Language Processing
Project: FUN2MODEL
Updated at: 01-01-2025
A Framework for Simultaneous Task Allocation and Planning under Uncertainty
Project: FUN2MODEL
Updated at: 01-01-2025
Learning Algorithms for Verification of Markov Decision Processes
Project: FUN2MODEL
Updated at: 01-01-2025
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications
Project: FUN2MODEL
Updated at: 01-01-2025
Online control synthesis for uncertain systems under signal temporal logic specifications
Project: FUN2MODEL
Updated at: 01-01-2025
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
Project: FUN2MODEL
Updated at: 01-01-2025
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
Project: FUN2MODEL
Updated at: 01-01-2025
The Trembling-Hand Problem for LTLf Planning
Project: FUN2MODEL
Updated at: 01-01-2025
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
Project: FUN2MODEL
Updated at: 01-01-2025
Expectation vs. Reality: Towards Verification of Psychological Games
Project: FUN2MODEL
Updated at: 01-01-2025
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms
Project: FUN2MODEL
Updated at: 01-01-2025
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection
Project: FUN2MODEL
Updated at: 01-01-2025
FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
Project: FUN2MODEL
Updated at: 01-01-2025
What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications
Project: FUN2MODEL
Updated at: 01-01-2025
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction
Project: FUN2MODEL
Updated at: 01-01-2025
Learning Decision Policies with Instrumental Variables through Double Machine Learning.
Project: FUN2MODEL
Updated at: 01-01-2025
Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks
Project: FUN2MODEL
Updated at: 01-01-2025
PRISM-games 3.2
Project: FUN2MODEL
Updated at: 01-01-2025
Emergent Linguistic Structures in Neural Networks are Fragile
Project: FUN2MODEL
Updated at: 01-01-2025
Saving RNN Computations with a Neuron-Level Fuzzy Memoization Scheme
Project: CoCoUnit
Updated at: 01-01-2025
Acceleration of Automatic Speech Recognition for Low-Power Devices
Project: CoCoUnit
Updated at: 01-01-2025
Periodic Reporting for period 4 - UniSDyn (Building up a Unified Theory of Stellar Dynamos)
Project: UniSDyn
Updated at: 01-01-2025
Observability, Monitoring, and In Situ Analytics in Exascale Applications
Project: UniSDyn
Updated at: 01-01-2025
The artifactual approach to modeling
Project: LIFEMODE
Updated at: 01-01-2025