welcome: please sign in
location: Diff for "ScientificSeminar"
Differences between revisions 38 and 137 (spanning 99 versions)
Revision 38 as of 2013-02-26 10:57:09
Size: 1986
Editor: anonymous
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:
''Optimization and Parallelization of the Minimum Volume Simplex Analysis for the extraction of end-members in Hyperspectral Images''
Line 9: Line 15:
'''Alexander Agathos''', West University of Timisoara [[AbstractTeodoraSelea|Empirical Evaluation of Numerical Mathematical Libraries]]
Line 11: Line 17:
 . March 6, 2013 ''Teodora Selea, Oana Brandibur'', Universitatea de Vest din Timisoara, Romania

 . March 22, 2017, 18:00, room 045C
Line 14: Line 22:
'''2012'''
[[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 17: Line 32:
''Submodular optimization and fairness in cooperative games''

'''Cosmin Bonchis''', West University of Timisoara

 . June 6, 2012
'''2016'''
Line 24: Line 35:
''Numerical methods for nanoscale electrodynamics'' [[AbstractCrisDoloc|21-th Century Medicine: Digital - Computable - Algorithmic]]
Line 26: Line 37:
'''Claudiu Biris''', West University of Timisoara [[attachment:CrisDoloc_Slides - 26 July 2016.pdf]]
Line 28: Line 39:
 . May 23, 2012 [[BioCrisDoloc|Cris Doloc]], University of Chicago & ALGOMEX & RoGeniX, USA

 . July 26, 2016, 10:00, room A01
Line 31: Line 44:
''Theory Exploration in Theorema: Case Study on Lists'' ENTICE Project: dEcentralized repositories for traNsparent and eficienT vIrtual maChine opErations
Line 33: Line 46:
'''Isabela Dramnesc''', West University of Timisoara Radu Prodan, University of Innsbruck
Line 35: Line 48:
 . May 9, 2012  . July 13, 2016, 12:30, room 045C
Line 38: Line 51:
''Automatic Inference of Bounds on Resource Consumption'' [[AbstractJosianeZerubia|Marked Point Processes for Object Detection in High Resolution Images: Applications to Earth Observation and Cartography]]
Line 40: Line 53:
'''German Puebla''', Technical University of Madrid [[attachment:JosianeZerubia_Slides - 1 July 2016.pdf]]
Line 42: Line 55:
 . May 8, 2012 [[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 45: Line 68:
''Multi-Agent Governance in Cloud'' '''Predicting Solar Parks Energy Output using Numerical Weather Prediction Ensemble Systems'''
Line 47: Line 70:
'''Victor Munteanu''', West University of Timisoara ''Liviu Oana'', West University of Timisoara, Romania
Line 49: Line 72:
 . April 25, 2012  . April 6, 2016, 18:00, room 045C
Line 52: Line 75:
''Memory-Efficient Static Analysis of Binary Code for Antivirus Development'' '''Big Data Analysis: Problems and Solutions'''
Line 54: Line 77:
'''Ciprian Pungila''', West University of Timisoara ''Adriana Dinis'', West University of Timisoara, Romania
Line 56: Line 79:
 . April 11, 2012  . March 23, 2016, 18:00, room 045C
Line 59: Line 83:
''Reflection of an electromagnetic wave by a curved boundary: us of the geometric rotational and laplacian'' '''Projection algorithms for convex feasibility problems'''
Line 61: Line 85:
'''Olivier Lafitte''', Universite Paris 13, France ''Irina Artinescu'', West University of Timisoara, Romania
Line 63: Line 87:
 . April 4, 2012  . March 16, 2016, 18:00, room 045C
Line 66: Line 90:
''Membrane Computing, after (almost) 14 years'' '''Anderson Localisation for matrix-valued operators'''
Line 68: Line 92:
'''Gheorghe Paun''', Academia Romana ''Hakim Boumaza'', University Paris 13, France
Line 70: Line 94:
 . April 3, 2012  . March 4, 2016, 11:00, room 045C
Line 73: Line 97:
''Towards Human Behavior Analysis in Pervasive Spaces based on Energy Consumption'' [[AbstractRochelleTractenberg|Appreciating the role of measurement -and its difficulties- in the validity of scientific research claims]]
Line 75: Line 99:
'''Ovidiu Aritoni''', West University of Timisoara [[BioRochelleTractenberg|Rochelle Tractenberg]], Georgetown University, USA
Line 77: Line 101:
 . 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)