Concept

Fonction thêta

Publications associées (136)

On Proving and Disproving Equivalence of Functional Programming Assignments

We present an automated approach for verifying the correctness of programming assignments, such as ones arising in a functional programming course. Our approach takes a small set of reference implementations and a set of student implementations and checks, ...

2021

Une approche computationnelle du cadastre napoléonien de Venise

Frédéric Kaplan, Isabella Di Lenardo, Raphaël Barman, Federica Pardini

At the beginning of the 19th century, the Napoleonic administration introduced a new standardised description system to give an objective account of the form and functions of the city of Venice. The cadastre, deployed on a European scale, was offering for ...

2021

Covers Of Rational Double Points In Mixed Characteristic

Javier Alonso Carvajal Rojas

We further the classification of rational surface singularities. Suppose (S, n, k) is a 3-dimensional strictly Henselian regular local ring of mixed characteristic (0, p > 5). We classify functions f for which S/(f) has an isolated rational singularity at ...

2021

Understanding the footprint of human needs: housing functions as the missing link

Claudia Rebeca Binder Signer, Anna Pagani

To respond to the need for a drastic reduction in the environmental footprint of housing, the residential sector must meet a wide range of requirements. The opportunities for architecture are innumerable but cannot be grasped by the discipline alone. Housi ...

2021

A systems perspective for residential preferences and dwellings: housing functions and their role in Swiss residential mobility

Claudia Rebeca Binder Signer, Anna Pagani

Worldwide, there is an urgent imperative to provide a housing supply that is environmentally sustainable as well as acceptable and desirable for its users. A holistic and integrative understanding of the relationship between households’ residential prefere ...

2021

MATHICSE Technical Report: THU-Splines - Highly Localized Refinement on Smooth Unstructured Splines

Xiaodong Wei

We present a novel method named truncated hierarchical unstructured splines (THU-splines) that supports both local h-refinement and unstructured quadrilateral meshes. In a THU-spline construction, an unstructured quadrilateral mesh is taken as the input co ...

MATHICSE2021

Tenants’ residential mobility in Switzerland: the role of housing functions

Claudia Rebeca Binder Signer, Anna Pagani, Ivo Philippe Baur

The interaction between residential preferences and dwellings is a complex system whose function thus far remains insufficiently explored. In this paper, we investigate housing functions as orchestrators of households’ residential mobility in the context o ...

2021

Function Integration, Reconstruction And Approximation Using Rank-1 Lattices

Fabio Nobile, Giovanni Migliorati

We consider rank-1 lattices for integration and reconstruction of functions with series expansion supported on a finite index set. We explore the connection between the periodic Fourier space and the non-periodic cosine space and Chebyshev space, via tent ...

2021

A Spectral Algorithm for 3-valued Function Equivalence Classification

Mathias Soeken

Spectral techniques for Boolean and multiple-valued functions have been well studied and found to be useful in logic design and testing for conventional circuits. Spectral techniques also have potential application for reversible and quantum circuits. This ...

OLD CITY PUBLISHING INC2020

A conformal dispersion relation: correlations from absorption

Din Carmi

We introduce the analog of Kramers-Kronig dispersion relations for correlators of four scalar operators in an arbitrary conformal field theory. The correlator is expressed as an integral over its "absorptive part", defined as a double discontinuity, times ...

2020

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