Ph.D. Theses

Nasir Theses Hyperspectral colon biopsy classification into normal and malignant categories. Maad, Soha An empirical modelling approach to software system development in finance:. Meehan, Gary The Aladin abstract machine. Marx, Maarten and Areces, Carlos Failure of interpolation in combined modal logics. Meehan, Gary Compiling functional programs engineering Java byte-code. Meehan, Gary Fuzzy functional programming. Miltersen, Peter Bro On the cell probe thesis of polynomial evaluation. Miltersen, Peter Bro Lower bounds for union-split-find related problems on random access machines. Moitra, Computer and Joseph, Mathai Determining doctoral properties of infinite real-time programs. McColl, Roderick William Colour image quantisation and coding for optimal perception. Ian and Paterson, Michael S. McColl, William Computer Computer results on circuit depth. Ness, Paul Edward Creative software development:. Novak, Ladislav and And, Alan Hybrid bases in graphs. Engineering, Yogesh A temporal approach to requirements specification of real-time systems.

Theses, Ladislav and Gibbons, Alan Double independent subsets of a graph. Novak, Ladislav and Gibbons, Alan On perfect pairs of trees in a graph. O'Neill, Simon John A fundamental study into the theory and application of the partial metric spaces. O'Neill, Simon Two topologies are better than one.

Poloczek, Felix Stochastic network calculus with martingales. Palmer, Phd James Pattern classification via computer learners.

Park, Heechan Thesis symmetry and applications in image processing. Park, Heechan computer Martin, Graham R. Philippou, Anna Reasoning about systems with evolving structure. Peled, Doron Sometimes 'some' is as good as 'all'. Frances Optimal binary department partitions for orthogonal objects.

Frances Binary partitions with doctoral to hidden-surface removal and solid modelling.

Parberry, Ian A complexity theory of parallel computation. Park, David Essential and ephemeral knowledge:. Parberry, Ian On the power of parallel machines with high-arity instruction sets. Engineering, Ian and Goldschlager, L. Pilgram, Paul Theo Translating and data flow into message passing actors. Park, need help thesis statement Concurrency and automata on infinite sequences. Park, David The Y-combinator in Scott's lambda-calculus models. Park, David Finiteness is mu-ineffable.

Qaffas, Alaa Lightweight adaptive personalised e-advertising. Qu, Hongyang Theoretical computer practical tools for validating discrete theses real-time systems. Robinson, Leigh Invariant phd recognition:. Raza, Shan-e-Ahmed Multi-variate image analysis for detection of biomedical anomalies.

Rutter, Dorian James From diversity to convergence:. British computer science and thesis Internet,. Reyes-Aldasoro, dissertation critique 103 Carlos Multiresolution doctoral texture segmentation. Reyes-Aldasoro, Constantino Carlos A guide to co-occurrence matrix analysis. Nasir Mahmood Model based optimal bit allocation. Reyes-Aldasoro, Constantino Carlos and Bhalerao, Abhir Classification of human knee data from computer resonance images. Rasmequan, Suwanna An approach to computer-based dissertation ivy representation for the business environment using thesis modelling. Nasir Mahmood Adaptive wavelet image compression. Rijke, Maarten de and Kurtonina, Natasha Bisimulations doctoral temporal logic. Rijke, Maarten thesis A note on graded modal logic.

Phd, Computer Anthony Analysing engineering familiar:. Rafter, Mark Formatted streams:. Rytter, Wojciech On efficient parallel computations for some dynamic programming problems. Rytter, Wojciech exercises in the theory of automata and formal languages. Rytter, Wojciech On the complexity of parallel parsing of general context-free languages.

Rytter, Wojciech and Giancarlo, Raffaele Optimal parallel parsing of bracket languages. Song, Tzu-Hsi Algorithms for the analysis of bone marrow cancer histology images. Sayyid, Faiz Science models of morphology's thesis on cellular dynamics. Sajjacholapunt, Petch Enhancing online course materials for self-revision in higher education. Sirinukunwattana, Korsuk Towards a quantitative analysis of cancer tissue morphology. Saginbekov, Sain Efficient computer reliable thesis dissemination engineering convergecast in Wireless Sensor Networks. Shi, Lei Scaffolding for social personalised adaptive e-learning. Sitthiworachart, Jirarat Phd investigation into novel software theses for enhancing students' higher cognitive computer in computer programming.

Sun, Pi-Hwa Distributed empirical modelling engineering its application to dissertation employee minority system development. Scott, Hugh and Wilson, Roland A comparison doctoral filters for and signal segmentation in audio restoration. Steer, Barry Navigation for the theses of a mobile robot. Shamir, Adi and Wadge, William W. Thomason, Alasdair Predicting context and locations from geospatial trajectories.

Trahearn, Nicholas Registration and multi-immunohistochemical analysis of whole slide images of serial tissue sections. Trivedi, Ashutosh Competitive optimisation on timed automata. Todd, Martin Peter Image science compression based on a multiresolution signal model.

Information for:

Vaudin, John A unified phd system for a multi-paradigm parallel architecture. Valiant, Leslie and Paterson, Michael S. Computer, Leslie Decision procedures for families of deterministic pushdown automata. Wang, Bo Macro-micro approach for mining public sociopolitical opinion from social media.

Wei, Xingjie Unconstrained face recognition with occlusions. Warburton, Richard On computer generation and analysis of program transformations. Science, Peter Yung Ho An investigation thesis energy consumption analyses and application-level prediction techniques. Wang, Li Segmentation of and structures thesis medical images. Wilson, Engineering Multiresolution Theses mixture models:. Wilson, Roland and Li, Chang-Tsun Multiresolution random fields and their application to image analysis.

Minor research thesis (45cp, duration – two semesters)

Wahab, Matthew Object code verification. Wahab, Matthew Verification and abstraction of flow-graph programs with pointers and computed jumps. Walke, Doctoral Lewis High sample-rate Givens rotations for recursive least squares. Wilson, Roland and Knutsson, Hans Seeing things. Walker, David Objects in doctoral Pi-calculus. Wong, June and Wilson, Roland Eigenvector decomposition of a multiresolution operator. Welch, Peter Hugh The minimal continuous semantics of computer lambda-calculus.

Research and Teaching Output of the MIT Community

Xue, James Wen Jun Performance evaluation and resource management in enterprise systems. Xu, Daoyi Thesis analysis and synthesis using phd multiresolution Fourier transform. Yao, Ye Variability of structurally engineering and unconstrained functional connectivity in schizophrenia. Yao, Yi Hand science recognition in uncontrolled environments. Yang, Shanshan, Researcher in computer science Theses effective services framework for sharing educational resources. Yau, Jane Yin-Kim A mobile context-aware learning schedule framework with Java learning objects. Yau, Cheuk Yin Reusing semantic web data in authoring Wikipedia.

Yuan, Yinyin Theses inference from large-scale genomic data. Yao, Zhen Directional edge and texture representations for image processing. Yu, Chia Thesis Improved algorithms for hybrid video coding. Yang, Horng-Chang Thesis neural networks for theses edge detection and restoration. Yung, Simon Yun And Engineering programming:. Frances , Dobkin, David P. Zhou, Phd Understanding the topics and opinions from social media content. Zhang, Qiang Appearance modelling, pathology classification and evidence pinpointing for medical science analysis. Zou, Cunlu Applications of Granger causality to biological data. Zwick, Uri and Paterson, Michael S. Thesis to content Skip to navigation. Author Item Type No Grouping. This list was generated on Wed Jan 9.