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

Marc Frincu (Nottingham Trent University - UK), Simina Frincu (West University of Timisoara - Romania) and Marius Penteliuc (West University of Timisoara - Romania)

January 25, 2023, 6PM, online

Operating rooms scheduling with a shared resource: a red-blue knapsack modeling approach

Federico Della Croce, DIGEP Politecnico di Torino, Italy

January 18, 2023, 6PM

The role of Cybersecurity legal framework in protecting human rights and fundamental freedoms

Constantin Aradan, West University of Timisoara, Faculty of Law

January 11, 2023, 6PM

2022

Infrastructure challenges of IoT world

Bogdan Butunoi, West University of Timisoara

December 14, 2022, 6PM, room 045C

Verification of Binarized Deep Neural Networks - an overview

Mădălina Erașcu and Andreea Postovan, West University of Timișoara

December 7, 2022, 6PM, room 045C

Technologies for brain health

Paula Petcu, Brain+ and Healthy Mind Tech, Denmark

May 11, 2022, 6PM, online

Early work with BCIs to control robots

Brendan Allison, University of California, San Diego, USA

April 20, 2022, 6PM, online

''Lightweight Interpolation-Based Surrogate Modelling for Multi-Objective Continuous Optimisation''

Ciprian Zăvoianu, Robert Gordon University, Aberdeen, UK

April 13, 2022, 6PM, online

''On eco-friendly digital currencies and why blockchain technology is misunderstood''

Ciprian Pungilă, West University of Timisoara

April 6, 2022, 6PM, online

''A blockchain-driven architecture for antimicrobial resistance detection''

Alexe Luca Spătaru, West University of Timisoara

March 30, 2022, 6PM, online

''The role of the universities in the entrepreneurial ecosystem''

Duncan T. Moore, University of Rochester, USA

March 23, 2022, 5PM, online (Zoom)

''Cloud Movement Forecasting based on Wind Modeled from Satellite Imagery and a Modified Flocking Algorithm''

Marius Penteliuc, West University of Timisoara

March 23, 2022, 6:30 PM, online (https://meet.google.com/fim-ewxf-vdg)

''Association Studies and Genetic Diversity''

Alexandru Mizeranschi, Research and Development Station for Bovine – Arad

March 16, 2022, 6PM, online

''Scalable Optimal Deployment in the Cloud of Component-based Applications using Optimization Modulo Theory, Mathematical Programming and Symmetry Breaking''

Mădălina Erașcu, West University of Timisoara

March 11, 2022, 6PM, online

''NDFA-based inexact pattern-matching through local optimum''

Darius Galis, West University of Timisoara

March 9, 2022, 6PM, online

-  ⇤ ← Revision 99 as of 2015-10-08 11:12:34 → 
  Size: 4910
  Editor: DanielaZaharie
  Comment:
+   ← Revision 266 as of 2023-06-24 06:28:00 → ⇥
  Size: 5805
  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/2021|2021]] ||[[ScientificSeminar/2020|2020]] ||[[ScientificSeminar/2019|2019]] ||[[ScientificSeminar/2018|2018]] ||[[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]] ||


'''2023'''

