White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Browse by University and Academic Department

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Creators | No Grouping
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2002 | 2001 | 2000 | 1999 | 1996 | 1995 | 1993 | 1992 | 1987 | 1984
Number of items at this level: 188.

2016

Almatary, Hesham (2016) Operating System Kernels on Multi-core Architectures. MSc by research thesis, University of York.

Kamollimsakul, Sorachai (2016) Web Design Guidelines for Text Presentation for Older People: Empirical Evidence from Thailand and the UK. PhD thesis, University of York.

2015

AL-Humam, Abdulaziz (2015) Service-Oriented Architectures for Safety-Critical Systems. PhD thesis, University of York.

Aljohani, ms (2015) Learning Graphical Models Using Prior Knowledge. PhD thesis, University of York.

Bak, Christopher (2015) GP 2: Efficient Implementation of a Graph Programming Language. PhD thesis, University of York.

Calderon, Jose Manuel (2015) Improving Implicit Parallelism. PhD thesis, University of York.

Elgabou, Hani (2015) Encoding The Lexicographic Ordering Constraint in Satisfiability Modulo Theories. MSc by research thesis, University of York.

Fargus, Alexander (2015) Optimisation of Correlation Matrix Memory Prognostic and Diagnostic Systems. EngD thesis, University of York.

Garside, Jamie (2015) Real-Time Prefetching on Shared-Memory Multi-Core Systems. PhD thesis, University of York.

Gettings, Oliver (2015) Mixed Criticality Systems with Weakly-Hard Constraints. MSc by research thesis, University of York.

Ghazzawi, Hashem Ali (2015) Feedback Admission Control for Workflow Management Systems. EngD thesis, University of York.

Moalla, Firas (2015) Fresh Techniques for Memory Profiling of Lazy Functional Programs. MSc by research thesis, University of York.

Ottaviani, Carlo (2015) Unconditional Security of Continuous-Variable Quantum Cryptography. PhD thesis, University of York.

Plumbridge, Gary (2015) Actor-Oriented Programming for Resource Constrained Multiprocessor Networks on Chip. PhD thesis, University of York.

Rafiq, Yasmeen (2015) Online Markov Chain Learning for Quality of Service Engineering in Adaptive Computer Systems. PhD thesis, University of York.

Russell, Benjamin James (2015) Geometric Control For Analysing the Quantum Speed Limit and the Physical Limitations of Computers. PhD thesis, University of York.

Sudev, Bharath (2015) Improving Packet Predictability of Scalable Network-on-Chip Designs without Priority Pre-emptive Arbitration. PhD thesis, University of York.

Taylor, Paul (2015) Autonomic Business Processes. EngD thesis, University of York.

2014

Abusnina, Ali (2014) Gaussian Process Adaptive Soft Sensors and their Applications in Inferential Control Systems. EngD thesis, University of York.

Afshar Dodson, Ali James Elliot (2014) Schelling's Bounded Neighbourhood Model: A systematic investigation. PhD thesis, University of York.

Ahmad, Mian Asbat (2014) New Strategies For Automated Random Testing. PhD thesis, University of York.

Al-Oqayli, Taha (2014) Multiprocessor-safe Wait-free Queue in RTSJ. PhD thesis, University of York.

Alkandari, Fatima A A A (2014) Model-Driven Engineering for Analysing, Modelling and Comparing Cloud Computing Service Level Agreements. PhD thesis, University of York.

Aziz, Furqan (2014) Edge-based Operators for Graph Characterization. PhD thesis, University of York.

Bai, Lu (2014) Information Theoretic Graph Kernels. PhD thesis, University of York.

Burkimsher, Andrew Marc (2014) Fair, responsive scheduling of engineering workflows on computing grids. EngD thesis, University of York.

Burles, Nathan (2014) Pattern Recognition Using Associative Memories. PhD thesis, University of York.

Burton, Frank R (2014) Trade-offs in System of Systems Acquisition. EngD thesis, University of York.

Caliskanelli, Ipek (2014) A Bio-inspired Load Balancing Technique for Wireless Sensor Networks. PhD thesis, University of York.

