I risultati della PROVA ORALE sono disponibili al link.
VALUTAZIONE DEI TITOLI – BORSE COFINANZIATE SUI FONDI PON 2014 – 2020, DI CUI N.1 BORSA SULLE TEMATICHE DELL’INNOVAZIONE E N.1 BORSA SULLE TEMATICHE GREEN (BANDO D.R. n.1037/2021 del 13/10/2021, PUBBLICATO ALL’ALBO UFFICIALE E SUL SITO DELL’ATENEO IN DATA 13/10/2021)
Il risultato della VALUTAZIONE TITOLI è disponibile al link
Open PhD Positions in ICT at the University of L’Aquila (Italy)
The PhD Program in ICT at the University of L’Aquila offers the following two scholarships:
1) Machine learning techniques for systems with limited computing resources and extremely low energy consumption, applied to multi-sensor microsystems
Development of Machine Learning (ML) techniques for applications in integrated multi-sensors, applied in multiple contexts. Identification and implementation of on-chip and ad-hoc ML algorithms that can guarantee smart functionality in the identified application contexts and minimise power dissipation in the computational phases.
2) Software efficiency through the use of Machine Learning techniques
The objective of the proposed research consists of:
- Devising new approaches that, through the use of ML, allow you to create energy-efficient software configurations;
- Analyzing the energy cost associated with the use of the ML itself;
- Proposing trade-off analysis solutions;
- Conducting empirical experiments to validate the goodness of the
techniques identified.
The topics stem from the richness of research interests of faculties in our department (http://www.disim.univaq.it/
Our PhD program in ICT also offers an opportunity to spend training periods in worldwide renowned schools having a formal institutional agreement with the University of L’Aquila, such as the University of California at Berkeley, the University of California at Los Angeles, Swedish Royal Institute of Technology (KTH), ETH Zurich, University College London, Carnegie Mellon University, University of Cambridge, Universitat Politecnica de Catalunya, Karlsruhe Institute of Technology, University of Tabriz, Tianjin University.
Our PhD students will also enjoy a wide choice of courses and a rich schedule of seminars held by scientists of international reputation (http://phdict.disim.univaq.it/
The deadline to submit your application is 28/10/2021
Call for applications:
- https://www.univaq.it/en/
include/utilities/blob.php? table=bando_dottorato&id=39& item=istruzioni_compilazione_ domanda_en - https://www.univaq.it/include/
utilities/blob.php?table= bando_dottorato&id=39&item= bando - https://www.univaq.it/en/section.php?id=2055&lang_s=en
- https://www.univaq.it/include/
utilities/blob.php?table= bando_dottorato&id=39&item= istruzioni_compilazione_ domanda
[DEWS Colloquia] A mathematical model of the G1/S transition for the budding yeast
Speaker: Prof. Pasquale Palumbo (University of Milano-Bicocca, Italy)
Title: A mathematical model of the G1/S transition for the budding yeast
Abstract: In budding yeast, overcoming of a critical size to enter S phase and the mitosis/mating switch—two central cell fate events—take place in the G1 phase of the cell cycle. Here we present a mathematical model of the basic molecular mechanism controlling the G1/S transition, whose major regulatory feature is multisite phosphorylation of nuclear Whi5. Cln3–Cdk1, whose nuclear amount is proportional to cell size, and then Cln1,2–Cdk1, randomly phosphorylate both decoy and functional Whi5 sites. Full phosphorylation of functional sites releases Whi5 inhibitory activity, activating G1/S transcription. Simulation analysis shows that this mechanism ensures coherent release of Whi5 inhibitory action and accounts for many experimentally observed properties of mitotically growing or conjugating G1 cells. Cell cycle progression and transcriptional analyses of a Whi5 phosphomimetic mutant verify the model prediction that coherent transcription of the G1/S regulon and ensuing G1/S transition requires full phosphorylation of Whi5 functional sites
When: Monday June 28th 2021 from 14.30 to 15.30
Where: Webex as follows:
Join from the meeting link
https://univaq.webex.com/univaq-en/j.php?MTID=m485669a2b24160fdfdab13dfd26b7a6a
Join by meeting number
Meeting number (access code): 137 408 1857
Meeting password: HNhbkggr644
Tap to join from a mobile device (attendees only)
+39-069-974-8087,,1374081857## Italy Toll
+390230410440,,1374081857## Italy Toll 2
Join by phone
+39-069-974-8087 Italy Toll
390230410440 Italy Toll 2
Join from a video system or application
Dial 1374081857@univaq.webex.com
You can also dial 62.109.219.4 and enter your meeting number.
[COURSE] Development of recommendation systems in software engineering: challenges and lessons learned
Lecturer: Prof. Davide Di Ruscio
Abstract: Open-source software (OSS) forges contain rich data sources useful for supporting development activities. Several techniques and tools have been promoted to provide open-source developers with innovative features, aiming to obtain improvements in development effort, cost savings, and developer productivity. In the context of the EU H2020 CROSSMINER and TYPHON projects, different recommendation systems have been conceived to assist software programmers in different phases of the development process by providing them with various artifacts, such as third-party libraries, or documentation about how to use the APIs being adopted, or relevant API function calls. To develop such recommendations, various technical choices have been made to overcome issues related to several aspects, including the lack of baselines, limited data availability, decisions about the performance measures, and evaluation approaches. This lecture introduces Recommendation Systems in Software Engineering (RSSE) and describes the challenges that have been encountered in the context of the CROSSMINER and TYPHON projects. Specific attention is devoted to present the intricacies related to the development and evaluation techniques that have been employed to conceive and evaluate the CROSSMINER recommendation systems. The lessons that have been learned while working on the project are also discussed.
Content
- Lecture 1, 20/07/2021 21/07/2021, 10:00-13:00: Development of complex software systems by reusing third-party open-source components. [Join the lecture]
- Lecture 2, 22/07/2021, 10:00-13:00: The recommendation systems developed in the CROSSMINER and TYPHON projects [Join the lecture]
Related literature
- P. Robillard, W. Maalej, R. J. Walker, e T. Zimmermann, A c. di, Recommendation Systems in Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. doi: 10.1007/978-3-642-45135-5.
- Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Phuong T. Nguyen, Riccardo Rubei, “Development of recommendation systems for software engineering: the CROSSMINER experience” Empirical Software Engineering (EMSE), 2021, pre-print https://arxiv.org/abs/2103.06987
- Phuong T. Nguyen, Juri Di Rocco, Claudio Di Sipio, Davide Di Ruscio, Massimiliano Di Penta “Recommending API Function Calls and Code Snippets to Support Software Development” IEEE Transactions on Software Engineering (TSE), 2021, ISSN: 1939-3520, DOI: 10.1109/TSE.2021.3059907
- Phuong T. Nguyen, Juri Di Rocco, Davide Di Ruscio, Massimiliano Di Penta, “CrossRec: Supporting Software Developers by Recommending Third-party Libraries” Journal of Systems and Software (JSS), 2020, ISSN: 0164-1212, DOI: 10.1016/j.jss.2019.110460
- Phuong T. Nguyen, Juri Di Rocco, Riccardo Rubei, Davide Di Ruscio, “An Automated Approach to Assess the Similarity of GitHub Repositories” Software Quality Journal (SQJ), 2020, ISSN: 0963-9314, DOI: 10.1007/s11219-019-09483-0
- Andrea Capiluppi, Davide Di Ruscio, Juri Di Rocco, Phuong T. Nguyen, Nemitari Ajienka, “Detecting Java Software Similarities by using Different Clustering Techniques” Information and Software Technology (IST), 2020, ISSN: 0950-5849, DOI: 10.1016/j.infsof.2020.106279
- Riccardo Rubei, Claudio Di Sipio, Phuong T. Nguyen, Juri Di Rocco, Davide Di Ruscio, “PostFinder: Mining Stack Overflow posts to support software developers” Information and Software and Technology (IST), 2020, ISSN: 0950-5849, DOI: 10.1016/j.infsof.2020.106367
- Phuong T. Nguyen, Juri Di Rocco, Davide Di Ruscio, Lina Ochoa, Thomas Degueule, Massimiliano Di Penta, “FOCUS: A Recommender System for Mining API Function Calls and Usage Patterns” In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, DOI: 10.1109/ICSE.2019.00109
Neuro-symbolic Liveness Verification
Speaker: Dr. Mirco Giacobbe (University of Oxford, UK)
Title: Neuro-symbolic Liveness Verification
Abstract: Liveness verification answers the question of whether a system always responds with desirable behavior or, dually, never gets stuck without responding at all. For dynamical systems, this relates to the stability question; for computer programs, it relates to the halting problem. I will talk about a novel method for constructing liveness proofs by learning witnesses (Lyapunov and ranking functions) from data using neural networks combined with symbolic reasoning. I will talk about how we apply this neuro-symbolic approach to the stability analysis of dynamical systems, to the termination analysis of Java programs, and to the almost-sure termination analysis of probabilistic programs.
When: Friday June 11th 2021 from 14.30 to 15.30
Where: Webex as follows:
Join from the meeting link
https://univaq.webex.com/univaq-en/j.php?MTID=m8cda8ceca3433cd9cea34cf6cd8749b1
Join by meeting number
Meeting number (access code): 137 780 9599
Meeting password: trZmujpx282
Tap to join from a mobile device (attendees only)
+39-069-974-8087,,1377809599## Italy Toll
+390230410440,,1377809599## Italy Toll 2
Join by phone
+39-069-974-8087 Italy Toll
390230410440 Italy Toll 2
Join from a video system or application
Dial 1377809599@univaq.webex.com
You can also dial 62.109.219.4 and enter your meeting number.
Advanced School on Complex Networks and Telecommunications focused on the transition from 5G to 6G
Where and when: Lake Como School of Advanced Studies, 5-9 July 2021
After the successful 2018 edition and the unfortunate cancellation in 2020 due to the pandemic situation, we are glad to announce the second edition of the Advanced School on Complex Networks and Telecommunications focused on the transition from 5G to 6G. The school will cover some selected hot topics in the evolution of telecommunications networks. All speakers have worldwide recognition of being at the top in their fields so as the event is projected to be of a very high level.
We will have a half day on Monday afternoon with introductory topics and trends at large. The remaining three and a half days will be centered respectively on
– Semantic communications
– New network architectures
– Artificial intelligence
Slots will be reserved for attendees willing to present and discuss their research activity.
On Friday afternoon an exam will be organized for all those who will need credits.
More information can be found on the school web page
https://cntc2020.
We strongly believe that direct interaction cannot be replaced by online meeting, therefore to foster interaction and resume normal activity after the lockdown, the event will be organized in mixed mode: both online and onsite. For more information see the registration page.
List of speakers: Alexandropoulos George, Barbarossa Sergio, Belfiore Jean-Claude, Calvanese Strinati Emilio, D’Angelo Egidio, Debbah Merouane, Jornet Josep, Krikidis Ioannis, Neglia Giovanni, Sciancalepore Vincenzo, Zorzi Michele.
WEBINAR on “AR/VR challenges for the next era of Human-Computer interaction”
Speaker:
Rino Marinelli
Process Transfer Hardware Engineer @ Facebook Reality Labs
uLED team, Plymouth (UK)
When: 14 May 2021 – 10.00 a.m.
Course on “Thresholds for a SIR Model on One-Dimensional Small-World Networks”
Virtual link: https://us02web.zoom.us/j/
Speaker: Andrea Clementi (Università di Roma “Tor Vergata”)
TITLE: Sharp Thresholds for a SIR Model on One-Dimensional Small-World Networks
ABSTRACT: After a short overview of the basic notions of the classic Susceptible-Infectious-
BIO: Andrea Clementi is Professor of Computer Science at the University of Rome “Tor Vergata”. He graduated with honors in Mathematics and got the PhD in Computer Science at Sapienza University of Rome. He was a researcher at Sapienza University of Rome and at the University of Geneva. He is now teaching the courses “Algorithms and Data Structures” and “Distributed Algorithms and Complex Networks” in the Degree Program in Computer Science of the University of Rome “Tor Vergata”. He is currently a member of the Doctoral College in Engineering and Information Sciences of the University of L’Aquila. His current scientific interests are in algorithm theory and applied probability, in particular, in the modeling and analysis of stochastic processes of distributed systems. He has published more than ninety articles in major international journals and conference proceedings.
Corso EURES per la mobilità
Si terrà nel mese di maggio 2021 all’Università degli Studi dell’Aquila, all’interno del Dottorato di Ricerca in Ingegneria Industriale e dell’Informazione e di Economia, la II° edizione del corso “EURES: La mobilità una regola non più un’eccezione”, organizzato dal Servizio EURES della Regione Abruzzo in collaborazione con il Coordinamento Nazionale EURES-ANPAL.
Il corso è stato realizzato per la prima volta nel 2018, vedendo la partecipazione di allievi di diversi Corsi di Dottorato dell’Ateneo aquilano e riscuotendo un grande interesse da parte di tutti i partecipanti. L’iniziativa ha inoltre ottenuto diversi riconoscimenti a livello europeo, trattandosi del primo corso universitario che in Europa ha coinvolto la rete EURES . Il progetto è stato considerato una “best-practice”, non solo in termini di comunicazione e promozione della rete europea del lavoro, ma
anche di integrazione formale della stessa nei sistemi di istruzione e formazione accademica.
Obiettivo del corso, strutturato in 5 giornate e le cui lezioni si svolgeranno il 6-7, 13-14 e 21 maggio, è quello di fornire una adeguata conoscenza degli strumenti e opportunità in grado di favorire il trasferimento in un altro paese per motivi di studio, formazione o lavoro. Pertanto saranno trattati diversi argomenti inerenti il tema della mobilità transnazionale: la normativa, l’organizzazione e i servizi della Rete EURES, i progetti di mobilità europea e le misure di finanziamento, le opportunità di tirocinio e carriera nelle istituzioni e agenzie europee, l’acquisizione delle competenze trasversali, il riconoscimento delle qualifiche professionali e dei titoli di studio nell’Unione Europea, la sicurezza sociale, la tassazione e la legislazione connesse alla libera circolazione dei lavoratori nell’UE, gli aspetti principali del fenomeno migratorio italiano e del sistema di rappresentanza degli Italiani all’estero, nell’ottica di fornire agli studenti un quadro piuttosto completo del concetto di mobilità e degli elementi
pratici e strumenti concreti per approcciarsi ad esperienze di lavoro e formazione in ambito europeo.
Il corso vedrà la partecipazione di rappresentanti del Coordinamento
Nazionale EURES, della rete dei Consulenti EURES italiani e della Danimarca, Svezia, Irlanda, Olanda, Francia, Portogallo, Germania, oltre che di esperti dell’emigrazione e Responsabili nazionali di reti e programmi europei a supporto della mobilità, quali Europass, Euroguidance, EQF-Quadro europeo delle qualifiche professionali, Eurodesk, Euraxess,
Europe Direct, Erasmus Giovani Imprenditori, Erasmus+).
[Locandina con dettagli per la connessione]