Voici les 10 derniers logiciels
déposés dans HAL UGA
- 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 […]
- Weissman extrapolation methodology for estimating extreme quantiles from heavy-tailed distributions is based on two estimators: an order statistic to estimate an intermediate quantile and an estimator of the tail-index. The common practice is to select the same intermediate sequence for both estimators. In this work, we show how an adapted choice of two different intermediate […]
- In the interest of reproducible research, this is exactly the version of the code used to generate the figures in the paper "A path-norm toolkit for modern networks: consequences, promises and challenges" by the same authors, available at https://hal.science/hal-04225201. Any updates to this code will be available at https://github.com/agonon/pathnorm_toolkit
- CamiTK 5.2.0 comes with two main new feature : 1) users can save and load a workspace in a .camitk file. The workspace includes opened components, image contrast (LUT), mesh colors, geometrical transformations between components and more; and 2) image registration using Elastix (requires "elastix" executable). It also comes with 5 bugs fixed: fancy viewer […]
- Jupyter Notebooks to generate the graphs and numbers for the article "WHOIS Right? An Analysis of WHOIS and RDAP Consistency". These notebooks extract the collected WHOIS and RDAP entries and run analysis to detect mismatches between two entries of the same domain.
- […]
- Temporal networks offer valuable insights into dynamic complex systems, capturing the evolving nature of social, biological, and technological interactions. Community structure is a critical feature of real networks, revealing the internal organization of nodes. Dynamic community detection algorithms uncover strongly connected node groups, unveiling hidden temporal patterns and community dynamics in temporal networks. However, evaluating […]