Return to François Le Gland
or ASPI home page.
Selection Board
[Universities, etc. - abroad |
in France |
Institutes |
Folks]
[Libraries / Bibliothèques |
Publications / Preprints |
Journals |
Books |
Publishers]
[Lists, Newsletters, etc. |
(Hot) Research Topics |
Research Networks]
[Software, Libraries, etc. |
Hardware]
[Societies |
Agencies]
[Miscellaneous]
[Conferences |
in 1995 |
1996 | 1997 |
1998 | 1999 |
2000 | 2001 |
2002 | 2003 |
2004 | 2005 |
2006 | 2007 |
2008 | 2009 |
2010 | 2011 |
2012 | 2013 |
2014 | 2015 |
2016 | 2017 |
2018 | 2019 |
2020]
[Conference Centers]
Institutes, Universities, etc. - abroad
Europe (including Israël)
Asia and Oceania
North America
Institutes, Universities, etc. - in France
- Laboratoire
de Probabilités et Modèles Aléatoires (LPMA),
Université Pierre et Marie Curie /
Université Denis Diderot, Paris
- Laboratoire de Statistique
Théorique et Appliquée (LSTA),
Université Pierre et Marie Curie, Paris
- Laboratoire de Statistique
et Probabilités (LSP), Université Paul Sabatier,
Toulouse
- Laboratoire
d'Analyse, Géométrie et Applications (LAGA),
Université Paris-Nord, Villetaneuse
- Laboratoire de Finance
des Marchés de l'Énergie (FiME),
Université Paris-Dauphine + CREST + EDF R&D
- Centre de Recherche
en Mathématique de la Décision (CEREMADE),
Université Paris-Dauphine
- Centre d'Enseignement et
de Recherche en Mathématiques, Informatique
et Calcul Scientifique (CERMICS), École Nationale
des Ponts et Chaussées
- Équipe
Probabilités,
Statistique et Modélisation, Laboratoire
de Mathématiques, Université Paris-Sud, Orsay
- Institut de Recherche
Mathématique de Rennes (IRMAR), Université
de Rennes 1
- Département Signal et
Images (TSI), École Nationale Supérieure
des Télécommunications (ENST)
- Centre de
Mathématiques Appliquées (CMAP), École
Polytechnique
- Laboratoire Jacques-Louis
Lions, Université Pierre et Marie Curie, Paris
- Institut Pierre Simon Laplace
(IPSL)
Institutes
- Alan Turing Institute
- Alfred Wegener Institut (AWI),
Helmholtz-Zentrum für Polar und Meeresforschung, Bremerhaven
- Woods Hole Oceanographic Institution
(WHOI)
- Centre International
de Mathématiques Pures et Appliquées (CIMPA)
- Centre Européen de Calcul
Atomique et Moléculaire (CECAM), Lausanne
- Mathematical Sciences Research
Institute (MSRI), Berkeley
- Institute for Mathematics
and its Applications (IMA), Minneapolis
- Mathematisches Forschungsinstitut
Oberwolfach
- Institute
of Statistical Mathematics (ISM), Tokyo
- International Centre
for Mathematical Sciences (ICMS), Edinburgh
- European Institute
for the Study of Randomness (EURANDOM), Eindhoven
- Fields Institute
for Research in Mathematical Sciences, Toronto
- Isaac Newton Institute
for Mathematical Sciences, Cambridge
- Institut Henri
Poincaré (IHP), Paris
- Statistical and Applied
Mathematical Sciences Institute (SAMSI), Research Triangle Park
Folks
Libraries / Bibliothèques
- Centres de documentation de l'INRIA :
- Bibliothèque
de l'Institut de Recherche Mathématique de Rennes (IRMAR)
(catalogue)
- Service Commun de
Documentation (SCD) de l'Université de Rennes 1
- Bibliothèque du Groupe
des Écoles Nationales de l'Économie et de la Statistique (ENSAE,
ENSAI)
- Institut de l'Information Scientifique
et Technique (INIST)
(catalogue)
- Bibliothèque
Interuniversitaire Scientifique de Jussieu (BIUSJ)
- Réseau National
des Bibliothèques de Mathématiques (RNBM) :
- Zentralblatt für Mathematik
MATH Database 1931-present
(French mirror sites in
Grenoble,
Strasbourg)
- Current Index
to Statistics (CIS)
- MathSciNet,
AMS Mathematical Reviews on the web
- Project
Euclid
(mathematics and statistics journals)
- JSTOR
(scholarly journal archive)
- NUMDAM
(numérisation de documents anciens mathématiques)
- ISTEX (socle de la bibliothèque
numérique nationale)
- Math-Net.Ru
(all-russian mathematical portal)
- INSPEC ®,
database for Physics, Electronics and Computing
- IEEE
Xplore
®,
technical literature in Electrical Engineering,
Computer Science, and Electronics
-
BookFinder, the largest (if not the most
legal) ebook library
-
LibGen,
the Library Genesis Project, an even better ebook library
- Sci-Hub, by Alexandra Elbakyan
from Kazakhstan, removing barriers in the way of science
Publications / Preprints
- HAL-INRIA Open Archive /
Archive Ouverte.
- IRISA Publications
(Publications Internes
2005,
2004,
2003,
2002,
2001,
2000,
1999,
1998,
1997,
1996,
1995,
1994,
1993)
- INRIA Publications
(Rapports de Recherche
2006,
2005,
2004,
2003,
2002,
2001,
2000,
1999,
1998,
1997,
1996,
1995,
1994,
1993)
- MCMC
Preprint Service
Journals
Probability, Statistics
Control, Engineering
Books
- Level
Set Methods and Fast Marching Methods, by James Sethian [presentation
by
the author]
-
Level
Set Methods, by James Sethian [presentation
by
the author]
- An Introduction to Continuity, Extrema,
and Related Topics for General Gaussian Processes,
by Robert Adler
- Recursive
Nonlinear Estimation. A Geometric Approach, by Rudolf Kulhavý
- Markov
Processes and Differential Equations : Asymptotic Problems, by Mark
Freidlin
- Linear Operators, by Nelson
Dunford and Jacob Schwartz
- Measure Theory and Fine Properties
of Functions, by Lawrence Evans and Ronald Gariepy
[book
review in the Bulletin of the AMS]
- Generalized
Solutions of First Order PDE's, by Andrei Subbotin
-
Mathematical Control Theory, by Eduardo Sontag
- A Weak Convergence Approach to the Theory
of Large Deviations, by Paul Dupuis and Richard Ellis
- Large
Deviations for Performance Analysis, by Adam Shwartz and Alan Weiss
[presentation
by
the authors]
-
The Malliavin Calculus and Related Topics, by David Nualart
-
Non-negative Matrices and Markov Chains, by Eugene Seneta
-
Markov Chains and Stochastic Stability, by Sean Meyn and Richard Tweedie
[presentation by
the authors]
-
Algorithmes Stochastiques, by Marie Duflo
- Geometry of Sets
and Measures in Euclidean Spaces, by Pertti Mattila
-
Geometric Measure Theory, by Herbert Federer
-
Diffusion Processes and their Sample Paths, by Kioshi Itô
and Henry P. McKean, Jr
-
Non-Regular Statistical Estimation, by Masafumi Akahira
and Kei Takeuchi
- Numerical
Solution of Initial-Value Problems in Differential-Algebraic
Equations, by Kathryn Brenan, Stephen Campbell and Linda Petzold
- Nonnegative
Matrices in the Mathematical Sciences, by Abraham Berman
and Robert Plemmons
- Mathematical
and Computational Techniques for Multilevel Adaptive Methods, by
Ulrich Rüde
- H-infinity
Optimal Control and Related Minimax Design Problems, by Tamer
Basar and Pierre Bernhard
Publishers
Conference Centers
Lists, Newsletters, etc.
- Stochastic
Analysis Digest (SAD), by René Carmona and Rick Durrett
- Probability
Abstract Service (PAS), by Rich Bass, Chris Burdzy, Mike Sharpe
and Larry Susanka
- Electronic
Journal of Probability / Electronic Communications
in Probability (EJP / ECP), by Chris Burdzy, René Carmona
and Greg Lawler
- The
Probability
Web, by Bob Dobrow (originally by Phil Pollett)
- Systems
and Control Archive at Dallas (SCAD) (including
the E-Letter
on Systems, Control, and Signal Processing, by Anton Stoorvogel
and Siep Weiland)
- The E-Letter
on Systems, Control, and Signal Processing
- IEEE Working Groups (WG) / Technical Commitees (TC)
- Signal Processing Information
Base (SPIB) (including
the E-Letter
on Digital Signal Processing, by Vijay Madisetti and Doug Williams)
- Wavelet Digest,
by Wim Sweldens
(Hot) Research Topics
- Observable
Operators Models (OOM), by Herbert Jaeger
- Scale-Invariant Feature
Transform (SIFT) Keypoint Detector, by David Lowe
- Laboratoire IFSTTAR
Géolocalisation
- LoRa
Geolocation, by Semtech
- Multilevel
Monte Carlo (MLMC), by Mike Giles
- Gaussian Processes,
by Carl Edward Rasmussen
- Monte Carlo Theory,
Methods and Examples, by Art B. Owen
- Darts, Dice,
and Coins: Sampling from a Discrete Distribution, by Keith Schwarz
- Neural Information Processing Systems (NIPS) Foundation
- Association for Uncertainty in Artificial
Intelligence (AUAI)
- Voronoi Diagrams, by Chris Gold
- Stochastic Programming,
by The Committee on Stochastic Programming (sic)
- Bayesian
Bounds, by Harry Van Trees and Kristine Bell
- Ensemble Kalman Filter (EnKF),
by Geir Evensen
- Random Set Filtering,
by Daniel Clark and Ba-Ngu Vo
- Sequential
Monte Carlo Methods (SMC), by Nick Whiteley (originally
by Nando de Freitas, Elena Punskaya)
- Sequential
Monte Carlo Methods and Particle Filters Resources,
by Arnaud Doucet
- Hidden Markov
Chain Models and Recent Extensions, by Stéphane Derrode
- Quantum
Monte Carlo (QMC) and the CASINO program, by Mike Towler
- Monte Carlo N-Particle Transport
Code (MCNP) at Los Alamos National Laboratory
- CONDENSATION
(conditional density propagation) algorithm,
by Andrew Blake and Michael Isard
- Markov Chain Monte
Carlo (MCMC), by Steve Brooks
- Bayesian
Sites, at Duke University
- Bayesian Inference
using Gibbs Sampling (BUGS), at Cambridge University
- Perfectly
Random Sampling with Markov Chains, by David B. Wilson
- Fast
Marching Methods and Level Set Methods, by James A. Sethian
- Rare Event
Simulation, at Universität Bremen
- Models Based on Lévy
Processes, by Ole E. Barndorff-Nielsen and Neil Shephard
- Monte
Carlo Localization (MCL), state estimation in mobile robotics using
particle filters, by Dieter Fox
- Cross-Entropy Method,
by Reuven Y. Rubinstein
- Nested
Sampling, by John Skilling (website by
David MacKay)
- Ant Colony
Optimization (ACO), by Marco Dorigo
- Managing Uncertainty in Complex
Models (MUCM)
- Optimization Online,
a repository of e-prints about optimization and related topics
- GENITOR,
genetic algorithms research at Colorado State University
Research Networks
- Thematic Cycle on
Monte
Carlo Techniques,
Uncertainty Propagation
+ Particle Methods
+ Stochastic Algorithms for Big Data
(Bruno Bouchard, Emmanuel Gobet and Benjamin Jourdain, co-ordinators),
October 2015 to June 2016
- Thematic Semester on
Mathematics of Risk
and Applications
- Groupe Parisien
Bachelier
- Laboratoire d'Excellence (labex)
Modèles Mathématiques
et Économiques de la Dynamique, de l'Incertitude et des Interactions
(MME-DII)
- Laboratoire d'Excellence (labex)
Analyse Multivariée
des Extrêmes et du Risque Alimentaire (AMERISKA)
- Initiative d'Excellence (ibex) Paris-Saclay :
Institut pour le Contrôle
et la Décision (iCODE)
- Laboratoire d'Excellence (labex)
Agence pour
les Mathématiques en Interaction avec l'Entreprise et
la Société (AMIES)
- Laboratoire d'Excellence (labex)
Centre de Mathématiques Henri
Lebesgue (CHL) à Rennes
- Laboratoire d'Excellence (labex)
Centre International
de Mathématiques et d'Informatique (CIMI) à Toulouse
-
Fondation Mathématique
Jacques Hadamard (FMJH)
-
Programme Gaspard Monge
pour l'Optimisation et la Recherche Opérationnelle (PGMO)
- Fondation Sciences
Mathématiques de Paris
- CNRS Action Spécifique du Département STIC
Réseaux de Communications
et Automatique (AUTO-TELECOM) (Jean-Pierre Richard, animateur)
- CNRS GdR
Mathématiques
et Entreprises
- CNRS GdR
Méthodes d'Analyse Stochastique
pour les Codes et Traitements Numériques (MASCOT-NUM)
- CNRS GdR
Mathématiques de l'Optimisation
et Applications (MOA)
- CNRS GdR
Advanced Model Order Reduction
in Engineering and Sciences (AMORE)
- CNRS GdR
Structure de la Turbulence
et Mélange
- CNRS GdR
Interaction de Particules (GRIP)
- CNRS GdR
Modélisations
Mathématiques et Simulations Numériques liées aux
Problèmes de Gestion des Déchets Nucléaires
(MOMAS)
- CNRS GdR
Recherche
Opérationnelle (RO)
- CNRS GdR
Information, Signal, Images
et Vision (ISIS)
- CNRS GdR
Automatique
- CNRS GdR
Robotique
- CNRS GdR
Architecture, Réseaux
et Systèmes (ARP)
- CNRS GdR
Algorithmique, Langage
et Programmation (ALP)
- Groupement d'Intérêt Scientifique (GIS)
Surveillance, Sûreté
et Sécurité des Grands Systèmes (3SGS)
- Programme National
Robotique et Entités
Artificielles (ROBEA)
- Marie Curie Initial Training Network on
Tracking in Complex Sensor Systems
(TRAX)
- Marie Curie Initial Training Network on
Monte Carlo Management and Processing
of Sensor Data (MC IMPULSE)
- Marie Curie Initial Training Network on
Sensitivity Analysis
for Deterministic Controller Design (SADCO)
- Marie Curie Initial Training Network on
Dynamics
of Architecturally Complex Polymers (DYNACOP)
- Marie Curie Initial Training Network on
Nano-Architecture
of Polymers (NANOPOLY)
- IHP Programme on
Statistical Physics, Combinatorics
and Probability : from Discrete to Continuous Models (Mireille
Bousquet-Mélou, Jérémie Bouttier,
Grégory Miermont and Gilles Schaeffer, organizers)
- IHP Programme on
Interacting Particle Systems,
Statistical Mechanics and Probability Theory (Roberto Fernández,
Pablo Ferrari, Fabio Martinelli, Pierre Picco and Ellen Saada, organizers)
- Space Project on
Stochastic Assimilation for
the Next Generation Ocean Model Applications (SANGOMA)
(Jean-Marie Beckers, coordinator)
- IST Project on
Distributed
Control and Stochastic Analysis of Hybrid Systems (HYBRIDGE)
(Henk Blom, coordinator)
- Joint EUROCONTROL /
EC Programme on
Single
European Sky ATM Research (SESAR)
- FP7 Space Project on
Prediction, Protection and Reduction
of Orbital Exposure to Collision Threats (P²ROTECT)
- Aerospace Project on
Safety Based Design and Validation of
Highly Automated Air Traffic Management (iFLY)
(Henk Blom, coordinator)
- Aerospace Project on
Reduced Separation Minima (RESET)
(José Miguel de Pablo Guerrero, coordinator)
- Aerospace Project on
4 Dimension Contract-Guidance
and Control (4DCo-GC)
- Aerospace Project on
Innovative Future Air Transport
System (IFATS) (Claude Le Tallec, coordinator)
- Aerospace Project on
Helicopter and Aeronef
Navigation Airborne System Experimentations (PEGASE)
(Bruno Patin, coordinator)
- IST Project on
Fluid Image analysis and Description
(FLUID) (Étienne Mémin, coordinator)
- Integrated Project LIAISON
(Rémi Challamel, coordinator)
- IHP Network on
Statistical Methods
for Dynamical Stochastic Models (DYNSTOCH)
(Michael Sørensen, coordinator)
- TMR Network on
System
Identification (Jan van Schuppen, coordinator)
- TMR Network on
Nonlinear Control
(Françoise Lamnabhi-Lagarrigue, coordinator)
- TMR Network on
Stochastic Analysis and its
Applications (Terry Lyons, coordinator)
- TMR Network on
Spatial
and Computational Statistics (Gareth Roberts, coordinator)
- ERC Grant on
Molecular
Simulation: Modeling, Algorithms and Mathematical Analysis (MSMath)
(Tony Lelièvre, principal investigator)
- ERC Grant on
Large
Deviations and Non Equilibrium Phase Transitions for Turbulent Flows, Climate,
and the Solar System (TRANSITION),
(Freddy Bouchet, principal investigator)
- ERC Grant on
Mathematical Methods for Robust Financial Risk
Management (ROFIRM)
(Nizar Touzi, principal investigator)
- European Research Consortium
for Informatics and Mathematics (ERCIM)
- ESF Programme on
Advanced Mathematical Methods
for Finance (AMaMeF)
(Bernt Øksendal, coordinator)
- ESF Network on Highly
Structured Stochastic Systems (HSSS)
- SAMSI Programme on
Uncertainty
Quantification (Amy Braverman, Don Estep, Roger Ghanem, David Higdon,
Christine Shoemaker and Jeff Wu, co-chairs)
- SAMSI Programme on
Sequential
Monte Carlo Methods (Arnaud Doucet and Simon Godsill, co-chairs)
- MITACS Project on
Prediction
in Interacting Systems (PINTS) (Michael Kouritzin, project leader)
- EPSRC Centre for Doctoral Training
Mαthematics of Planet Earth,
a joint programme of Imperial College and of the University of Reading
- SCOR Project on
Marine Biogeochemical Cycle
of Trace Elements and their Isotopes (GEOTRACES)
- Projet ANR (programme Blanc, Mathématiques et Interactions, 2005)
Méthodes
de Monte Carlo Adaptatives (Adap'MC) (Éric Moulines,
coordinateur)
- Projet ANR (programme Calcul Intensif et Grilles de Calcul, 2006)
Grid
in Mathematical Finance (Bernard Lapeyre, coordinateur)
- Projet ANR (programme Technologies Logicielles, 2007)
Open Source Platform for Uncertainty
Treatment in Simulation (OPUS) (Guennadi Andrianov, coordinateur)
- Consortium
ReDICE
- Consortium
DICE (Deep Inside Computer
Experiments)
- Initiative
OpenTURNS
(Open Source Initiative to Treat Uncertainties, Risks and Statistics)
- Projet ANR (programme Blanc, Mathématiques et Interactions, 2008)
Méthodes
de Monte Carlo en Grande Dimension (Big'MC) (Gersende Fort,
coordinateur) +
séminaire
mensuel à l'IHP
- Projet ANR (programme Blanc, Mathématiques et Interactions, 2008)
Approches
Spatio-Temporelles pour la Modélisation du Risque (AST&Risk)
(Véronique Maume-Deschamps, coordinateur)
- Projet ANR (programme Blanc, Mathématiques et Interactions, 2009)
Méthodes
Géométriques et Échantillonnage. Application
à la Simulation Moléculaire (MEGAS) (Tony Lelièvre,
coordinateur)
- Projet ANR (programme Systèmes Embarqués et Grandes
Infrastructures, 2009)
Contrôle Tolérant
aux Pannes pour les Systèmes Embarqués (FAUTOCOES)
(François Dufour, coordinateur)
- Projet ANR (programme Jeunes Chercheuses et Jeunes Chercheurs,
Mathématiques et Interactions, 2012)
PDMP Inférence,
Évolution, Contrôle et Ergodicité (PIECE)
(Florent Malrieu, coordinateur)
- Projet ANR (programme Blanc, Mathématiques et Interactions, 2012)
Stabilité du
Comportement Asymptotique d'EDP, de Processus Stochastiques et de leurs
Discrétisations (STAB)
(François Bolley et Ivan Gentil, coordinateurs)
- Projet ANR (programme Modèles Numériques, 2012)
Interacting Systems and Optimal
Transportation, Applications to Computational Economics (ISOTACE)
(Jean-David Benamou, coordinateur)
- Projet ANR (programme Modèles Numériques 2012)
Numerical Black-Box Optimization
(NumBBO) (Anne Auger, coordinateur)
- Projet ANR (programme Blanc, Matériels et Logiciels pour
les Systèmes et les Communications, 2013)
Méthodes Bayésiennes
non Paramétriques pour le Traitement du Signal et de l'Image (BNPSI)
(Pierre Chesnais, coordinateur)
- Projet ANR (programme Blanc, Science Informatique et Applications, 2013)
Stochastic Models:
Scalable Model Checking (STOCH-MC)
(Blaise Genest, coordinateur)
- Projet ANR (défi Société de l'Information et de
la Communication, 2014)
Computational Statistics
and Molecular Simulation (COSMOS)
(Gabriel Stoltz, coordinateur)
- Projet ANR (défi Énergie Propre, Sûre et Efficace, 2015)
Control and Simulation of Electrical
Systems, Interaction and Robustness (CAESARS)
(Emmanuel Gobet, coordinateur)
- Projet ANR (défi Autres Savoirs, 2016)
Mean-Field Games (MFG)
(Pierre Cardaliaguet, coordinateur)
- ARC INRIA
Filtrage
Particulaire pour le Contrôle du Mouvement en Animation Physique
sous Contraintes Statistiques (FANTASTIK) (Lionel Reveret,
coordinateur)
- ARC INRIA
Populations, Game Theory,
and Evolution (POPEYE) (Eitan Altman, coordinateur)
- ARC INRIA
Méthodes
Hybrides et Simulation Moléculaire (HYBRID) (Erwan Faou,
coordinateur)
- Laboratoire International de Recherche
en Informatique et Mathématiques Appliquées (LIRIMA)
- EA Statistical Inference for
the Management of Extreme Risks and Global Epidemiology (SIMERGE)
Software, Libraries, etc.
Virtual meetings: software
Virtual meetings: hardware
- Python:
Tutorial
- FilterPy,
a Python library that implements a number of Bayesian filters (see
resampling routines)
- POT, Python optimal transport
toolbox
- OTT, optimal transport
tools JAX package
- SciPy, a Python-based ecosystem
of open-source software for mathematics, science, and engineering
- Matplotlib, visualization with Python
- NumPy, fundamental package for scientific
computing in Python
(a Python library that provides a multidimensional array object,
various derived objects (such as masked arrays and matrices),
and an assortment of routines for fast operations on arrays, including
mathematical, logical, shape manipulation, sorting, selecting, I/O,
discrete Fourier transforms, basic linear algebra,
basic statistical operations, random simulation and much more)
- SciPy library, open-source
software for mathematics, science, and engineering
- Plotly, open-source
graphing library
- The R Project for Statistical
Computing
- R Markdown, from
R Studio,
an integrated development environment for R
- R-INLA,
integrated nested Laplace approximations (R package), by Håvard Rue
-
pomp,
statistical inference for partially-observed Markov processes (R package),
by Aaron King, Edward Ionides et al.
- hsmm,
hidden semi Markov models (R package),
by Jan and Ingo Bulla
- sensitivity,
sensitivity analysis (R package),
by Gilles Pujol, Bertrand Iooss and Alexandre Janon, with contributions
from Laurent Gilquin, Loïc Le Gratiet and Paul Lemaître
- GNU Octave,
a scientific programming language,
drop-in compatible with many Matlab scripts
- XQuartz project,
an open-source effort to develop a version of the X Window System on OS X
- X.Org project,
an open source implementation of the X Window System
- HTML tutorial on W3Schools
- TeX Users Group (TUG)
- Comprehensive TeX Archive Network (CTAN)
- beamer,
a LaTeX class for producing presentations and slides
- LaTeX on Wikibooks
- MathJax,
an open-source JavaScript display engine for LaTeX, MathML and AsciiMath
notation to be displayed in a browser
- JabRef, the efficient way
to collect and organize bibliographic data
- Inkscape (vector graphics
editor) :
guide
en français par Tavmjong Bah
- Ipe (drawing editor for
figures in PDF or (encapsulated) Postscript format), by Otfried Cheong
- GIMP (GNU Image Manipulation Program)
- Dia (diagram editor),
by Steffen Macke
- DjVu to PDF
converter
- Video to GIF
converter, by ezgif.com
- TransportMaps
(construction of deterministic multi-dimensional couplings,
induced by transport maps, between distributions),
Python package by the Uncertainty Quantification Group at MIT
- WeaGETS
(MATLAB-based daily scale weather generator for generating precipitation
and temperature), by Jie Chen
- Library for Bayesian Inference (LibBi)
at CSIRO
- TOMS178
(black-box minimization using Hooke-Jeeves direct search),
MATLAB library by John Burkardt, originally written (in Algol) by Artur Kaupe
- FRESHS (flexible rare-event sampling
harness system),
by Kai Kratzer
and Josh Berryman
- CHARMM (chemistry
at Harvard Macromolecular Mechanics),
molecular simulation program, maintained by a large group of developers
led by Martin Karplus
-
TRIPOLI-4,
3D general purpose continuous energy Monte Carlo transport code,
by Émeric Brun, Frédéric Damian, Éric Dumonteil, François-Xavier Hugot, Yi-Kang Lee, Fausto Malvagi, Alain Mazzolo, Odile Petit, Jean-Christophe Trama, Thierry Visonneau, Andrea Zoia, all from CEA Saclay
(documented at the Nuclear Energy Agency (NEA))
- MATLAB Rare
Event Toolbox (estimator of probability and quantile related to rare
event problems), by Teddy Furon
- CLP
(linear programming, simplex solver),
at the Computational Infrastructure
for Operations Research (COIN-OR),
originally written by John Forrest (IBM)
- PRISM (probabilist model
checker), by
Dave Parker, Gethin Norman and Marta Kwiatkowska
- Machine Learning
Software (miscellaneous), by Kevin Murphy and students
- Icy (software resources
to visualize, annotate and quantify bioimaging data)
- Library
of Efficient Data Types and Algorithms (LEDA)
- Scalable Parallel
Pseudo Random Number Generators (SPRNG) library for parallel
Monte Carlo computations, at the
National Center for Supercomputing
Applications (NCSA)
- The Numerical Analysis
Group, Ltd. (NAG)
- Scilab
(scientific software package for numerical computations)
- The MathWorks, Inc.
(Matlab
Help Desk (version 6.0, release 12) at IRISA
)
- NetLib (repository
of mathematical software, data, documents, address lists,
and other useful items)
- MGNet
(repository for information related to the multigrid, multilevel, and
domain decomposition methods)
- German Scientific
Computing, Fachgruppe Scientific Computing of the Deutsche
Mathematiker-Vereinigung (DMV)
- Gnans,
by Bengt Martensson
- Differential
Algebraic Equations (DAE) Research Group, at the University
of Minnesota
- The Hidden Markov
Model Tool Kit (HTK),
from Entropic Research
Laboratory, Inc.
- HMMER, profile hidden Markov
models for biological sequence analysis, by Sean Eddy
- SAM,
Sequence Alignment and Modeling System
- Modelica, a non-proprietary,
object-oriented, equation based language to conveniently model
complex physical systems
Hardware
Societies
Probability, Statistics
Mathematics, Applied Mathematics
Control, Engineering
Finance, Insurance
Geosciences
Agencies
Miscellaneous
Back to François Le Gland
home page