Laura Kovacs, Technical University of Vienna, Austria
- November 29, 2019, 10:00, room 045C
”Conway-type result for language over finite and infinite trees”
Volker Diekert, University of Stuttgart, Germany
- October 9, 2019, 18:00, room 045C
”Generalization algorithms and applications”
Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
- June 12, 2019, 18:00, room 045C
”Mathematical modelling: deterministic vs. probabilistic vs. fuzzy”
Stefan Balint, West University of Timisoara, Romania
- April 10, 2019, 18:00, room 045C
”Intelligent Operating Room for in vivo lung cancer diagnosis”
Carles Sanchez Ramos, Computer Vision Center – Universitat Autonoma de Barcelona, Spain
- March 27, 2019, 18:00, room 045C
Luis Costa, Yamaguchi University, Japan
- March 6, 2019, 18:00, room 045C
”Research and PhD Scholarships at the Sydney University Centre for IoT and Telecommunications”
Prof. Branka Vucetic, University of Sidney, Australia
- January 16, 2019, 12:00, room 045C
DeepLearningMeetup_21nov2018.pdf
Virgil Petcu and Robert Maria, Timisoara Deep Learning Meetup
- November 21, 2018, 18:00, room 045C
Algebraic approach for post-quantum cryptography
Vlad Dragoi, PhD, postdoctoral researcher Aurel Vlaicu University Arad
- October 24, 2018, 18:00, room 045C
Terrorism and Cyberspace – Ancient ideology modern body
Tal Pavel, PhD, CEO & Founder, Middleeasternet, Head of Cyber studies, The Academic College of Tel Aviv-Yaffo
- October 10, 2018, 18:00, room 045C
Inferring the road network from GPS trajectories
(slides and datasets: http://cs.uef.fi/~radum/RO/)
Radu Mariescu Istodor, PhD, University of Eastern Finland
- October 10, 2018, 19:00, room 045C
Doru Rotovei, West University of Timisoara
- May 2, 2018, 18:00, room 045C
Objectivity Lost when Riemann-Liouville or Caputo Fractional Order Derivatives Are Used
Stefan Balint, West University of Timisoara
- April 25, 2018, 18:00, room 045C
Machine Learning for Processing Satellite Images
Teodora Selea, West University of Timisoara
- April 18, 2018, 18:00, room 045C
Ciprian Pungila, West University of Timisoara
- April 4, 2018, 18:00, room 045C
Quantum computing – The potential impact on Machine Learning
Ciprian Jichici, CEO Genisoft & Microsoft Regional Director in Timișoara
- March 14, 2018, 18:00, room 045C
Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data
Adriana Dinis, West University of Timisoara
Self-learning Software for Predictive Systems in Autonomous Driving
Sorin Grigorescu, University Transilvania of Brasov & Elektrobit Automotive Romania
- December 13, 2017, 18:00, room 045C
The interference problem in multi-channel wireless networks
Alexandru Popa, University of Bucharest, Romania
- October 11, 2017, 18:00, room 045C
The Impact of Autoscaling Polices on Web Workloads
Mo’min I.M. Tabash, University of Pavia, Italy
- June 7, 2017, 18:00, room 045C
Scheduling data stream jobs on distributed systems with background load
Anca Vulpe, West University of Timisoara, Romania
- May 10, 2017, 18:00, room 045C
Integrative modeling of time-course multi-level omics data from HPV-induced cervical carcinogenesis
Viktorian Miok, VU University Medical Center in Amsterdam, The Netherlands
- May 3, 2017, 18:00, room 045C
The band spectrum of the periodic Airy-Schrödinger operator on the real line
Hakim Boumaza, Universite Paris XIII, France
- April 28, 2017, 9:40, room 104
Revisiting Preferential Attachment with applications to Twitter
slides-Ducoffe-Timisoara-PA.pdf
Guillaume Ducoffe, INRIA Sophia Antipolis, France
- April 26, 2017, 18:00, room 045C
Mechanizing induction reasoning for first-order logic with inductive definitions
Sorin Stratulat, University of Lorraine, Metz, France
- April 12, 2017, 18:00, room 045C
Using Cluster Information to Predict Individual Customer Energy Consumption
Adrian Spataru, West University of Timisoara, Romania
- April 5, 2017, 18:00, room 045C
Empirical Evaluation of Numerical Mathematical Libraries
Teodora Selea, Oana Brandibur, Universitatea de Vest din Timisoara, Romania
- March 22, 2017, 18:00, room 045C
Deciphering the Low Level Reliability Schemes of the Brain
Valeriu Beiu, Universitatea Aurel Vlaicu, Arad, Romania
- March 8, 2017, 18:00, room 045C
21-th Century Medicine: Digital – Computable – Algorithmic
CrisDoloc_Slides – 26 July 2016.pdf
Cris Doloc, University of Chicago & ALGOMEX & RoGeniX, USA
- July 26, 2016, 10:00, room A01
ENTICE Project: dEcentralized repositories for traNsparent and eficienT vIrtual maChine opErations
Radu Prodan, University of Innsbruck
- July 13, 2016, 12:30, room 045C
JosianeZerubia_Slides – 1 July 2016.pdf
Josiane Zerubia, INRIA Sophia Antipolis Méditerranée, France
- July 1, 2016, 10:30, room A01
This talk is given with the financial support of IEEE Signal Processing Society Distinguished Lecturer program for 2016-17
Alexandru Cabuz, Research for Industry, Romania
- April 13, 2016, 18:00, room 045C
Predicting Solar Parks Energy Output using Numerical Weather Prediction Ensemble Systems
Liviu Oana, West University of Timisoara, Romania
- April 6, 2016, 18:00, room 045C
Big Data Analysis: Problems and Solutions
Adriana Dinis, West University of Timisoara, Romania
- March 23, 2016, 18:00, room 045C
Projection algorithms for convex feasibility problems
Irina Artinescu, West University of Timisoara, Romania
- March 16, 2016, 18:00, room 045C
Anderson Localisation for matrix-valued operators
Hakim Boumaza, University Paris 13, France
- March 4, 2016, 11:00, room 045C
Rochelle Tractenberg, Georgetown University, USA
- January 27, 2016, 12:00, room A01
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
Frameworks for solving problems by HPC and Cloud computing
Alberto Garcia, Universidad Carlos III de Madrid
- December 3, 2014
Liviu Ciortuz, A.I. Cuza University, Iasi
- November 19, 2014
Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing
Alexander Agathos, West University of Timisoara
- October 29, 2014
iCanCloud: a Cloud Computing simulation platform
Gabriel González Castañé, Universidad Carlos III de Madrid
- October 15, 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
Madalina Erascu, West University of Timisoara
- March 12, 2014
Madalina Erascu, West University of Timisoara
- March 5, 2014
Detecting user actions in location-aware mobile applications
Radu Mariescu, University of Eastern Finland
- November 27, 2013
Hyperspectral images and the linear mixture model to analyze them
Alexander Agathos, West University of Timisoara
- November 6, 2013
Does Computer Vision Need HPC?
Debora Gil, Universidad Autonoma de Barcelona
- June 18, 2013
SEED – a cloud of public services
Daniel Pop, West University of Timisoara
- May 22, 2013
Rayleigh Benard instability in the convection in the mantle
Olivier Lafitte, Universite Paris 13, France
- May 17, 2013
Attack Models in Cloud Computing
Roxana Farcasescu, West University of Timisoara
- May 8, 2013
Outages Seen as Security Leaks in Cloud Computing
Roxana Farcasescu, West University of Timisoara
- April 17, 2013
Big Data: Challenges and Solutions
Daniel Pop, West University of Timisoara
- April 10, 2013
Syntactic Unification and Matching
Aurelian Radoaca, West University of Timisoara
- April 3, 2013
Empirical Software Engineering with Examples
Cristina Marinescu, West University of Timisoara and Politehnica University of Timisoara
- March 20, 2013
Optimization and Parallelization of the Minimum Volume Simplex Analysis for the extraction of end-members in Hyperspectral Images
Alexander Agathos, West University of Timisoara
- March 6, 2013
Submodular optimization and fairness in cooperative games
Cosmin Bonchis, West University of Timisoara
- June 6, 2012
Numerical methods for nanoscale electrodynamics
Claudiu Biris, West University of Timisoara
- May 23, 2012
Theory Exploration in Theorema: Case Study on Lists
Isabela Dramnesc, West University of Timisoara
- May 9, 2012
Automatic Inference of Bounds on Resource Consumption
German Puebla, Technical University of Madrid
- May 8, 2012
Multi-Agent Governance in Cloud
Victor Munteanu, West University of Timisoara
- April 25, 2012
Memory-Efficient Static Analysis of Binary Code for Antivirus Development
Ciprian Pungila, West University of Timisoara
- April 11, 2012
Reflection of an electromagnetic wave by a curved boundary: us of the geometric rotational and laplacian
Olivier Lafitte, Universite Paris 13, France
- April 4, 2012
Membrane Computing, after (almost) 14 years
Gheorghe Paun, Academia Romana
- April 3, 2012
Towards Human Behavior Analysis in Pervasive Spaces based on Energy Consumption
Ovidiu Aritoni, West University of Timisoara
- March 21, 2012
Neuroevolutionary Multiagent Systems in Real Time Games
Gabriel Juhasz, West University of Timisoara
- February 29, 2012
Finite Mixture Distributions: Theory and Applications
Lucian Radu, Catholic University of Lisbon, Portugal
- December 14, 2011
Unification
Temur Kutsia, RISC Linz, Austria
- November 2, 2011
Video Understanding for Activity Monitoring
Francois Bremond, INRIA Sophia Antipolis, France
- July 27, 2011
Self-organization in Software Engineering and the SelfLet approach
Nicolò M. Calcavecchia, Daniel J. Dubois, Politecnico di Milano, Italy
- June 1, 2011
Face Detection using LBP and MCT Features
Silviu Tudor Serban, West University of Timisoara, Romania
- June 1, 2011
RiSE: Rigorous System Engineering
Laura Kovacs, Vienna Technical University, Austria
- May 26, 2011
Andrei Voronkov, University of Manchester, UK
- May 26, 2011
Recovering band-limited signals from noisy and jittered information
Marek Kowalski, Warsaw Management Academy, Poland
- May 25, 2011
Data Stream : Sequential Pattern and Outlier Mining
Alice Marascu, Universita degli Studi di Trento, Italy
- May 11, 2011
Unification Algorithms in Common Logic
Mircea Marin, Universitatea de Vest din Timisoara, Romania
- May 4, 2011
Vectorial Partitions and Applications
Flavius Turcu, Universite de Bordeaux, France
- March 23, 2011
Geometrical Optics for Linearized Hyperbolic Systems
Olivier Lafitte, Universite Paris 13, France
- March 9, 2011
Optimizing complex-structure XML queries
Alexandra Roatis, Universitatea de Vest din Timisoara, Romania
- January 17, 2011
SOS Cloud: Self-Organizing Services in the Cloud
Bogdan Alexandru Caprarescu, Universitatea de Vest din Timisoara, Romania
- January 5, 2011
Ontologies in an Agent-based Grid Resource Management System
Salvatore Venticinque, Second University of Napoli, Italy
- October 20, 2010
Boundary Layer – Acoustic Liner Instabilities
Mirela Darau, Technical University of Eindhoven
- July 21, 2010
Artificial Intelligence and Ontologies
Antonio Martin, University of Sevilla, Spain
- May 26, 2010
Ontologies in an Agent-based Grid Resource Management System
Maria Ganzha, Polish Academy of Science
- May 19, 2010
Rule Based System for Executing Scheduling Heuristics
Marc Frincu, West University of Timisoara
- May 12, 2010
Ambient Intelligence
Ovidiu Aritoni, West University of Timisoara
- May 12, 2010
Recent Trends in Teaching Computing in UK Universities
Andrei Petrovski, The Robert Gordon University, Aberdeen, UK
- March 23, 2010
Harmonic and stochastic analysis in image and signal processing
Flavius Turcu, University of Bordeaux, France
- February 24, 2010
Scheduling Algorithms for Distributed Systems
Marc Frincu, West University of Timisoara
- December 9, 2009
Approaches of pattern-based data analysis for intrusion detection systems
Ciprian Pungila, West University of Timisoara
- December 9, 2009
Stochastic and Hybrid Models in Signal and Image Processing
Flavius Turcu, University of Bordeaux, France
- September 30, 2009
Canonical Reduction Systems in Symbolic Mathematics
Franz Winkler, Johannes Kepler University, Linz, Austria
- April 8, 2009
Mathematics of glass
Bob Mattheij, Technical University of Eindhoven, The Netherlands
- March 31, 2009
Agent-based Virtual Organization
Maria Ganzha, Polish Academy of Science, Poland
- March 18, 2009
Translator from BPEL4WS to Event Calculus for verification purposes
Victor Munteanu, West University of Timisoara
- 10 December 2008
On “continuous” set-theoretic models for the theory lambda
Alexandre Lyaletsky, Kiev National Taras Shevchenko University
- 19 November, 2008
Lazy Thinking Synthesis in Grobner Basis Theory
Adrian Craciun, West University of Timisoara
- April 23, 2008
Agents as Resource Brokers and Managers in the Grid
Maria Ganzha, Polish Academy of Science, Poland
- March 12, 2008
Matching with Membership Constraints for Hedge and Context Variables
Mircea Marin, University of Tsukuba, Japan
- March 5, 2008
Algorithms for dynamic graphs
Mihai Patrascu, AT&T Labs—Research, USA
- February 15, 2008
Duplicate code detection using anti-unification
Peter Bulychev, Lomonosov Moscow State University, Russia
- January 30, 2008
Mann iteration. History, results and applications
Stefan Maruster, West University of Timisoara
- January 16, 2008
Structural Identification of Interval Models of Static Systems
Mykola Dyvak, University of Ternopil, Ukraine
- October 24, 2007
Automatic “Descente Infinie” Induction Reasoning
Sorin Stratulat, “Paul Verlaine” University, Metz, France
- April 11, 2007
Phase transitions in combinatorial optimization
Gabriel Istrate, Institute e-Austria Timisoara
- March 21, 2007
Software Agents and their Applications
Marcin Paprzycki, Polish Academy of Science, Poland
- March 15, 2007
Web Mining
Horia Popa, West University of Timisoara
- January 31, 2007
On the Halley-Altman Method for Nonlinear Equations
Octavian Cira, West University of Timisoara
- November 15, 2006
Towards a Component Model to Handle Masterwork Applications in Grid Environments. Case Study: DIET Scheduling Platform
Delia Stinga, West University of Timisoara
- November 15, 2006
Polynomial Invariant Generation by Algebraic Techniques
Laura Kovacs, RISC Linz, Austria
- October 25, 2006
Adversarial analysis of evolutionary models and multiagent systems
Gabriel Istrate, Institute e-Austria Timisoara
- October 25, 2006
Regions of attraction and their applications in control theory
Eva Kaszlik, West University of Timisoara
- October 11, 2006
Fuzzy Databases
Gheorghe Petrov, West University of Timisoara
- May 17, 2006
Solving Regular Constraints
Mircea Marin, University of Tsukuba, Japan
- May 4, 2006
Implementation and evaluation model for the asynchronous techniques
Horia Popa, West University of Timisoara
- April 12, 2006
Systematic Knowledgebase Exploration of Mathematical Theories. Case study: Natural Numbers
Adrian Craciun, West University of Timisoara
- March 29, 2006
Dynamic optimization with evolutionary algorithms
Flavia Zamfirache, West University of Timisoara
- March 15, 2006
Arithmetics over multisets
Cosmin Bonchis, Cornel Izbasa, West University of Timisoara
- March 1, 2006
A persistent knowledge representation model
Adorjan Kiss, University of Montpellier, France
- February 1, 2006
Suffix Trees
Roxana Dogaru, West University of Timisoara
- November 23, 2005
WebPS: un simulator de P-sisteme bazat pe Web
Cosmin Bonchis, Cornel Izbasa, West University of Timisoara
- November 2, 2005
Conjugate gradient methods for nonlinear systems
Cristina Ciurea, West University of Timisoara
- October 19, 2005
Sequential patterns extraction from data streams
Alice Marascu, INRIA Sophia Antipolis, France
- September 14, 2005
Generating optimal tours in graphs
Alexandru Ionica, West University of Timisoara
- June 15, 2005
Generating optimal tours in graphs
Ciprian Jichici, West University of Timisoara
- May 25, 2005
Ant-based clustering
Flavia Zamfirache, West University of Timisoara
- May 11, 2005
String searching algorithms (II)
Horia Popa, West University of Timisoara
- April 29, 2005
String searching algorithms (I)
Horia Popa, West University of Timisoara
- April 13, 2005
Algorithms in data mining
Ciprian Jichici, West University of Timisoara
- March 25, 2005
Neuro-fuzzy control based on the PSY-model
Gheorghe Petrov, West University of Timisoara
- February 16, 2005
The Quest for Visual Realism: An Overview of Methods
Lucian Cucu, West University of Timisoara
- February 2, 2005
P-systems simulators
Cornel Izbasa, Cosmin Bonchis, West University of Timisoara
- January 19, 2005