inria
81Claude Lemaréchal — is a French applied mathematician. In mathematical optimization, Claude Lemaréchal is known for his work in numerical methods for nonlinear optimization, especially for problems with nondifferentiable kinks. Lemaréchal and Phil. Wolfe pioneered… …
82ChorusOS — Dieser Artikel wurde aufgrund von inhaltlichen Mängeln auf der Qualitätssicherungsseite der Redaktion Informatik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Informatik auf ein akzeptables Niveau zu bringen. Hilf… …
83Détection de personne — Un exemple de détection de personnes sur une voie de circulation La détection de personne est un domaine de la vision par ordinateur consistant à détecter un humain dans une image numérique. C est un cas particulier de détection d objet, où l on… …
84G8-HORCs — Le G8 HORCs (Heads of Research Councils of G8 Countries, ou Conseils de recherche des pays du G8) est un groupe créé en 1979 sur la suggestion du professeur Heinz Maier Leibnitz (en), alors à la tête de la Fondation pour la Recherche… …
85Scilab — Infobox Software name = Scilab caption = A Screenshot of Scilab Running developer = INRIA latest release version = 5.0.2 latest release date = 2008 09 29 preview version = operating system = Linux, UNIX, Windows genre = Technical computing… …
86ATL — infobox software name = ATLAS Transformation Language developer = INRIA Free software community latest release version = 2.0.0 latest release date = release date|2008|06|25 operating system = Cross platform status = Active license = Eclipse… …
87Coq — For the coenzyme and dietary supplement, see Coenzyme Q10. Coq Paradigm(s) Functional Stable release 8.3 (October 2010; 12 months ago (2010 10)) …
88Amaya (web browser) — Infobox Software name = Amaya caption = Amaya developer = W3C, INRIA released = ? frequently updated = yes programming language = C operating system = Cross platform language = ? genre = WYSIWYG Web editor license = W3C website =… …
89MPFR — Infobox Software name = MPFR caption = developer = INRIA and others latest release version = 2.3.2 latest release date = September 12, 2008 operating system = Cross platform genre = Mathematical software license = LGPL website =… …
90Esterel — is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is very well suited for control… …
