4911
Comment:
|
4795
|
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]] || ---- '''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''' ---- [[AbstractLauraKovacs|''First-order Interpolation'']] Laura Kovacs, Technical University of Vienna, Austria . November 29, 2019, 10:00, room 045C ---- [[AbstractVolkerDiekert|''Conway-type result for language over finite and infinite trees'']] Volker Diekert, University of Stuttgart, Germany . October 9, 2019, 18:00, room 045C ---- [[AbstractTemurKutsia|''Generalization algorithms and applications'']] Temur Kutsia, RISC, Johannes Kepler University Linz, Austria . June 12, 2019, 18:00, room 045C ---- [[AbstractStefanBalint2|''Mathematical modelling: deterministic vs. probabilistic vs. fuzzy'']] |
Line 4: | Line 70: |
---- '''2015''' |
Stefan Balint, West University of Timisoara, Romania . April 10, 2019, 18:00, room 045C |
Line 8: | Line 75: |
[[AbstractMarcFrincu|Prediction and selection in smart grids. A practical approach]] | |
Line 10: | Line 76: |
'''Marc Frincu''', West University of Timisoara . October 14, 2015, 18:00 AM, room 045C |
[[AbstractCarlesSanchezRamos|''Intelligent Operating Room for in vivo lung cancer diagnosis'']] |
Line 15: | Line 79: |
---- [[AbstractChinWeiNgan|Program Verification and Specification Inference]] |
Carles Sanchez Ramos, Computer Vision Center - Universitat Autonoma de Barcelona, Spain |
Line 18: | Line 81: |
[[BioChinWeiNgan|Chin Wei Ngan]], School of Computing, National University of Singapore . July 6, 2015, 11:00 AM |
. March 27, 2019, 18:00, room 045C |
Line 23: | Line 84: |
[[AbstractDanMarinescu|Cloud Self-organization Based on Coalition Formation and Combinatorial Auctions]] | [[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 25: | Line 86: |
[[BioDanMarinescu|Dan C. Marinescu]], University of Central Florida, Orlando, USA | |
Line 27: | Line 87: |
. June 9, 2015 | Luis Costa, Yamaguchi University, Japan . March 6, 2019, 18:00, room 045C |
Line 30: | Line 92: |
[[AbstractIsabelaDramnesc|Automated Synthesis of Some Algorithms on Finite Sets]] | [[AbstractBrankaVucetic|''Research and PhD Scholarships at the Sydney University Centre for IoT and Telecommunications'']] |
Line 32: | Line 94: |
'''Isabela Dramnesc''', West University of Timisoara | |
Line 34: | Line 95: |
. May 13, 2015 | Prof. Branka Vucetic, University of Sidney, Australia . January 16, 2019, 12:00, room 045C |
Line 37: | Line 100: |
''Stock Market Trading System – Profitable Days and Critical Events Detection'' '''Monica Tirea''', West University of Timisoara . May 6, 2015 |
'''2018''' |
Line 44: | Line 103: |
[[AbstractIoanDragan|First-Order Theorem Proving for Program Analysis and Theory Reasoning]] | [[AbstractDeepLearning|''Deep Learning made in TM'']] |
Line 46: | Line 105: |
'''Ioan Dragan''', Institute e-Austria | [[attachment:DeepLearningMeetup_21nov2018.pdf]] |
Line 48: | Line 107: |
. April 22, 2015 | Virgil Petcu and Robert Maria, Timisoara Deep Learning Meetup . November 21, 2018, 18:00, room 045C |
Line 51: | Line 112: |
'' A distributed system for monitoring services and security in the cloud '' | ''Algebraic approach for post-quantum cryptography'' |
Line 53: | Line 114: |
'''Bogdan Irimie''', West University of Timisoara | Vlad Dragoi, PhD, postdoctoral researcher Aurel Vlaicu University Arad |
Line 55: | Line 116: |
. April 1, 2015 | . October 24, 2018, 18:00, room 045C |
Line 58: | Line 119: |
'' Transition between classical and semi-classical regime in an exactly solvable Schrodinger operator with a non C^1 potential '' | ''Terrorism and Cyberspace - Ancient ideology modern body'' |
Line 60: | Line 121: |
(joint work with Hakim Boumaza) | Tal Pavel, PhD, CEO & Founder, Middleeasternet, Head of Cyber studies, The Academic College of Tel Aviv-Yaffo |
Line 62: | Line 123: |
'''Olivier Lafitte''', University Paris 13 . March 25, 2015 |
. October 10, 2018, 18:00, room 045C |
Line 67: | Line 126: |
[[AbstractChrisHarding|Business Value from Open Systems]] | ''Inferring the road network from GPS trajectories'' |
Line 69: | Line 128: |
'''Chris Harding''', Forum Director at The Open Group, UK | (slides and datasets: http://cs.uef.fi/~radum/RO/) |
Line 71: | Line 130: |
'' Can sophisticated computing ever help government? '' | Radu Mariescu Istodor, PhD, University of Eastern Finland |
Line 73: | Line 132: |
'''Peter Winstanley''', Scottish Government, UK . March 18, 2015 |
. October 10, 2018, 19:00, room 045C |
Line 78: | Line 135: |
[[AbstractGabrielIstrate|Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process]] | [[AbstractDoruRotovei|Analytical CRM – Enhancing the customer experience during the initial complex sale using machine learning techniques]] |
Line 80: | Line 137: |
'''Gabriel Istrate''', Universitatea de Vest din Timisoara | Doru Rotovei, West University of Timisoara |
Line 82: | Line 139: |
. March 4, 2015 | . May 2, 2018, 18:00, room 045C |
Line 85: | Line 142: |
'''2014''' | [[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 |
Line 88: | Line 149: |
[[AbstractAlbertoGarcia|Frameworks for solving problems by HPC and Cloud computing]] | [[AbstractTeodoraSeleaML|Machine Learning for Processing Satellite Images]] |
Line 90: | Line 151: |
'''Alberto Garcia''', Universidad Carlos III de Madrid | Teodora Selea, West University of Timisoara |
Line 92: | Line 153: |
. December 3, 2014 | . April 18, 2018, 18:00, room 045C |
Line 95: | Line 156: |
[[AbstractLiviuCiortuz|Discovery of inversion breakpoints from raw NGS (Next Generation Sequencing) data: A mapping-free and assembly-free approach]] | [[AbstractCiprianPungila|Understanding the Science Behind GPGPU Computational Models: Overcoming Challenges and Debunking Myths.]] |
Line 97: | Line 158: |
'''Liviu Ciortuz''', A.I. Cuza University, Iasi | Ciprian Pungila, West University of Timisoara |
Line 99: | Line 160: |
. November 19, 2014 | . April 4, 2018, 18:00, room 045C |
Line 102: | Line 163: |
[[AbstractAlexAgathos|Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing]] | [[AbstractCiprianJichici|Quantum computing – The potential impact on Machine Learning]] |
Line 104: | Line 165: |
'''Alexander Agathos''', West University of Timisoara | Ciprian Jichici, CEO Genisoft & Microsoft Regional Director in Timișoara |
Line 106: | Line 167: |
. October 29, 2014 | . March 14, 2018, 18:00, room 045C |
Line 109: | Line 170: |
''iCanCloud: a Cloud Computing simulation platform'' | [[AbstractAdrianaDinis|Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data]] |
Line 111: | Line 172: |
'''Gabriel González Castañé''', Universidad Carlos III de Madrid | Adriana Dinis, West University of Timisoara |
Line 113: | Line 174: |
. October 15, 2014 ---- [[AbstractCarmenTerei|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 ---- [[AbstractIonelMuscalagiu|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 ---- [[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 |
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
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