<div dir="ltr"><font size="4" face="times new roman, serif" color="#000000">Sayin Liste Uyeleri, </font><div><font color="#000000" face="times new roman, serif" size="4"><br></font><div><font face="times new roman, serif" size="4"><font color="#000000">Gebze Teknik Üniversitesi (GTU) Matematik Bölümü Genel Seminerleri kapsamında, 30 Eylül Cuma günü saat 14:00'da Doç. Dr. </font><span style="color:rgb(0,0,0)">Mădălina Erașcu</span><font color="#000000"> (</font></font><font size="4" face="times new roman, serif"><span style="color:rgb(0,0,0)">West University of Timișoara, Romania</span></font><font face="times new roman, serif" size="4"><font color="#000000">) bir seminer verecektir. Seminerin detayları aşağıda olup tüm ilgilenenler davetlidir.</font></font></div><div><font size="4" face="times new roman, serif" color="#000000"><br></font></div><div><font size="4" face="times new roman, serif" color="#000000">Saygılarımızla. </font></div><div><font size="4" face="times new roman, serif" color="#000000"><br></font></div><div><font size="4" face="times new roman, serif" color="#000000">Dear all,</font></div><div><font size="4" face="times new roman, serif" color="#000000"><br></font></div><div><font size="4" face="times new roman, serif"><font color="#000000">There will be a seminar in Gebze Technical University (GTU) on 30nd of September by Assoc. Prof. </font></font><span style="color:rgb(0,0,0);font-family:"times new roman",serif;font-size:large">Mădălina Erașcu</span> <font size="4" face="times new roman, serif"><font color="#000000">(</font><span style="color:rgb(0,0,0)">West University of Timișoara, Romania</span><font color="#000000">)</font><font color="#000000">.</font></font></div><div><font size="4" face="times new roman, serif" color="#000000"><br></font></div><div><font size="4" face="times new roman, serif" color="#000000">Time and place: At 14:00 in Department of Mathematics, Lecture Room 3</font></div><div><font size="4" face="times new roman, serif" color="#000000"><br></font></div><div><font face="times new roman, serif" color="#000000"><font size="4">Title: </font></font><span style="color:rgb(0,0,0)"><font face="times new roman, serif" style="" size="4">A symbiosis of constraint optimization, symmetries and symmetry breaking for scalable Cloud deployment problems</font></span></div><div><font size="4" face="times new roman, serif" color="#000000"><br></font></div><div><font size="4" face="times new roman, serif"><font color="#000000">Abstract: </font><span style="color:rgb(0,0,0)">Constraint optimization, symmetries and symmetry breaking have long been studied by mathematicians. Despite this, when it comes to apply them to real-world problems, for example the deployment in the Cloud of the component-based applications, challenges appear. One such challenge is the scalability issue of traditional constraint optimization techniques, for example constraints programming, mathematical programming, optimization modulo theory, and the application of suitable symmetry breakers to overcome this issue.</span></font></div><p style="color:rgb(0,0,0)"><font size="4" face="times new roman, serif">We overcome it by methodologically analyzing the particularities of the problem to be solved with the aim of identifying search space reduction methods. These are methods exploiting:</font></p><p style="color:rgb(0,0,0)"><font size="4" face="times new roman, serif">· the symmetries of the underlying problem (Cloud deployment of component-based applications),</font></p><p style="color:rgb(0,0,0)"><font size="4" face="times new roman, serif">· the graph representation associated to the structural constraints specific to each particular application, and</font></p><p style="color:rgb(0,0,0)"><font size="4" face="times new roman, serif">· their combination.</font></p><p style="color:rgb(0,0,0)"><font size="4" face="times new roman, serif">An extensive experimental analysis has been conducted on 4 classes of real-world problems, using 19 symmetry breaking strategies and 3 types of optimization solvers.</font></p><p style="color:rgb(0,0,0)"><font size="4" style="" face="times new roman, serif">As a result, the combination of two symmetry breakers, a variable reduction strategy with a column-wise symmetry breaker, led to a scalable deployment. However, one would expect that the best symmetry breaker is one composing a higher number of individual symmetry breakers as more symmetries are broken so the search space is significantly reduced. The experiments proved that this is not true. An explanation is, on one hand, the number of added constraints which influences the solving time, on the other hand, the symmetry breakers can interact badly with the underlying optimization techniques implemented by the solvers we used.</font></p></div></div>