|
Size: 3777
Comment:
|
Size: 5972
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ||Previous years:||[[ScientificSeminar/2010|2010]]||[[ScientificSeminar/2009|2009]]||[[ScientificSeminar/2008|2008]]||[[ScientificSeminar/2007|2007]]||[[ScientificSeminar/2006|2006]]|| [[ScientificSeminar/2005|2005]]|| '''2012''' ---- ''Submodular optimization and fairness in cooperative games'' '''Cosmin Bonchis''', West University of Timisoara June 6, 2012 ---- ''Numerical methods for nanoscale electrodynamics'' '''Claudiu Biris''', West University of Timisoara May 23, 2012 ---- ''Theory Exploration in Theorema: Case Study on Lists'' '''Isabela Dramnesc''', West University of Timisoara May 9, 2012 ---- ''Automatic Inference of Bounds on Resource Consumption'' '''German Puebla''', Technical University of Madrid May 8, 2012 ---- ''Multi-Agent Governance in Cloud'' '''Victor Munteanu''', West University of Timisoara April 25, 2012 ---- ''Memory-Efficient Static Analysis of Binary Code for Antivirus Development'' '''Ciprian Pungila''', West University of Timisoara April 11, 2012 ---- ''Reflection of an electromagnetic wave by a curved boundary: us of the geometric rotational and laplacian'' '''Olivier Lafitte''', Universite Paris 13, France April 4, 2012 ---- ''Membrane Computing, after (almost) 14 years'' '''Gheorghe Paun''', Academia Romana April 3, 2012 ---- ''Towards Human Behavior Analysis in Pervasive Spaces based on Energy Consumption'' '''Ovidiu Aritoni''', West University of Timisoara March 21, 2012 ---- ''Neuroevolutionary Multiagent Systems in Real Time Games'' '''Gabriel Juhasz''', West University of Timisoara February 29, 2012 ---- '''2011''' ---- ''Finite Mixture Distributions: Theory and Applications'' '''Lucian Radu''', Catholic University of Lisbon, Portugal December 14, 2011 ---- ''Unification'' '''Temur Kutsia''', RISC Linz, Austria November 2, 2011 ---- ''Video Understanding for Activity Monitoring'' '''Francois Bremond''', INRIA Sophia Antipolis, France July 27, 2011 ---- ''Self-organization in Software Engineering and the SelfLet approach'' '''Nicolò M. Calcavecchia''', '''Daniel J. Dubois''', Politecnico di Milano, Italy June 1, 2011 ---- ''Face Detection using LBP and MCT Features'' '''Silviu Tudor Serban''', West University of Timisoara, Romania June 1, 2011 ---- ''RiSE: Rigorous System Engineering'' '''Laura Kovacs''', Vienna Technical University, Austria May 26, 2011 ---- ''EasyChair'' '''Andrei Voronkov''', University of Manchester, UK May 26, 2011 ---- ''Recovering band-limited signals from noisy and jittered information'' '''Marek Kowalski''', Warsaw Management Academy, Poland May 25, 2011 ---- ''Data Stream : Sequential Pattern and Outlier Mining'' '''Alice Marascu''', Universita degli Studi di Trento, Italy May 11, 2011 ---- ''Unification Algorithms in Common Logic'' '''Mircea Marin''', Universitatea de Vest din Timisoara, Romania May 4, 2011 ---- ''Vectorial Partitions and Applications'' '''Flavius Turcu''', Universite de Bordeaux, France March 23, 2011 ---- ''Geometrical Optics for Linearized Hyperbolic Systems'' '''Olivier Lafitte''', Universite Paris 13, France March 9, 2011 ---- ''Optimizing complex-structure XML queries'' '''Alexandra Roatis''', Universitatea de Vest din Timisoara, Romania January 17, 2011 ---- ''SOS Cloud: Self-Organizing Services in the Cloud'' '''Bogdan Alexandru Caprarescu''', Universitatea de Vest din Timisoara, Romania January 5, 2011 ---- |
||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) ---- [[AbstractStratulat|Mechanical Certification of FOLID Cyclic Proofs]] Sorin Stratulat, University of Lorraine, France . April 13, 2023, 6PM (room 104) ---- ---- /!\ '''Edit conflict - other version:''' ---- ''Studies and reflections on the difficulties of teaching beginner computer programmers'' Anabela Gomes, University of Coimbra, Portugal . April 12, 2023, 6:40 PM (room 048) ---- /!\ '''Edit conflict - your version:''' ---- ''Studies and reflections on the difficulties of teaching beginner computer programmers'' Anabela Gomes, University of Coimbra, Portugal . April 12, 2023, 6:40 PM (room 048) ---- /!\ '''End of edit conflict''' ---- ---- ---- /!\ '''Edit conflict - other version:''' ---- ''Self-adaptation in ant colony optimization'' Leonor Melo, University of Coimbra, Portugal . April 12, 2023, 6:00 PM (room 048) ---- /!\ '''Edit conflict - your version:''' ---- ''Self-adaptation in ant colony optimization'' Leonor Melo, University of Coimbra, Portugal . April 12, 2023, 6:00 PM (room 048) ---- /!\ '''End of edit conflict''' ---- ---- [[AbstractIonascu|3D Reconstructions Applied on Broadcast Sports]] 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) ---- [[AbstractIonascu|3D Reconstructions Applied on Broadcast Sports]] 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) ---- 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 ---- ''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 ---- [[AbstractDellaCroce|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 ---- [[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 ---- '''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 ---- [[AbstractPetcu|Technologies for brain health]] Paula Petcu, [[https://www.brain-plus.com/|Brain+]] and [[https://healthymindtech.com/|Healthy Mind Tech]], Denmark . May 11, 2022, 6PM, online ---- [[AbstractAllison|Early work with BCIs to control robots]] Brendan Allison, University of California, San Diego, USA . April 20, 2022, 6PM, online ---- [[AbstractZavoianu|''Lightweight Interpolation-Based Surrogate Modelling for Multi-Objective Continuous Optimisation'']] Ciprian Zăvoianu, Robert Gordon University, Aberdeen, UK . April 13, 2022, 6PM, online ---- [[AbstractPungila|''On eco-friendly digital currencies and why blockchain technology is misunderstood'']] Ciprian Pungilă, West University of Timisoara . April 6, 2022, 6PM, online ---- [[AbstractSpataru|''A blockchain-driven architecture for antimicrobial resistance detection'']] Alexe Luca Spătaru, West University of Timisoara . March 30, 2022, 6PM, online ---- [[AbstractMoore|''The role of the universities in the entrepreneurial ecosystem'']] Duncan T. Moore, University of Rochester, USA . 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) ---- [[AbstractMizeranschi|''Association Studies and Genetic Diversity'']] Alexandru Mizeranschi, Research and Development Station for Bovine – Arad . March 16, 2022, 6PM, online ---- [[AbstractErascu|''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 ---- [[AbstractGalis|''NDFA-based inexact pattern-matching through local optimum'']] Darius Galis, West University of Timisoara . March 9, 2022, 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)
![/!\](/static/moniker/img/alert.png "/!\"){kind=small}
Edit conflict - other version:
Studies and reflections on the difficulties of teaching beginner computer programmers
Anabela Gomes, University of Coimbra, Portugal
- April 12, 2023, 6:40 PM (room 048)
Edit conflict - your version:
Studies and reflections on the difficulties of teaching beginner computer programmers
Anabela Gomes, University of Coimbra, Portugal
- April 12, 2023, 6:40 PM (room 048)
End of edit conflict
Edit conflict - other version:
Self-adaptation in ant colony optimization
Leonor Melo, University of Coimbra, Portugal
- April 12, 2023, 6:00 PM (room 048)
Edit conflict - your version:
Self-adaptation in ant colony optimization
Leonor Melo, University of Coimbra, Portugal
- April 12, 2023, 6:00 PM (room 048)
End of edit conflict
3D Reconstructions Applied on Broadcast Sports
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)
3D Reconstructions Applied on Broadcast Sports
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)
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