Concept

Function type

Related publications (22)

Null energy constraints on two-dimensional RG flows

We study applications of spectral positivity and the averaged null energy condition (ANEC) to renormalization group (RG) flows in two-dimensional quantum field theory. We find a succinct new proof of the Zamolodchikov c-theorem, and derive further independ ...

New York2024

Development of statistical analysis tools for global observable of fluctuation data towards optimised real-time control applications

Garance Hélène Salomé Durr-Legoupil-Nicoud

The StatComp package is a Matlab statistical toolbox developed over the years by Dr. Testa and his students. It has been inspired by M. R. Brown’s paper Magnetohydrodynamic Turbulence: Observation and experiment [2]. It first performed the analysis of the ...

2022

Window Size Effects on Subjective Impressions of Daylit Spaces: Indoor Studies at High Latitudes Using Virtual Reality

Marilyne Andersen, Jan Wienold, Kynthia Chamilothori

Daylight provision to the indoor space is affected by different building elements that cannot be fully controlled by the users, such as the window size of a space. The dimensions of the fenestration not only affect the lighting levels, but they also affect ...

2020

Perceptual effects of daylight patterns in architecture

Kynthia Chamilothori

The profound impact of daylight on occupants is broadly recognized in the fields of architecture and lighting. In particular, the façade and its interplay with light is a central design element, while the diversity of daylight in space is widely acknowledg ...

EPFL2019

$A_1$-type subgroups containing regular unipotent elements

Donna Testerman

Let be a simple exceptional algebraic group of adjoint type over an algebraically closed field of characteristic and let be a subgroup of containing a regular unipotent element of . By a theorem of Testerman, is contained in a connected subgroup of of type ...

2019

Aligning Multilingual Word Embeddings for Cross-Modal Retrieval Task

Karl Aberer, Rémi Philippe Lebret, Alireza Mohammadshahi

In this paper, we propose a new approach to learn multimodal multilingual embeddings for matching images and their relevant captions in two languages. We combine two existing objective functions to make images and captions close in a joint embedding space ...

Association for Computational Linguistics2019

Optimization of sample size and order size in an inventory model with quality inspection and return of defective items

Rafael Batista, Naoufel Cheikhrouhou

To ensure all products as perfect, inspection is essential, even though it is not possible to inspect all products after producing them like some special type products as plastic joint for the water pipe. In this direction, this paper develops an inventory ...

SPRINGER2018

Implementing Higher-Kinded Types in Dotty

Martin Odersky, Guillaume André Fradji Martres, Dmytro Petrashko

dotty is a new, experimental Scala compiler based on DOT, the calculus of Dependent Object Types. Higher-kinded types are a natural extension of first-order lambda calculus, and have been a core construct of Haskell and Scala. As long as such types are jus ...

ACM2016

IT Service Alignment Verification of Quantitative Properties in Service Design

Alain Wegmann, Gorica Tapandjieva Sekulovska

Despite many years of research, alignment of business and IT services remains a challenge. In this paper we show how to verify the quantitative properties of a service against stakeholder requirements during service design. We model the service with the Sy ...

2015

Computation Over Gaussian Networks With Orthogonal Components

Michael Christoph Gastpar, Chien-Yi Wang

Function computation over Gaussian networks with orthogonal components is studied for arbitrarily correlated discrete memoryless sources. Two classes of functions are considered: 1) the arithmetic sum function and 2) the type function. The arithmetic sum f ...

Institute of Electrical and Electronics Engineers2014

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.