welcome: please sign in

Revision 104 as of 2016-01-14 10:55:06

Clear message
location: ScientificSeminar

Previous years:

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005


2015


Wide area aerial surveillance: A point process approach to multiple object tracking

Paula Craciun, INRIA Sophia-Antipolis, France


Prediction and selection in smart grids. A practical approach

Marc Frincu, West University of Timisoara


Program Verification and Specification Inference

Chin Wei Ngan, School of Computing, National University of Singapore


Cloud Self-organization Based on Coalition Formation and Combinatorial Auctions

Dan C. Marinescu, University of Central Florida, Orlando, USA


Automated Synthesis of Some Algorithms on Finite Sets

Isabela Dramnesc, West University of Timisoara


Stock Market Trading System – Profitable Days and Critical Events Detection

Monica Tirea, West University of Timisoara


First-Order Theorem Proving for Program Analysis and Theory Reasoning

Ioan Dragan, Institute e-Austria


A distributed system for monitoring services and security in the cloud

Bogdan Irimie, West University of Timisoara


Transition between classical and semi-classical regime in an exactly solvable Schrodinger operator with a non C^1 potential

(joint work with Hakim Boumaza)

Olivier Lafitte, University Paris 13


Business Value from Open Systems

Chris Harding, Forum Director at The Open Group, UK

Can sophisticated computing ever help government?

Peter Winstanley, Scottish Government, UK


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

Gabriel Istrate, Universitatea de Vest din Timisoara


2014


Frameworks for solving problems by HPC and Cloud computing

Alberto Garcia, Universidad Carlos III de Madrid


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


Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing

Alexander Agathos, West University of Timisoara


iCanCloud: a Cloud Computing simulation platform

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


Imbalanced Data Classification

Carmen Terei, University "Aurel Vlaicu" Arad


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

Georgiana Macariu, Institute e-Austria Timisoara


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

Ionel Muscalagiu, Politehnica University of Timisoara


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

Silviu Panica, West University of Timisoara


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

Alexandra Popescu, West University of Timisoara


Computational challenges in frames-based signal and image processing

Darian Onchis, West University of Timisoara


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


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

Madalina Erascu, West University of Timisoara


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

Madalina Erascu, West University of Timisoara