Voici les 10 derniers logiciels
déposés dans HAL UGA
- Stochastic Grid Perturbation applied to an implementation of multi-layer Quasi-Geostrophic model on rectangular domain with solid boundaries.
- HySoP (Hybrid Simulation with Particles) is a library dedicated to high performance direct numerical simulation of fluid related problems based on semi-lagrangian particle methods, for hybrid architectures providing multiple compute devices including CPUs, GPUs or MICs.
- Physically corrected projectors for X-ray-induced emission CT. PyCorrectedEmissionCT is usually abbreviated to its Python module name: corrct (either pronounced "corr-C-T" or "correct").
- K-MADe (Kernel of Model for Activity Description environment) is a tool for contributing to the incorporation of ergonomics into the interactive systems design process, through task and activity analysis
- In the interest of reproducible research, this is exactly the version of the code used to generate the figures in the paper "Butterfly factorization by algorithmic identification of rank-one blocks" by the same authors, available at https://inria.hal.science/hal-04145743 with its detailed bibliographical notice. Any updates to this code will be available at https://github.com/leonzheng2/permutation-butterfly
- Source code for an eclipse plugin, allowing the user to describe ICS instances that follows the IEC 62443 zone/conduit model. Uses xtext for the textual IDE, and Sirius for the graphical one. Also contains an application, using constraint programming to reconfigure a modeled system under attack. This controller is generated from a description.
- The predicate definitions in Separation Logic (SL) play an important role: they capture a large spectrum of unbounded heap shapes due to their inductiveness. This expressiveness power comes with a limitation: the entailment problem is undecidable if predicates have general inductive definitions (ID). Iosif et al. proposed syntactic and semantic conditions, called PCE, on the […]
- […]
- This package contains functions that are used to map single-cell Probabilistic Trait Loci (scPTL). The principle of scPTL mapping is to consider a distribution of single-cell traits as the phenotype of a (multicellular) individual, to acquire this phenotype in many individuals, and to scan the genome for DNA variants that change this phenotype.
- We propose new parametrizations for neural networks in order to estimate extreme quantiles in both non-conditional and conditional heavy-tailed settings. All proposed neural network estimators feature a bias correction based on an extension of the usual second-order condition to an arbitrary order. The convergence rate of the uniform error between extreme log-quantiles and their neural […]