|
Size: 5688
Comment:
|
Size: 4695
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 8: | Line 8: |
[[AbstractStratulat|Mechanical Certification of FOLID Cyclic Proofs]] Sorin Stratulat, University of Lorraine, France . April 13, 2023, 6PM (room 104) ---- TBA Alexandru Ionașcu, West University of Timișoara . April 5, 2023, 6PM (room 048/045C) ---- [[AbstractMaesa|The novelty of DLT based applications]] Damiano Di Francesco Maesa, University of Pisa, Italy . March 29, 2023, 6PM (room 048/045C) ---- ''Using Latent Dirichlet Allocation for Classification of Android Applications'' Elena Flondor, West University of Timișoara . March 8, 2023, 6PM, online ---- [[AbstractMuntean|Static analysis and metaheuristics for blockchain-focused fraud detection]] Otilia Muntean, West University of Timișoara . February 22, 2023, 6PM, online ---- |
|
| Line 36: | Line 76: |
| Bogdan Butunoi, E | Bogdan Butunoi, West University of Timisoara |
| Line 130: | Line 170: |
| ---- '''2021''' ---- [[AbstractLin|''Allocation with Weak Priorities and General Constraints'']] Young-San Lin, Purdue University, USA . November 24, 2021, 6PM, online ---- [[AbstractMaraSferdian|''When old meets new: evaluating numerical and machine learning based eclipse prediction methods'']] Mara Sferdian, West University of Timisoara [[AbstractRaulUrechiatu|''Ensemble Methods for Automated Asteroid Detection'']] Raul Urechiatu, West University of Timisoara . June 2, 2021, 6PM, online ---- [[AbstractHansIenasescu|''On identifying similar bio.tools'']] Hans Ienasescu, Technical University of Denmark . May 19, 2021, 6PM, online ---- [[http://xaion.uvt.ro/|''Explainable Artificial Intelligence - XAION platform'']] Darian Onchis, West University of Timisoara . April 21, 2021, 6PM, online ---- [[AbstractDafinaJeaca|''OGOR - A Software Tool for Agricultural Land Monitoring'']] (joint event Scientific Seminar & Entrepreneurship Cafe) Dafina Jeaca, [[https://ogor.ro|OGOR]], Romania . April 14, 2021, 6PM, online ---- [[AbstractLaneHemaspaandra|''The Complexity of Online Bribery in Sequential Elections'']] Lane A. Hemaspaandra, University of Rochester, USA . April 7, 2021, 6PM, online ---- [[AbstractToniMitchell|''Outline of Data Science'']] Toni Mitchell, Head of Data & Analytics at Cmed Clinical Research, UK . March 31, 2021, 6PM, online ---- [[AbstractRodicaCondurache|''Rational Synthesis in the Commons with Careless and Careful Agents'']] Rodica Condurache, A.I. Cuza University, Iasi, Romania . March 24, 2021, 6PM, online ---- [[AbstractFlorinRosu|''Parallel Numerical Algorithms for Fractional Order Systems'']] Florin Rosu, West University of Timisoara, Romania . March 10, 2021, 6PM, online |
Previous years: |
2023
(online meetings on Google Meet - https://meet.google.com/fim-ewxf-vdg)
Mechanical Certification of FOLID Cyclic Proofs
Sorin Stratulat, University of Lorraine, France
- April 13, 2023, 6PM (room 104)
TBA
Alexandru Ionașcu, West University of Timișoara
- April 5, 2023, 6PM (room 048/045C)
The novelty of DLT based applications
Damiano Di Francesco Maesa, University of Pisa, Italy
- March 29, 2023, 6PM (room 048/045C)
Using Latent Dirichlet Allocation for Classification of Android Applications
Elena Flondor, West University of Timișoara
- March 8, 2023, 6PM, online
Static analysis and metaheuristics for blockchain-focused fraud detection
Otilia Muntean, West University of Timișoara
- February 22, 2023, 6PM, online
Transliteration of 19th-century Romanian texts written in the transitional alphabet using machine learning
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
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)
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
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