Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Interprétation (logique)

Publications associées (13)

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

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

Modeling chloride transport using travel time distributions at Plynlimon, Wales

Andrea Rinaldo, Paolo Benettin

Here we present a theoretical interpretation of high-frequency, high-quality tracer time series from the Hafren catchment at Plynlimon in mid-Wales. We make use of the formulation of transport by travel time distributions to model chloride transport origin ...

Amer Geophysical Union2015

Disambiguating Discourse Connectives for Statistical Machine Translation

Andrei Popescu-Belis, Thomas Meyer

This paper shows that the automatic labeling of discourse connectives with the relations they signal, prior to machine translation (MT), can be used by phrase-based statistical MT systems to improve their translations. This improvement is demonstrated here ...

2015

Discourse-level features for statistical machine translation

Thomas Meyer

Machine Translation (MT) has progressed tremendously in the past two decades. The rule-based and interlingua approaches have been superseded by statistical models, which learn the most likely translations from large parallel corpora. System design does not ...

EPFL2015

Generalized Bombieri-Lagarias' Theorem And Generalized Li'S Criterion With Its Arithmetic Interpretation

Serguei Sekatski

We show that Li's criterion equivalent to the Riemann hypothesis, i.e., the statement that the sums k(n) = Sigma(rho)(1-(1-1/rho)(n)) over zeros of the Riemann xi-function and the derivatives lambda(n) equivalent to 1/(n-1)! d(n)/dz(n)(z(n-1) ln (xi(z)))ve ...

Springer Verlag2014

Annotating the meaning of discourse connectives by looking at their translation: The translation-spotting technique

Thomas Meyer

The various meanings of discourse connectives like while and however are difficult to identify and annotate, even for trained human annotators. This problem is all the more important that connectives are salient textual markers of cohesion and need to be c ...

2013

A formal semantics for protocol narrations

Sébastien Briais

Protocol narrations are a widely-used informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message exchanges among the protocol’s participants. Protocol narrations ha ...

2007

A Formal Semantics For Protocol Narrations

Sébastien Briais

Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message exchanges among the protocol's participants. Protocol narrations have also bee ...

2005

Publications associées (13)