Welcome to Mwmbl! Feel free to submit a site to crawl. Please read the guidelines before editing results.
To contribute to the index you can get our Firefox Extension here. For recent crawling activity see stats.
-
https://en.wikipedia.org/wiki/French_Institute_for_Research_in_Computer_Science_and_Automation — found via Wikipedia
French Institute for Research in Computer Science and Automation
The National Institute for Research in Digital Science and Technology (Inria) (French: Institut national de recherche en sciences et technologies du numérique)
-
http://ns.inria.fr/ — found via Mwmbl
INRIA's Namespace server
INRIA's Namespace server Namespaces are computer science practices used for naming and identifying various objects (in the large sense of the term) ; the…
-
http://raweb.inria.fr — found via Mwmbl
Inria 2023 teams activities reports
The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team me…
-
http://team.inria.fr — found via Mwmbl
Team.inria.fr – Service d'hébergement pour sites d'équipe, équip…
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
https://iww.inria.fr/ — found via Mwmbl
iWW – Inria Wide Web
Nirvana makes things easier than ever before. No coding and no extra CSS styling needed. With a simple user interface of over 200 settings you can change …
-
http://ci.inria.fr — found via Mwmbl
Continuous Integration - Inria
Further to reminders sent by e-mail at the beginning of May and June, we would like to inform you that Jenkins servers with versions prior to version 2.4…
-
http://hop.inria.fr — found via Mwmbl
Hop.js
Note: Hop also supports the Scheme programming language. With Hop.js, JavaScript and Scheme are fully interoperable and applications can mix both languag…
-
http://diy.inria.fr — found via Mwmbl
diy release seven
February 2020, 5th, release 7.55, all tools now target the X86~64bits architecture, with a new, mixed-size TSO model. Additionally the build process of h…
-
http://coq.inria.fr — found via Mwmbl
Welcome! | The Coq Proof Assistant
Coq is free, open-source software. Its development is largely supported by Inria, a French public computer science institute, but anyone can follow and p…
-
https://aio.inria.fr — found via Mwmbl
Thanks to its top-quality researchers and numerous international guests, Inria is at the forefront of networking and computer science research. In 2015, I…
-
http://cadp.inria.fr — found via Mwmbl
CADP Home page
CADP ("Construction and Analysis of Distributed Processes", formerly known as "CAESAR/ALDEBARAN Development Package") is a popular toolbox for the design…
-
http://caml.inria.fr — found via Mwmbl
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. C…
-
http://jfla.inria.fr — found via Mwmbl
Déménagement du CRI de Paris à rue Barrault – Le centre déménage…
From June 15 to June 28, the site will be moving to our new building. As a result, all locally-hosted IT resources are currently inaccessible, including …
-
http://visp.inria.fr — found via Mwmbl
ViSP
Visual servoing with ViSP Allows to control a robot equipped with a camera from measures extracted from the images. Real-time object tracking with ViSP M…
-
http://rmod.inria.fr — found via Mwmbl
RMOD
Vision The goal of RMoD is to support ever-running systems. This objective is tackled from complementary perspectives: reengineering of large systems, to…
-
http://vasy.inria.fr — found via Mwmbl
VASY Home Page
VASY (1996-2011) was a research team of INRIA and LIG working in the area of formal methods applied to safety-critical systems. The research activities o…
-
http://advi.inria.fr — found via Mwmbl
Active-DVI
Preferably use github for issues or bug reports. You may also use advi@inria.fr to get in touch with the implementors. This is the Active-DVI mailing lis…
-
http://bat8.inria.fr/ — found via Mwmbl
Virtual building 8
Virtual building 8 Welcome to ``virtual building 8'', a community of research groups at INRIA, Rocquencourt, France, with common interests in programming…
-
https://rlss.inria.fr/ — found via Mwmbl
Reinforcement Learning Summer SCOOL – 1-12 July 2019, Lille, Fra…
Reinforcement Learning Summer SCOOL What: two full weeks to discover the theory and practice of sequential decision making. Topics: RL and bandits. Where…
-
https://silm.inria.fr/ — found via Mwmbl
SILM
Home SILM semester on the Security of Software/Hardware Interfaces The security of software and hardware components used to be considered as different pr…
-
http://hevea.inria.fr — found via Mwmbl
The HEVEA Home page
License HEVEA licensing policy follows the one of Objective Caml. Basically, HEVEA is covered by the Q Public License, while parts of the OCaml runtime t…
-
http://manao.inria.fr — found via Mwmbl
manao – Research Group
The manao project aims at studying how light, matter and shape act together in synergies, at the convergence of Digital Optics and Computer Graphics , pro…
-
http://fmics.inria.fr — found via Mwmbl
Formal Methods for Industrial Critical Systems
Following an initial successful workshop bringing together ERCIM members interested in formal verification, held in Pisa in December 1992, Stefania Gnesi…
-
http://tyrex.inria.fr — found via Mwmbl
Home - Tyrex | Project
Overview We develop the foundations for the next generation of information extraction, data analysis and neuro-symbolic programming systems. Our research…
-
http://velus.inria.fr — found via Mwmbl
Vélus: Verified Lustre compiler
The Vélus project is an ongoing and long-term effort to extend techniques for formal specification and verification in Interactive Theorem Provers to the…
-
http://sisec.inria.fr/ — found via Mwmbl
SiSEC 2018 – Community-Based Signal Separation Evaluation Campai…
Home The LVA/ICA 2018 conference will include a special session on SiSEC, where you may come and present your work. If you wish to present your work at t…
-
http://www.inria.fr/en/cookies — found via Mwmbl
Cookies | Inria
Cookies Cookies are small files that may be stored on your device (PC, mobile phone or tablet) whenever you visit www.inria.fr. This page explains how co…
-
http://artis.inria.fr/ — found via Mwmbl
MAVERICK
Presentation MAVERICK Models and Algorithms for Visualization and Rendering The MAVERICK project is both a team of INRIA Grenoble Rhône-Alpes and of the …
-
http://gitlab.inria.fr — found via Mwmbl
Sign in · GitLab
Admin message Gitlab at Inria GitLab at Inria is a service offered to facilitate the scientific collaborations of people working at Inria or collaboratin…
-
http://bit.ly/2tjtzU4 — found via Mwmbl
Série – Inria : du chercheur à l’entrepreneur | Alliancy
Privacy Overview This website uses cookies to improve your experience while you navigate through the website. Out of these cookies, the cookies that are …