welcome: please sign in
location: Diff for "ScientificSeminar"
Differences between revisions 47 and 137 (spanning 90 versions)
Revision 47 as of 2013-10-30 14:53:00
Size: 3210
Comment:
Revision 137 as of 2017-03-15 13:59:49
Size: 3292
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||Previous years: ||[[ScientificSeminar/2011|2011]] ||[[ScientificSeminar/2010|2010]] ||[[ScientificSeminar/2009|2009]] ||[[ScientificSeminar/2008|2008]] ||[[ScientificSeminar/2007|2007]] ||[[ScientificSeminar/2006|2006]] ||[[ScientificSeminar/2005|2005]] || ||Previous years: ||[[ScientificSeminar/2015|2015]] ||[[ScientificSeminar/2014|2014]] ||[[ScientificSeminar/2013|2013]] ||[[ScientificSeminar/2012|2012]] ||[[ScientificSeminar/2011|2011]] ||[[ScientificSeminar/2010|2010]] ||[[ScientificSeminar/2009|2009]] ||[[ScientificSeminar/2008|2008]] ||[[ScientificSeminar/2007|2007]] ||[[ScientificSeminar/2006|2006]] ||[[ScientificSeminar/2005|2005]] ||
Line 4: Line 4:
'''2013''' '''2017'''

[[AbstractSorinStratulat|Mechanizing induction reasoning for first-order logic with inductive definitions]]


''Sorin Stratulat'', University of Lorraine, Metz, France

 . April 12, 2017, 18:00, room 045C
Line 7: Line 14:
''Hyperspectral images and the linear mixture model to analyze them''
Line 9: Line 15:
'''Alexander Agathos''', West University of Timisoara
 . November 6, 2013
[[AbstractTeodoraSelea|Empirical Evaluation of Numerical Mathematical Libraries]]

''Teodora Selea, Oana Brandibur'', Universitatea de Vest din Timisoara, Romania

 . March 22, 2017, 18:00, room 045C
Line 13: Line 22:
''Does Computer Vision Need HPC?''
Line 15: Line 23:
'''Debora Gil''', Universidad Autonoma de Barcelona
 . June 18, 2013
[[AbstractValeriuBeiu|Deciphering the Low Level Reliability Schemes of the Brain]]

[[attachment:ValeriuBeiu_Slides.pdf]]

[[BioValeriuBeiu|Valeriu Beiu]], Universitatea Aurel Vlaicu, Arad, Romania

 . March 8, 2017, 18:00, room 045C
Line 19: Line 32:
''SEED - a cloud of public services''

'''Daniel Pop''', West University of Timisoara

 . May 22, 2013
'''2016'''
Line 26: Line 35:
''Rayleigh Benard instability in the convection in the mantle'' [[AbstractCrisDoloc|21-th Century Medicine: Digital - Computable - Algorithmic]]
Line 28: Line 37:
'''Olivier Lafitte''', Universite Paris 13, France [[attachment:CrisDoloc_Slides - 26 July 2016.pdf]]
Line 30: Line 39:
 . May 17, 2013 [[BioCrisDoloc|Cris Doloc]], University of Chicago & ALGOMEX & RoGeniX, USA

 . July 26, 2016, 10:00, room A01
Line 33: Line 44:
''Attack Models in Cloud Computing'' ENTICE Project: dEcentralized repositories for traNsparent and eficienT vIrtual maChine opErations
Line 35: Line 46:
'''Roxana Farcasescu''', West University of Timisoara Radu Prodan, University of Innsbruck
Line 37: Line 48:
 . May 8, 2013  . July 13, 2016, 12:30, room 045C
Line 40: Line 51:
''Outages Seen as Security Leaks in Cloud Computing'' [[AbstractJosianeZerubia|Marked Point Processes for Object Detection in High Resolution Images: Applications to Earth Observation and Cartography]]
Line 42: Line 53:
'''Roxana Farcasescu''', West University of Timisoara [[attachment:JosianeZerubia_Slides - 1 July 2016.pdf]]
Line 44: Line 55:
 . April 17, 2013 [[BioJosianeZerubia|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 [[http://www.signalprocessingsociety.org/newsletter/2015/11/sps-announces-2016-class-of-distinguished-lecturers/|IEEE Signal Processing Society Distinguished Lecturer program for 2016-17]]''
----
[[AbstractAlexCabuz|Make something people want]]

''Alexandru Cabuz'', [[http://researchforindustry.ro|Research for Industry]], Romania

 . April 13, 2016, 18:00, room 045C
Line 47: Line 68:
''Big Data: Challenges and Solutions'' '''Predicting Solar Parks Energy Output using Numerical Weather Prediction Ensemble Systems'''
Line 49: Line 70:
'''Daniel Pop''', West University of Timisoara ''Liviu Oana'', West University of Timisoara, Romania
Line 51: Line 72:
 . April 10, 2013  . April 6, 2016, 18:00, room 045C
Line 54: Line 75:
''Syntactic Unification and Matching'' '''Big Data Analysis: Problems and Solutions'''
Line 56: Line 77:
'''Aurelian Radoaca''', West University of Timisoara ''Adriana Dinis'', West University of Timisoara, Romania
Line 58: Line 79:
 . April 3, 2013  . March 23, 2016, 18:00, room 045C
Line 61: Line 83:
''Empirical Software Engineering with Examples'' '''Projection algorithms for convex feasibility problems'''
Line 63: Line 85:
'''Cristina Marinescu''', West University of Timisoara and Politehnica University of Timisoara ''Irina Artinescu'', West University of Timisoara, Romania
Line 65: Line 87:
 . March 20, 2013  . March 16, 2016, 18:00, room 045C
Line 68: Line 90:
''Optimization and Parallelization of the Minimum Volume Simplex Analysis for the extraction of end-members in Hyperspectral Images'' '''Anderson Localisation for matrix-valued operators'''
Line 70: Line 92:
'''Alexander Agathos''', West University of Timisoara ''Hakim Boumaza'', University Paris 13, France
Line 72: Line 94:
 . March 6, 2013  . March 4, 2016, 11:00, room 045C
Line 75: Line 97:
'''2012''' [[AbstractRochelleTractenberg|Appreciating the role of measurement -and its difficulties- in the validity of scientific research claims]]
Line 77: Line 99:
----
''Submodular optimization and fairness in cooperative games''
[[BioRochelleTractenberg|Rochelle Tractenberg]], Georgetown University, USA
Line 80: Line 101:
'''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
 . January 27, 2016, 12:00, room A01

Previous years:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005


2017

Mechanizing induction reasoning for first-order logic with inductive definitions

Sorin Stratulat, University of Lorraine, Metz, France

  • April 12, 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

ValeriuBeiu_Slides.pdf

Valeriu Beiu, Universitatea Aurel Vlaicu, Arad, Romania

  • March 8, 2017, 18:00, room 045C


2016


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


Marked Point Processes for Object Detection in High Resolution Images: Applications to Earth Observation and Cartography

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


Make something people want

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


Appreciating the role of measurement -and its difficulties- in the validity of scientific research claims

Rochelle Tractenberg, Georgetown University, USA

  • January 27, 2016, 12:00, room A01

ScientificSeminar (last edited 2024-05-29 06:16:35 by DanielaZaharie)