Canonical Computation without Canonical Representation

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (31)

Page 2 sur 2

On the Performance of Subjective Visual Quality Assessment Protocols for Nearly Visually Lossless Image Compression

Touradj Ebrahimi, Michela Testolina, Davi Nachtigall Lazzarotto

The past decades have witnessed rapid growth in imaging as a major form of communication between individuals. Due to recent advances in capture, storage, delivery and display technologies, consumers demand improved perceptual quality while requiring reduce ...

2023

JPEG AIC-3 Dataset: Towards Defining the High Quality to Nearly Visually Lossless Quality Range

Touradj Ebrahimi, Michela Testolina, Davi Nachtigall Lazzarotto

Visual data play a crucial role in modern society, and the rate at which images and videos are acquired, stored, and exchanged every day is rapidly increasing. Image compression is the key technology that enables storing and sharing of visual content in an ...

2023

Complexation Strategies towards Challenging Group 9 Metal Cyclopentadienyl Scaffolds

Aragorn Nathan Laverny

Cyclopentadienyl (Cp) metal complexes and their chiral counterparts (CpX) have enabled the development of challenging C-H activation transformations. While major progresses were made in developing new chiral CpX complexes and exploring their reactivity, th ...

EPFL2023

On Succinct Non-interactive Arguments in Relativized Worlds

Alessandro Chiesa

Succinct non-interactive arguments of knowledge (SNARKs) are cryptographic proofs with strong efficiency properties. Applications of SNARKs often involve proving computations that include the SNARK verifier, a technique called recursive composition. Unfort ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

NP Satisfiability for Arrays as Powers

Viktor Kuncak, Rodrigo Raya

We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is inNP. As an application, we extend the combinatory array logic fragmentto handle cardinality constraints. The resulting fragme ...

Springer, Cham2022

PERFECT: Prompt-free and Efficient Few-shot Learning with Language Models

Rabeeh Karimi Mahabadi

Current methods for few-shot fine-tuning of pretrained masked language models (PLMs) require carefully engineered prompts and verbalizers for each new task to convert examples into a cloze-format that the PLM can score. In this work, we propose PERFECT, a ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2022

On Semi-Algebraic Proofs and Algorithms

Mika Tapani Göös

We give a new characterization of the Sherali-Adams proof system, showing that there is a degree-d Sherali-Adams refutation of an unsatisfiable CNF formula C if and only if there is an ε > 0 and a degree-d conical junta J such that viol_C(x) - ε = J, where ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2022

Virtual metrology applied to milling process

Paul Arthur Adrien Pierre Dreyfus

Production quality and process efficiency are the two main drivers that lead any industrial strategy. To ensure product quality, a duality historically existed between two approaches, namely batch sampling and systematic sampling. In batch sampling, the ba ...

EPFL2022

Learning V1 Simple Cells with Vector Representation of Local Content and Matrix Representation of Local Motion

Yufan Ren

This paper proposes a representational model for image pairs such as consecutive video frames that are related by local pixel displacements, in the hope that the model may shed light on motion perception in primary visual cortex (V1). The model couples the ...

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2022

Quality criteria for multi-domain studies in the indoor environment: Critical review towards research guidelines and recommendations

Dolaana Khovalyg, Giorgia Chinazzo, Mandana Sarey Khanie, Verena Marie Barthelmes, Matteo Favero

The perception, physiology, behavior, and performance of building occupants are influenced by multi-domain exposures: the simultaneous presence of multiple environmental stimuli, i.e., visual, thermal, acoustic, and air quality. Despite being extensive, th ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Reduced representations of complexes, signals, and multifiltrations

Celia Camille Hacker

The field of computational topology has developed many powerful tools to describe the shape of data, offering an alternative point of view from classical statistics. This results in a variety of complex structures that are not always directly amenable for ...

EPFL2022