Concept

Interprétation (logique)

Publications associées (37)

The Fifth Typology: A Symposium on Type and Architecture

A type is not a model or an image to be copied, but the deep structure of how things are put together. The Symposium revisits the concept of type by critically reading its previous deﬁnitions and by offering a new interpretation of this rather elusive, but ...

2023

For the House Poor: The Fuggerei as an Early Example of Affordable Housing

Theodora Giovanazzi

Conference abstract: A type is not a model or an image to be copied, but the deep structure of how things are put together. The Symposium revisits the concept of type by critically reading its previous deﬁnitions and by offering a new interpretation of thi ...

2023

Surprise and novelty in the brain

Wulfram Gerstner, Johanni Michael Brea, Alireza Modirshanechi, Sophia Becker

Notions of surprise and novelty have been used in various experimental and theoretical studies across multiple brain areas and species. However, 'surprise' and 'novelty' refer to different quantities in different studies, which raises concerns about whethe ...

CURRENT BIOLOGY LTD2023

Nothing New Under the Sun: Novelty Constructs and Measures in Social Studies

Davide Bavato

The concept of novelty is central to questions of creativity, innovation, and discovery. Despite the prominence in scientific inquiry and everyday discourse, there is a chronic ambiguity over its meaning and a surprising variety of empirical measures, whic ...

Emerald Publishing Limited2022

Memoryless Worker-Task Assignment with Polylogarithmic Switching Cost

Adam Teodor Polak

We study the basic problem of assigning memoryless workers to tasks with dynamically changing demands. Given a set of w workers and a multiset T ⊆ [t] of |T| = w tasks, a memoryless worker-task assignment function is any function ϕ that assigns the workers ...

Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik2022

Methodological review and detailed guidance for the life cycle interpretation phase

Xun Liao, Alexis Laurent

Life cycle interpretation is the fourth and last phase of life cycle assessment (LCA). Being a "pivot" phase linking all other phases and the conclusions and recommendations from an LCA study, it represents a challenging task for practitioners, who miss ha ...

WILEY2020

Axiomatic scale theory

Martin Alois Rohrmeier, Daniel Harasim

Scales are a fundamental concept of musical practice around the world. They commonly exhibit symmetry properties that are formally studied using cyclic groups in the field of mathematical scale theory. This paper proposes an axiomatic framework for mathema ...

TAYLOR & FRANCIS LTD2020

Insights into image contrast from dislocations in ADF-STEM

Cécile Hébert, Emad Oveisi, Maria Chiara Spadaro

Competitive mechanisms contribute to image contrast from dislocations in annular dark-field scanning transmission electron microscopy (ADF-STEM). A clear theoretical understanding of the mechanisms underlying the ADF-STEM contrast is therefore essential fo ...

ELSEVIER SCIENCE BV2019

Corpora Delicti

Alexandre Blanc, Marco Bakker

CORPORA DELICTI, The Significant Detail. The Corpus Delicti is the evidence of a crime. The term denotes the formation of a proof that allows the unmasking of a perpetrator. In the realm of interpretation and language, it could reveal matter on which an ac ...

MANSLAB2017

Solving quantified linear arithmetic by counterexample-guided instantiation

Viktor Kuncak, Andrew Joseph Reynolds

This paper presents a framework to derive instantiation-based decision procedures for satisfiability of quantified formulas in first-order theories, including its correctness, implementation, and evaluation. Using this framework we derive decision procedur ...

2017

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search