welcome: please sign in
location: ScientificSeminar / 2015


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

ScientificSeminar/2015 (last edited 2016-03-12 09:01:53 by DanielaZaharie)