Cheng, Shu (2014) Formally modelling and verifying the FreeRTOS real-time operating system. PhD thesis, University of York.

Clement, Stephen J (2014) Sparse Shape Modelling for 3D Face Analysis. PhD thesis, University of York.

De Oliveira Salazar Ribeiro, Pedro Fernando (2014) Angelic Processes. PhD thesis, University of York.

Efthymiadis, Kyriakos (2014) Knowledge-Based Reward Shaping with Knowledge Revision in Reinforcement Learning. PhD thesis, University of York.

Fairbairn, M L (2014) Dependability of Wireless Sensor Networks. PhD thesis, University of York.

Georgiou, Theodoros (2014) Human haptic perception in virtual environments: An investigation of the interrelationship between physical stiffness and perceived roughness. MSc by research thesis, University of York.

Hudson, Matthew (2014) Social Presence in Team-Based Digital Games. EngD thesis, University of York.

Katsura, Akihiro (2014) Answer Re-ranking with bilingual LDA and social QA forum corpus. MSc by research thesis, University of York.

Lunniss, William Richard Elgon (2014) Cache Related Pre-emption Delays in Embedded Real-Time Systems. EngD thesis, University of York.

Malialis, Kleanthis (2014) Distributed Reinforcement Learning for Network Intrusion Response. PhD thesis, University of York.

Marriott, Chris (2014) Checking Memory Safety of Level 1 Safety-Critical Java Programs using Static-Analysis without Annotations. PhD thesis, University of York.

Mohd Azmi, Nurulhuda Firdaus (2014) ARTIFICIAL IMMUNE SYSTEMS FOR INFORMATION FILTERING: FOCUSING ON PROFILE ADAPTATION. PhD thesis, University of York.

Mohd Sayuti, M. Norazizi Sham (2014) Early Design Space Exploration of Hard Real-Time Embedded Networks-on-Chip. PhD thesis, University of York.

Moyo, Daniel (2014) Investigating The Dynamics of Hepatic Inflammation Through Simulation. PhD thesis, University of York.

Nordin, Aliimran (2014) Immersion And Players' Time Perception in Digital Games. PhD thesis, University of York.

Seneler, Cagla (2014) THE IMPACT OF LEARNING STYLES AND CULTURAL BACKGROUND ON USERS’ EXPERIENCE OF WEBSITES. PhD thesis, University of York.

Soboczenski, Frank (2014) The Effect of Interface Elements on Transcription Tasks to Reduce Number-Entry Errors. PhD thesis, University of York.

Taromirad, Masoumeh (2014) A Modelling Approach to Multi-Domain Traceability. PhD thesis, University of York.

Whitehouse, Daniel (2014) Monte Carlo Tree Search for games with Hidden Information and Uncertainty. PhD thesis, University of York.

Williams, Richard Alun (2014) An Agent-Based Model of the IL-1 Stimulated Nuclear Factor-kappa B Signalling Pathway. PhD thesis, University of York.

Wong, Hing Choi (2014) Schedulability Analysis for the Abort-and-Restart Model. PhD thesis, University of York.

2013

Abdul Sani, Asmiza (2013) Towards Automated Formal Analysis of Model Transformation Specifications. PhD thesis, University of York.

Buykx, Lucy (2013) Interactive recipe instructions: supporting cooks with better designs. PhD thesis, University of York.

Chu, Yanching (2013) Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach. MPhil thesis, University of York.

Devlin, Sam Michael (2013) Potential-Based Reward Shaping for Knowledge-Based, Multi-Agent Reinforcement Learning. PhD thesis, University of York.

Fleming, Thomas (2013) Extending Mixed Criticality Scheduling. MSc by research thesis, University of York.

Griffin, David Jack (2013) Lossy Compression applied to the Worst Case Execution Time Problem. PhD thesis, University of York.

Hadley, Mark (2013) Empirical Evaluation of the Effectiveness and Reliability of Software Testing Adequacy Criteria and Reference Test Systems. PhD thesis, University of York.

Haseeb, Muhammad (2013) Spectral Representation for Matching and Recognition. PhD thesis, University of York.

Hind, Richard (2013) FEASIBILITY STUDY ON IMPLEMENTING THE “BALL COMPUTER”. MSc by research thesis, University of York.

