2015

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

Paula Craciun, INRIA Sophia-Antipolis, France

• December 9, 2015, 18:00, room 045C

Prediction and selection in smart grids. A practical approach

Marc Frincu, West University of Timisoara

• October 14, 2015, 18:00, room 045C

Program Verification and Specification Inference

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

• July 6, 2015, 11:00 AM

Cloud Self-organization Based on Coalition Formation and Combinatorial Auctions

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

• June 9, 2015

Automated Synthesis of Some Algorithms on Finite Sets

Isabela Dramnesc, West University of Timisoara

• May 13, 2015

Stock Market Trading System – Profitable Days and Critical Events Detection

Monica Tirea, West University of Timisoara

• May 6, 2015

First-Order Theorem Proving for Program Analysis and Theory Reasoning

Ioan Dragan, Institute e-Austria

• April 22, 2015

A distributed system for monitoring services and security in the cloud

Bogdan Irimie, West University of Timisoara

• April 1, 2015

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

• March 25, 2015

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

• March 18, 2015

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

Gabriel Istrate, Universitatea de Vest din Timisoara

• March 4, 2015