AdvOL Student Seminars and Defences
Adrian Burlacu,September 19, 2017, 15:30-16:00, ITB 201
Speaker:   Adrian Burlacu

Title:  Minimized asynchronous scalable domain transactions
AdvOL Optimization Seminars
Reza Samavi, September 19, 2017, 16:30-17:30, ITB 201
Speaker:   Reza Samavi
Department of Computing and Software
McMaster University

Title:  Optimizing data utility with privacy constraints
Fields Institute Industrial Optimization Seminar, June 6, 2017
Speakers:   Yuriy Zinchenko (University of Calgarys)
Pooyan Shirvani (TD Bank)

On the first Tuesday of each month, the Industrial Optimization Seminar is held at the Fields Institute. See the seminar series website for further information.
Home arrow Seminars arrow Invited seminars arrow Sabine Peres, October 20, 2015, 16:30-17:30, ITB 201
Sunday, 24 September 2017
Main Menu
Internal pages
Latest Theses
File Icon Computational Determination of the Largest Lattice Polytope Diameter
File Icon Computational Framework for the Generalized Berge Sorting Conjecture
File Icon Structural Factorization of Squares in Strings
Latest Reports
Visitors by region
Totals Top 20
 61 % Unknown
 14 % Commercial
 8 % networks
 6 % Canada
 3 % Germany
 2 % China
 2 % Russia
 < 1.0 % Educational
 < 1.0 % Brazil
 < 1.0 % United Kingdom
 < 1.0 % Ukraine
 < 1.0 % Poland
 < 1.0 % 
 < 1.0 % Italy
 < 1.0 % France
 < 1.0 % Netherlands
 < 1.0 % Japan
 < 1.0 % India
 < 1.0 % Australia
 < 1.0 % Organization

Visitors: 5142806
Sabine Peres, October 20, 2015, 16:30-17:30, ITB 201
Speaker:   Sabine Peres
Laboratoire de Recherche en Informatique
Université Paris-Sud

Title:   SAT-based metabolics pathways analysis

Elementary flux modes (EFMs) are commonly accepted tools for metabolic network analysis under steady state conditions. They can be defined as the smallest sub-networks enabling the metabolic system to operate in steady state with all irreversible reactions proceeding in the appropriate direction. However, when networks are complex, the number of EFMs quickly leads to a combinatorial explosion, preventing from drawing even simple conclusions from their analysis. Since the concept of EFMs analysis, there has been an important and ongoing effort to develop more efficient algorithms during the last two decades. However, these methods share a common bottleneck: they enumerate all the EFMs which make the computation impossible when the metabolic network is large and only few works try to search only EFMs with specific properties. As we will show in this paper, enumerating all the EFMs is not necessary in many cases and it is possible to directly query the network instead with an appropriate tool. For ensuring a good query time, we will rely on a state of the art SAT solver, working on a propositional encoding of EFMs, and enriched with a simple SMT-like solver ensuring EFMs consistency with stoichiometric constraints. We illustrate our new framework by providing experimental evidences of almost immediate answer times on a non trivial EFMs network.
< Prev   Next >
McMaster University
McMaster University
Faculty of Engineering
Faculty of Engineering
Faculty of Science
Faculty of Science
Computing & Software
Computing & Software
Comput. Eng. & Sci.

School Website >>>

Latest Publications
Publication Downloads
Error cannot find GD extension