Concept

Identité (mathématiques)

Publications associées (15)

A Determinantal Identity for the Permanent of a Rank 2 Matrix

We prove an identity relating the permanent of a rank 2 matrix and the determinants of its Hadamard powers. When viewed in the right way, the resulting formula looks strikingly similar to an identity of Carlitz and Levine, suggesting the possibility that t ...

TAYLOR & FRANCIS INC2022

Towards Continuous and Ambulatory Blood Pressure Monitoring: Methods for Efficient Data Acquisition for Pulse Transit Time Estimation

Lara Orlandic

We developed a prototype for measuring physiological data for pulse transit time (PTT) estimation that will be used for ambulatory blood pressure (BP) monitoring. The device is comprised of an embedded system with multimodal sensors that streams high-throu ...

2020

L'oeuvre de Leandro V. Locsin (1928-1994), architecte à la recherche de l'identité élusive de l'architecture philippine du second après-guerre

Jean-Claude Girard

Filipino architect Leandro Valencia Locsin (Silay1928 - Makati 1994) produced an architectural work that involved 250 projects, of which at least more than half were completed and mostly in his country of origin. A graduate in architecture of San Tomas de ...

EPFL2018

Reconciling Utility with Privacy in Genomics

Jean-Pierre Hubaux, Mathias Jacques Jean-Marc Humbert, Amalio Telenti, Erman Ayday

Direct-to-consumer genetic testing makes it possible for everyone to learn their genome sequences. In order to contribute to medical research, a growing number of people publish their genomic data on the Web, sometimes under their real identities. However, ...

2014

Reconciling Utility with Privacy in Genomics

Jean-Pierre Hubaux, Mathias Jacques Jean-Marc Humbert, Amalio Telenti, Erman Ayday

2014

Darwinians, Communitarians and Missionaries: The Role of Founder Identity in Entrepreneurship

Marc Gruber, Emmanuelle Fauchart Foray

Drawing on social identity theory, we explore the identities, behaviors and actions of 49 firm founders in the sports-related equipment industry. Our analysis suggests the existence of three pure types of founder identities and shows how these identities s ...

Academy of Management2011

Counter-Measures to Photo Attacks in Face Recognition: a public database and a baseline

Sébastien Marcel, André Anjos

A common technique to by-pass 2-D face recognition systems is to use photographs of spoofed identities. Unfortunately, research in counter-measures to this type of attack have not kept-up - even if such threats have been known for nearly a decade, there se ...

2011

Towards Complete Reasoning about Axiomatic Specifications

Viktor Kuncak, Swen Jacobs

To support verification of expressive properties of functional programs, we consider algebraic style specifications that may relate multiple user-defined functions, and compare multiple invocations of a function for different arguments. We present decision ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

On Complete Reasoning about Axiomatic Specifications

Viktor Kuncak, Swen Jacobs

Automated software verification tools typically accept specifications of functions in terms of pre- and postconditions. However, many properties of functional programs can be more naturally specified using a more general form of universally quantified prop ...

2010

Modeling and Control of a Magnetically Levitated Planar Motor

Alireza Karimi, Roland Longchamp, Marc Kunze, Vincent Reymond

This paper deals with the modeling and control of a magnetically levitated planar motor. The actuator considered has moving coils and stationary magnets. The principal objective is to develop a model which can be implemented in simulation. Therefore, the d ...

2009

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