Concept

Logical form

Related publications (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

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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

Chat with Graph Search

Modular and reconfigurable desktop microfactory for high precision manufacturing

Adversarial vulnerability bounds for Gaussian process classification

Argument discovery via crowdsourcing

Machine Translation with Many Manually Labeled Discourse Connectives

LISA – A Modern Proof System

Orthologic with Axioms

Contact process under renewals II

A decomposition of multicorrelation sequences for commuting transformations along primes

Programmable Logic Gates Based On Tunable Multistable Mechanisms

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