Search results

Abstract Syntax in Coq 2009-03-10 Paper Tutorial examples of the semantic approach to foundational proof-carrying code 2007-07-20 Paper Typed Lambda Calculi...

computational causal inference using reproducible Stata, R, and Python code: a tutorial 2024-10-22 Paper Individual frailty excess hazard models in cancer...

meta-regression 2021-12-09 Paper WORCS: A workflow for open reproducible code in science 2021-05-21 Paper Teacher’s Corner: Evaluating Informative Hypotheses...

2015-07-21 Paper Formal certification of code-based cryptographic proofs 2015-07-03 Paper EasyCrypt: a tutorial 2015-05-27 Paper Automated analysis of cryptographic...

learning for a biped robot based on a CPG-actor-critic method 2007-09-19 Paper Tutorial series on brain-inspired computing. IV: Reinforcement learning: machine...

2015-07-21 Paper Formal certification of code-based cryptographic proofs 2015-07-03 Paper EasyCrypt: a tutorial 2015-05-27 Paper Probabilistic relational...

finite element computing 2017-05-19 Paper Solving PDEs in Python. The FEniCS tutorial I 2017-02-14 Paper On axisymmetric and stationary solutions of the self-gravitating...

quasi-cyclic codes with rate l m (Corresp.) 1978-01-01 Paper On the existence of a cyclic code with rate R 1978-01-01 Paper An upper bound for codes in a two-access...

Formal Methods for Real World Cryptography (Invited Talk) 2023-02-03 Paper A tutorial-style introduction to \(\mathsf{DY}^{\star}\) 2022-07-13 Paper Formal modeling...

Preface by Prof. Dr. Bernd Simeon 2012-05-21 Paper ISOGAT: a 2D tutorial MATLAB code for isogeometric analysis 2011-02-15 Paper Swept Volume Parameterization...

The free energy principle made simpler but not too simple 2023-09-14 Paper Code and data for "Attentional effects on local V1 microcircuits explain selective...

Development of Finite Element Field Solver in Gyrokinetic Toroidal Code 2021-10-29 Paper A tutorial review of mathematical techniques for quantifying tumor heterogeneity...

Paper To code, or not to code: lossy source-channel communication revisited 2005-06-01 Paper Optimal filter banks for multiple description coding: analysis...

Fluid-Structure Interaction Coupling Scheme 2011-05-18 Paper ISOGAT: a 2D tutorial MATLAB code for isogeometric analysis 2011-02-15 Paper Swept Volume Parameterization...

2018-10-19 Paper A Video Coding Scheme Based on Joint Spatiotemporal and Adaptive Prediction 2017-10-09 Paper Corrigendum to ``A tutorial explaining a machine...

galloping and shell-like buckling 2014-01-10 Paper DNA information: from digital code to analogue structure 2012-11-10 Paper Numerical dimension-reduction methods...

Hierarchical Modulation 2017-06-08 Paper Multiple reference motion compensation: a tutorial introduction and survey 2010-01-21 Paper Performance Analysis of Linear...

Performance Analysis of Linear Codes under Maximum-Likelihood Decoding: A Tutorial 2008-09-01 Paper Performance Analysis of Linear Codes under Maximum-Likelihood...

accelerated inprocessing 2024-06-28 Paper Clausal Congruence Closure Paper Source Code 2024-06-14 Dataset Clausal Congruence Closure Paper Logs, Plots and Tables...

2020-09-22 Paper Fast algorithms for structured sparsity (ICALP 2015 invited tutorial) 2019-07-03 Paper (Nearly) sample-optimal sparse Fourier transform 2019-06-20...