Hutchesson, Stuart (2013) Trusted product lines. PhD thesis, University of York.

Kamali Sarvestani, Amir Mansoor (2013) Evaluating Techniques for Wireless Interconnected 3D Processor Arrays. PhD thesis, University of York.

Kim, Seyeon (2013) Node-oriented dynamic memory management for real-time systems on ccNUMA architecture systems. PhD thesis, University of York.

Lim, Tiong Hoo (2013) Dependable Network Protocols in Wireless Sensor Networks. PhD thesis, University of York.

Lin, Shiyao (2013) A Flexible Multiprocessor Resource Sharing Framework for Ada. PhD thesis, University of York.

Mostafa, Dina (2013) Maturity Models in the Context of Integrating Agile Development Processes and User Centred Design. PhD thesis, University of York.

Owen, Jennifer (2013) An Investigation of Loose Coupling in Evolutionary Swarm Robotics. PhD thesis, University of York.

Patrick, Matthew Timothy (2013) Mutation-Optimised Subdomains for Test Data Generation and Program Analysis. PhD thesis, University of York.

Perez Cervantes, Marco Polo (2013) Static Methods to Check Low-Level Code for a Graph Reduction Machine. PhD thesis, University of York.

Poskitt, Christopher M. (2013) Verification of Graph Programs. PhD thesis, University of York.

Poulding, Simon M (2013) The Use of Automated Search in Deriving Software Testing Strategies. PhD thesis, University of York.

Reich, Jason S. (2013) Property-based Testing and Properties as Types: A hybrid approach to supercompiler verification. PhD thesis, University of York.

Reinhardt, Derek Wade (2013) Safety Assurance of Aviation Systems. PhD thesis, University of York.

Williams, James R. (2013) A Novel Representation for Search-Based Model-Driven Engineering. PhD thesis, University of York.

Zhao, Yining (2013) Behavioural access control in distributed environments. PhD thesis, University of York.

2012

Aldrian, Oswald (2012) Inverse Rendering of Faces with a 3D Morphable Model. PhD thesis, University of York.

Alsanie, Waleed (2012) Learning Failure-free PRISM Programs. PhD thesis, University of York.

Banks, Michael J (2012) On Confidentiality and Formal Methods. PhD thesis, University of York.

Butler, Matthew R (2012) Computational Intelligence for Analysis Concerning Financial Modelling and the Adaptive Market Hypothesis. PhD thesis, University of York.

Ceolin, Simone Regina (2012) Facial Shape Space using Statistical Models from Surface Normal. PhD thesis, University of York.

Fang, Yan (2012) Data Clustering and Graph-Based Image Matching Methods. PhD thesis, University of York.

Freire, André Pimenta (2012) Disabled people and the Web: User-based measurement of accessibility. PhD thesis, University of York.

Ghetiu, Teodor (2012) Structured Argumentation for Simulation-Based Research. PhD thesis, University of York.

Harwood, William (2012) The Logic of Trust. PhD thesis, University of York.

Huang, Rui (2012) Shape from Shading under Relaxed Assumptions. PhD thesis, University of York.

Ismail, Azniah Binti (2012) Minimally Supervised Techniques for Bilingual Lexicon Extraction. PhD thesis, University of York.

Lau, Hui Keng (2012) Error Detection in Swarm Robotics: A Focus on Adaptivity to Dynamic Environments. PhD thesis, University of York.

Malik, Haseeb (2012) Extending the Real Time Specification for Java for Cache Coherent NUMA Architectures. PhD thesis, University of York.

McLaughlin, James (2012) Applications of search techniques to cryptanalysis and the construction of cipher components. PhD thesis, University of York.

Miyazawa, Alvaro Heiji (2012) Formal verification of implementations of Stateflow charts. PhD thesis, University of York.

Nellis, Adam (2012) Towards meta-evolution via embodiment in artificial chemistries. PhD thesis, University of York.

Oliveira Gomes, Artur (2012) Formal Specification of the ARINC 653 Architecture Using Circus. MSc by research thesis, University of York.

