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