Publications associées à Master's degree

iSCHRUNK – In Silico Approach to Characterization and Reduction of Uncertainty in the Kinetic Models of Genome-scale Metabolic Networks

Vassily Hatzimanikatis, Ljubisa Miskovic, Stefano Andreozzi

Accurate determination of physiological states of cellular metabolism requires detailed information about metabolic fluxes, metabolite concentrations and distribution of enzyme states. Integration of fluxomics and metabolomics data, and thermodynamics-base ...

Academic Press Inc Elsevier Science2016

Development of a new rapid, relevant and reliable (R-3) test method to evaluate the pozzolanic reactivity of calcined kaolinitic clays

Karen Scrivener, Ruben Anton Snellings, Mohsen Ben Haha, François Henri Avet, Adrian Alujas Diaz

The present paper introduces a new rapid, relevant and reliable (R-3) test to predict the pozzolanic activity of calcined clays with kaolinite contents ranging from 0 to 95%. The test is based on the correlation between the chemical reactivity of calcined ...

Pergamon-Elsevier Science Ltd2016

iSCHRUNK – In Silico Approach to Characterization and Reduction of Uncertainty in the Kinetic Models of Genome-scale Metabolic Networks

Vassily Hatzimanikatis, Ljubisa Miskovic, Stefano Andreozzi

Information about kinetics and enzyme activities while essential for quantitative understanding of metabolic dynamics remains rarely available and always involves uncertainty. In this work, we introduce the first computational methodology capable of determ ...

2016

Acetylene Oligomerization over Pd Nanoparticles with Controlled Shape: A Parahydrogen-Induced Polarization Study

Lioubov Kiwi, Rocio Micaela Crespo Quesada

Substantial signal enhancements achieved by using parahydrogen in catalytic hydrogenations are powerful tools for mechanistic studies of chemical reactions involving molecular H-2. Potentially, this technique can be extended to other reaction classes, prov ...

American Chemical Society2016

Automating Verification of Functional Programs with Quantified Invariants

Viktor Kuncak, Nicolas Charles Yves Voirol

We present the foundations of a verifier for higher-order functional programs with generics and recursive algebraic data types. Our ver- ifier supports finding sound proofs and counterexamples even in the presence of certain quantified invariants and recur ...

2016

Transforms and Operators for Directional Bioimage Analysis: A Survey

Michaël Unser, Daniel Sage, Zsuzsanna Püspöki, Martin Kurt Storath

We give a methodology-oriented perspective on directional image analysis and rotation-invariant processing. We review the state of the art in the field and make connections with recent mathematical developments in functional analysis and wavelet theory. We ...

Springer International Publishing2016

Is the Red Sea coral Stylophora pistillata already prepared for future ocean conditions?

Anders Meibom, Thomas Krüger, Maoz Fine, Julia Marie Jeanne Yvonne Bodin, Maria-Evangelia Giovani

Migration of corals through a hot water bottleneck in the Southern Red Sea, following the last glacial period, has led to a situation where corals in the Northern Red Sea now express high thermal thresholds while living at suboptimal lower temperatures. We ...

2016

Swelling Behavior and Nanomechanical Properties of (Peptide-Modified) Poly(2-hydroxyethyl methacrylate) and Poly(poly(ethylene glycol) methacrylate) Brushes

Harm-Anton Klok, Kislon Voitchovsky, Nicolas Bertrand Schüwer, Solenne Desseaux, Juan Pablo Hinestrosa Salazar

Poly(2-hydroxyethyl methacrylate) (PHEMA) and poly(poly(ethylene glycol) methacrylate) (PPEGMA) brushes represent a class of thin, surface-tethered polymer films that have been extensively used e.g. to generate non-biofouling surfaces or as model systems t ...

2016

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Master's degree

iSCHRUNK – In Silico Approach to Characterization and Reduction of Uncertainty in the Kinetic Models of Genome-scale Metabolic Networks

Induced Matchings In Graphs Of Degree At Most 4

Development of a new rapid, relevant and reliable (R-3) test method to evaluate the pozzolanic reactivity of calcined kaolinitic clays

iSCHRUNK – In Silico Approach to Characterization and Reduction of Uncertainty in the Kinetic Models of Genome-scale Metabolic Networks

Acetylene Oligomerization over Pd Nanoparticles with Controlled Shape: A Parahydrogen-Induced Polarization Study

Coupled thermo-hydro-mechanical effects on caprock stability during carbon dioxide injection

Automating Verification of Functional Programs with Quantified Invariants

Transforms and Operators for Directional Bioimage Analysis: A Survey

Is the Red Sea coral Stylophora pistillata already prepared for future ocean conditions?

Swelling Behavior and Nanomechanical Properties of (Peptide-Modified) Poly(2-hydroxyethyl methacrylate) and Poly(poly(ethylene glycol) methacrylate) Brushes

Graph Chatbot

Chattez avec Graph Search

iSCHRUNK – In Silico Approach to Characterization and Reduction of Uncertainty in the Kinetic Models of Genome-scale Metabolic Networks

Induced Matchings In Graphs Of Degree At Most 4

Development of a new rapid, relevant and reliable (R-3) test method to evaluate the pozzolanic reactivity of calcined kaolinitic clays

iSCHRUNK – In Silico Approach to Characterization and Reduction of Uncertainty in the Kinetic Models of Genome-scale Metabolic Networks

Acetylene Oligomerization over Pd Nanoparticles with Controlled Shape: A Parahydrogen-Induced Polarization Study

Automating Verification of Functional Programs with Quantified Invariants

Transforms and Operators for Directional Bioimage Analysis: A Survey

Coupled thermo-hydro-mechanical effects on caprock stability during carbon dioxide injection

Is the Red Sea coral Stylophora pistillata already prepared for future ocean conditions?

Swelling Behavior and Nanomechanical Properties of (Peptide-Modified) Poly(2-hydroxyethyl methacrylate) and Poly(poly(ethylene glycol) methacrylate) Brushes