Othman, mohd kamal (2012) Measuring visitors' experiences with mobile guide technology in cultural spaces. PhD thesis, University of York.

Pandey, Shailesh (2012) Learning to Rank and Order Answers to Definition Questions. PhD thesis, University of York.

Reddy, Siva (2012) Polysemy in Compositional Distributional Semantics. MSc by research thesis, University of York.

Shahid, Ahmad (2012) Extraction of Linguistic Resources from Multilingual Corpora and their Exploitation. PhD thesis, University of York.

Staunton, Jan (2012) Using Estimation of Distribution Algorithms to Detect Concurrent Faults. PhD thesis, University of York.

Sun, Linling (2012) Establishing Confidence in Safety Assessment Evidence. PhD thesis, University of York.

Xu, Weiping (2012) Non-Euclidean Dissimilarity Data in Pattern Recognition. PhD thesis, University of York.

Zhang, Zhihong (2012) Feature Selection from Higher Order Correlations. PhD thesis, University of York.

han, lin (2012) Graph GenerativeModels from Information Theory. PhD thesis, University of York.

2011

ABD MALIK, SOFIANIZA (2011) Older people, mobile technology and culture: an investigation of appropriate methods and personas in Malaysia and the UK. PhD thesis, University of York.

ALORAINI, ADEL ABDULLAH M (2011) Extending the Graphical Representation of four KEGG Pathways for a Better Understanding of Prostate Cancer Using Machine Learning of Graphical models. PhD thesis, University of York.

Basnet, Santa B. (2011) Unsupervised morpheme segmentation in a non-parametric Bayesian framework. MSc by research thesis, University of York.

Can, Burcu (2011) Statistical Models for Unsupervised Learning of Morphology and POS Tagging. PhD thesis, University of York.

Creusot, Clement (2011) Automatic Landmarking for Non-cooperative 3D Face Recognition. PhD thesis, University of York.

Gilliam, Tara (2011) Writer identification in medieval and modern handwriting. PhD thesis, University of York.

Greaves, Richard (2011) Computational Modelling of Treg Networks in Experimental Autoimmune Encephalomyelitis. MSc by research thesis, University of York.

Gudivada, Sravan Kumar Naidu (2011) Applications of Diffusion Wavelets. MSc by research thesis, University of York.

Harbird, Lishan (2011) Patterns and model transformation tools for designing Contractual State Machines. PhD thesis, University of York.

Hobson, Stephen (2011) Correlation Matrix Memories: Improving Performance for Capacity and Generalisation. PhD thesis, University of York.

Hoverd, Tim (2011) Environment Oriented Simulation. PhD thesis, University of York.

Ismail, Amelia Ritahani (2011) Immune-inspired self-healing swarm robotic systems. PhD thesis, University of York.

Kan, Jing (2011) Spatial-temporal Source Reconstruction for Magnetoencephalography. PhD thesis, University of York.

Li, Shuguang (2011) Beyond Question Answering: Understanding the Information Need of the User. PhD thesis, University of York.

Mesidis, Paris-alexandros (2011) Mapping of Real-time Applications on Network-on-Chip based MPSOCS. MSc by research thesis, University of York.

Montano, Giuseppe (2011) Dynamic Reconfiguration of Safety-Critical Systems: Automation and Human Involvement. PhD thesis, University of York.

Naylor, Rebecca Frances (2011) Neural Pipelines: For the Co-ordination of Activity in a Multi-layered Neural Network. PhD thesis, University of York.

Pandey, Suraj Jung (2011) Opinion Analysis through Constraint Optimisation. MSc by research thesis, University of York.

Patel, Ankur (2011) 3D Morphable Models: Data Pre-Processing, Statistical Analysis and Fitting. PhD thesis, University of York.

Read, Mark N (2011) Statistical and Modelling Techniques to Build Confidence in the Investigation of Immunology through Agent-Based Simulation. PhD thesis, University of York.

Ribeiro, Richard Duarte (2011) Recurrent Communities of Practice (RCoPs) and Transient Core Members (TCMs): Temporal behaviour of co-located and on-line Communities of Practice. PhD thesis, University of York.

