-
Artefact for paper: Semantic Labelling and Learning for Parity Game Solving i...
This archive contains all code relevant to reproduce the evaluation of the corresponding paper. -
Code related to the paper: "Analytical expressions for spring constants of c...
Contains all code needed to recreate the figures in the paper "Analytical expressions for spring constants of capillary bridges and snap-in forces of hydrophobic... -
Qdyn: A Quasi-Dynamic Earthquake Simulator (V1.1)
Summary QDYN is a boundary element software package to simulate earthquake cycles (tectonic fault slip) under the quasi-dynamic approximation (quasi-static elasticity with... -
Intersection Cuts for Single Row Corner Relaxations: Source Code
This package contains the source code for the wedge cut generator described in the paper Intersection Cuts for Single Row Relaxations, by Ricardo Fukasawa, Laurent Poirrier and... -
TUBYDI- Assistir Filmes e Séries online grátis
Se você não planeja Ouvir musicas, o App "Tubydi" é a melhor opção, pois é semelhante ao Tubydi Ocplus, mas não... -
Tarjan Path Expression Code
Implementation of the Tarjan path expression code for calculating paths with structural constraints in semantic graphs. -
WrightTools
This is a small bug fix release allowing contour plotting with colormaps (#923) The milestone page can be found here. -
Thesisproject masterproef Tim Peeters
README VOOR THESISPROJECT TIM PEETERS Er is altijd gewerkt onder Mac OS Sierra versie 10.12.6, In combinatie met VeriFast versie 16.01 VERIFICATIE VAN tinyjava.c In de... -
The deal.II tutorial step-44: Three-field formulation for non-linear solid me...
A three-field formulation for quasi-static finite-strain quasi-incompressible elasticity solving the indentation problem considering a near incompressible Neo-Hookean material.