Computing Science and Mathematics Technical Reports : [23] Collection home page

This collection contains electronic copies of technical reports produced by Computing Science and Mathematics staff.

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 23
Issue DateTitleAuthor(s)Editor(s)Type
-Methods And Sources For Underpinning Airport Ground Movement Decision Support SystemsBrownlee, Alexander; Atkin, Jason; Woodward, John; Burke, Edmund-Technical Report
2019Crowd Sourcing The Sounds Of Places With A Web Based Genetic Algorithm TechreportBrownlee, Alexander; Kim, Suk-Jun; Wang, Szu-Han; Chan, Stella; Lawson, Jamie A-Technical Report
7-Apr-2018Relating Training Instances to Automatic Design of Algorithms for Bin Packing via Features (Detailed Experiments and Results)Brownlee, Alexander; Woodward, John R; Veerapen, Nadarajen-Technical Report
30-Apr-2018Investigating Benchmark Correlations when Comparing Algorithms with Parameter Tuning (Detailed Experiments and Results)Christie, Lee A; Brownlee, Alexander; Woodward, John R-Technical Report
Jan-2009A Case Study in Integrated Assertion-Based Verification with OmnibusWilson, Thomas; Maharaj, Savi; Clark, Robert-Technical Report
Apr-2009APPEL: An Adaptable and Programmable Policy Environment and LanguageTurner, Kenneth J; Reiff-Marganiec, Stephan; Blair, Lynne; Campbell, Gavin A; Wang, Feng-Technical Report
Jun-2006An Overview of Ontology Application for Policy-Based Management using POPPETCampbell, Gavin A-Technical Report
Jun-2006Ontology for Call ControlCampbell, Gavin A-Technical Report
Apr-2009The ACCENT Policy WizardTurner, Kenneth J; Campbell, Gavin A-Technical Report
Dec-2005The ACCENT Policy ServerReiff-Marganiec, Stephan; Turner, Kenneth J-Technical Report
May-2004Policies for H.323 Internet TelephonyHuang, Tingxue (Sean)-Technical Report
Feb-2007Ontologies for Resolution Policy Definition and Policy Conflict DetectionCampbell, Gavin A-Technical Report
Dec-2008The DAMES Metadata ApproachBlum, Jesse Michael; Turner, Kenneth J-Technical Report
Jun-2006Ontology Stack for A Policy WizardCampbell, Gavin A-Technical Report
Aug-2007A Scalable Home Care System Infrastructure Supporting Domiciliary CareGray, Philip; McBryan, Tony; Hine, Nick; Martin, Chris J; Gil, Nubia; Wolters, Maria; Mayo, Neil; Turner, Kenneth J; Docherty, Liam S; Wang, Feng; Kolberg, Mario-Technical Report
Mar-2008Deriving Mean Field Equations from Large Process Algebra ModelsMcCaig, Chris; Norman, Rachel; Shankland, Carron-Technical Report
Aug-2007Push-Button Tools for Application Developers, Full Formal Verification for Component VendorsWilson, Thomas; Maharaj, Savi; Clark, Robert-Technical Report
14-Jul-2015Gamification within plant health in the Forestry CommissionMaharaj, Savi; Greene, Peter-Research Report
2007Network Boundary Identification using Local InformationFayed, Marwan; Mouftah, Hussein T-Technical Report
Nov-2008Prohibitive-link Detection and Routing ProtocolFayed, Marwan; Mouftah, Hussein T-Technical Report
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 23