 |
|
DCS Technical Reports ordered by Year. (262)
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1985
2010A SAT based algorithm for the matching problem in bigraphs with sharingSevegnani,M. Unsworth,C. Calder,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Bigraphs with sharing Calder,M. Sevegnani,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Diamond-free Degree Sequences Miller,A. Prosser,P. DCS Technical Report Series, pp 1 to 9, Dept of Computing Science, University of Glasgow [More Details] Fractional solutions for NTU-games Biro,P. Fleiner,T. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Integral Stable Allocation Problem on Graphs Biro,P. Fleiner,T. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Matching with sizes (or scheduling with processing set restrictions) Biro,P. McDermid,E. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Modular Session Types for Distributed Object-Oriented Programming Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Open Interface Workshop: The Challenges of Engineering Multimodal Interaction McGee-Lennon,M.R. Denef,S. Gray,P. Nigay,L. DCS Technical Report Series, pp 56, Dept of Computing Science, University of Glasgow [More Details] Stable matching with couples -- an empirical study Biro,P. Irving,R.W. DCS Technical Report Series, pp 25, Dept of Computing Science, University of Glasgow [More Details] Stochastic Process Algebra with Hooks for Models of Pattern Formation Degasperi,A. Calder,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Technical Report: A Study of Ranking Paradigms and Their Integrations for Subtopic Retrieval Leelanupab,T. Zuccon,G. Jose,J.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] 2009A Stakeholder Centered Exploration of the Current Barriers to the Uptake of Home Care Technology in the UKClark,J.S. McGee-Lennon,M.R. DCS Technical Report Series, pp 1-24, Dept of Computing Science, University of Glasgow [More Details] Bayesian Methods to Detect Dye Labelled DNA Oligonucleotides in Multiplexed Raman Spectra Zhong,M. Girolami,M. Faulds,K. Graham,D. pp 20 [More Details] Maximum weight cycle packing in optimal kidney exchange programs Biro,P. Manlove,D.F. Rizzi,R. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Popular matchings in the Marriage and Roommates problems Biro,P. Irving,R.W. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Riemannian Manifold Hamiltonian Monte Carlo Girolami,M. Calderhead,B. Chin,S. DCS Technical Report Series, pp 35, Dept of Computing Science, University of Glasgow [More Details] Size versus stability in the Marriage problem Biro,P. Manlove,D.F. Mittal,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] The College Admissions problem with lower and common quotas Biró,P. Fleiner,T. Irving,R.W. Manlove,D.F. DCS Technical Report Series, pp 1-30, Dept of Computing Science, University of Glasgow [More Details] XenoContiki Harvey,P. DCS Technical Report Series, pp 1-70, Dept of Computing Science, University of Glasgow [More Details] 2008A 3/2-approximation algorithm for general stable marriageMcDermid,E. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints Donaldson,R. Gilbert,D. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] A User Centered Exploration of Multiple Stakeholder Requirements for Home Care Technology McGee-Lennon,M. Clark,J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Advanced language modeling approaches (Case study: Expert search) Hiemstra,D. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] An Algorighm for Singular Value Decomposition of Matrices in Blocks Huertas-Rosero,A.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] An Evaluation of Gaussian Processes for Sentence Classification and Protein Interaction Detection Polajnar,T. Rogers,S. Girolami,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Dynamic Interfaces Gay,S.J. Ravara,A. Vasconcelos,V.T. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Efficiency Issues in Information Retrieval Workshop Blanco,R. Silvestri,F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Exploiting Semantic Annotations in Information Retrieval Alonso,O. Zaragoza,H. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Finding Large Stable Matchings Irving,R.W. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Improvement to Blocking Expanding Ring Search for MANETs Al-Rodhaan,M. Mackenzie,L.M. Ould-Khaoua,M. DCS Technical Report Series, pp 13, Dept of Computing Science, University of Glasgow [More Details] Inference in a Gene Regulatory Network with Transcriptional Time Delay Higham,C.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Integral Stable Allocation Problem on Graphs Biro,P. Fleiner,T. DCS Technical Report Series, pp 1-12, Dept of Computing Science, University of Glasgow [More Details] Keeping partners together: Algorithmic results for the Hospitals / Residents problem with couples McDermid,E.J. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] LDS : testing the hypothesis Unsworth,C. Prosser,P. DCS Technical Report Series, pp 5, Dept of Computing Science, University of Glasgow [More Details] Mobilising Advanced Technologies for Care at Home: Emerging Issues from Theatre Study McGee-Lennon,M. Clark,J. Wolters,M. Martin,C. Morgan,M. Hine,N. Gil,N. Arnott,J. Newell,A. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Popular Matchings: Structure and Algorithms McDermid,E. Irving,R.W. DCS Technical Report Series, pp 1-20, Dept of Computing Science, University of Glasgow [More Details] Proceedings of ECIR 2008 Industry Day Macdonald,C. Ounis,I. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Property Preservation in Quotient Structures Miller,A. Donaldson,A. DCS Technical Report Series, pp 1-34, Dept of Computing Science, University of Glasgow [More Details] Researching and building IR applications using Terrier Macdonald,C. He,B. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Search and Discovery in User-Generated Text Content de Rijke,M. Weerkamp,W. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Size Versus Stability in the Marriage Problem Biro,P. Manlove,D.F. Mittal,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Student Admissions in Hungary as Gale and Shapley Envisaged Biro,P. DCS Technical Report Series, pp 1-7, Dept of Computing Science, University of Glasgow [More Details] Workshop on Novel Methodologies for Evaluation in Information Retrieval Sanderson,M. Braschler,M. Ferro,N. Gonzalo,J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Xen Meets TinyOS Maclean,A. DCS Technical Report Series, pp 1-81, Dept of Computing Science, University of Glasgow [More Details] XenoTiny: Emulating Wireless Sensor Networks on Xen Sventek,J. Maclean,A. McIlroy,R. Milos,G. DCS Technical Report Series, pp 1-10, Dept of Computing Science, University of Glasgow [More Details] 2007A Constraint Programming Approach to the Hospitals / Residents ProblemManlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] A Dynamic Counter Based Broadcast using Local Neighborhood Information in MANETs Bani Yassein,M. Al-Humoud,S. Ould Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] A Fast and Efficient Processor Allocation Strategy which Combines a Contiguous and Non-contiguous Processor Allocation Algorithms Bani-Mohammad,S. Ould-Khaoua,M. Ababneh,I. Mackenzie,L. DCS Technical Report Series,TR-2007-229,,, Dept of Computing Science, University of Glasgow [More Details] A Generic Approach to the Evolution of Interaction in Ubiquitous and Context-Aware Systems McBryan,T. Gray,P. DCS Technical Report Series, pp 12, Dept of Computing Science, University of Glasgow [More Details] A New Counter Based Broadcast scheme using Local Neighborhood Information in MANETs Bani Yassein,M. Al-Humoud,S. Ould Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets Gilbert,D.R. Heiner,M. Lehrack,S. DCS Technical Report Series, pp 36, Dept of Computing Science, University of Glasgow [More Details] Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems Irving,R.W. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Asynchronous Functional Session Types Gay,S.J. Vasconcelos,V.T. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] CartoonPlus: A new Scaling Algorithm for Genomics Data Jakubowska,J. Hunt,E. Chalmers,M. DCS Technical Report Series, pp 10, Dept of Computing Science, University of Glasgow [More Details] Comparative Performance Analysis of k-Ary n-Cube Topologies with Multiple Virtual Channels and Finite Size Buffers Alzeidi,N. Ould-Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Deep versus Parallel Buffers in Wormhole Switched k-Ary n-Cubes Alzeidi,N. Ould-Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] HECTOR: A PDA Based Clinical Handover System McGee-Lennon,M.R. Carberry,M. Gray,P.D. DCS Technical Report Series, pp 1-14, Dept of Computing Science, University of Glasgow [More Details] Management of networked sensor systems Koliousis,A. Sventek,J. DCS Technical Report Series, pp 29, Dept of Computing Science, University of Glasgow [More Details] Mises Kantorovich and Economic Computation Cockshott,W.P. DCS Technical Report Series, pp 1..24, Dept of Computing Science, University of Glasgow [More Details] Popular Matchings in the Weighted Capacitated House Allocation problem Sng,C.T.S. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Proactive vs reactive routing for wireless sensor networks Koliousis,A. Sventek,J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Proceedings of OSHMA 2007 Various,- DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] The Stable Roommates problem with Globally-Ranked Pairs Abraham,D.J. Levavi,A. Manlove,D.F. O'Malley,G. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Triangle-free Linear Spaces on 13 points with line sizes 2,3, and 4 Miller,A. DCS Technical Report Series, pp 1-12, Dept of Computing Science, University of Glasgow [More Details] Usability of VisGenome and Ensembl - A User Study Jakubowska,J. McClure,J. Hunt,E. Chalmers,M. DCS Technical Report Series, pp 50, Dept of Computing Science, University of Glasgow [More Details] Web Engineering Security (WES) Technical Report Glisson,W.B. Welland,R. DCS Technical Report Series, pp 51, Dept of Computing Science, University of Glasgow [More Details] Web Survey Technical Report Glisson,W.B. Welland,R.C. DCS Technical Report Series, pp 27, Dept of Computing Science, University of Glasgow [More Details] Wide-Area SMC Interaction, Implementation and Emulation Strowes,S.D. Dulay,N. Heeps,S. Keoh,S.L. Lupu,E. Schaeffer-Filho,A.E. Sloman,M. Sventek,J.S. [More Details] 2006A Bayesian analysis of the ERK signalling pathwayVyshemirsky,V. Girolami,M. Gormand,A. Kolch,W. Department of Computing Science Technical Reports, pp 1--34 [More Details] Excitatory Multimodal Interaction on Mobile Devices Williamson,J. Murray-Smith,R. Hughes,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Fibonacci Backoff Algorithm for Mobile Ad Hoc Networks Manaseer,S. Ould-Khaoua,M. Mackenzie,L. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Granularity of genomics data in genome visualisation Jakubowska,J. Hunt,E. Chalmers,M.J. DCS Technical Report Series, pp 10, Dept of Computing Science, University of Glasgow [More Details] Logarithmic Based Backoff Algorithm for MAC Protocol in MANETs Manaseer,S. Ould-Khaoua,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Popular Matchings in the Capacitated House Allocation Problem Manlove,D.F. Sng,C.T.S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Subtyping between Standard and Linear Function Types Gay,S.J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] The cycle roommates problem: a hard case of kidney exchange Irving,R.W. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] The Stable Marriage Problem with Master Preference Lists Irving,R.W. Manlove,D.F. Scott,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] The TREC Blogs06 Collection : Creating and Analysing a Blog Test Collection Macdonald,C. Ounis,I. DCS Technical Report Series, pp 8, Dept of Computing Science, University of Glasgow [More Details] The TREC Blogs06 Collection : Creating and Analysing a Blog Test Collection Macdonald,C. Ounis,I. DCS Technical Report TR-2006-224. Department of Computing Science, University of Glasgow. 2006,, Dept of Computing Science, University of Glasgow [More Details] Thorough study of the logarithmic backoff algorithm for MAC protocols in MANETs Manaseer,S. Ould-Khaoua,M. Mackenzie,L. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Verifying parameterised networks by abstraction and induction: experience from the IEEE 1394 protocol Miller,A. Calder,M. DCS Technical Report Series, pp 39, Dept of Computing Science, University of Glasgow [More Details] Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms Fernau,H. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Web Engineering Security (WES) Application Survey Technical Report Glisson,W.B. Welland,R. DCS Technical Report Series, pp 31, Dept of Computing Science, University of Glasgow [More Details] 2005A Constraint Programming Approach to the Hospitals / Residents ProblemManlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Tech Report, [More Details] A New Queueing Model for the Analysis of Virtual Channels Occupancy in Wormhole-Switched Networks Alzeidi,N. Khonsari,A. Ould-Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] A Simulation Study of Allocation Strategies on the Mesh Interconnection Networks Bani Mohammad,S. Ould-Khaoua,M. Ababneh,I. [More Details] A Simulation Study of Allocation Strategies on the Mesh Interconnection Networks Bani-Mohammad,S. Ould-Khaoua,M. Ababneh,I. Technical Report; TR-2005-194, Department of Computing Science.,, University of Glasgow [More Details] A Study Of Stable Marriage Problems With Ties Scott,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] An algorithm for modelling terms Cai,D. Van Rijsbergen,C.J. DCS Tech Report, [More Details] Efficient algorithms for generalised stable marriage and roommates problems Fleiner,T. Irving,R.W. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details] Extracting Data from Personal Text Messages Cooper,R.L. DCS Technical Report Series, pp 1-23, Dept of Computing Science, University of Glasgow [More Details] From Petri Nets to Differential Equations - an Integrative Approach for Biochemical Network Analysis Gilbert,D. Heiner,M. DCS Technical Report Series, pp 23, Dept of Computing Science, University of Glasgow [More Details] Modelling and solving the stable marriage problem using constraint programming Manlove,D.F. O'Malley,G. DCS Tech Report, [More Details] Noncontiguous Processor Allocation for Three-Dimensional Mesh Multicomputers Ababneh,I. Bani Mohammad,S. pp 51-63 [More Details] Performance Analysis of Adjusted Probabilistic Broadcasting in MANETs Bani Yassein,M. Ould-Khaoua,M. Papanastasiou,S. [More Details] Performance analysis of PCS in the torus network in the presence of hotspot traffic Safaei,F. Khonsari,A. Ould-Khaoua,M. [More Details] Performance analysis of PCS in the torus network in the presence of hotspot traffic Safaei,F. Khonsari,A. Ould-Khaoua,M. [More Details] Performance analysis of PCS in the torus network in the presence of hotspot traffic Safaei,F. Khonsari,A. Fathy,M. OuldKhaoua,M. [More Details] Performance Analysis of Processor Allocation Strategies on 2D-Mesh Interconnection Networks Bani-Mohammad,S. Ould-Khaoua,M. Ababneh,I. Technical Report; TR-2005-202, Department of Computing Science.,, University of Glasgow [More Details] Proceedings fo the Second Workshop on Complexity in Design and Engineering Johnson,C.W. [More Details] Self-Managed Cell Simulator Heeps,S. Sharma,O. pp 1-13 [More Details] Simulation study of traffic-aware routing in mobile ad hoc networks Al-Qassas,R. Ould-Khaoua,M. Mackenzie,L.M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] SymNet Workshop on Almost-Symmetry in Search Donaldson,A.F. Gregory,P. pp 61 [More Details] Towards a Topology-based Continuous Image representation Brugnot,S. PhD Thesis,, University of Glasgow [More Details] 2004A Bayesian Regression Approach to the Inference of Regulatory Networks from Gene Expression DataRogers,S. Girolami,M. [More Details] A Case Study for Automatic Query Expansion Based on Divergence Cai,D. Van Rijsbergen,C.J. DCS Tech Report, pp 1-28 [More Details] A Decision Mechanism for the Selective Combination of Evidence in Topic Distillation Plachouras,V. Cacheda,F. Ounis,I. DCS Tech Report, pp 29 pages [More Details] A Suite of Testbeds for the Realistic Evaluation of Peer-to-Peer Information Retrieval Systems Klampanos,I.A. Jose,J.M. Poznanski,V. Dickman,P. DCS Tech Report, [More Details] Dempster-Shafer theory for a query-biased combination of evidence on the Web Plachouras,V. Ounis,I. pp 18 pages [More Details] JPie Interface: An On-The-Fly Job Submission And Communication Confguration Package Yarmolenko,V. Cockshott,W.P. Borland,E. Graham,P. Mackenzie,L. DCS Tech Report, pp 5 [More Details] Making sense of low-level usage data to understand user activities Renaud,K.V. Gray,P.D., Dept of Computing Science, University of Glasgow [More Details] Managing a Reconfigurable Processor in a General Purpose Workstation Environment Dales,M.W. pp 146, Dept of Computing Science, University of Glasgow [More Details] Managing a Reconfigurable Processor in a General Purpose Workstation Environment Dales,M. DCS Technical Report, pp 146, Dept of Computing Science, University of Glasgow [More Details] Man-Exchange Stable Marriage Irving,R.W. pp 1-11 [More Details] Modelling the Influence of RKIP on the ERK Signalling Pathway using the Stochastic Process Algebra PEPA Calder,M. Gilmore,S. Hillston,J. DCS Tech Report, [More Details] Pareto optimality in the Roommates problem Abraham,D.J. Manlove,D.F. DCS Tech Report, [More Details] Plagiarism and collusion detection using the Smith-Waterman algorithm Irving,R.W. DCS Technical Report, pp 1-24, Dept of Computing Science, University of Glasgow [More Details] Relevance Weight Revisited Cai,D. Van Rijsbergen,C.J. DCS Tech Report, pp 1-8 [More Details] RUR: A Proposed Model for CPU Marketing Cockshott,W.P. Yarmolenko,V. Mackenzie,L. DCS Tech Report, pp 6 [More Details] Sensory Substitution Using Tactile Pin Arrays: Human Factors, Technology and Applications Wall,S.A. pp 25 [More Details] The Proceedings of the Glasgow-Strathclyde Information Retrieval Workshop Azzopardi,L. Ruthven,I. Crestani,F. van Rijsbergen,C.J. DCS Tech Report, pp 38, Dept of Computing Science, University of Glasgow [More Details] The Top-Compressed Suffix Tree: A Disk-Resident Index for Large Sequences Japp,R.P. DCS Tech Report, pp 124, Dept of Computing Science, University of Glasgow [More Details] Two Algorithms for the Student-Project Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report, [More Details] Using database technologies to transform low-level stream data for client analysis Mancy,R. Thomas,R. Draper,S. Gray,P. Kennedy,G. pp 7 [More Details] Using database technologies to transform low-level stream data for client analysis Mancy,R. Thomas,R. Draper,S. Gray,P. Kennedy,G. pp 7 [More Details] 2003A Design Space for Location-Sensitive Aids for Older UsersGoodman,J. Gray,P. DCS Tech Report, pp 7 [More Details] Bounded Polymorphism in Session Types Hole,M.J. Gay,S.J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Designing a Chemotherapy Symptom Management System for PDAs: Emerging Design Guidelines from Early Patient Pilot Studies McGee,M.R. Gray,P. Muir,L. Hargan,I. pp 10, Dept of Computing Science, University of Glasgow [More Details] Dynamics and Probabilistic Text Entry Williamson,J. Murray-Smith,R. DCS Tech Report, pp 10 [More Details] Implementation of the General Matings Method in Isabelle/HOL Quigley,C.L. pp 23 [More Details] Information Retrieval Over Semi-Collaborating Peer-to-Peer Overlay Networks Klampanos,I.A. Jose,J.M. DCS Tech Report, pp 13, Dept of Computing Science, University of Glasgow [More Details] Learning a Gaussian Process Model with Uncertain Inputs Girard,A. Murray-Smith,R. DCS Tech Report, pp 10 [More Details] Nonlinear modelling of FES-supported standing up in paraplegia for selection of feedback sensors Kamnik,R. Shi,J.Q. Murray-Smith,R. Bajd,T. DCS Tech Report, [More Details] Proposal for two-dimensional gel electrophoresis data standards Jones,A. Wastling,J. Hunt,E. DCS Tech Report, pp 24 [More Details] Self-tuning control of non-linear systems using Gaussian process prior models Sbarbaro,D. Murray-Smith,R. DCS Tech Report, [More Details] Session Types for Inter-Process Communication Gay,S.J. Vasconcelos,V.T. Ravara,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] SPLAT: (Suffix-tree Powered Loacal Alignment Tool): A Full-Sensitivity Protein Database Search Program that Accelerates the Smith-Waterman Algorithm using a Generalised Suffix Tree Index Harding,N.J. Atkinson,M.P. DCS Tech Report, [More Details] Summary of Design Guidelines arising from the use of Haptics for Visualisation by Blind and Visually Impaired Computer Users Wall,S.A. Brewster,S.A. DCS Tech Report, [More Details] The Dynamic Absorbing Model for the Web Amati,G. Ounis,I. Plachouras,V. DCS Tech Report, pp 21, Dept of Computing Science, University of Glasgow [More Details] The Exchange-Stable Marriage Problem Cechlarova,K. Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Student-Project Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Suffix Sequoia Index for Approximate String Matching Hunt,E. DCS Tech Report, pp 1-26, Dept of Computing Science, University of Glasgow [More Details] Transformations of Gaussian process priors Murray-Smith,R. Pearlmutter,B. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Tutorial example of Gaussian process prior modelling applied to twin-tank system Gray,G. Murray-Smith,R. Thompson,K. Murray-Smith,D.J. DCS Tech Report, [More Details] Two approaches to verifying the Tree identify phase of the IEEE 1394 (FireWire) protocol for any size of network Miller,A. Calder,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Types and Subtypes for Correct Communication in Client-Server Systems Gay,S.J. Hole,M.J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] 2002Abduction, Explanation and Relevance FeedbackRuthven,I. DCS Tech Report, [More Details] An Experimental 3D Digital TV Studio Cockshott,W.P. Hoff,S. Nebel,J-C. DCS Tech Report,, Academic Press [More Details] Approximability results for stable marriage problems with ties Halldorsson,M. Irving,R.W. Iwama,K. Manlove,D.F. Miyazaki,S. Morita,Y. Scott,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Audio feedback for gesture recognition Williamson,J. Murray-Smith,R. DCS Tech Report,, AAAI Press [More Details] Bayesian Regression and Classification using Mixtures of Gaussian Processs Shi,J.Q. Murray-Smith,R. Titterington,D.M. DCS Tech Report, [More Details] Birth-death MCMC methods for mixtures with an unknown number of components Shi,J.Q. Murray-Smith,R. Titterington,D.M. DCS Tech Report, [More Details] Efficient structural outlooks for vertex product network Awwad,A.M. DCS Tech Report, [More Details] Efficient Structural Outlooks for Vertex Product Networks Awwad,A.M. DCS Tech Report, [More Details] Feature Interaction Detection by Pairwise Analysis of LTL Properties Calder,M. Miller,A. DCS Tech Report, [More Details] Feature Validation for any Number of Processes Calder,M. Miller,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Gaussian Process priors with uncertain inputs: Multiple-step-ahead prediction Girard,A. Rasmussen,C. Murray-Smith,R. DCS Tech Report, [More Details] Gaussian Process Priors with Uncertain Inputss: Multiple-Step-Ahead Prediction Girard,A. Rasmussen,C. Murray-Smith,R. DCS Tech Report, [More Details] Hierarchical Gaussian Process Mixtures for Regression Shi,J.Q. Murray-Smith,R. Titterington,D.M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Meta-Analysis for Trend Estimation Shi,J.Q. Copas,J.B. DCS Tech Report, [More Details] Near Real-Time Previewing for a Whole-Body 3D Scanner Boyling,T. DCS Tech Report, [More Details] New Fault-Tolerant Routing Algorithms for k-Ary n-Cube Networks Al-Sadi,J. DCS Tech Report, [More Details] Novel Visualisation Techniques for the Presentation of Accident Reports Johnson,C.J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Performance Analysis of Wormhole Routing in Multicomputer Interconnection Networks Sarbazi-Azad,H. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Runtime Resolution of Feature Interactions in Evolving Telecommunications Systems Reiff-Marganiec,S. DCS Tech Report, [More Details] Strong Stability in the Hospitals/Residents Problem Irving,R.W. Manlove,D.F. Scott,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Supporting Early Intervention Programmes for special-needs children with personal digital assistants Murray-Smith,R. Wiliamson,J. Borland,J. Gray,P.D. DCS Tech Report, [More Details] Vector Pascal Reference Manual Cockshott,W.P. DCS Tech Report, [More Details] 2001A Database Index to Large Biological SequencesHunt,E. Atkinson,M.P.A. Irving,R.W.I. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] A Multimethod-Based Orthogonally Persistent Programming Language Cunei,A. DCS Tech Report, [More Details] A Survey of Web Engineering in Practice McDonald,A.G. Welland,R.C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] A Symbolic Semantics and Bisimulation for Full LOTOS Calder,M. Shankland,C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Agile Web Engineering (AWE) Process McDonald,A. Welland,R.C. DCS Tech Report, pp 55, Dept of Computing Science, University of Glasgow [More Details] Combining and comparing clustering and layout algorithms Morrison,A.J. Ross,G. Chalmers,M. DCS Tech Report, pp 9 [More Details] Hot-Swapping between a Mark & Sweep and a Mark & Compact Garbage Collector in a Generational Environment Printezis,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Informing Sound-tracks Walker,A. Brewster,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Models and the use of Counter-Factual Reasoning in AccidentInvestigations Johnson,C.W. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Overcoming the Lack of Screen Space on Mobile Computers on Mobile Computer on Mobile Computers Brewster,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Proceedings of Design, Specification and Verification of InteractiveSystems 2001 Johnson,C.W. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] StarTex (version 0.5.2) A draft schema for anaesthetic records Gardner,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Suffix Binary Search Trees and Suffix Arrays Irving,R.W. Love,L. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Suffix Binary Search Trees and Suffix Arrays Irving,R.W. Love,L. DCS Tech Report, [More Details] Using LOTOS for Modelling and Analysing an Online Feature Manager: A Study Reiff,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications Services Calder,M. Miller,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Virtual Acoustic Displays : an overview of audio spatialization techniques and tools Walker,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] 2000A Multimethod-Based Orthogonally Persistent Programming LanguageCunei,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] A Review of the Rationale and Architectures of PJama: a Durable, Flexible, Evolvable and Scalable Orthogonally Persistent Programming Platform Atkinson,M. Jordan,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] A Symbolic Semantics and Bisimulation for Full LOTOS Calder,M. Shankland,C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Class and Data Evolution Support in the PJama Persistent Platform Dmitriev,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Defining a non-concrete recursive type in HOL which includes sets Vos,T. Swierstra,D. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Direct Compilation of High Level Languages for Multi-media Instruction-sets Cockshott,P. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Dynamic Links for Mobile Connected Context-AwareDynamic Links for Mobile Connected Context-Aware Systems Gray,P.D. Sage,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Model Checking Networks of Telecommunications Services using SPIN Calder,M. Miller,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] On the Approximability of the Maximum Induced Matching Problem Duckworth,W. Manlove,D.F. Zito,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Persistent Suffix Trees and Suffix Binary Search Trees as DNA Sequence Indexes Hunt,E. Irving,R.W. Atkinson,M.P. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Stable Roommates Problem with Ties Irving,R.W. Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Suffix Binary Search Tree and Suffix AVL Tree Irving,R.W. Love,L. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Towards a Paperless World Al-Sharjabi,H. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Xs are for Trajectory Evaluation, Booleans are for Theorem Proving (Extended Version) Aagaard,M.D. Melham,T.F. O'Leary,J.W. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] 1999A Non-Invasive Mechanism for Monitoring Calls to Java? PackagesRenaud,K. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Analysing Music for a String Performer Findlay,W. Hall,C.V. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Case study: CTG repeat expansion modelling using a JavaTM applet and its PJamaextension providing persistent storage for genetics data. Hunt,E. Jack,D. Hogg,G.F. Monckton,D.G. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Case study: Use of Computer Tools in Locating a Human Disease Gene Hunt,E. Jack,D.A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Genome Rearrangement Problems Christie,D.A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Hard Variants of Stable Marriage Manlove,D.F. Irving,R.W. Iwama,K. Miyazaki,S. Morita,Y. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Integrating Information Use into Relevance Feedback Ruthven,I. Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Modelling a Telephone Switching System for Verification Reiff,S. Calder,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Performance Evaluation of Distributed Crossbar Switch Hypermesh Loucif,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Providing Evolution Support for PJama1 within Sphere Hamilton,C. Atkinson,M.P. Dmitriev,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Recovery Management for Sphere: Recovering A Persistent Object Store Hamilton,C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] S.U.I.T. - A Framework & Methodology For The Selection of User Interface Development Tools Based on Fitnesss Criteria McKirdy,J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Simulation of Bowing Decisions on a String Instrument Findlay,W. Hall,C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Stable Marriage with Ties and Unacceptable Partners Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Term similarity-based query expansion for cross-language information retrieval Adriani,M. van Rijsbergen,C.J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Sphere User's Guide Printezis,T. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Structure of Stable Marriage with Indifference Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Title: Many-valued Logics for Programming: Theorems and Proofs Morris,J.M. Bunkenburg,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Tracking Activity at the User Interface in a Java? Application Renaud,K. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Virtual Acoustic Displays ? an overview of audio spatialization techniques and tools Walker,V.A. DCS Tech Report, [More Details] 1998A Dempster-Shafer Model for Document Retrieval using PhrasesTheophylactou,M. Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] A Study of the Kinematics of Probabilities in Information Retrieval Crestani,F.A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] An Empirical Study of the Relationships Between User Interface Development Tools & User Interface Software Development McKirdy,J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Collection Fusion in Information Retrieval Formally Investigated with an Epistemic Logic Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems Evans,J.H. Dickman,P. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Foreword: What?s the Problem with Usability Problems Lavery,D. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Formal Combination of Document Representations Based on Evidential Reasoning Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Granularity in Large-Scale Parallel Functional Programming Loidl,H.W. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Minimaximal and maximinimal optimisation problems: a partial order-based approach Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] On the Embedding Hamiltonian Cycles into k-ary n-cubes Sarbazi-Azad,H. Mackenzie,L.M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Once Upon a Polymorphic Type Wansbrough,K. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Representing and Retrieving Structured Documents with Dempster-Shafer?s Theory of Evidence: From Theory to Practice Lalmas,M. Ruthven,I.G. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Selective Relevance Feedback Using Term Characteristics Ruthven,I. Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Sort Inference in Action Semantics Brown,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Cut Rule and Explicit Substitutions (Author's Cut) Vestergaard,R. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Implementation of Sphere: a Scalable, Flexible, and Extensible Persistent Object Store Printezis,T. Atkinson,M.P. Daynes,L. DCS Tech Report, [More Details] The Implementation of Sphere: a Scalable, Flexible, and Extensible Persistent Object Store Printezis,A. Atkinson,M.P. Daynes,L. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Traveling Salesman Problem in Circulant Graphs Gerace,I. Irving,R.W. DCS Tech Report, [More Details] What?s the Problem with Usability Problems? Cockton,G. Lavery,D. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] 1997Accident Analysis and Action LogicBurns,C. Johnson,C.W. Thomas,M. DCS Tech Report, pp 33-39 [More Details] Accident Fault Trees Love,L. Johnson,C.W. DCS Tech Report, pp 16-25, Dept of Computing Science, University of Glasgow [More Details] Exploiting Risk and Utility Assessments to Support the Design of Human-Machine Interfaces: papers from EPSRC Grant GR/J07686 Johnson,C.W. DCS Tech Report, [More Details] On the 2-maximal independence number of a graph Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] On the algorithmic complexity of twelve covering and independence parameters of graphs Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] Proceedings of a Workshop on Human Error and Systems Development Johnson,C.W. DCS Tech Report, [More Details] Reflecting user information needs through query biased summaries Tombros,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The b-chromatic number of a graph Irving,R.W. Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details] The Design of Sphere: a Scalable, Flexible, and Extensible Persistent Object Store Printezis,T. Atkinson,M.P. Daynes,L. Spence,S. DCS Tech Report, [More Details] 1996Cross-viewpoint Consistency in Accident InvestigationsTelford,A.J. Johnson,C.W. DCS Tech Report, [More Details] Extending The Application Of Formal Methods To Analyse Human Error And System Failure During Accident Investigations Telford,A.J. Johnson,C.W. DCS Tech Report, [More Details] Measuring the Allocation Rate of Napier88 Printezis,T. Cutts,Q.I. DCS Tech Report, [More Details] Proceedings of the First Workshop on Human Error and Clinical Systems Johnson,C.W. Dunlop,M.D. DCS Tech Report, [More Details] Some Research Issues in Higher Order Logic Theorem Proving Melham,T.F. DCS Tech Report, [More Details] Supporting Error-Driven Design Johnson,C.W. Gray,P.D. DCS Tech Report,, Academic Press [More Details] The Value of Information for Distributed Systems Johnson,C.W. DCS Tech Report, pp 39-46 [More Details] 1995A formal derivation of a parallel binary addition circuitO'Donnell,J.T. Ruenger,G. DCS Tech Report,, University of Glasgow [More Details] MAC-CBJ: maintaining arc consistency with conflict-directed backjumping Prosser,P. Technical Report 95/177, [More Details] Subsequences and Supersequences of Strings Fraser,C.B. [More Details] 1994Information and economicsCockshott,P. Cottrell,A. DCS Tech Report,, Academic Press [More Details] 1993Two essays in information retrievalvan Rijsbergen,C.J. DCS Tech Report,, Ablex Publishing Corporation, New Jersey, U.S.A. [More Details] 1992Reasoning with Inductively Defined Relations in the {HOL} Theorem Prover}Camilleri,J. Melham,T.F. DCS Tech Report,, University of Cambridge [More Details] 1985Building a microcomputer with associative virtual memorycockshott,w.p. pp 1-21, Dept of Computing Science, University of Glasgow [More Details] The CPOMS persistent object management system Cockshott,P. Brown,A. DCS Tech Report,, University of Glasgow [More Details] |
|
Departmental Research Publications
| People Finder: |
Computing Science is a member of the Faculty of Information and Mathematical Sciences