GitHub
formal-verification-of-the-session-protocol
This repository contains the resources and files related to the formal verification of the Session protocol using the Tamarin prover. The work focuses on verifying the security properties of the Session protocol in the symbolic model, encompassing peer-to-peer message delivery and onion routing.
Multi-scale-Attention-Cascade-for-Aerial-Image-Segmentation
This is an official code for "MAC: Mutil-scale Attention Cascade for aerial image segmentation", Best Paper Award of ICPRAM2024, oral paper
gsiberror
A Python class to read the records and attributes from the background error covariance matrices compatible with the Gridpoint Statistical Interpolation (in the .gcv file format)
associated-quadratic-orders
This repository contains MATLAB code which determines whether an order in a quadratic number field is locally associated or ideal-preserving and a table of known results.
dynagraph
The DynaGraph framework: a system combining classical traces dumping tools (i.e. the tshark tool and Firefox's Network Monitor component) and a ReactJS web app for live 3D graph rendering of streamed graph data derived from traces
wishart-moments-calculator
A SAGE project for calculating (symbolically and numerically) special moments of a Wishart random variable.
complex-sales-forecasting
Exploring the efficacy of statistical and econometric methodologies for sales forecasting, this repository provides a comprehensive analysis alongside code implementations, offering empirical insights to guide decision-making in the retail industry.
blas-ext-base-ndarray-ssum
Compute the sum of all elements in a one-dimensional single-precision floating-point ndarray.
esa-unicef_dengueforecastproject
A reproducible ensemble machine learning approach to forecast dengue outbreaks
grlcm-global-to-regional-and-local-circulation-models-
Easily bring General Circulation Models (GCM) into Regional or Local Circulation Models (RCM or LCM) using traditional Statistical Downscaling or Deep Learning
shady
A library implementing (only one) SHADE variant. More coming hopefully :)
psychiana-based-test-collection
CSV CB collection for Laura's use to familiarize with CB, test options, learn more about setup and structure of CB. Non-psychiana objects will likely be added.
@stdlib/ndarray-maybe-broadcast-array
Broadcast an ndarray to a specified shape if and only if the specified shape differs from the provided ndarray's shape.
h5tools-matlab
A toolbox of high-level functions for working with HDF5 files in MATLAB
predprin
Scientific workflow to predict protein-protein interactions based in a combined analysis of multiple protein characteristics.
character-queries
The official implementation of "Character Queries: A Transformer-based Approach to On-Line Handwritten Character Segmentation"
gen_fractal_star_clusters
Generate star forming regions with kinematic and spatial substructure.
sdith-rust
SDitH Signature Protocol implementation in Rust. Thesis project 2024-25 at Aarhus University, Denmark.
tensortoolbox.jl-9c690861-8ade-587a-897e-15364bc6f718
Last mirrored from https://github.com/lanaperisa/TensorToolbox.jl.git on 2019-11-19T06:42:35.764-05:00 by @UnofficialJuliaMirrorBot via Travis job 481.38 , triggered by Travis cron job on branch "master"
emit-sds-l3
Produce EMIT Level 3 products - mosaics and ESM grid scale aggregates
pmv-si-2023-2-pe1-t3-projetocarreiras
pmv-si-2023-2-pe1-t3-projetocarreiras created by GitHub Classroom
diversification_history_of_clown_tree_frogs_in_neotropical_rainforests
Pirani, R.M., Peloso, P.L.V., Prado, J.R., Polo, E., Knowles, L.L., Ron, S.R., Rodrigues, M.T., et al., (2020). Diversification History of Clown Tree Frogs in Neotropical rainforests (Anura, Hylidae, Dendropsophus leucophyllatus group). Mol Phylog Evol. 150, 1055-7903.
promptfile
A Markdown-like syntax for writing prompts. Includes an in-editor playground.
poc-scoping-review
Scoping review of the methods to compute the "Probability of Causation (PoC)" or assigned share of an exposure as the cause of a multi-causal disease.
covid19net
COVID19 CT Scan Visual Recognition Project. The research paper on COVID19 diagnosis by chest CT scans is now published. You can find it here: https://doi.org/10.1016/j.ibmed.2021.100027
terraform-null-test
Testing connectivity between Organization and Terraform Registry
conformationalisomerismlab
Revisiting the conformational isomerism of di-haloethanes; a hybrid computational and experimental laboratory for the undergraduate curriculum
fisher_pruning
Simple autoencoder pruned with Fisher Information Metric (NNGeometry)
pnw-ml
A ML-ready curated data set for a wide range of seismic signals from Pacific Northwest
relion4_tomo_robot
Automated workflow for preparing tilt series data for RELION 4.0.
lma-matlab
Matlab implementation of the model by L'Heureux (2018) generating self-organized Limestone-Marl Alternations
access_trajectories
Calculates particle trajectories (back and forward in time) using The Australian Community Climate and Earth-System Simulator (ACCESS) weather model (version APS1). This code was created to work directly on Gadi (supercomputer at Australia's NCI - National Computational Infrastructure).