(online meetings on Google Meet  -  https://meet.google.com/fim-ewxf-vdg)

----
[[AbstractMitran|Exploring Bound Constraints Handling Methods and their Impact on the Behaviour of Differential Evolution Algorithms]]

Madalina Mitran, West University of Timisoara, Romania

 . June 28, 2023, 6PM (room 048 and online)

----
[[AbstractMiok|Trustful Natural Language Processing]]

Kristian Miok, West University of Timisoara, Romania

 . May 24, 2023, 6PM (room 048)
-Line 5:
+Line 24:
-'''2015'''
+[[AbstractStajduhar|Mining large medical radiology image repositories]]

Ivan Stajduhar, University of Rijeka, Croatia

 . May 17, 2023, 6PM (room 048)
-Line 8:
+Line 31:
-[[AbstractMarcFrincu|Prediction and selection in smart grids. A practical approach]]
+[[AbstractNaujoks|Multi-Criteria Optimisation]]
-Line 10:
+Line 33:
-[[Marc Frincu ]], West University of Timisoara
+Boris Naujoks, Cologne University of Applied Sciences, Germany
-Line 12:
+Line 35:
- . October 14, 2015, 18:00 AM, room 045C
+ . May 4, 2023, 6PM (room 104)
-Line 16:
+Line 39:
-[[AbstractChinWeiNgan|Program Verification and Specification Inference]]
+[[AbstractStratulat|Mechanical Certification of FOLID Cyclic Proofs]]
-Line 18:
+Line 41:
-[[BioChinWeiNgan|Chin Wei Ngan]], School of Computing, National University of Singapore
+Sorin Stratulat, University of Lorraine, France
-Line 20:
+Line 43:
- . July 6, 2015, 11:00 AM
+ . April 13, 2023, 6PM (room 104)
-Line 23:
+Line 46:
-[[AbstractDanMarinescu|Cloud Self-organization Based on Coalition Formation and Combinatorial Auctions]]
+[[AbstractGomes|Studies and reflections on the difficulties of teaching beginner computer programmers]]
-Line 25:
+Line 48:
-[[BioDanMarinescu|Dan C. Marinescu]], University of Central Florida, Orlando, USA
+Anabela Gomes, University of Coimbra, Portugal
-Line 27:
+Line 50:
- . June 9, 2015
+ . April 12, 2023, 6:40 PM (room 048)
-Line 30:
+Line 53:
-[[AbstractIsabelaDramnesc|Automated Synthesis of Some Algorithms on Finite Sets]]
+[[AbstracMelo|Self-adaptation in ant colony optimization]]
-Line 32:
+Line 55:
-'''Isabela Dramnesc''', West University of Timisoara
+Leonor Melo, University of Coimbra, Portugal
-Line 34:
+Line 57:
- . May 13, 2015
+ . April 12, 2023, 6:00 PM (room 048)
-Line 37:
+Line 60:
-''Stock Market Trading System – Profitable Days and Critical Events Detection''
-Line 39:
+Line 61:
-'''Monica Tirea''', West University of Timisoara
+[[AbstractIonascu|3D Reconstructions Applied on Broadcast Sports]]
-Line 41:
+Line 63:
- . May 6, 2015
+Alexandru Ionașcu, West University of Timișoara

 . April 5, 2023, 6PM (room 048/045C)
-Line 44:
+Line 68:
-[[AbstractIoanDragan|First-Order Theorem Proving for Program Analysis and Theory Reasoning]]
+[[AbstractMaesa|The novelty of DLT based applications]]
-Line 46:
+Line 70:
-'''Ioan Dragan''', Institute e-Austria
+Damiano Di Francesco Maesa, University of Pisa, Italy
-Line 48:
+Line 72:
- . April 22, 2015
+ . March 29, 2023, 6PM (room 048/045C)
-Line 51:
+Line 75:
-'' A distributed system for monitoring services and security in the cloud ''
-Line 53:
+Line 76:
-'''Bogdan Irimie''', West University of Timisoara
+Using Latent Dirichlet Allocation for Classification of Android Applications
-Line 55:
+Line 78:
- . April 1, 2015
+Elena Flondor, West University of Timișoara

 . March 8, 2023, 6PM, online
-Line 58:
+Line 83:
-'' Transition between classical and semi-classical regime in an exactly solvable Schrodinger operator with a non C^1 potential ''
+[[AbstractMuntean|Static analysis and metaheuristics for blockchain-focused fraud detection]]
-Line 60:
+Line 85:
-(joint work with Hakim Boumaza)
+Otilia Muntean, West University of Timișoara
-Line 62:
+Line 87:
-'''Olivier Lafitte''', University Paris 13

 . March 25, 2015
+ . February 22, 2023, 6PM, online
-Line 67:
+Line 90:
-[[AbstractChrisHarding|Business Value from Open Systems]]
+''Transliteration of 19th-century Romanian texts written in the transitional alphabet using machine learning''
-Line 69:
+Line 92:
-'''Chris Harding''', Forum Director at The Open Group, UK
+Marc Frincu (Nottingham Trent University - UK), Simina Frincu (West University of Timisoara - Romania) and Marius Penteliuc (West University of Timisoara - Romania)
-Line 71:
+Line 94:
-'' Can sophisticated computing ever help government? ''

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

 . March 18, 2015
+ . January 25, 2023, 6PM, online
-Line 78:
+Line 97:
-[[AbstractGabrielIstrate|Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process]]
+[[AbstractDellaCroce|Operating rooms scheduling with a shared resource: a red-blue knapsack modeling approach]]
-Line 80:
+Line 99:
-'''Gabriel Istrate''', Universitatea de Vest din Timisoara
+Federico Della Croce, DIGEP Politecnico di Torino, Italy
-Line 82:
+Line 101:
- . March 4, 2015
+ . January 18, 2023, 6PM
-Line 85:
+Line 104:
-'''2014'''
+[[AbstractAradan|The role of Cybersecurity legal framework in protecting human rights and fundamental freedoms]]

Constantin Aradan, West University of Timisoara, Faculty of Law

 . January 11, 2023, 6PM
-Line 88:
+Line 111:
-[[AbstractAlbertoGarcia|Frameworks for solving problems by HPC and Cloud computing]]

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

 . December 3, 2014
+'''2022'''
-Line 95:
+Line 114:
-[[AbstractLiviuCiortuz|Discovery of inversion breakpoints from raw NGS (Next Generation Sequencing) data: A mapping-free and assembly-free approach]]
+''Infrastructure challenges of IoT world''
-Line 97:
+Line 116:
-'''Liviu Ciortuz''', A.I. Cuza University, Iasi
+Bogdan Butunoi, West University of Timisoara
-Line 99:
+Line 118:
- . November 19, 2014
+ . December 14, 2022, 6PM, room 045C
-Line 102:
+Line 121:
-[[AbstractAlexAgathos|Minimum Volume Simplex Analysis: A Fast Algorithm for Hyperspectral Unmixing]]
+''Verification of Binarized Deep Neural Networks - an overview''
-Line 104:
+Line 123:
-'''Alexander Agathos''', West University of Timisoara
+Mădălina Erașcu and Andreea Postovan, West University of Timișoara
-Line 106:
+Line 125:
- . October 29, 2014
+ . December 7, 2022, 6PM, room 045C
-Line 109:
+Line 128:
-''iCanCloud: a Cloud Computing simulation platform''
+[[AbstractPetcu|Technologies for brain health]]
-Line 111:
+Line 130:
-'''Gabriel González Castañé''', Universidad Carlos III de Madrid
+Paula Petcu, [[https://www.brain-plus.com/|Brain+]] and  [[https://healthymindtech.com/|Healthy Mind Tech]], Denmark
-Line 113:
+Line 132:
- . October 15, 2014
+ . May 11, 2022, 6PM, online
-Line 116:
+Line 135:
-[[AbstractCarmenTerei|Imbalanced Data Classification]]
+[[AbstractAllison|Early work with BCIs to control robots]]
-Line 118:
+Line 137:
-'''Carmen Terei''', University "Aurel Vlaicu" Arad
+Brendan Allison, University of California, San Diego, USA
-Line 120:
+Line 139:
- . May 21, 2014
+ . April 20, 2022, 6PM, online
-Line 123:
+Line 142:
-''mOSAIC: PaaS (Platform as a Service) support for multi-clouds''
+[[AbstractZavoianu|''Lightweight Interpolation-Based Surrogate Modelling for Multi-Objective Continuous Optimisation'']]
-Line 125:
+Line 144:
-'''Georgiana Macariu''', Institute e-Austria Timisoara
+Ciprian Zăvoianu, Robert Gordon University, Aberdeen, UK
-Line 127:
+Line 146:
- . May 7, 2014
+ . April 13, 2022, 6PM, online
-Line 130:
+Line 149:
-[[AbstractIonelMuscalagiu|Modeling, simulating and real execution of distributed constraints in NetLogo (DisCSP-Netlogo)]]
+[[AbstractPungila|''On eco-friendly digital currencies and why blockchain technology is misunderstood'']]
-Line 132:
+Line 151:
-'''Ionel Muscalagiu''', Politehnica University of Timisoara
+Ciprian Pungilă, West University of Timisoara
-Line 134:
+Line 153:
- . April 30, 2014
+ . April 6, 2022, 6PM, online
-Line 137:
+Line 156:
-''mOSAIC: IaaS (Infrastructure as a Service) support for multi-clouds''
+[[AbstractSpataru|''A blockchain-driven architecture for antimicrobial resistance detection'']]
-Line 139:
+Line 158:
-'''Silviu Panica''', West University of Timisoara
+Alexe Luca Spătaru, West University of Timisoara
-Line 141:
+Line 160:
- . April 9, 2014
+ . March 30, 2022, 6PM, online
-Line 144:
+Line 163:
-[[AbstractAlexandraPopescu|Study of the directional solidification process of multicrystalline silicon by numerical methods]]
+[[AbstractMoore|''The role of the universities in the entrepreneurial ecosystem'']]
-Line 146:
+Line 165:
-'''Alexandra Popescu''', West University of Timisoara
+Duncan T. Moore, University of Rochester, USA
-Line 148:
+Line 167:
- . April 2, 2014
+ . March 23, 2022, 5PM, online (Zoom)

[[AbstractPenteliuc|''Cloud Movement Forecasting based on Wind Modeled from Satellite Imagery and a Modified Flocking Algorithm'']]

Marius Penteliuc, West University of Timisoara

 . March 23, 2022, 6:30 PM, online (https://meet.google.com/fim-ewxf-vdg)
-Line 151:
+Line 176:
-[[AbstractDarianOnchis|Computational challenges in frames-based signal and image processing]]
+[[AbstractMizeranschi|''Association Studies and Genetic Diversity'']]
-Line 153:
+Line 178:
-'''Darian Onchis''', West University of Timisoara
+Alexandru Mizeranschi, Research and Development Station for Bovine – Arad
-Line 155:
+Line 180:
- . March 26, 2014
+ . March 16, 2022, 6PM, online
-Line 158:
+Line 183:
-''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''
+[[AbstractErascu|''Scalable Optimal Deployment in the Cloud of Component-based Applications using Optimization Modulo Theory, Mathematical Programming and Symmetry Breaking'']]
-Line 160:
+Line 185:
-'''Olivier Lafitte''', University Paris 13
+Mădălina Erașcu, West University of Timisoara
-Line 162:
+Line 187:
- . March 19, 2014
+ . March 11, 2022, 6PM, online
-Line 165:
+Line 190:
-[[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)]]
+[[AbstractGalis|''NDFA-based inexact pattern-matching through local optimum'']]
-Line 167:
+Line 192:
-'''Madalina Erascu''', West University of Timisoara
+Darius Galis, West University of Timisoara
-Line 169:
+Line 194:
- . 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 9, 2022, 6PM, online

Menu

Search Wiki

Page Tools