2015

Title to be announced

Olivier Lafitte, University Paris 13

• March 25, 2015

[[AbstractGabrielIstrate|Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process]]

Gabriel Istrate, Universitatea de Vest din Timisoara

• March 4, 2015

2014

Frameworks for solving problems by HPC and Cloud computing

Alberto Garcia, Universidad Carlos III de Madrid

• December 3, 2014

Discovery of inversion breakpoints from raw NGS (Next Generation Sequencing) data: A mapping-free and assembly-free approach

Liviu Ciortuz, A.I. Cuza University, Iasi

• November 19, 2014

Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing

Alexander Agathos, West University of Timisoara

• October 29, 2014

iCanCloud: a Cloud Computing simulation platform

Gabriel González Castañé, Universidad Carlos III de Madrid

• October 15, 2014

Imbalanced Data Classification

Carmen Terei, University "Aurel Vlaicu" Arad

• May 21, 2014

mOSAIC: PaaS (Platform as a Service) support for multi-clouds

Georgiana Macariu, Institute e-Austria Timisoara

• May 7, 2014

Modeling, simulating and real execution of distributed constraints in NetLogo (DisCSP-Netlogo)

Ionel Muscalagiu, Politehnica University of Timisoara

• April 30, 2014

mOSAIC: IaaS (Infrastructure as a Service) support for multi-clouds

Silviu Panica, West University of Timisoara

• April 9, 2014

Study of the directional solidification process of multicrystalline silicon by numerical methods

Alexandra Popescu, West University of Timisoara

• April 2, 2014

Computational challenges in frames-based signal and image processing

Darian Onchis, West University of Timisoara

• March 26, 2014

Problems with analytic profiles: analysis of the profile and linear perturbation theory: the detonation, the ignition, the heating of plasma by a magnetic field. Relation with the nerve influx

Olivier Lafitte, University Paris 13

• March 19, 2014

Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)

Madalina Erascu, West University of Timisoara

• March 12, 2014

Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)

Madalina Erascu, West University of Timisoara

• March 5, 2014