BioMathematics and BioInformatics

A computational model of postprandial adipose tissue lipid metabolism derived using human arteriovenous stable isotope tracer data
O'Donovan, S. D., Lenz, M., Vink, R. G., Roumans, N. J. T., de Kok, T. M. C. M., Mariman, E. C. M., Peeters, R. L. M., van Riel, N. A. W., van Baak, M. A. & Arts, I. C. W., Oct 2019, In: PLoS Computational Biology. 15, 10, 23 p., e1007400.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
A Machine Learning Approach to Algorithm Selection for Exact Computation of Treewidth
Slavchev, B., Masliankova, E. & Kelk, S., Sep 2019, In: Algorithms. 12, 10, 20 p., 200.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
An energy efficient gait for humanoid robots walking on even and uneven terrains
Sun, Z., 2019, Maastricht: Maastricht University.
Research output: Thesis › Doctoral Thesis › Internal

Open Access
File

708 Downloads (Pure)

Clinical Needs Translational Award (CTA)
Westra, Ronald (Recipient), 25 Sep 2016
Prize: Prize (including medals and awards) › Academic
Joint WG e-Cardiology ESC – CinC: Clinical Needs Translational Award (CTA)
Cluitmans, Matthijs (Recipient), Coll-Font, J. (Recipient), Erem, B. (Recipient), Brooks, D. (Recipient), Bonizzi, Pietro (Recipient), Karel, Joël (Recipient), Volders, Paul (Recipient), Peeters, Ralf (Recipient) & Westra, Ronald (Recipient), 14 Sep 2016
Prize: Prize (including medals and awards) › Academic

Rigorous Function Calculi-II
Pieter Collins (Speaker)
25 Sep 2018
Activity: Talk or presentation (speaker at event) › Talk or presentation › Academic
Types, Homotopy Type Theory, and Verification
Pieter Collins (Participant / Attendee)
5 Jun 2018 → 8 Jun 2018
Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic
Rigorous Numerical Computation with ARIADNE
Pieter Collins (Speaker)
6 Aug 2018
Activity: Talk or presentation (speaker at event) › Talk or presentation › Academic

File