OAR@UM: Browsing OAR@UM

Browsing by Subject Computer algorithms

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 66 to 85 of 85 < previous

Issue Date	Title	Author(s)
2012	Search engine trend forecasting	Vella, Clive F. (2012)
2000	The semantics of verilog using transition system combinators	Pace, Gordon J.
2006	Service discovery and composition : PreDiCtS approach	Abela, Charlie; Montebello, Matthew
2014	Spatial and temporal data modelling	Attard, Janice (2014)
2002	SPeeDI - a verification tool for polygonal hybrid systems	Asarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio
2018	Stable flight control of a tri-rotor drone using artificial neural networks	Sciberras, Mark
2006	Static analysis for state-space reduction of polygonal hybrid systems	Pace, Gordon J.; Schneider, Gerardo
2015	A study of the dynamic dispatch algorithm for a dial-a-cab taxi service	Muscat, Zachariah Emmanuel
2006	To extract the independent components of the evoked potentials in the EEG using ICA	Jervis, Barrie; Belal, Suliman; Herrero, German; Lowe, David; Bigan, Cristin; Camilleri, Kenneth P.; Camilleri, Tracey A.; Fabri, Simon G.; Clercq, Wim de; Zervakis, Michalis; Michalopoulos, Kostas
2015	Towards a hybrid approach to software verification	Della Monica, Dario; Francalanza, Adrian
2017	Towards an alternate characterisation of the actor safety preorder	Caruana, Caroline
2012-11	Towards proof-theoretic interpretations for LTL monitoring	Cini, Clare; Francalanza, Adrian
2012	A type system for a higher-order language	Zammit, Melanie; Francalanza, Adrian
2008	Universe types for topology and encapsulation	Cunningham, Dave; Dietl, Werner; Drossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J.
2015	Unlocking blocked communicating processes	Francalanza, Adrian; Giunti, Marco; Ravara, António
2004	The use of model-checking for the verification of concurrent algorithms	Cordina, Joseph
2020	Using multi-view video to overcome the occlusion problem in object tracking	Gutev, Alexander
2022	Variational approach to the quantum separability problem	Consiglio, Mirko; Apollaro, Tony John George; Wiesniak, Marcin
2015	Vectorisation of sketched drawings using co-occurring sample circles	Camilleri, Kenneth P.; Bonnici, Alexandra
2009	Virtual environments using the Ninendo Wiimote	Cuschieri, James (2009)

Showing results 66 to 85 of 85 < previous