Issue Date | Title | Author(s) |
2020 | Runtime verification for API based software | Bartolo Burlo`, Christian (2020) |
2020 | Behavioural APIs for Erlang processes | Zahra, Gianluca (2020) |
2020 | Using machine learning to predict epileptic seizures from EEG data | Cauchi, Jonathan (2020) |
2020 | Learning models using similarity based and one vs previous paradigms | Cauchi, Daniel (2020) |
2020 | The texture shading cache : an approach to asynchronous interactive illumination | Cauchi, Aidan (2020) |
2020 | Synthesis and editing of realistic urban road networks | Gauci, Gabriel-Thomas (2020) |
2020 | GPU implementation of arithmetic for very large integers | Tabone, Gerard (2020) |
2020 | Detection and classification of brain haemorrhage | Parnis, John (2020) |
2020 | On implementing and evaluating the raft distributed consensus algorithm | Le Brun, Matthew Alan (2020) |
2020 | Investigating the use of genetic algorithms in automated test case generation | Gatt, Cristina (2020) |
2020 | Age estimation using deep learning | Camilleri, Daniel (2020) |
2020 | Blockchain-based traceability of the wine supply chain | Camilleri, Gabriel (2020) |
2020 | Computational mobility with JavaScript | Borg, Neil (2020) |
2020 | Detecting comparatives in images | Brockdorff, Lara (2020) |
2020 | Automated test data generation using search based and machine learning techniques | Zammit, Christopher |
2020 | Locating and monitoring people in indoor controlled environments : a robust depth-based approach | Sacco, Matthew |
2020 | Live streaming in a hybrid CDN-P2P architecture | Muscat, Nicholas |
2020 | Workload and hardware storage optimisation for time series processing | Mercieca, Thomas |
2020 | Using multi-view video to overcome the occlusion problem in object tracking | Gutev, Alexander |
2020 | Interactive out-of-core visualisation | Abela, Andrew |