Concept

Logical form

Publications associées (33)

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

2023

Adversarial vulnerability bounds for Gaussian process classification

Kathrin Grosse

Protecting ML classifiers from adversarial examples is crucial. We propose that the main threat is an attacker perturbing a confidently classified input to produce a confident misclassification. We consider in this paper the attack in which a small number ...

2023

A decomposition of multicorrelation sequences for commuting transformations along primes

Florian Karl Richter

A decomposition of multicorrelation sequences for commuting transformations along primes, Discrete Analysis 2021:4, 27 pp. Szemerédi's theorem asserts that for every positive integer

k

and every

\delta>0

there exists

n

such that every subset of ${1, ...

2021

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Simon Nessim Henein, Hubert Pierre-Marie Benoît Schneegans, Ilan Vardi, Mohamed Gamal Abdelrahman Ahmed Zanaty

Binary logic operations are the building blocks of computing machines. In this paper, we present a new programmable binary logic gate based on programmable multistable mechanisms (PMM), which are multistable structures whose stability behavior depends on m ...

AMER SOC MECHANICAL ENGINEERS2020

Contact process under renewals II

We continue the study of renewal contact processes initiated in a companion paper, where we showed that if the tail of the interarrival distribution mu is heavier than t(-alpha) for some alpha < 1 (plus auxiliary regularity conditions) then the critical va ...

ELSEVIER2020

Argument discovery via crowdsourcing

Karl Aberer, Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Chi Thang Duong

The amount of controversial issues being discussed on the Web has been growing dramatically. In articles, blogs, and wikis, people express their points of view in the form of arguments, i.e., claims that are supported by evidence. Discovery of arguments ha ...

Springer Verlag2017

Urban Development Processes: Methodological Investigation into the Complexity and Dynamics of Post-socialist Cities

Marija Cvetinovic

The overall objective of this thesis is to critically address, break down and reassemble the urban development process in post-socialist cities through a set of analyses that covers urban planning strategies, real-estate interventions, participatory and ur ...

EPFL2017

Modular and reconfigurable desktop microfactory for high precision manufacturing

Zhenishbek Zhakypov

Sub-millimeter scale devices are developing rapidly taking smaller, smarter, and more precise forms. This is achieved thanks to advancements in micro-manufacturing tools and techniques. For micro-production, a miniaturization of the machinery is a prominen ...

Springer London Ltd2017

Machine Translation with Many Manually Labeled Discourse Connectives

Thomas Meyer

The paper presents machine translation experiments from English to Czech with a large amount of manually annotated discourse connectives. The gold-standard discourse relation annotation leads to better translation performance in ranges of 4–60% for some am ...

2013

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

A decomposition of multicorrelation sequences for commuting transformations along primes

Florian Karl Richter

A decomposition of multicorrelation sequences for commuting transformations along primes, Discrete Analysis 2021:4, 27 pp. Szemerédi's theorem asserts that for every positive integer

k

and every

\delta>0

there exists

n

such that every subset of ${1, ...

2021

Logical form

Orthologic with Axioms

LISA – A Modern Proof System

Adversarial vulnerability bounds for Gaussian process classification

A decomposition of multicorrelation sequences for commuting transformations along primes

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Contact process under renewals II

Argument discovery via crowdsourcing

Urban Development Processes: Methodological Investigation into the Complexity and Dynamics of Post-socialist Cities

Modular and reconfigurable desktop microfactory for high precision manufacturing

Machine Translation with Many Manually Labeled Discourse Connectives

Graph Chatbot

Chattez avec Graph Search

A decomposition of multicorrelation sequences for commuting transformations along primes

Orthologic with Axioms

Adversarial vulnerability bounds for Gaussian process classification

LISA – A Modern Proof System

Argument discovery via crowdsourcing

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Contact process under renewals II

Urban Development Processes: Methodological Investigation into the Complexity and Dynamics of Post-socialist Cities

Modular and reconfigurable desktop microfactory for high precision manufacturing

Machine Translation with Many Manually Labeled Discourse Connectives