Concept

Floor and ceiling functions

Related publications (34)

Semiclassical methods in conformal field theories scrutinized by the epsilon-expansion

Conformal Field Theories (CFTs) are crucial for our understanding of Quantum Field Theory (QFT). Because of their powerful symmetry properties, they play the role of signposts in the space of QFTs. Any method that gives us information about their structure ...

EPFL2022

Data reduction for mixed integer linear programming in complex energy systems

François Maréchal, Luc Girardin, Julia Granacher, Luise Middelhauve, Natalija Ljubic

The task of optimally designing and scheduling energy systems with a high share of renewable energies is complex and computationally demanding. A widespread method for tackling this task is to apply mixed integer linear programming (MILP). Even though the ...

2021

Orthros: A Low-Latency PRF

Subhadeep Banik

We present Orthros, a 128-bit block pseudorandom function. It is designed with primary focus on latency of fully unrolled circuits. For this purpose, we adopt a parallel structure comprising two keyed permutations. The round function of each permutation is ...

2021

Improving First-Order Threshold Implementations of SKINNY

Andrea Felice Caforio, Daniel Patrick Collins, Subhadeep Banik, Ognjen Glamocanin

Threshold Implementations have become a popular generic technique to construct circuits resilient against power analysis attacks.In this paper, we look to devise efficient threshold circuits for the lightweight block cipher family SKINNY. The only threshol ...

Springer, Cham2021

TiCl3-Mediated Synthesis of 2,3,3-Trisubstituted Indolenines: Total Synthesis of (+)-1,2-Dehydroaspidospermidine, (+)-Condyfoline, and (-)-Tubifoline

Qian Wang, Jieping Zhu, Cyril Piemontesi, Bastien Delayre

2,3,3-Trisubstituted indolenine constitutes an integral part of many biologically important monoterpene indole alkaloids. We report herein an unprecedented access to this skeleton by a TiCl3-mediated reductive cyclization of tetrasubstituted alkenes bearin ...

WILEY-V C H VERLAG GMBH2020

Tweaking Key-Alternating Feistel Block Ciphers

Lei Wang, Hailun Yan

Tweakable block cipher as a cryptographic primitive has found wide applications in disk encryption, authenticated encryption mode and message authentication code, etc. One popular approach of designing tweakable block ciphers is to tweak the generic constr ...

Springer, Cham2020

The Area-Latency Symbiosis: Towards Improved Serial Encryption Circuits

Andrea Felice Caforio, Subhadeep Banik, Muhammed Fatih Balli

The bit-sliding paper of Jean et al. (CHES 2017) showed that the smallest-size circuit for SPN based block ciphers such as AES, SKINNY and PRESENT can be achieved via bit-serial implementations. Their technique decreases the bit size of the datapath and na ...

2020

Forbidden induced subposets of given height

Istvan Tomon

Let P be a partially ordered set. The function La* (n, P) denotes the size of the largest family F subset of 2([n]) that does not contain an induced copy of P. It was proved by Methuku and Palvolgyi that there exists a constant C-P (depending only on P) su ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2019

Lonely Runner Polyhedra

Matthias Schymura

We study the Lonely Runner Conjecture, conceived by Jörg M. Wills in the 1960's: Given positive integers n_1, n_2, ... , n_k, there exists a positive real number t such that for all 1 \le j \le k the distance of t n_j to the nearest integer is at least 1 / ...

2018

Collapse phenomena of deformed cavitation bubbles

Outi Supponen

Cavitation bubbles are a topic of long-standing interest owing to the powerful phenomena associated with their collapse. Their unique ability to focus energy typically causes damage in hydraulic machinery (turbines, pumps, propellers, ...) but, if managed ...

EPFL2017

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.