welcome: please sign in
location: Diff for "ScientificSeminar"
Differences between revisions 56 and 70 (spanning 14 versions)
Revision 56 as of 2014-03-11 06:45:25
Size: 1240
Comment:
Revision 70 as of 2014-05-19 09:57:15
Size: 2166
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:

----

[[AbstractCarmenTerei|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

----

[[AbstractIonelMuscalagiu|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

----
[[AbstractAlexandraPopescu|Study of the directional solidification process of multicrystalline silicon by numerical methods]]

'''Alexandra Popescu''', West University of Timisoara

 . April 2, 2014
Line 22: Line 62:
''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)'' [[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)]]
Line 29: Line 69:
''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)'' [[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)]]

Previous years:

2013

2012

2011

2010

2009

2008

2007

2006

2005


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


ScientificSeminar (last edited 2024-11-08 14:05:08 by DanielaZaharie)