welcome: please sign in
location: Diff for "ScientificSeminar"
Differences between revisions 88 and 189 (spanning 101 versions)
Revision 88 as of 2015-04-06 10:12:41
Size: 3988
Comment:
Revision 189 as of 2020-10-03 08:25:56
Size: 4795
Editor: MarcFrincu
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||Previous years: ||[[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]] ||
||Previous years: ||[[ScientificSeminar/2017|2017]] ||[[ScientificSeminar/2016|2016]] ||[[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 5: Line 4:
'''2015''' '''2020'''
Line 9: Line 8:
''First-Order Theorem Proving for Program Analysis and Theory Reasoning'' ''The physics of statistical inference and community detection''
Line 11: Line 10:
'''Ioan Dragan''', Institute e-Austria Cristopher Moore, Santa Fe Institute, USA
Line 13: Line 12:
 . April 22, 2015  . May 20, 2020, online
Line 17: Line 16:
'' A distributed system for monitoring services and security in the cloud '' ''Real-time destination prediction for mobile users''
Line 19: Line 18:
Radu Mariescu, University of Eastern Finland, Finland
Line 20: Line 20:
'''Bogdan Irimie''', West University of Timisoara

 . April 1, 2015
 . May 6, 2020, online
Line 27: Line 24:
'' Transition between classical and semi-classical regime in an exactly solvable Schrodinger operator with a non C^1 potential '' ''Formal Design, Implementation and Verification of Blockchain Languages''
Line 29: Line 26:
(joint work with Hakim Boumaza) Grigore Rosu, University of Illinois at Urbana Champaign, USA
Line 31: Line 28:
'''Olivier Lafitte''', University Paris 13

 . March 25, 2015
 . April 29, 2020, online
Line 37: Line 32:
[[AbstractChrisHarding|Business Value from Open Systems]] ''It's not Whom You Know, it's What You, or Your Friends, can Do: Coalitional Frameworks for Network Centralities''
Line 39: Line 34:
'''Chris Harding''', Forum Director at The Open Group, UK Gabriel Istrate, West University of Timisoara, Romania
Line 41: Line 36:
'' Can sophisticated computing ever help government? ''  . March 25, 2020, online
Line 43: Line 38:
'''Peter Winstanley''', Scottish Government, UK

 . March 18, 2015
----
'''2019'''
Line 50: Line 43:
[[AbstractGabrielIstrate|Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process]] [[AbstractLauraKovacs|''First-order Interpolation'']]
Line 52: Line 45:
'''Gabriel Istrate''', Universitatea de Vest din Timisoara Laura Kovacs, Technical University of Vienna, Austria
Line 54: Line 47:
 . March 4, 2015  . November 29, 2019, 10:00, room 045C
Line 58: Line 51:
'''2014'''
----
[[AbstractVolkerDiekert|''Conway-type result for language over finite and infinite trees'']]
Line 61: Line 53:
[[AbstractAlbertoGarcia|Frameworks for solving problems by HPC and Cloud computing]] Volker Diekert, University of Stuttgart, Germany
Line 63: Line 55:
'''Alberto Garcia''', Universidad Carlos III de Madrid

 . December 3, 2014
 . October 9, 2019, 18:00, room 045C
Line 69: Line 59:
[[AbstractLiviuCiortuz|Discovery of inversion breakpoints from raw NGS (Next Generation Sequencing) data: A mapping-free and assembly-free approach]] [[AbstractTemurKutsia|''Generalization algorithms and applications'']]
Line 71: Line 61:
'''Liviu Ciortuz''', A.I. Cuza University, Iasi Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
Line 73: Line 63:
 . November 19, 2014  . June 12, 2019, 18:00, room 045C
Line 77: Line 67:
[[AbstractAlexAgathos|Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing]] [[AbstractStefanBalint2|''Mathematical modelling: deterministic vs. probabilistic vs. fuzzy'']]
Line 79: Line 69:
'''Alexander Agathos''', West University of Timisoara
Line 81: Line 70:
 . October 29, 2014
----
Stefan Balint, West University of Timisoara, Romania
Line 84: Line 72:
''iCanCloud: a Cloud Computing simulation platform''

'''Gabriel González Castañé''', Universidad Carlos III de Madrid

 . October 15, 2014
 . April 10, 2019, 18:00, room 045C
Line 93: Line 76:
[[AbstractCarmenTerei|Imbalanced Data Classification]] [[AbstractCarlesSanchezRamos|''Intelligent Operating Room for in vivo lung cancer diagnosis'']]
Line 95: Line 78:
'''Carmen Terei''', University "Aurel Vlaicu" Arad
Line 97: Line 79:
 . May 21, 2014 Carles Sanchez Ramos, Computer Vision Center - Universitat Autonoma de Barcelona, Spain

 . March 27, 2019, 18:00, room 045C
Line 100: Line 84:
[[AbstractLuisCosta|''Applying a method for semi-automatic text content analysis to newspaper coverage of Japan (and - work in progress - Romania) in Brazil and Portugal'']]
Line 101: Line 86:
''mOSAIC: PaaS (Platform as a Service) support for multi-clouds''
Line 103: Line 87:
'''Georgiana Macariu''', Institute e-Austria Timisoara Luis Costa, Yamaguchi University, Japan
Line 105: Line 89:
 . May 7, 2014  . March 6, 2019, 18:00, room 045C
Line 108: Line 92:
[[AbstractBrankaVucetic|''Research and PhD Scholarships at the Sydney University Centre for IoT and Telecommunications'']]
Line 109: Line 94:
[[AbstractIonelMuscalagiu|Modeling, simulating and real execution of distributed constraints in NetLogo (DisCSP-Netlogo)]]
Line 111: Line 95:
'''Ionel Muscalagiu''', Politehnica University of Timisoara Prof. Branka Vucetic, University of Sidney, Australia
Line 113: Line 97:
 . April 30, 2014  . January 16, 2019, 12:00, room 045C
Line 116: Line 100:

''mOSAIC: IaaS (Infrastructure as a Service) support for multi-clouds''

'''Silviu Panica''', West University of Timisoara

 . April 9, 2014
'''2018'''
Line 124: Line 103:
[[AbstractAlexandraPopescu|Study of the directional solidification process of multicrystalline silicon by numerical methods]] [[AbstractDeepLearning|''Deep Learning made in TM'']]
Line 126: Line 105:
'''Alexandra Popescu''', West University of Timisoara [[attachment:DeepLearningMeetup_21nov2018.pdf]]
Line 128: Line 107:
 . April 2, 2014 Virgil Petcu and Robert Maria, Timisoara Deep Learning Meetup
Line 130: Line 109:
 . November 21, 2018, 18:00, room 045C
Line 132: Line 112:
[[AbstractDarianOnchis|Computational challenges in frames-based signal and image processing]] ''Algebraic approach for post-quantum cryptography''
Line 134: Line 114:
'''Darian Onchis''', West University of Timisoara Vlad Dragoi, PhD, postdoctoral researcher Aurel Vlaicu University Arad
Line 136: Line 116:
 . March 26, 2014  . October 24, 2018, 18:00, room 045C
Line 139: Line 119:
''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'' ''Terrorism and Cyberspace - Ancient ideology modern body''
Line 141: Line 121:
'''Olivier Lafitte''', University Paris 13 Tal Pavel, PhD, CEO & Founder, Middleeasternet, Head of Cyber studies, The Academic College of Tel Aviv-Yaffo
Line 143: Line 123:
 . March 19, 2014  . October 10, 2018, 18:00, room 045C
Line 146: Line 126:
[[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)]] ''Inferring the road network from GPS trajectories''
Line 148: Line 128:
'''Madalina Erascu''', West University of Timisoara (slides and datasets: http://cs.uef.fi/~radum/RO/)
Line 150: Line 130:
 . March 12, 2014 Radu Mariescu Istodor, PhD, University of Eastern Finland

 . October 10, 2018, 19:00, room 045C
Line 153: Line 135:
[[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)]] [[AbstractDoruRotovei|Analytical CRM – Enhancing the customer experience during the initial complex sale using machine learning techniques]]
Line 155: Line 137:
'''Madalina Erascu''', West University of Timisoara Doru Rotovei, West University of Timisoara
Line 157: Line 139:
 . March 5, 2014  . May 2, 2018, 18:00, room 045C
Line 160: Line 142:
[[AbstractStefanBalint|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

----
[[AbstractTeodoraSeleaML|Machine Learning for Processing Satellite Images]]

Teodora Selea, West University of Timisoara

 . April 18, 2018, 18:00, room 045C

----
[[AbstractCiprianPungila|Understanding the Science Behind GPGPU Computational Models: Overcoming Challenges and Debunking Myths.]]

Ciprian Pungila, West University of Timisoara

 . April 4, 2018, 18:00, room 045C

----
[[AbstractCiprianJichici|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

----
[[AbstractAdrianaDinis|Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data]]

Adriana Dinis, West University of Timisoara

 . March 7, 2018, 18:00, room 045C

Previous years:

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005


2020


The physics of statistical inference and community detection

Cristopher Moore, Santa Fe Institute, USA

  • May 20, 2020, online


Real-time destination prediction for mobile users

Radu Mariescu, University of Eastern Finland, Finland

  • May 6, 2020, online


Formal Design, Implementation and Verification of Blockchain Languages

Grigore Rosu, University of Illinois at Urbana Champaign, USA

  • April 29, 2020, online


It's not Whom You Know, it's What You, or Your Friends, can Do: Coalitional Frameworks for Network Centralities

Gabriel Istrate, West University of Timisoara, Romania

  • March 25, 2020, online


2019


''First-order Interpolation''

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


''Applying a method for semi-automatic text content analysis to newspaper coverage of Japan (and - work in progress - Romania) in Brazil and Portugal''

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


2018


''Deep Learning made in TM''

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


Analytical CRM – Enhancing the customer experience during the initial complex sale using machine learning techniques

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


Understanding the Science Behind GPGPU Computational Models: Overcoming Challenges and Debunking Myths.

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

  • March 7, 2018, 18:00, room 045C

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