inria - software assets - energy
DESCRIPTION
Inria's software assets Cities, Energy and Climate for France India Techno Summit october 2013TRANSCRIPT
Inria, a public research institute established in 1967, produces excellent research in
mathematics and computational sciences. The institute covers the entire spectrum of
research at the heart of these areas of activity, and works also on issues asked by other
sciences and by economic and societal actors.
Inria can be considered as a software provider. Indeed, approximately 1000 software are
currently developed of which a large part is distributed with an open source license. Inria is
convinced that this production deserves to be more widely known among academic and
economical actors as it is a source of value creation, which is one of Inria's missions.
The India France Technology Summit is an opportunity to raise awareness of this software
production. Thus, this catalog offers an extract from software assets, as part of the Summit
themes such as health, smart cities, smart grid, critical embedded software, etc. .
You can find all these software files, and many others on
Icommunity: https://www.icommunity.fr/patrimoine-technologique-inria
APISENSE®
APISENSE platform is a software solution
to collect various contextual information
from Android devices (client application)
and automatically upload collected data
to a server (deployed as a SaaS).
APISENSE is based on a Cloud
computing infrastructure to facilitate
datasets collection from significant
populations of mobile users for research
purposes.
The software architecture of APISENSE
ensures privacy to the mobile application users
(CNIL certified) and preserves the device’s
battery.
Due to its openness, the platform is adaptable
to different requirements and fosters the
deployment of experiments.
Language & environment : Java, Scala,
JavaScript & Python available for Windows,
Unix and MacOS X. Android mobile application
Mots clefs : mobile sensing, crowd-sensing, crowd-sourcing, Android
Licence : open platform for research activities and proprietary license for industrial applications
http://www.apisense.fr
Academic partner:
Contact: [email protected]
ATL (AtlanMod Transformation Language) is a
tool dedicated to model transformation,
complete, integrated into Eclipse and including
its own development & execution environment,
concrete examples as well as the
corresponding associated documentation
Language, standard, environment: Eclipse, EMF, Java
http://www.eclipse.org/m2m/atl/
Innovative aspects:
Support for all model types (e.g., UML2),
declarative (QVT-like) and imperative
syntaxes.
Keywords: MDA, MDE, ATL, QVT, model, transformation
License: Eclipse Public License (EPL)
Partners:
Main fields of application: Code generation preparing, reverse engineering of legacy systems, tool interoperability, etc. More generally, any context implying model processing.
Contact: [email protected]
BlobSeer is a large-scale distributed storage service for advanced management of massive data.
Validated on Nimbus, OpenNebula and Microsoft Azure cloud platforms.
Innovative aspects: BlobSeer leverages versioning and distributed metadata management to sustain a high throughput under heavy data access concurrency. Up to 30% improvement for MapReduce applications with respect to Hadoop.
Language : C++, Python, Ruby
Keywords: cloud storage, versioning,
distributed metadata, MapReduce
License : LGPL
Main fields of application: Advanced storage services for data-intensive cloud applications.
http://blobseer.gforge.inria.fr/
Academic partners:
Contact: [email protected]
Toolbox for optimization of controlled dynamical systems.
Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use.
Innovative aspects: highly flexible toolbox,
with state-of-the-art algorithms, advanced and
user-friendly GUI
Language, environment:
C++, Linux / Mac / Windows
Keywords:
control, optimization, toolbox
License: EPL (core)
Possible proprietary modules
Main fields of application: transportation,
energy, process optimization, and biology
URL: www.bocop.org
Academic partners :
Contact: [email protected]
CALU solves linear systems of equations Ax=b
using Communication Avoiding LU. Innovative aspects: CALU addresses a major challenge in HPC, the exponentially increasing cost of communication with respect to computation.
It attains lower bounds on communication
and it employs novel lightweight scheduling
techniques to be able to adapt to dynamic
changes in the system.
Progressively different algorithms as QR,
RRQR, will be integrated in the library.
Programming language: C and Pthreads
Keywords: linear algebra, communication avoiding
License : open source
Main fields of application: can be used to
solve very ill-conditioned problems or as a
building block of iterative methods.
https://who.rocq.inria.fr/Laura.Grigori/
Contact: ALPINES [email protected]
Static scheduling
time
Static + 10% dynamic scheduling
100% dynamic scheduling
Choose your Optimizer! COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem.
Innovative aspects: Tedious task of running experiments, postprocessing and visualization entirely automatized. Database of different benchmarked algorithms with the platform available.
Language, environment: C, Java, Matlab and Octave, Python Keywords: benchmarking, numerical optimization, black-box optimization.
License: BSD
Main fields of application: Any field where one needs to solve numerical optimization problem in black-box scenario, such as biology, physics (for parameter calibration), engineering design (launcher, airplane, car, ...).
http://coco.gforge.inria.fr/doku.php
Academic partners:
Contact: [email protected]
Language, environment: Java : Linux, MacOS & Windows
Keywords: Semantic Web, Social Web, Search Engine, RDF, SPARQL
License: Open source (CeCILL-C)
Innovative aspects: Corese 3.0 is a lightweight generic modular implementation of RDF(S) and SPARQL 1.1 in main memory
http://wimmics.inria.fr/corese
Corese is a Semantic Web Factory implementing W3C RDF, RDFS, SPARQL 1 .1 Query & Update as well as SPARQL rules for RDF Main fields of application: Generic
Engine e-learning, biology, geology, engineering design, cartography, technological watch, social networks analysis, etc
Academic partners: I3S, CSTB, INRA, IFP, IGN, …
Services offering & developments :
DiaSuiteBOX proposes an application store that gathers the devices deployed at home. This store is open and available online such as an application store for Smartphone.
Innovative aspects: - Creation of innovative applications that enable cross-device interoperability - Customizable and evolutive smart home platform. - Reduced cost of our platform by using and gathering inexpensive devices.
Language, environment: Java, Eclipse
Keywords: Smart home, Open application store, Development tool suite, Application certification.
License: A previous version of our DiaSuite tool suite is available online: http://diasuite.inria.fr.
Main fields of application: Smart Home, Assisted Living
http://diabox.inria.fr
Contacts: [email protected] [email protected]
Graphite
Graphite is a dedicated software platform in
numerical geometry that enables, among other
things, 3D modelling and texture baking.
Innovative aspects: Graphite offers a wide range of functionalities including parameterisation, multi-resolution analysis and digital optimisation.
Graphite was awarded two prizes at the "Trophées du Logiciel Libre 2009", a special prize for the "most innovative project" and third prize in the "scientific software" category.
Language/System: C++ language, Available for Linux and Windows.
http://alice.loria.fr/software/graphite
Main fields of application: all graphic
applications (CAD, video games, etc)
Keywords: CAD, 3D modelling, Numerical Geometry, Visualisation, Texturing, Lighting.
License: GNU GPL
Contact: [email protected]
H2OLab
Innovative aspects: Generation of random fields
Generation and meshing of random fracture networks
Multilevel parallelism : subdomains, particles, random
samples.
Language, environment: C++ Modular structure, distributed parallelism with MPI Integrated development environment (Visual, Eclipse) Continuous integration server (Jenkins) Project management (Gforge, Redmine) Free numerical libraries (CGAL, HYPRE, etc).
License: license agreement on demand MICAS consortium of 4 research laboratories.
Main fields of application: Groundwater resources management Prevention and remediation of pollutions Nuclear waste deep storage CO2 sequestration Energy resources exploitation (geothermy, oil, gas).
URL: http://h2olab.inria.fr/
Academic partners:
Contact: [email protected]
Modeling and numerical simulation of aquifers
Porous and fractured heterogeneous media
Flow with mixed finite elements
Solute transport with a Lagrangian method
Stochastic modeling for data uncertainty.
Keywords: Modeling, simulation, multiscale,
uncertainly, heterogeneity, hydrogeology,
groundwater, contamination, energy.
Hips is a hybrid “à la carte” software programme for solving sparse linear equation systems with the degree of precision and time/memory commitment required and desired by the user.
Innovative aspects: Hips is THE solution for solving systems combining several difficulties: very large n (number of equations in the system >1 billion), 3D mesh and high level of complexity.
Hips is hybrid: according to the needs of the problem, Hips mobilises direct or iterative solving methods.
Language: Fortran, C
Keywords: HPC, parallel computing, solving sparse linear systems, hybrid direct iterative method.
License : LGPL/CECILL C
Main fields of application: - simulation of physical phenomena (reservoirs, electromagnetics) - magnetohydrodynamics - fluid flows - manipulation of abstract concepts (finance...)
http://hips.gforge.inria.fr/
Partition of space around an airplane for parallel computing.
Solving a system with Hips:
Using the iterative method with interfaces
Using the direct method inside domains
Contact: [email protected]
Language, environment: - C (Linux, MacOS, Windows, Android) - Java virtual machine
Keywords: Web 2.0, house automation, multimédia, office
License : Open source (GPL)
Innovative aspects: HOP offers, in a single syntax, all of the functionalities necessary for the programming of multimedia applications, from communication protocols (http) to traditional algorithmics as well as the generation of HTML pages.
http://hop.inria.fr/
Programming language which uses the web as an execution platform and targets interactive multimedia applications
HOP
« Portable Hardware Locality »
hwloc discovers your computers’ topology and
exposes it as an abstracted and portable
hierarchical tree.
Technological barrier: Users may now visualize the topology within a graphical interface and consult many architectural and computing characteristics.
Language: C
Keywords: Topology, locality, affinities, HPC, MPI, GPU
License: new BSD licence
Main fields of application: hwloc’s main
goal consists in assisting applications for
retrieving easy-to-use information about
modern compute server architectures so as
to exploit their power in a more convenient
and efficient manner.
http://www.open-mpi.org/projects/hwloc/
Academic partners: Open MPI consortium, Argonne Nationa Lab., etc.
Contact: [email protected]
JITS –Java In The Small– is a software platform which allows Java applications to be migrated automatically to various embedded systems such as smart cards, networked sensors or minimalist games consoles.
Innovative aspects: The JITS tool chain can be used to roll out software on very restricted platforms. It is therefore possible to run Java programs on media for which a conventional virtual machine does not work. JITS also incorporates analysis software including STAN, which, during roll-out, checks that there are no data leakages where the software is installed and thus imposes a high security level.
Keywords: Embedded systems, Java, highly restricted environments.
License: pperating licences are negotiated on a case by case basis.
Academic partners:
http://stan-project.gforge.inria.fr
Contact: [email protected]
Java In The Small
Kadeploy 3 is a full rewrite of the Kadeploy 2 tool initially developed at IMAG. In order to achieve a larger scale, the design was completely reviewed and Kadeploy 3 is based on dedicated large-scale tools. Since the deployment process operates at a low level, special care was devoted to the detection of critical incidents in the deployment of large numbers of nodes.
Innovative aspects: Kadeploy 3 offers users the flexibility required to personalise deployment and thus meet all their reconfiguration needs.
Main fields of application: Grid'5000 platform, academic computing centres and industrial cluster users
http://gforge.inria.fr/projects/kadeploy3
License: CECILL Licence V2
Language, standard, environment:
Ruby, Bash
Keywords: environment configuration
Contact: [email protected]
The Kermeta workbench is a powerful meta-
programming environment based on an object-
oriented DSL (Domain Specific Language)
optimized for metamodel engineering.
.
License: EPL
http://kermeta.org/
Academic Partners:
Innovative aspects: Kermeta allows to define and enrich new programming languages by improving the way to specify, simulate and test operational semantics of metamodels.
Main fields of application: Agile software developent, model engineering Key words : MOF (Meta Object Facility), OMG (Object Management Group), Metamodelisation
Coding and Operating System: Java, Kermeta
Contact: [email protected]
Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.
Language: C++, R, Matlab et Scilab
Environment: Windows & Linux
Keywords: classification , mixed data, data
mining, data modeling.
License: GNU GPL
Innovative aspects: Mixmod included a library of calculation (mixmodLib) and tools adapted to a wide spectrum of users and needs: a graphical user interface (mixmodGUI), functions for R environments (Rmixmod) and Matlab (mixmodForMatlab)..
http://www.mixmod.org
Academic partners:
Contact: [email protected]
MobIoT
Middleware for the Large-scale Internet of Mobile Things that handles the large number of active mobile devices by preventing redundant ones from registering their services
Innovative aspects: Support the development of IoT applications based on knowledge about the real world.
Handle a large number (billions) of mobile devices based on probabilistic models
Language, environment: Java, Android
Keywords: mobile Internet of Things
License: LGPL, Dual License
Main fields of application: participartory mobile sensing , IoT applications
Academic partners
Contact: [email protected]
Registry
Service Consumer
Service Providers
2
Registration
Lookup
Access
1
2
3
3
1
Innovative aspects: Moose accelerates production of software analyses by providing expandable models and reusable libraries. Several models are offered for static or dynamic analysis of programmes, development logs, procedural code or aspect.
Smalltalk (open-source Pharo) Windows, Linux, Mac
Main fields of application: Retro-engineering, Meta-modelling, Software visualisation
License: BSD licence
http://www.moosetechnology.org
Academic partners:
Moose is an extensive platform for software and data analysis. It offers multiple services ranging from importing and parsing data, to modeling, to measuring, querying, mining, and to building interactive and visual analysis tools.
Contact: [email protected]
Multifrontal Massively Parallel Solver solves sparse linear systems of the form A x = b.
Innovative aspects:
MUMPS is a direct solver, used worldwide in
many fields related to digital simulation, in
academic as well as industrial codes. Its main
characteristics are its numerical stability, large
number of functionalities and high
performance.
Language, standard, environment: Fortran and C languages, available for Unix, Windows or Mac OS, parallel calculators.
http://graal.ens-lyon.fr/MUMPS
Spinning wheel (courtesy of SAMTECH)
Academic partners:
Keywords: sparse matrices, direct solvers, high-performance calculation, finite element modelling
Licence: Open source
Contact: [email protected]
- Visual programming (dataflow)
- Coupling via plugins
- Interactive computation and visualization
- Distributed computing
Innovative aspects: Plateform for the aggregation of software components (plugins) dedicated to multi-disciplinary numerical simulation in HPC environment
Language, environment: C++, libraries Qt, vtk, mpi
Keywords: simulation, plateform, HPC
License: free for academic usage
Coupling of models (aerodynamics, electromagnetics, structural mechanics), coupling of numerical methods (finite-volume, finite-element, discontinuous Galerkin, linear solver, mesh generation, etc)
http://num3sis.inria.fr
Contact: [email protected]
Innovative aspects: Versatility, customisation, scaling up, control of complexity, flexible scheduler.
Language: Perl, Ruby, Ocaml, Bash, SQL. Available for UNIX: Debian, Centos, RedHat.
License: GPL Partners: Used by (among others) Grid’5000, SensLAB, Mesocentre CIMENT, BRGM.
Main fields of application: Use of infrastructures for high-performance computing.
http://oar.imag.fr
A task and resource management tool for computing infrastructures.
Keywords: resource manager, clusters, light
grid, cloud, HPC.
Contact: [email protected]
OCaml
The OCaml language is a functional programming
language that combines safety with expressiveness
through the use of a precise and flexible type system with
automatic type inference. The OCaml system is a
comprehensive implementation of this language, featuring
two compilers (a bytecode compiler, for fast prototyping
and interactive use, and a native-code compiler producing
efficient machine code for x86, ARM, PowerPC and
SPARC), a debugger, a documentation generator, a
compilation manager, a package manager, and many
libraries contributed by the user community.
Innovative aspects: OCaml is one of the three most widely-used functional programming languages, and the only one that seamlessly combines functional, imperative and object-oriented programming within a single type system.
Language, environment: Programmed in OCaml and in C, the OCaml system supports Linux, BSD, MacOS X, and Microsoft Windows.
Keywords: functional programming, static typing, symbolic computation, compilation, static analysis.,
License: OCaml is free software, distributed under QPL and LGPL licences. A specific BSD-like license is offered to members of the Caml Consortium.
Main fields of application: Symbolic computation : compilers, code generators, static analyzers, formal verification tools, automated theorem provers, interactive proof assistants. High-level systems, network and Web programming. OCaml is also used in the financial industry, notably for modeling and pricing complex financial products.
http://caml.inria.fr/ http://ocaml.org/
Contact: [email protected]
OpenMASK (Modular Animation and Simulation
Kit) is a platform for modular heterogeneous
and distributed applications supporting
development and execution in animation,
simulation and virtual reality fields.
Key Words: Virtual reality, simulation, man-machine interfaces.
http://www.openmask.org/
Academic Partners:
Innovative aspects: In OpenMASK, the modularity unit is the simulated object (OSO). It can be used to model and to control an entity or a virtual object behaviour or motion control as well as imput devices.
Main fields of application: Manufacturing industry, sports, education, training.
License: QPL
Coding and Operating System: C++, Windows and Linux.
Contact: [email protected]
ParadisEO
Paradiseo is a software framework for
metaheuristics (optimisation algorithms aimed
at solving difficult optimisation problems). It
facilitates the use, development and
comparison of classic, multi-objective, parallel
or hybrid metaheuristics.
Innovative aspects: ParadisEO offers implementations of numerous classic metaheuristics from literature as well as innovative new metaheuristics. This software can also be used for parallelisation of metaheuristics.
Main fields of application: ParadisEO is used to solve large-scale optimisation problems in a wide variety of fields, such as transport, logistics, telecommunication systems and bioinformatics.
Language, environment: available for Windows, Unix and Mac OS X, Language C++, CMake
Keywords: Metaheuristics, parallelisation.
License: freeware available
http://paradiseo.gforge.inria.fr/
Academic partners:
ParadisEO-PEO
ParadisEO-EO
ParadisEO-MO ParadisEO-MOEO
EO : Population-based metaheuristics
MO : Single solution-based metaheuristics
MOEO : Metaheuristics for multiobjective optimisation
PEO : Hybrid, parallel and distributed metaheuristics
Contact: [email protected]
Pharo
By providing a stable and small core system,
excellent dev tools, and maintained releases,
Pharo is an attractive platform to build and
deploy mission critical Smalltalk applications.
Innovative aspects:
Providing a stable system, a simple kernel,
excellent development tools and regular
updates, Pharo is an attractive platform for
creating and rolling out critical applications in
Smalltalk.
Language, environment: Operates under Windows, Unix, Mac OS X and iPhone.
Keywords : Object programming, reflective system, Smalltalk.
License: MIT
http://www.pharo-project.org
Academic partners:
Contact: [email protected]
(PT-)Scotch
Scotch is a graph partitioner. It helps optimise the division of a problem, by means of a graph, into a set of independent sub-problems of equivalent sizes. These sub-problems can also be solved at the same time.
Innovative aspects: Scotch calculates partitions on a sequential machine and PT-Scotch on a parallel machine.
PT-Scotch can handle very large graphs (2 billion vertices or more) on several tens of thousands of processors.
The quality of solutions provided by PT-Scotch does not depend on the number of processors on which it runs.
Language: C
Keywords: high-performance calculation, graph algorithmics, domain decomposition, mesh partitioning, sparse matrix ordering
License: CECILL C
Main fields of application : distributing a scientific problem's computing load across the processors of a parallel machine, placement of VLSI circuits, combinatorial optimisation, etc...
http://www.labri.fr/~pelegrin/scotch/
Partitioning of edges into 8
parts.
Each part is allocated to a
different processor.
Partitioning vertices to reorder
blocks of a sparse matrix.
Contact: [email protected]
Portable Java middleware designed for the distributed and parallel multi-core calculation. It allows the progamming and the execution of parallel applications as well as ressources management (workstations, servers, clusters, grids or cloud)
Language, environment: Java (Linux, MacOS, Windows)
Keywords: distributed computing, grids, cloudcomputing
License :
- Open source (AGPL)
- Proprietary within
Main fields of application: Distributed systems and services
Innovative aspects: Distributed active objects, seamless components migration, large scale communicating software components
proactive.inria.fr ProActive
SAMSON
A software platform for real-time modelling and
simulation of natural or artificial nanosystems.
Language, standard, environment: C++, available for Windows, Unix and Mac OS X
Keywords: Modelling, Simulation, Nanosystems, Structural Biology, Chemistry
http://nano-d.inrialpes.fr/
Innovative aspects:
The specific interest of SAMSON lies in the
integration of simulation methods during the
modelling phase: adaptive and interactive
simulation algorithms immediately provide
information on the consequences of modelling
choices.
Academic partners
Contact: [email protected]
Innovative aspects: the added value of Scikit-Learn lies with the great quality and robustness of the functions available in its library. All functions are also extremely well documented.
Language, environment: Scientific Python (Scipy)
Keywords: Machine-Learning, Classification, regession , clustering
License: BSD
Main fields of application: Data mining, and more generaly any field requiring robust machine-learning solutions
Academic partners: Telecom Paris, CEA
Industrial Partners: Nuxeo, Saint Gobain, Logilab, Tinyclues
http://scikit-learn.org
Contact: [email protected]
Scikit-learn is a Python module integrating classic machine learning algorithms in the tightly-knit scientific Python world. It aims to provide simple and efficient solutions to learning problems, accessible to everybody and reusable in various contexts: machine-learning as a versatile tool for science and engineering.
Selalib
Selalib (SemiLagrangian Library) is a collection of modules conceived to aid in the development of plasma physics simulations, particularly in the study of turbulence in fusion plasmas. Selalib offers basic capabilities from general and mathematical utilities and modules to aid in parallelization, up to pre-packaged simulations.
Mettre une image
représentative
des fonctions du logiciel
Innovative aspects: unavailability of basic software building blocks for simulations using the semilagrangian method. Need to include software engineering practices in an academic research environment.
Language, environment: Fortran 2003
Keywords: plasma physics, semilagrangian method, parallel computing, plasma turbulence
License: open source (Cecill-B), not released yet.
Main fields of application: high-level modules in the library are specialized for plasma physics. Low-levels are usable in parallel computing applications.
http://selalib.gforge.inria.fr/
Academic partners: University of Strasbourg, Max Planck Insitute - Garching.
Contact: [email protected]
Keywords Large-Scale Distributed Systems; Reproducible Experiments; Simulation, Emulation.
License: GNU LGPL
http://simgrid.gforge.inria.fr/
Academic Partners:
Contact: [email protected]
Idea or
MPI code
Experimental
Setup
+ ⇝
Scientific Results
Models
SimGrid
SimGrid is Versatile It provides models of Network, CPU and Disks adapted to (Data)Grids, P2P, Clouds, Clusters and HPC, allowing multi-domain studies.
SimGrid is Easy-to-use Users can quickly setup a controlled simulation environment to develop and test new ideas with minimal technical effort.
SimGrid is Scalable The simulation engine uses algorithmic and implementation techniques toward the fast simulation of large systems on a single machine.
SimGrid is Trustworthy The models are theoretically grounded and experimentally validated. The results are reproducible, enabling better scientific practices.
Scientific Instrument for the study of Large-Scale Distributed Systems
SimGrid is Open Due to its community-development philosophy, it has been adopted by many researchers around the globe. Several associated tools are contributed by its large user community.
SimGrid is Usable Ported to all major platforms and programming languages, it comes with an extensive tooling.
Snooze : a Self-Organizing and Energy Aware Cloud Management Framework.
Innovative aspects: - Energy conservation in clouds - Generic scheduling engine supporting VM placement, relocation and reconfiguration algorithms - Fault-tolerance - Self-organizing self-healing hierarchical architecture.
Language, environment: Java
Keywords: Cloud computing, energy
management, consolidation, fault-tolerance,
self-organization, self-healing, virtualization
License: GPL v2
Main fields of application: - Private cloud providers - Testbed for evaluation of VM scheduling algorithms in a real environment
http://snooze.gforge.inria.fr/
Contact: [email protected]
StarPu
A runtime system for heterogeneous
parallel machines
Goals:
• Dynamically schedule tasks on all
processing units - CPU + GPU, Xeon Phi
• Minimize data transfers between
accelerators
Language: C (C++, Fortran)
Keywords: GPU, multicore, scheduling, performance
License: LGPL
http://runtime.bordeaux.inria.fr/StarPU/
Parallel Compilers
Applications
StarPU
Drivers (CUDA, OpenCL)
CPU
Parallel Libraries
GPU Xeon Phi
Target for
• Compilers: StarSs [UPC], HMPP
[CAPS entreprise]
• Parallel Libraries: MAGMA [UTK, USA]
Main fields of application:
• Energy, Weather Forecast,
Aeronautics, Multimedia
Academic partners:
SUP Scene Understanding Platform
SUP is a software platform for perceiving, analyzing and interpreting a 3D dynamic scene observed through a network of sensors. It encompasses algorithms allowing for the modeling of interesting activities for users to enable their recognition in real-world applications requiring high-throughput.
Innovative aspects: Detection of human (and vehicle or other) activities through video analysis and other sensors in big databases.
Language, environment: C++, cmake, multi-platform
Keywords: activity recognition
License: undetermined
Main fields of application: Health-care, security, protection of people and goods
https://team.inria.fr/stars/software
Academic partners: CHU Nice, CEA, USC California, Tainan (Taiwan), Hamburg University, I2R Singapore
Contact: [email protected]
Verdandi is a C++ library for data assimilation. It includes several methods for the coupling between one or several numerical models and observational data. Verdandi also includes tools to ease the application of data assimilation, in particular in the management of observations or for a priori uncertainty quantification. The library may be used with model implemented in Fortran, C, C++ or Python.
Innovative aspects: Verdandi shows a great genericity which makes it adapted to many numerical models (regardless of their language, data types, parallelization strategy, ...). Computing performance is not impaired by this genericity.
Langage, standard, environnement: C++, Python interface. Compatibility with Linux, MacOS et Windows.
Keywords: scientific computing, model, observation, data assimilation, state estimation, inverse modeling, uncertainties
Licence: GNU LGPL, version 2.1 or later
Main fields of application: The library may be used with any model, usually of high dimension, to be coupled with observations, for state estimation or inverse modeling.
http://verdandi.gforge.inria.fr/
Contact: [email protected]
Nitrogen dioxide concentrations over Clermont-Ferrand, after the
assimilation of observations (discs).
Middleware for managing social ecosystems which offers rich social interactions for mobile environments.
Innovative aspects: advanced social access control mechanism, ubiquitous decentralized information system, inter-application data reusage, rich API for mobile specific social sensors
Language, environment: Java SE/Android
Keywords: rdf, semantic web, social networks
License: Dual, LGPL v2.1
Main fields of application: social application development, rich social interactions
http://yarta.gforge.inria.fr/
Contact: [email protected]