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 62 to 81 of 85 < previous next >

Issue Date	Title	Author(s)
2017	Reliability and fault-tolerance by choreographic design	Cassar, Ian; Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
2007	Representation does matter	Abela, John
2003	A risk driven state merging algorithm for learning DFAs	Spina, Sandro
2011	RULIE : rule unification for learning information extraction	Dingli, Alexiei; Busuttil, Dale P.; Seychell, Dylan
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

Showing results 62 to 81 of 85 < previous next >