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

-  ⇤ ← Revision 90 as of 2015-05-04 06:28:06 → 
  Size: 4214
  Editor: DanielaZaharie
  Comment:
+   ← Revision 162 as of 2018-03-05 06:11:16 → ⇥
  Size: 3608
  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'''

----
TBA

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

 . May 13, 2015
----
'''2015'''

----
TBA

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

 . May 6, 2015

----
'''2015'''

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

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

 . April 22, 2015
+'''2018'''
-Line 35:
+Line 8:
-'' A distributed system for monitoring services and security in the cloud ''
+[[AbstractCiprianPungila|Understanding the Science Behind GPGPU Computational Models: Overcoming Challenges and Debunking Myths.]]
-Line 38:
+Line 11:
-'''Bogdan Irimie''', West University of Timisoara
+Ciprian Pungila, West University of Timisoara
-Line 40:
+Line 13:
- . April 1, 2015
+ . 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
-Line 45:
+Line 36:
-'' Transition between classical and semi-classical regime in an exactly solvable Schrodinger operator with a non C^1 potential ''

(joint work with Hakim Boumaza)

'''Olivier Lafitte''', University Paris 13

 . March 25, 2015
+'''2017'''
-Line 55:
+Line 40:
-[[AbstractChrisHarding|Business Value from Open Systems]]
+[[AbstractSorinGrigorescu|Self-learning Software for Predictive Systems in Autonomous Driving]]
-Line 57:
+Line 42:
-'''Chris Harding''', Forum Director at The Open Group, UK
-Line 59:
+Line 43:
-'' Can sophisticated computing ever help government? ''
+Sorin Grigorescu, University Transilvania of Brasov & Elektrobit Automotive Romania
-Line 61:
+Line 45:
-'''Peter Winstanley''', Scottish Government, UK

 . March 18, 2015
+ . December 13, 2017, 18:00,  room 045C
-Line 68:
+Line 49:
-[[AbstractGabrielIstrate|Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process]]
+[[AbstractAlexandruPopa|The interference problem in multi-channel wireless networks]]
-Line 70:
+Line 51:
-'''Gabriel Istrate''', Universitatea de Vest din Timisoara
-Line 72:
+Line 52:
- . March 4, 2015
+Alexandru Popa, University of Bucharest, Romania

 . October 11, 2017, 18:00,  room 045C
-Line 76:
+Line 58:
-'''2014'''
----
+The Impact of Autoscaling Polices on Web Workloads
-Line 79:
+Line 60:
-[[AbstractAlbertoGarcia|Frameworks for solving problems by HPC and Cloud computing]]
-Line 81:
+Line 61:
-'''Alberto Garcia''', Universidad Carlos III de Madrid
+Mo'min I.M. Tabash, University of Pavia, Italy
-Line 83:
+Line 63:
- . December 3, 2014
+ . June 7, 2017, 18:00,  room 045C
-Line 87:
+Line 67:
-[[AbstractLiviuCiortuz|Discovery of inversion breakpoints from raw NGS (Next Generation Sequencing) data: A mapping-free and assembly-free approach]]
+[[AbstractAncaVulpe|Scheduling data stream jobs on distributed systems with background load]]
-Line 89:
+Line 69:
-'''Liviu Ciortuz''', A.I. Cuza University, Iasi
-Line 91:
+Line 70:
- . November 19, 2014
+Anca Vulpe, West University of Timisoara, Romania

 . May 10, 2017, 18:00,  room 045C
-Line 95:
+Line 76:
-[[AbstractAlexAgathos|Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing]]
+[[AbstractViktorianMiok|Integrative modeling of time-course multi-level omics data from HPV-induced cervical carcinogenesis]]
-Line 97:
+Line 78:
-'''Alexander Agathos''', West University of Timisoara
-Line 99:
+Line 79:
- . October 29, 2014
----
+[[BioViktorianMiok|Viktorian Miok]], VU University Medical Center in Amsterdam, The Netherlands
-Line 102:
+Line 81:
-''iCanCloud: a Cloud Computing simulation platform''

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

 . October 15, 2014
+ . May 3, 2017, 18:00,  room 045C
-Line 111:
+Line 85:
-[[AbstractCarmenTerei|Imbalanced Data Classification]]
+[[AbstractHakimBoumaza|The band spectrum of the periodic Airy-Schrödinger operator on the real line]]
-Line 113:
+Line 87:
-'''Carmen Terei''', University "Aurel Vlaicu" Arad
-Line 115:
+Line 88:
- . May 21, 2014
+''Hakim Boumaza'', Universite Paris XIII, France

 . April 28, 2017, 9:40,  room 104
-Line 119:
+Line 94:
-''mOSAIC: PaaS (Platform as a Service) support for multi-clouds''
+[[AbstractGuillameDucoffe|Revisiting Preferential Attachment with applications to Twitter]]
-Line 121:
+Line 96:
-'''Georgiana Macariu''', Institute e-Austria Timisoara
-Line 123:
+Line 97:
- . May 7, 2014
+[[attachment:slides-Ducoffe-Timisoara-PA.pdf]]


[[BioGuillameDucoffe|Guillaume Ducoffe]], INRIA Sophia Antipolis, France

 . April 26, 2017, 18:00,  room 045C
-Line 127:
+Line 106:
-[[AbstractIonelMuscalagiu|Modeling, simulating and real execution of distributed constraints in NetLogo (DisCSP-Netlogo)]]
+[[AbstractSorinStratulat|Mechanizing induction reasoning for first-order logic with inductive definitions]]
-Line 129:
+Line 108:
-'''Ionel Muscalagiu''', Politehnica University of Timisoara
-Line 131:
+Line 109:
- . April 30, 2014
+''Sorin Stratulat'', University of Lorraine, Metz, France

 . April 12, 2017, 18:00,  room 045C
-Line 135:
+Line 115:
-''mOSAIC: IaaS (Infrastructure as a Service) support for multi-clouds''
+[[AbstractAdrianSpataru|Using Cluster Information to Predict Individual Customer Energy Consumption]]
-Line 137:
+Line 117:
-'''Silviu Panica''', West University of Timisoara
-Line 139:
+Line 118:
- . April 9, 2014
+''Adrian Spataru'', West University of Timisoara, Romania

 . April 5, 2017, 18:00,  room 045C
-Line 142:
+Line 123:
-[[AbstractAlexandraPopescu|Study of the directional solidification process of multicrystalline silicon by numerical methods]]
-Line 144:
+Line 124:
-'''Alexandra Popescu''', West University of Timisoara
+[[AbstractTeodoraSelea|Empirical Evaluation of Numerical Mathematical Libraries]]
-Line 146:
+Line 126:
- . April 2, 2014
+''Teodora Selea, Oana Brandibur'', Universitatea de Vest din Timisoara, Romania
-Line 148:
+Line 128:
+ . March 22, 2017, 18:00,  room 045C
-Line 150:
+Line 131:
-[[AbstractDarianOnchis|Computational challenges in frames-based signal and image processing]]
-Line 152:
+Line 132:
-'''Darian Onchis''', West University of Timisoara
+[[AbstractValeriuBeiu|Deciphering the Low Level Reliability Schemes of the Brain]]
-Line 154:
+Line 134:
- . March 26, 2014
+[[attachment:ValeriuBeiu_Slides.pdf]]
-Line 156:
+Line 136:
-----
''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''
+[[BioValeriuBeiu|Valeriu Beiu]], Universitatea Aurel Vlaicu, Arad, Romania
-Line 159:
+Line 138:
-'''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 8, 2017, 18:00,  room 045C

Menu

Search Wiki

Page Tools