Search Results

InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications

by Gustedt, Jens, Vialle, Stéphane, Frezza-Buet, Hervé, Boumba Sitou, d'Havh, Fressengeas, Nicolas, Fix, Jérémy
Published 2010

InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications

by Gustedt, Jens, Vialle, Stéphane, Frezza-Buet, Hervé, Boumba Sitou, d'Havh, Fressengeas, Nicolas, Fix, Jérémy
Published 2010

SimGrid MC: Verification Support for a Multi-API Simulation Platform

by Merz, Stephan, Quinson, Martin, Rosa, Cristian
Published 2011

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Mixing of porpoise ecotypes in southwestern UK waters revealed by genetic profiling

by Michael C. Fontaine, Nicholas J. Davison, Oliver Thatcher, Sylvain Piry, Paul Jepson, Andrew Brownlow, Rob Deaville, Simon J. Goodman, Nicolas Ray
Published in Royal Society Open Science (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Towards better definition, quantification and treatment of fibrosis in heart failure. A scientific roadmap by the Committee of Translational Research of the Heart Failure Associati...

by de Boer, Rudolf, de Keulenaer, Gilles, Bauersachs, Johann, Brutsaert, Dirk, Cleland, John, Diez, Javier, Du, Xiao‐jun, Ford, Paul, Heinzel, Frank, Lipson, Kenneth, Mcdonagh, Theresa, Lopez-Andres, Natalia, Lunde, Ida, Lyon, Alexander, Pollesello, Piero, Prasad, Sanjay, Tocchetti, Carlo, Mayr, Manuel, Sluijter, Joost P.G., Thum, Thomas, Tschöpe, Carsten, Zannad, Faiez, Zimmermann, Wolfram‐hubertus, Ruschitzka, Frank, Filippatos, Gerasimos, Lindsey, Merry, Maack, Christoph, Heymans, Stephane
Published in European Journal of Heart Failure (2019)

Towards better definition, quantification and treatment of fibrosis in heart failure. A scientific roadmap by the Committee of Translational Research of the Heart Failure Associati...

by de Boer, Rudolf, A, de Keulenaer, Gilles, Bauersachs, Johann, Brutsaert, Dirk, Cleland, John, G, Diez, Javier, Du, Xiao‐jun, Ford, Paul, Heinzel, Frank, R, Lipson, Kenneth, E, Mcdonagh, Theresa, Lopez-Andres, Natalia, Lunde, Ida, G, Lyon, Alexander, R, Pollesello, Piero, Prasad, Sanjay, K, Tocchetti, Carlo, G, Mayr, Manuel, Sluijter, Joost P.G., Thum, Thomas, Tschöpe, Carsten, Zannad, Faiez, Zimmermann, Wolfram‐hubertus, Ruschitzka, Frank, Filippatos, Gerasimos, Lindsey, Merry, L, Maack, Christoph, Heymans, Stephane
Published in European Journal of Heart Failure (2019)

Towards better definition, quantification and treatment of fibrosis in heart failure. A scientific roadmap by the Committee of Translational Research of the Heart Failure Associati...

by de Boer, Rudolf, A, de Keulenaer, Gilles, Bauersachs, Johann, Brutsaert, Dirk, Cleland, John, G, Diez, Javier, Du, Xiao‐jun, Ford, Paul, Heinzel, Frank, R, Lipson, Kenneth, E, Mcdonagh, Theresa, Lopez-Andres, Natalia, Lunde, Ida, G, Lyon, Alexander, R, Pollesello, Piero, Prasad, Sanjay, K, Tocchetti, Carlo, G, Mayr, Manuel, Sluijter, Joost P.G., Thum, Thomas, Tschöpe, Carsten, Zannad, Faiez, Zimmermann, Wolfram‐hubertus, Ruschitzka, Frank, Filippatos, Gerasimos, Lindsey, Merry, L, Maack, Christoph, Heymans, Stephane
Published in European Journal of Heart Failure (2019)

Towards better definition, quantification and treatment of fibrosis in heart failure. A scientific roadmap by the Committee of Translational Research of the Heart Failure Associati...

by de Boer, Rudolf, A, de Keulenaer, Gilles, Bauersachs, Johann, Brutsaert, Dirk, Cleland, John, G, Diez, Javier, Du, Xiao‐jun, Ford, Paul, Heinzel, Frank, R, Lipson, Kenneth, E, Mcdonagh, Theresa, Lopez-Andres, Natalia, Lunde, Ida, G, Lyon, Alexander, R, Pollesello, Piero, Prasad, Sanjay, K, Tocchetti, Carlo, G, Mayr, Manuel, Sluijter, Joost P.G., Thum, Thomas, Tschöpe, Carsten, Zannad, Faiez, Zimmermann, Wolfram‐hubertus, Ruschitzka, Frank, Filippatos, Gerasimos, Lindsey, Merry, L, Maack, Christoph, Heymans, Stephane
Published in European Journal of Heart Failure (2019)