Rose, Louis M. (2011) Structures and Processes for Managing Model-Metamodel Co-evolution. PhD thesis, University of York.

Tabatabaie, Malihe (2011) Towards Process Models for Goal-Based Development of Enterprise Information Systems Architectures. PhD thesis, University of York.

YANG, YUE (2011) Ancient Protein Identification and Mass Spectrometry Data Analysis. MPhil thesis, University of York.

2010

AHMAD, TOUQEER (2010) Combining Probabilistic Shape-from-Shading & Statistical Facial Shape Models. MSc by research thesis, University of York.

Alrahmawy, Mohammed (2010) Design Patterns and Component Framework for Building RTSJ-Based Real-Time Middleware. PhD thesis, University of York.

Dutta, Abhishek (2010) Face Shape and Reflectance Acquisition using a Multispectral Light Stage. MSc by research thesis, University of York.

El Ghawalby, Hewayda (2010) Spectral Geometry for Structural Pattern Recognition. PhD thesis, University of York.

Garnett, Philip (2010) Agent Based Modelling of Auxin Transport Canalisation. PhD thesis, University of York.

Gray, I (2010) Developing Embedded Software Using Compile-Time Virtualisation. PhD thesis, University of York.

Grzes, Marek (2010) Improving Exploration in Reinforcement Learning through Domain Knowledge and Parameter Analysis. PhD thesis, University of York.

Hodhod, Rania (2010) Interactive Narrative for Adaptive Educational Games: Architecture and an Application to Character Education. PhD thesis, University of York.

Hudson, Matthew (2010) Semiotics & Syringe Pumps. MSc by research thesis, University of York.

Ju, Quan (2010) A high performance automatic face recognition system using 3D shape information. PhD thesis, University of York.

Korkontzelos, Ioannis (2010) Unsupervised Learning of Multiword Expressions. PhD thesis, University of York.

Lampert, Thomas (2010) Spectrogram Track Detection: An Active Contour Algorithm. PhD thesis, University of York.

Lim, Yow Tzu (2010) Evolving Security Policies. PhD thesis, University of York.

Lisagor, Oleg (2010) Failure logic modelling: a pragmatic approach. PhD thesis, University of York.

Ogungboye, Agah Ejura (2010) Improving Usability in a Grid-Enabled Environment. MPhil thesis, University of York.

Perna, Juan Ignacio (2010) A verified compiler for Handel-C. PhD thesis, University of York.

Ren, Peng (2010) Developments in Structural Learning Using Ihara Coefficients and Hypergraph Representations. PhD thesis, University of York.

Romero, Marcelo (2010) Landmark localisation in 3D face data. PhD thesis, University of York.

Sen, Sevil (2010) Evolutionary Computation Techniques for Intrusion Detection in Mobile Ad Hoc Networks. PhD thesis, University of York.

Subramaniam, Nitya (2010) Scene Segmentation Using Polarisation Information. MSc by research thesis, University of York.

Wartak, Szymon (2010) Dense Optical Flow Estimation using Diffusion Distances. MSc by research thesis, University of York.

Weeks, Andrew (2010) Neutral Emergence and Coarse Graining Cellular Automata. PhD thesis, University of York.

Yu, Ke (2010) Real-Time Operating System Modelling and Simulation Using SystemC. PhD thesis, University of York.

2009

Booth, Peter (2009) AZDV: Map Overlay Routing in Vehicular Ad Hoc Networks. MSc by research thesis, University of York.

DONG, XUN (2009) Defending Against Phishing Attacks. PhD thesis, University of York.

Emberson, Paul (2009) Searching For Flexible Solutions To Task Allocation Problems. PhD thesis, University of York.

Fu, Rong (2009) Robust Speaker Diarization for Single Channel Recorded Meetings. PhD thesis, University of York.

Grum, Matthew (2009) 3-D Reconstruction of Multi-object Scenes from Multiple Images. PhD thesis, University of York.

Haines, Tom SF (2009) Integrating Shape-from-Shading & Stereopsis. PhD thesis, University of York.

Lay, Nicholas Christopher (2009) Enhancing real-time embedded systems development using artificial immune systems. PhD thesis, University of York.

