Diff for "ScientificSeminar" - RESEARCH @ info.uvt.ro

-  ⇤ ← Revision 96 as of 2015-06-23 05:52:55 → 
  Size: 4724
  Editor: DanielaZaharie
  Comment:
+   ← Revision 190 as of 2021-03-12 08:50:49 → ⇥
  Size: 4996
  Editor: DanielaZaharie
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 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'''

----
[[AbstractChinWeiNgan|Program Verification and Specification Inference]]

[[BioChinWeiNgan|Chin Wei Ngan]], University of Singapore

 . July 7, 2015, 11:00 AM


----
[[AbstractDanMarinescu|Cloud Self-organization Based on Coalition Formation and Combinatorial Auctions]]

[[BioDanMarinescu|Dan C. Marinescu]], University of Central Florida, Orlando, USA

 . June 9, 2015

----
[[AbstractIsabelaDramnesc|Automated Synthesis of Some Algorithms on Finite Sets]]

'''Isabela Dramnesc''', West University of Timisoara

 . May 13, 2015
----

''Stock Market Trading System – Profitable Days and Critical Events Detection''

'''Monica Tirea''', West University of Timisoara

 . May 6, 2015

----
[[AbstractIoanDragan|First-Order Theorem Proving for Program Analysis and Theory Reasoning]]

'''Ioan Dragan''', Institute e-Austria

 . April 22, 2015
+'''2021'''
-Line 45:
+Line 8:
-'' A distributed system for monitoring services and security in the cloud ''
+[[AbstractFlorinRosu|''Parallel Numerical Algorithms for Fractional Order Systems'']]
Florin Rosu, West University of Timisoara, Romania
 . March 10, 2021, 6PM, online
-Line 47:
+Line 12:
-'''Bogdan Irimie''', West University of Timisoara

 . April 1, 2015
+----
'''2020'''
-Line 55:
+Line 17:
-'' Transition between classical and semi-classical regime in an exactly solvable Schrodinger operator with a non C^1 potential ''
+''The physics of statistical inference and community detection''
-Line 57:
+Line 19:
-(joint work with Hakim Boumaza)
+Cristopher Moore, Santa Fe Institute, USA
-Line 59:
+Line 21:
-'''Olivier Lafitte''', University Paris 13

 . March 25, 2015
+ . May 20, 2020, online
-Line 65:
+Line 25:
-[[AbstractChrisHarding|Business Value from Open Systems]]
+''Real-time destination prediction for mobile users''
-Line 67:
+Line 27:
-'''Chris Harding''', Forum Director at The Open Group, UK
+Radu Mariescu, University of Eastern Finland, Finland
-Line 69:
+Line 29:
-'' Can sophisticated computing ever help government? ''

'''Peter Winstanley''', Scottish Government, UK

 . March 18, 2015
+ . May 6, 2020, online
-Line 78:
+Line 33:
-[[AbstractGabrielIstrate|Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process]]
+''Formal Design, Implementation and Verification of Blockchain Languages''
-Line 80:
+Line 35:
-'''Gabriel Istrate''', Universitatea de Vest din Timisoara
+Grigore Rosu, University of Illinois at Urbana Champaign, USA
-Line 82:
+Line 37:
- . March 4, 2015
+ . April 29, 2020, online
-Line 86:
+Line 41:
-'''2014'''
+''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
-Line 88:
+Line 48:
-[[AbstractAlbertoGarcia|Frameworks for solving problems by HPC and Cloud computing]]

'''Alberto Garcia''', Universidad Carlos III de Madrid

 . December 3, 2014
+'''2019'''
-Line 97:
+Line 52:
-[[AbstractLiviuCiortuz|Discovery of inversion breakpoints from raw NGS (Next Generation Sequencing) data: A mapping-free and assembly-free approach]]
+[[AbstractLauraKovacs|''First-order Interpolation'']]
-Line 99:
+Line 54:
-'''Liviu Ciortuz''', A.I. Cuza University, Iasi
+Laura Kovacs, Technical University of Vienna, Austria
-Line 101:
+Line 56:
- . November 19, 2014
+ . November 29, 2019, 10:00, room 045C
-Line 105:
+Line 60:
-[[AbstractAlexAgathos|Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing]]
+[[AbstractVolkerDiekert|''Conway-type result for language over finite and infinite trees'']]
-Line 107:
+Line 62:
-'''Alexander Agathos''', West University of Timisoara
+Volker Diekert, University of Stuttgart, Germany
-Line 109:
+Line 64:
- . October 29, 2014
----

''iCanCloud: a Cloud Computing simulation platform''

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

 . October 15, 2014
+ . October 9, 2019, 18:00, room 045C
-Line 121:
+Line 68:
-[[AbstractCarmenTerei|Imbalanced Data Classification]]
+[[AbstractTemurKutsia|''Generalization algorithms and applications'']]
-Line 123:
+Line 70:
-'''Carmen Terei''', University "Aurel Vlaicu" Arad
+Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
-Line 125:
+Line 72:
- . May 21, 2014
+ . June 12, 2019, 18:00, room 045C
-Line 129:
+Line 76:
-''mOSAIC: PaaS (Platform as a Service) support for multi-clouds''
+[[AbstractStefanBalint2|''Mathematical modelling: deterministic vs. probabilistic vs. fuzzy'']]
-Line 131:
+Line 78:
-'''Georgiana Macariu''', Institute e-Austria Timisoara
-Line 133:
+Line 79:
- . May 7, 2014
+Stefan Balint, West University of Timisoara, Romania

 . April 10, 2019, 18:00, room 045C
-Line 137:
+Line 85:
-[[AbstractIonelMuscalagiu|Modeling, simulating and real execution of distributed constraints in NetLogo (DisCSP-Netlogo)]]
+[[AbstractCarlesSanchezRamos|''Intelligent Operating Room for in vivo lung cancer diagnosis'']]
-Line 139:
+Line 87:
-'''Ionel Muscalagiu''', Politehnica University of Timisoara
-Line 141:
+Line 88:
- . April 30, 2014
+Carles Sanchez Ramos, Computer Vision Center - Universitat Autonoma de Barcelona, Spain 

 . March 27, 2019, 18:00, room 045C
-Line 144:
+Line 93:
+[[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 145:
+Line 95:
-''mOSAIC: IaaS (Infrastructure as a Service) support for multi-clouds''
-Line 147:
+Line 96:
-'''Silviu Panica''', West University of Timisoara
+Luis Costa, Yamaguchi University, Japan
-Line 149:
+Line 98:
- . April 9, 2014
+ . March 6, 2019, 18:00, room 045C
-Line 152:
+Line 101:
-[[AbstractAlexandraPopescu|Study of the directional solidification process of multicrystalline silicon by numerical methods]]

'''Alexandra Popescu''', West University of Timisoara

 . April 2, 2014
+[[AbstractBrankaVucetic|''Research and PhD Scholarships at the Sydney University Centre for IoT and Telecommunications'']]
-Line 159:
+Line 104:
-----
[[AbstractDarianOnchis|Computational challenges in frames-based signal and image processing]]
+Prof. Branka Vucetic, University of Sidney, Australia
-Line 162:
+Line 106:
-'''Darian Onchis''', West University of Timisoara

 . March 26, 2014
+ . January 16, 2019, 12:00, room 045C
-Line 167:
+Line 109:
-''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
+'''2018'''
-Line 174:
+Line 112:
-[[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)]]
+[[AbstractDeepLearning|''Deep Learning made in TM'']]
-Line 176:
+Line 114:
-'''Madalina Erascu''', West University of Timisoara
+[[attachment:DeepLearningMeetup_21nov2018.pdf]]
-Line 178:
+Line 116:
- . March 12, 2014
+Virgil Petcu and Robert Maria, Timisoara Deep Learning Meetup

 . November 21, 2018, 18:00, room 045C
-Line 181:
+Line 121:
-[[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)]]
+''Algebraic approach for post-quantum cryptography''
-Line 183:
+Line 123:
-'''Madalina Erascu''', West University of Timisoara
+Vlad Dragoi, PhD, postdoctoral researcher Aurel Vlaicu University Arad
-Line 185:
+Line 125:
- . March 5, 2014
+ . October 24, 2018, 18:00, room 045C
-Line 188:
+Line 128:
+''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

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

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

Menu

Search Wiki

Page Tools