4720
Comment:
|
4087
|
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 5: |
'''2015''' | '''2019''' |
Line 8: | Line 8: |
[[AbstractChinWeiNgan|Program Verification and Specification Inference]] | |
Line 10: | Line 9: |
[[BioChinWeiNgan|Chin Wei Ngan]], School of Computing, National University of Singapore | [[AbstractLauraKovacs|''First-order Interpolation'']] |
Line 12: | Line 11: |
. July 6, 2015, 11:00 AM | Laura Kovacs, Technical University of Vienna, Austria . November 29, 2019, 10:00, room 045C |
Line 15: | Line 16: |
[[AbstractDanMarinescu|Cloud Self-organization Based on Coalition Formation and Combinatorial Auctions]] | |
Line 17: | Line 17: |
[[BioDanMarinescu|Dan C. Marinescu]], University of Central Florida, Orlando, USA | [[AbstractVolkerDiekert|''Conway-type result for language over finite and infinite trees'']] |
Line 19: | Line 19: |
. June 9, 2015 | Volker Diekert, University of Stuttgart, Germany . October 9, 2019, 18:00, room 045C |
Line 22: | Line 24: |
[[AbstractIsabelaDramnesc|Automated Synthesis of Some Algorithms on Finite Sets]] | |
Line 24: | Line 25: |
'''Isabela Dramnesc''', West University of Timisoara | [[AbstractTemurKutsia|''Generalization algorithms and applications'']] |
Line 26: | Line 27: |
. May 13, 2015 | Temur Kutsia, RISC, Johannes Kepler University Linz, Austria . June 12, 2019, 18:00, room 045C |
Line 29: | Line 32: |
''Stock Market Trading System – Profitable Days and Critical Events Detection'' | |
Line 31: | Line 33: |
'''Monica Tirea''', West University of Timisoara | [[AbstractStefanBalint2|''Mathematical modelling: deterministic vs. probabilistic vs. fuzzy'']] |
Line 33: | Line 35: |
. May 6, 2015 | Stefan Balint, West University of Timisoara, Romania . April 10, 2019, 18:00, room 045C |
Line 36: | Line 41: |
[[AbstractIoanDragan|First-Order Theorem Proving for Program Analysis and Theory Reasoning]] | |
Line 38: | Line 42: |
'''Ioan Dragan''', Institute e-Austria | [[AbstractCarlesSanchezRamos|''Intelligent Operating Room for in vivo lung cancer diagnosis'']] |
Line 40: | Line 44: |
. April 22, 2015 | Carles Sanchez Ramos, Computer Vision Center - Universitat Autonoma de Barcelona, Spain . March 27, 2019, 18:00, room 045C |
Line 43: | Line 50: |
'' A distributed system for monitoring services and security in the cloud '' | [[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 45: | Line 52: |
'''Bogdan Irimie''', West University of Timisoara | |
Line 47: | Line 53: |
. April 1, 2015 | Luis Costa, Yamaguchi University, Japan . March 6, 2019, 18:00, room 045C |
Line 50: | Line 58: |
'' Transition between classical and semi-classical regime in an exactly solvable Schrodinger operator with a non C^1 potential '' | [[AbstractBrankaVucetic|''Research and PhD Scholarships at the Sydney University Centre for IoT and Telecommunications'']] |
Line 52: | Line 60: |
(joint work with Hakim Boumaza) | |
Line 54: | Line 61: |
'''Olivier Lafitte''', University Paris 13 | Prof. Branka Vucetic, University of Sidney, Australia |
Line 56: | Line 63: |
. March 25, 2015 | . January 16, 2019, 12:00, room 045C |
Line 59: | Line 66: |
[[AbstractChrisHarding|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 |
'''2018''' |
Line 70: | Line 69: |
[[AbstractGabrielIstrate|Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process]] | [[AbstractDeepLearning|''Deep Learning made in TM'']] |
Line 72: | Line 71: |
'''Gabriel Istrate''', Universitatea de Vest din Timisoara | [[attachment:DeepLearningMeetup_21nov2018.pdf]] |
Line 74: | Line 73: |
. March 4, 2015 | Virgil Petcu and Robert Maria, Timisoara Deep Learning Meetup . November 21, 2018, 18:00, room 045C |
Line 77: | Line 78: |
'''2014''' | ''Algebraic approach for post-quantum cryptography'' Vlad Dragoi, PhD, postdoctoral researcher Aurel Vlaicu University Arad . October 24, 2018, 18:00, room 045C |
Line 80: | Line 85: |
[[AbstractAlbertoGarcia|Frameworks for solving problems by HPC and Cloud computing]] | ''Terrorism and Cyberspace - Ancient ideology modern body'' |
Line 82: | Line 87: |
'''Alberto Garcia''', Universidad Carlos III de Madrid | Tal Pavel, PhD, CEO & Founder, Middleeasternet, Head of Cyber studies, The Academic College of Tel Aviv-Yaffo |
Line 84: | Line 89: |
. December 3, 2014 | . October 10, 2018, 18:00, room 045C |
Line 87: | Line 92: |
[[AbstractLiviuCiortuz|Discovery of inversion breakpoints from raw NGS (Next Generation Sequencing) data: A mapping-free and assembly-free approach]] | ''Inferring the road network from GPS trajectories'' |
Line 89: | Line 94: |
'''Liviu Ciortuz''', A.I. Cuza University, Iasi | (slides and datasets: http://cs.uef.fi/~radum/RO/) |
Line 91: | Line 96: |
. November 19, 2014 | Radu Mariescu Istodor, PhD, University of Eastern Finland . October 10, 2018, 19:00, room 045C |
Line 94: | Line 101: |
[[AbstractAlexAgathos|Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing]] | [[AbstractDoruRotovei|Analytical CRM – Enhancing the customer experience during the initial complex sale using machine learning techniques]] |
Line 96: | Line 103: |
'''Alexander Agathos''', West University of Timisoara | Doru Rotovei, West University of Timisoara |
Line 98: | Line 105: |
. October 29, 2014 | . May 2, 2018, 18:00, room 045C |
Line 101: | Line 108: |
''iCanCloud: a Cloud Computing simulation platform'' | [[AbstractStefanBalint|Objectivity Lost when Riemann-Liouville or Caputo Fractional Order Derivatives Are Used]] |
Line 103: | Line 110: |
'''Gabriel González Castañé''', Universidad Carlos III de Madrid | Stefan Balint, West University of Timisoara |
Line 105: | Line 112: |
. October 15, 2014 | . April 25, 2018, 18:00, room 045C |
Line 108: | Line 115: |
[[AbstractCarmenTerei|Imbalanced Data Classification]] | [[AbstractTeodoraSeleaML|Machine Learning for Processing Satellite Images]] |
Line 110: | Line 117: |
'''Carmen Terei''', University "Aurel Vlaicu" Arad | Teodora Selea, West University of Timisoara |
Line 112: | Line 119: |
. May 21, 2014 | . April 18, 2018, 18:00, room 045C |
Line 115: | Line 122: |
''mOSAIC: PaaS (Platform as a Service) support for multi-clouds'' | [[AbstractCiprianPungila|Understanding the Science Behind GPGPU Computational Models: Overcoming Challenges and Debunking Myths.]] |
Line 117: | Line 124: |
'''Georgiana Macariu''', Institute e-Austria Timisoara | Ciprian Pungila, West University of Timisoara |
Line 119: | Line 126: |
. May 7, 2014 | . April 4, 2018, 18:00, room 045C |
Line 122: | Line 129: |
[[AbstractIonelMuscalagiu|Modeling, simulating and real execution of distributed constraints in NetLogo (DisCSP-Netlogo)]] | [[AbstractCiprianJichici|Quantum computing – The potential impact on Machine Learning]] |
Line 124: | Line 131: |
'''Ionel Muscalagiu''', Politehnica University of Timisoara | Ciprian Jichici, CEO Genisoft & Microsoft Regional Director in Timișoara |
Line 126: | Line 133: |
. April 30, 2014 | . March 14, 2018, 18:00, room 045C |
Line 129: | Line 136: |
''mOSAIC: IaaS (Infrastructure as a Service) support for multi-clouds'' | [[AbstractAdrianaDinis|Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data]] |
Line 131: | Line 138: |
'''Silviu Panica''', West University of Timisoara | Adriana Dinis, West University of Timisoara |
Line 133: | Line 140: |
. April 9, 2014 ---- [[AbstractAlexandraPopescu|Study of the directional solidification process of multicrystalline silicon by numerical methods]] '''Alexandra Popescu''', West University of Timisoara . April 2, 2014 ---- [[AbstractDarianOnchis|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 ---- [[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)]] '''Madalina Erascu''', West University of Timisoara . March 12, 2014 ---- [[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)]] '''Madalina Erascu''', West University of Timisoara . March 5, 2014 ---- |
. March 7, 2018, 18:00, room 045C |
2019
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
2018
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
- March 7, 2018, 18:00, room 045C