Sites Inria

There are 3 Results with the keyword : "Inria Paris"

Start-up

The startup Antescofo is finalist in the SXSW Accelerator Pitch Event

A.A. (*) - 6/02/2018

Barely four months after the introduction of Metronaut, its first mobile application, Antescofo, a startup spun off from Inria’s Paris research centre, is one of the five finalists in the Entertainment and Content Technologies category of SXSW’s Accelerator Pitch Event. What is Metronaut’s goal? Making artificial intelligence available to musicians so they never have to play alone.

Keywords:

Home > Centre > Paris > News > La start-up Antescofo finaliste du concours de pitch officiel de SXSW

More

© INRIA Sophie Auvin - G comme Grille

Resarch team 's seminary

Gallium Seminary

5/03/2018

Static analyses aim at inferring semantic properties of programs. While many analyses compute an over-approximation of reachable states, some analyses compute a description of the input-output relations of programs. In the case of numeric programs, several analyses have been proposed that utilize relational numerical abstract domains to describe relations.

Place : Inria de Paris- 2 rue Simone Iff- 75012

Guest(s) : Hugo Illous- ENS

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© www.korkeasaari.fi/helsinki-zoo/

Research

Ambiciti measures the animal noise exposure of the Helsinki Zoo

19/03/2018

What kind of impact does the city noise have on tigers and other zoo occupants? Helsinki Zoo and Forum Virium Helsinki, the innovation unit of the City of Helsinki, are using smart technology to study the noise experienced by animals and its impacts in collaboration with Inria, the French national research institute on digital sciences and technologies and Ambiciti, a global environmental data service startup company.

Keywords:

Home > Centre > Paris > News > Ambiciti mesure l’exposition au bruit des animaux du zoo d’Helsinki

More

Top