Publications associées à Logique épistémique

QuNex-An integrative platform for reproducible neuroimaging analytics

IntroductionNeuroimaging technology has experienced explosive growth and transformed the study of neural mechanisms across health and disease. However, given the diversity of sophisticated tools for handling neuroimaging data, the field faces challenges in ...

FRONTIERS MEDIA SA2023

Analysing the potential for modal shiftbased on the logic of modal choice

Vincent Kaufmann, Eloi Antoine Maël Bernier, Florian Lucien Jacques Masse, Ludy Juliana González Villamizar

This article explores how the logic underlying modal practices tends to modulate the population’s responsiveness to improvements in global transport supply. Based on a quantitative survey conducted in 2018–2019 among the working population of the cantons o ...

2023

4M: Massively Multimodal Masked Modeling

Amir Roshan Zamir, Oguzhan Fatih Kar, Roman Christian Bachmann, Shuqing Teresa Yeo, David Mizrahi

Current machine learning models for vision are often highly specialized and limited to a single modality and task. In contrast, recent large language models exhibit a wide range of capabilities, hinting at a possibility for similarly versatile models in co ...

Neural Information Processing Systems (Nips)2023

MultiMAE: Multi-modal Multi-task Masked Autoencoders

Amir Roshan Zamir, Roman Christian Bachmann, Andrei Atanov, David Mizrahi

We propose a pre-training strategy called Multi-modal Multi-task Masked Autoencoders (MultiMAE). It differs from standard Masked Autoencoding in two key aspects: I) it can optionally accept additional modalities of information in the input besides the RGB ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Late Fusion of the Available Lexicon and Raw Waveform-based Acoustic Modeling for Depression and Dementia Recognition

Petr Motlicek, Mathew Magimai Doss, Julian David Fritsch, Subrahmanya Pavankumar Dubagunta

Mental disorders, e.g. depression and dementia, are categorized as priority conditions according to the World Health Organization (WHO). When diagnosing, psychologists employ structured questionnaires/interviews, and different cognitive tests. Although acc ...

ISCA-INT SPEECH COMMUNICATION ASSOC2021

Temporal analysis of multimodal data to predict collaborative learning outcomes

Kshitij Sharma, Jennifer Kaitlyn Olsen

The analysis of multiple data streams is a long-standing practice within educational research. Both multimodal data analysis and temporal analysis have been applied successfully, but in the area of collaborative learning, very few studies have investigated ...

WILEY2020

Preclinical Evaluation of Photoacoustic Imaging as a Novel Noninvasive Approach to Detect an Orthopaedic Implant Infection

Riccardo Sinisi, Pavlo Khodakivskyi, Ghyslain Martial Alain Budin

Introduction: Diagnosing-prosthetic joint infection (PJI) poses significant challenges, and current modalities are fraught with low sensitivity and/or potential morbidity. Photoacoustic imaging (PAI) is a novel ultrasound-based modality with potential for ...

Lippincott Williams & Wilkins2017

Data-Interpretation methodologies for Non-Linear Earthquake Response Predictions of Damaged Structures

Ian Smith, Pierino Lestuzzi, Yves Sylvain Gilles Reuland

Seismic exposure of buildings presents difficult engineering challenges. The principles of seismic design involve structures that sustain damage and still protect inhabitants. Precise and accurate knowledge of the residual capacity of damaged structures is ...

2017

Influence of the ZnO buffer layer on the guided mode structure in Si/ZnO/Ag multilayers

Christophe Ballif, Franz-Josef Haug, Vanessa Terrazzoni-Daudrix, Thomas Söderström

We present a study of the optical mode structure in metal-dielectric multilayer structures that represent amorphous silicon thin film solar cells with metallic back contact. Knowledge of the modal structure represents a first step toward describing absorpt ...

2009

Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography

Simon Kramer

This article is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundame ...

2008