Muehlberg, Jan Tobias (2009) Model Checking Pointer Safety in Compiled Programs. PhD thesis, University of York.

Servin, Arturo Lev (2009) Multi-Agent Reinforcement Learning for Intrusion Detection. PhD thesis, University of York.

Tate, Jonathan (2009) Principled Tuning And Structuring Methods For Sensornets. PhD thesis, University of York.

White, David Robert (2009) Genetic Programming for Low-Resource Systems. PhD thesis, University of York.

Zuhily, Areej (2009) Scheduling analysis of fixed priority hard real-time systems with multiframe tasks. PhD thesis, University of York.

2008

Zhang, Lichi (2008) Shape and Reflectance Estimation from Dielectric Materials using Statistical Analysis and Polarisation. PhD thesis, University of York.

2007

Clark, Lillian (2007) e-CF : a framework for exploring online consumer behaviour. PhD thesis, University of York.

Grounds, Matthew Jon (2007) Scaling-up reinforcement learning using parallelization and symbolic planning. PhD thesis, University of York.

Despotou, Georgios (2007) Managing the Evolution of Dependability Cases for Systems of Systems. PhD thesis, University of York.

Ge, Xiaocheng (2007) Agile security for web applications. PhD thesis, University of York.

Quarteroni, Silvia (2007) Advanced techniques for personalized, interactive question answering. PhD thesis, University of York.

Zerzelidis, Alexandros (2007) A framework for flexible scheduling in real-time middleware. PhD thesis, University of York.

2006

Abdullah, Mohd Syazwan (2006) A UML profile for conceptual modelling of knowledge-based systems. PhD thesis, University of York.

Ramsin, Raman (2006) The engineering of an object-oriented software development methodology. PhD thesis, University of York.

Aguilar-Soto, Armando (2006) Fixed-Priority Scheduling Algorithms with Multiple Objectives in Hard Real-Time Systems. PhD thesis, University of York.

Chivers, Howard Robert (2006) Security design analysis. PhD thesis, University of York.

Luo, Ming (2006) Robust and Blind 3D Watermarking. PhD thesis, University of York.

2005

Heseltine, Thomas David (2005) Face recognition : two-dimensional and three-dimensional techniques. PhD thesis, University of York.

Moy, Joanna (2005) Word order and case in models of simulated language evolution. PhD thesis, University of York.

Ubon, Adisorn Na (2005) Social presence in asynchronous text-based online learning communities : a longitudinal case study using content analysis. PhD thesis, University of York.

Wood, Gavin James (2005) Content-based visualisation to aid common navigation of musical audio. PhD thesis, University of York.

2002

Watkinson, Stephen (2002) Learning natural language syntax. PhD thesis, University of York.

2001

Willans, James Stephen (2001) Integrating behavioural design into the virtual environment development process. PhD thesis, University of York.

2000

Moss, Graeme E (2000) Benchmarking purely functional data structures. PhD thesis, University of York.

Mauri, Guiseppe (2000) Integrating safety analysis techniques, supporting identification of common cause failures. PhD thesis, University of York.

1999

Pumfrey, David John (1999) The principled design of computer system safety analyses. PhD thesis, University of York.

1996

McElhone, Charles Gerard (1996) A constrained computational model for flexible scheduling. PhD thesis, University of York.

1995

Davis, Robert Ian (1995) On exploiting spare capacity in hard real-time systems. PhD thesis, University of York.

Foubister, Sandra Periam (1995) Graphical application and visualization of lazy functional computation. PhD thesis, University of York.

Wallace, Malcolm (1995) Functional programming and embedded systems. PhD thesis, University of York.

1993

Audsley, Neil C (1993) Flexible scheduling of hard real-time systems. PhD thesis, University of York.

1992

Mertzanis, Emmanouel Christopher (1992) A new neural network based approach to position and scale invariant pattern recognition. PhD thesis, University of York.

1987

Bainbridge, R. I. (1987) A definite clause grammatical inversion of extended Montague semantics. PhD thesis, University of York.

1984

Khan, A. A (1984) A formal technique for the logical design of organisational information systems. PhD thesis, University of York.

This list was generated on Wed Jun 29 09:13:20 2016 BST.