University projects computer science

Programadvisors & ng a cs icate programcourse of study / interdisciplinary tracks for non-engineering epartmental ndent work & thesesimportant steps and ines and useful raduate research ndent work ndent work seminar offerings - spring independent work seminar involvedmailing lists and y of women in computer science (pwics). All>computational biologycomputational markets / game theory / economicscomputer architecturegraphics / vision / human-computer interactionmachine learningprogramming languages / compilerssecurity / privacy / policysystems / networkstheory project name. The main research issues are to develop effective shape representations and query y and graduate students:David dobkin, thomas funkhouser, adam finkelstein, szymon cs / vision / human-computer internet censorship lab (iclab) is a research platform to enable researchers to study a broad class of online information controls (e. And graduate students:Security / privacy / data: anonymity, privacy, data: anonymity, privacy, y and graduate students:Security / privacy / ormatics & functional new era of large-scale experimental methods in molecular biology has transformed it into an information-based science, making bioinformatics an integral part of genomic research. The is is a joint laboratory with the department of computer science and the lewis-sigler institute for integrative y and graduate students:Computational n and n and y and graduate students:Security / privacy / : content-aware search project investigates how to build an efficient, high-quality content-based similarity search engine for feature-rich (non-text) data, which has dominated the increasing volume of digital information. For a variety of example styles, we demonstrate high-quality user-constrained synthesized patterns that visually resemble the exemplars while exhibiting plausible structural y and graduate students:Graphics / vision / human-computer rise and data-center rise and data-center y and graduate students:Epigenome-wide association are currently developing methods for performing epigenome-wide scans for association of methylation status with phenotypes of y and graduate students:Computational e is a game to map the brain from seung lab at mit. It is a project led by georgia tech and the university of napoli federico ii to develop an openwrt-based platform for performing measurements of isp performance, as well as traffic inside the home. We hope imagenet will become a useful resource for researchers, educators, students and all of you who share our passion for y and graduate students:Graphics / vision / human-computer interaction, systems / et et y and graduate students:Faculty and graduate students:Interdisciplinary conference: ai and calendar and . Kyle jamieson and team receive funding through the university’s intellectual property accelerator ing the ‘ticking risk’ of system gupta named acm sity of oxford department of computer resources & t projects - raduate student ation of photovoltaic increased relevance of renewable energy sources has modified the behaviour of the electrical grid. In an industrial uisites: computer-aided formal verification, probabilistic model is and verification of stochastic hybrid stic hybrid systems (shs) are dynamical models that are employed to characterize the probabilistic evolution of interleaved and interacting continuous and discrete analysis, verification, and optimal control of shs models represent relevant goals because of their lity and for their applicability to a wealth of studies in the sciences and in a number of practical instances the presence of a discrete number of continuously operating modes (e. Are directly applicable to general shs models, while being computationally s: computer-aided formal verification, probabilistic model checking, probability and computing, automata logic uisites: familiarity with stochastic processes and formal ted verification of complex systems in the energy microgrids are small-scale versions of centralized electricity systems, which locally generate, distribute, and flow of electricity to consumers.

This framework provides the opportunity of employing formal methods to verify properties of the goal of the project is in particular to focus on the energy production via renewables, such as photovoltaic project can benefit form a paid visit/internship to industrial s: computer-aided formal verification, probabilistic model checking, probability and computing, automata logic uisites: familiarity with stochastic processes and formal verification, whereas no specific knowledge of smart pment of software for the verification of mpl project is targeted to enhance the software tollbox verisimpl (''very simple''), which has been developed to abstraction of max-plus-linear (mpl) models. This enables the verification of mpl models against temporal specifications within s: computer-aided formal verification, numerical solution of differential uisites: some familiarity with dynamical systems, working knowledge of matlab and tive sensing and actuation for smart isation and actuation in smart buildings and the development of smart hvac (heat, ventilation and air-conditioning). Computer-aided formal uisites: some familiarity with dynamical learning and ndro abate, daniel  project will explore connections of techniques from machine learning with successful approaches from formal project has two sides: a theoretical one, and a more practical one: it will be up to the student to emphasise either two sides depending on his/her background and/of interests. On the other hand, a more practical project will apply the above theoretical connections on a simple models the area of robotics and s: computer-aided formal verification, probabilistic model checking, machine e simulations and analysis of aggregated probabilistic project shall investigate a rich research line, recently pursued by a few within the department of cs, looking development of quantitative abstractions of markovian models. As such, whatever can be shown abstract model, can be as well formally discussed over the original project, grounded on existing literature, will pursue (depending on the student's interests) extensions of this , or its implementation as a software s: computer-aided formal verification, probabilistic model checking, machine reinforcement rcement learning (rl) is a known architecture for synthesising policies for markov decision processes (mdp). This project will provide extensions of these uisites: computer-aided formal verification, probabilistic model checking, machine re development for abstractions of stochastic hybrid stic hybrid systems (shs) are dynamical models for the interaction of continuous and discrete states. For samson abramsky is happy to supervise projects in the following areas:- study of nonlocality and contextuality in quantum information and beyond. Some extra cover the basic formalism of quantum theory would be an -independent quantum of the most successful applications of quantum information science is quantum key distribution, which enables s to send secret messages, with security guaranteed by the laws of quantum theory. Some extra cover the basic formalism of quantum theory would be an zation of web query project will look at how to find the best plan for a query, given a collection of data sources with access look at logic-based methods for analyzing query plans, taking into account integrity constraints that may exist on y of science: aligning the world of scholarship data from the royal recent ambitious project from the royal society aims to digitise all transactions of the royal society over the the earliest scientific journal publication in the world, this resource is an invaluable asset to the history of ific knowledge. Areas in which i could supervise student projects in quantum information theory and quantum foundations. General areas for student supervision: quantum information and foundations of quantum m computing and quantum information, logic, category theory, fundamental coecke is willing to supervise projects in the following areas.

Other projects on novel human-computer interfaces for security possible, interest and ing of security-related interactions, in csp or more evocative notations such as milner's bigraphs. Security: one concrete idea is the development of a policy language to allow the authors of apps to behaviour, designed to be precise about the expected access to peripherals and networks and the purpose thereof (ed and usage); uses skills in formal specification, understanding of app behaviour (by studying open-source apps),Possibly leading to prototyping a software tool to perform run-time checking that the claimed restrictions are adhered le for good 3rd or 4th year undergraduates, or msc, concurrency, concurrent programming, computer security all advantage. Other projects within this domain possible, according to interest and rency, concurrent programming, computer security all possibly an logy-layer social networks. Science and machine learning techniques for model parameterisation in biomedical and environmental  gavaghan, martin robinson, michael clerx, sanmitra ghosh. The problem that we are interested in is inferring the values of these key h applications of techniques from machine learning and data science. The project some real-world data, for example university league tables, and computing aggregate rankings to see which are closest to the consensus. In the case of the kemeny consensus, which is an np-complete rank aggregation rule, of interest to exploit heuristics that may be effective on real-world data, and see for how large a data set can the sus be uisites: familiarity with polynomial-time algorithms, np-hardness; interest in computational -paper-scissors for the computerised the well-known game of rock-paper-scissors, it is clear that any player can "break even" by playing entirely at the other hand, people do a poor job of generating random numbers, and expert players of the game can take advantage table aspects of opponents' behaviour. Other projects on visualizations are possible (not just cybersecurity), depending on ements: programming skills worried should we be about a malign entity deliberately changing or poisoning our data? We will also be able to provide training for the student,So they are able to use the eyetracking tools ements: programming skills -computer interaction using motion l goldsmith, jassim -gesture peripherals have become popular in recent years, with leap motion, myo and kinect being a few examples. These projects tend to have a strong focus on human-computer interaction elements, designing and implementing user-friendly and meaningful motion gestures for a variety of real-world applications. Other projects on novel human-computer interfaces possible, depending on interest and ational cybersecurity capacity building l goldsmith, sadie creese, ioannis agrafiotis, arnau erola, jason  is a large investment being made by the international community aimed at helping nations and regions to develop ty in cybersecurity.

Ts on novel human-computer interfaces for security possible, depending on interest and ing of security-related interactions, in csp or more evocative notations such as milner's bigraphs. Of security-related interactions, in csp or more ons such as milner's rency and computer security a distinct advantage. Such as on an application server) to further refine the understanding of which users and live on which applications ements: students must be able to construct software prototypes and have a working knowledge of network computer ural methods in computer l goldsmith, jassim ural methods in computer graphics help us develop content for virtual environments (geometry and materials) grammars. These projects tend to have a strong focus designing and implementing existing procedural methods, but also includes. Other projects on business process modelling also possible, interest and ising attack l goldsmith, sadie creese, ioannis agrafiotis, arnau erola, jason  use of visualisation techniques to better detect attacks and predict the harm that might result is a common project will provide the student with sample data-sets so that a novel visualisation might be developed (using ies) of one or more insider attacks. To formal proof, logic and ble: computer-aided formal verification, computational larity in logics for strategic equilibrium is the standard solution concept for multi-player games. Such games have multiple applications in semantics, artificial intelligence and multi-agent systems, and verification and computer science. For instance, whether a logics for strategic reasoning become invariant under bisimilarity if the new model of strategies is considered, logics that are unable to express nash equilibria can do so with respect to the new model of strategies, and results already obtained still hold more complex classes of systems, for instance, where nondeterminism has to be uisites: discrete mathematics, introduction to formal proof, logic and ble: computer-aided formal verification, computational s tractable strategic reasoning in strategy gy logic (sl) is a temporal logic to reason about strategies in multi-player games. Such games have multiple logic and semantics, artificial intelligence and multi-agent systems, and verification and computer science. The fragments to be studied can be either syntactic fragments full language or semantic fragments where only particular classes of models are uisites: discrete mathematics, introduction to formal proof, logic and ble: computer-aided formal verification, computational el algorithms for computing hilbert a homogeneous system of linear equations a x = 0, a hilbert basis is a unique finite minimal set of non-negative which every non-negative solution of the system can be generated. Computing hilbert bases is a fundamental problem various areas in computer science and mathematics, for instance in decision procedures for arithmetic theories, the infinite-state systems and pure combinatorics.

Time permits, an implementation of the decision procedure developed in this project could be uisites: good familiarity with first-order logic, linear algebra and computational ormatics ormatics projects can be found you choose any of these projects you must find a joint supervisor from the department of computer science. I imagine that this arily involves some sort of animation, and i have visions of open university television maths programming need not be the most important part of this project, though, because some of the work is in choosing and designing problems and puzzles and the like around it. This is a programming project that creates a for features, extracting them from images and then projecting them onto 2-dimensional space in interesting ways, rating the effects of uisites: linear algebra, computer graphics. Fundamentals of learning theory is useful, but not ations of deductive machine goal of deductive machine learning is to provide computers with the ability to automatically learn a behaviour ly satisfies a given high-level specification. This can apply to both lossless and lossy ts being offered by d kroening is happy to supervise projects related toautomated hardware and software issat and decision proceduresapplications of sat or smt in other areas, e. List of sample projects, see  kroening, tom  intel galileo boards are micro controller boards that can be networked, and also conform to the arduino standard devices (sensors, actuators, screens, i/o devices) can be attached to them and controlled. Probabilistic modelling, verification and sor marta kwiatkowska is happy to supervise projects in the area of quantitative/probabilistic modelling, synthesis, particularly those relating to the prism model checker. While assurance for deep neural sor marta kwiatkowska is happy to supervise projects in the area of safety assurance and automated verification are some concrete project proposals:Safety testing of deep neural networks. Experience with finite element methods (navier stokes) and image ry declarations for aint programming is a programming paradigm, in which programmers write programs by specifying the problem aints) and letting computers use their computational power to figure out the solution automatically. In the second project, students ent and compare different physical models to describe hydrogen bonding, which is among the most important ctions that stabilize the double helical project is recommended for students who took the geometric modelling and computer animation well as have some interest in numerical methods (e. The be tailored to suit those from a variety of backgrounds but would benefit from having taken the following courses: cs, geometric modelling and computer electronic commerce cial use of the internet is becoming more and more common, with an increasing variety of goods becoming purchase over the net.

The goal of this project is to enable multi-core query processing over in dbtoaster, which requires implementing necessary primitives for parallelization of the existing single-threaded tion dr olteanu would be happy to discuss specific projects within the aforementioned topics with interested ilistic databases (maybms, sprout). However, usually the only  available form is a bing the construction, while no computer code (and often no detailed description of a possible implementation) ed. For more information about the science and to see it in action on cpu see "cardiac electrophysiology web lab" :///functionalcuration/ an existing a c++ implementation. Have supervised in the past include "natural tree generation" which involved using lindenmayer systems to grow g bushes and trees to be rendered in a scene; "procedural landscape generation" in which an island world could be -the-fly using a set of simple rules as a user explored it; "gesture recognition" where a human could control a simple hand-gestures; "parallel ray-tracing" on distributed-memory clusters and using multiple threads on a gpu card; " for analysing the distribution of rfid radio signal inside a building; and "non-photorealistic rendering" where were rendered with toon/cel shaders and a set of pencil-sketch cs pipeline -requisites: computer graphics, object-oriented idea behind this project is to build an educational tool which enables the stages of the graphics pipeline to be might imagine the pipeline being represented by a sequence of windows; the user is able to manipulate a model in window and watch the progress of her modifications in the subsequent windows. The goal of t is to apply the unfolding technique to the verification of cbps, and compare with existing verification uisites: suitable for students having followed the course "computer-aided formal verification". Digital systems, compilers & computer architecture useful but not ution neural networks for microcontrollers and constrained ution neural networks have made dramatic advances in recent years on many image and vision processing tasks. Face in the field of view of a low pixel camera) on low-power uisites: machine learning & computer architecture useful but not ecting extinct  the architecture of current reduced instruction set processors is well established, and , the early days of computing saw extensive experimentation and exploration of alternative designs. This period also saw the development of the first single chip microprocessors,Such as the intel 4004, and the first personal computers, such as the altair 8800 using the intel 8080  project will attempt to resurrect one of these extinct designs (or a scaled down version if necessary). Prerequisites: digital systems or computer architecture useful but not of measure as types within an interactive programming able to define the units of constants and variables in a programming language has great value in many 's mars climate orbiter was lost in 1999 due to software that calculated trajectory thruster firings in pounds seconds,Rather than newton-seconds. It should be possible to make a of lego mindstorms, then control it with an instance of geomlab running on a host computer, with communication over bluetooth. Large international community of researchers is trying to use computers to allow groups of people (or groups of ) make better joint decisions.

In recent years, computer-based tests have ped in order to remove the human subjectivity from the diagnosis, and in order to enable the patient to carry out litation programme at home. It is unrealistic to assume this project can run in the fying features in mri scan recent years, medical diagnosis using a variety of scanning modalities has become quasi-universal and has brought need for computer analysis of digital s of the spatial reasoning research group have developed image processing software for ct (tomography) scan data. Mri) is preferred, both because of its safety (no radiation involved) and because of its increased visualisation project is about converting mri scan data into a format that can become compatible with existing segmentation data input would need to be integrated into the group's analysis software in order then to carry out 3d other project is co-supervised by professor david murray ma, md, frcs (orth), consultant orthopaedic surgeon at the aedic centre and the nuffield department of orthopaedics, rheumatology and musculoskeletal sciences (ndorms), and hemant pandit mbbs, ms (orth), dnb (orth), frcs (orth), dphil (oxon)orthopaedic surgeon / honorary senior clinical lecturer,Oxford orthopaedic engineering centre (ooec), rcement learning techniques for project is already taken for logy has inspired and informed a number of machine learning methods. Surgeons at the nuffield department of orthopaedics,Rheumatology and musculoskeletal sciences (ndorms) in oxford have been working on a standardised method to help trainees sequence of events in an operation. It is proposed to construct a computer-based tool which would help with this from the choice of tools and materials, the tool would also feature a virtual model of the knee. There would be pre-defined parameters regarding the type and depth of each cut, and tion tool on how the virtual cuts compared against the project goals are quite extensive and so this would be suitable for an experienced project is co-supervised by professor david murray ma, md, frcs (orth), consultant orthopaedic surgeon at the aedic centre and the nuffield department of orthopaedics, rheumatology and musculoskeletal sciences (ndorms), and hemant pandit mbbs, ms (orth), dnb (orth), frcs (orth), dphil (oxon)orthopaedic surgeon / honorary senior clinical lecturer,Oxford orthopaedic engineering centre (ooec), e fabric detail tional computer-aided design (cad) software uses methods such as extrusion and revolution tools that the user can create the 3d shape of a tools are based on traditional manufacturing methods and work very well for most cad application which these tools do not work well for is creating 3-dimensional representations of exact path of each fibre within the textile is dependent upon the other fibres, and the flexibility of the purpose of this project is to create a simple software tool/algorithm into which a user can input a weave pattern (flat),Or a braid pattern (cylindrical), and the flexibility of the fibres and it will create a 3-dimensional representation of investigation of the solution of least squares problems using the qr mental data inevitably contains error. This method, when used in practice, can cal instabilities, where the (inevitable) numerical errors due to fixed precision calculations on a computer are magnified,And may swamp the calculation. On a given computer we may only store a finite number of matrix working with sparse matrices we usually store only the non-zero entries and their locations. Year project registration form for mathematics & computer for 3rd year for 4th year t registration form for 3rd year undergraduate project undergraduate project undergraduate project undergraduate project undergraduate project undergraduate project g skills slides by maggie resources & cial intelligence (ai). Computer science» research» featured research er scienceabout usundergraduate studypostgraduate studyinternational studentsnews and ed research early career theses and reports curie sional development and trainingservices for businessschools and colleges engagementpeople findermap and directionscs staff intranetcs student intranetcontact t research department has an extensive portfolio of research projects, including collaborations with blue-chip companies, government organisations and other high-ranking universities in the uk and overseas. Substantial funding is provided by industrial sponsors, as well as by the engineering and physical sciences research council (epsrc) who supply a significant proportion of our research income.

Some of the programmes are highly interdisciplinary, for example the university of york centre for complex systems analysis (yccsa), and many involve industrial and academic collaborations in the uk, e. Examples of our current research projects are listed below:Carmen: code analysis, repository, and modelling for g body: epsrc award value: £4,037,770 total (university of york share is £1,009,849). College, leicester university, newcastle university, plymouth university, st andrews, the university of stirling, university of cambridge, university of manchester, university of sheffield, university of warwick, university of york, cybula ltd. Research and training initiative in the science and engineering of large-scale complex it systems (lscits)funding body: epsrc and industrial -scale, complex it systems (lscits) are considered to be a mesh of different systems, each of which is a technical or a socio-technical system in its own right. Lscits may therefore be in a state of continual change, with systems and processes added and removed in response to changing organisational needs and ongoing technological university of york centre for complex systems analysis (yccsa). University of york | modify | direct may find the following quick links useful, for some of the more popular pages on our website:Pgr (research) tnet (current students). Research following list includes a number of possible phd projects suggested by members of academic staff. If you are interested in any of these projects, please indicate on your online phd application form which project and what supervisor you are interested in. Alternatively, if you want to suggest your own project, you need to include with your application a short description of your project (research proposal), possibly including names of suitable note that these projects are not directly funded. There are some phd studentships available for home/eu students, and these can be awarded to students taking these projects. You may wish to use the search facility to narrow down the large number of hints: this search function is designed to find phd projects in the school of computer enter a research area in the search bar to produce a list of relevant projects in the school of computer by research ed interfaces less 3d hand-tracking for unencumbered human-computer interactionmobile phone based tools for independent livingadvanced processor technologies data analytics using fpgascomputing beyond a million processors - bio-inspired massively parallel of high speed and energy efficient chip-to-chip transceiversdevelopment of thermal design and analysis methodologies for emerging integrated systemsdynarisc - a risc multicore processor with dynamically reconfigurable fine-grained embedded fabricsefficient on-chip communications in the manycore eraenergy efficient signal encoding methods for chip-to-chip communicationgraph theory and their application to interconnection networks for very-large-scale computing systemshpc interconnectshardware security for contactless 3-d integrated circuitspower transfer methods for inductively coupled 3-d icsreconfigurable database accelerationreconfigurable devices for high performance communicationsskyrmion-based electronicstrading performance, energy and accuracy for computations on heterogeneous parallel hardwarebio-health informatics al text miningcomputer aided systematic reviewsexplanation in web ontologiessupporting non-visual manipulation of algebraic equationsformal methods projects.

Hybrid-systems approach to uncover complex networks behaviouranalysis and control of hybrid dynamical systems: an insight into switched control systemsblockchain based brokering of electricity supply tariffsbreaking symmetries in automated reasoningcategorical proof theorycompsci2netsci: building the next generation of evolving complex networkscontrolling cancer: a new perspective to uncover tumor growth patternsdyverse networks: pushing the boundaries of formal verificationdebugging and repair support for ontology developersdissipativity-related properties in hybrid automataefficient automated theorem proving for first-order logicextracting specifications of runtime behaviourformal methods: hybrid event-b and rodinformal methods: mechanically checking the semantics of hybrid event-bformal semantics of the perfect languagehybrid control systems: using formal verification to improve the control loophybrid system models and control: putting together the pieces of the energy jigsawlogics of relations on graphs: automating correspondence theorymathematical models for concurrent systemsparallel runtime monitoringsolving linear and non-linear constraints using logic-based methodsimaging sciences between structure and texture: strextureminimum description length: an information-theoretic approach to the groupwise study of image informationunderstanding the 'wiring' of the braininformation management ting exam generation for assessmentbalancing security and privacy with data usefulness and efficiency in wireless sensor networksblockchain based brokering of electricity supply tariffsbuilding interpretable ai systemsbuilding an end-user programming framework for the internet-of-thingscomputer aided systematic reviewsdata wranglingdefinitions in ontologiesexplanation in web ontologiesfrom ontology to visual scene understandingintrusion detection in a cloud environmentjob and task scheduling and resource allocation on parallel/distributed machinesmanaging service-level-agreementsmapping applications on computing clouds and service-oriented systemsmodel-driven interaction with r ontology development and maintenanceoptimizing data transfers in large-scale parallel/distributed systemspervasive technology for multimodal human memory augmentationprotecting consumers' privacy in digital right managementquestion answering systems supported by reinforcement and machine learning methodssecurity and privacy in cloud computingsecurity and qos in mobile ad hoc security for smart services in an iot contextsupporting non-visual manipulation of algebraic equationstesting program generatorsmachine learning and optimisation tic activity analysis, detection and recognitionautomatic emotion detection, analysis and ically inspired deep learning for speech information processingcombining visual and infrared information for diagnosis and prognosis in prostate cancercomputer programs and moneycontextualised multimedia information retrieval via representation learningdeep learning for temporal information processingdesigning drugs using a robot scientistfrom ontology to visual scene understandinginformation component analysis via deep learningmachine learning and cognitive modelling applied to video gamesmachine learning and their application to vision and language understandingminimum description length: an information-theoretic approach to the groupwise study of image informationmolecular turing machineszero-shot learning and applications to multimedia information retrievalnano engineering and storage technology ation, characterisation and application of advanced magnetic nanodiscs for cancer therapyprobing the ultrafast dynamics of the magnetic phase transition in ferh nanostructuresskyrmion-based electronicstopological textures in hybrid nanostructuressoftware systems projects. Natural language approach to model driven developmenta natural language editor to support use case and scenario authoringcomponent-based software mining ng interpretable ai systemsclinical text miningevent extraction in twitter to support digital surveillance of infectious diseasesfrom ontology to visual scene understandingmachine learning and their application to vision and language understandingtext analytics and blog/forum analysis4ir stfc centre for doctoral training in data intensive science analytics is the backbone of modern science, with much work now unimaginable without the analysis of large datasets. This theme is about the software, hardware, and mathematics necessary to fuel the next generation of scientific discovery in modern e areas focus are: machine learning, low power computing hardware, big data image applications within the 4ir stfc centre for doctoral training in data intensive d banach hain based brokering of electricity supply tariffsformal methods: hybrid event-b and rodinformal methods: mechanically checking the semantics of hybrid event-bformal semantics of the perfect languageriza batista-navarro extraction in twitter to support digital surveillance of infectious diseasesandy carpenter g program generatorske chen tic activity analysis, detection and recognitionautomatic emotion detection, analysis and ically inspired deep learning for speech information processingcontextualised multimedia information retrieval via representation learningdeep learning for temporal information processinginformation component analysis via deep learningmachine learning and cognitive modelling applied to video gameszero-shot learning and applications to multimedia information retrievalsarah clinch ng an end-user programming framework for the internet-of-thingspervasive technology for multimodal human memory augmentationandre freitas ng interpretable ai systemsbuilding an end-user programming framework for the internet-of-thingsquestion answering systems supported by reinforcement and machine learning methodssteve furber ing beyond a million processors - bio-inspired massively parallel ite galata less 3d hand-tracking for unencumbered human-computer interactionsimon harper applications within the 4ir stfc centre for doctoral training in data intensive sciencecaroline jay ting non-visual manipulation of algebraic equationsross king er programs and moneydesigning drugs using a robot scientistmolecular turing machinesdirk koch data analytics using fpgasdynarisc - a risc multicore processor with dynamically reconfigurable fine-grained embedded fabricsreconfigurable database accelerationkonstantin korovin ng symmetries in automated reasoningefficient automated theorem proving for first-order logicsolving linear and non-linear constraints using logic-based methodskung-kiu lau ent-based software morris phone based tools for independent livingchristoforos moutafis on-based electronicstopological textures in hybrid nanostructurestingting mu ng interpretable ai systemsfrom ontology to visual scene understandingmachine learning and their application to vision and language understandingjavier navaridas ent on-chip communications in the manycore eragraph theory and their application to interconnection networks for very-large-scale computing systemshpc interconnectsreconfigurable devices for high performance communicationseva navarro lopez projects. Hybrid-systems approach to uncover complex networks behaviouranalysis and control of hybrid dynamical systems: an insight into switched control systemscompsci2netsci: building the next generation of evolving complex networkscontrolling cancer: a new perspective to uncover tumor growth patternsdyverse networks: pushing the boundaries of formal verificationdissipativity-related properties in hybrid automatahybrid control systems: using formal verification to improve the control loophybrid system models and control: putting together the pieces of the energy jigsawgoran nenadic al text miningtext analytics and blog/forum analysisbijan parsia ting exam generation for assessmentcomputer aided systematic reviewsexplanation in web ontologiesnorman paton wranglingvasilis pavlidis of high speed and energy efficient chip-to-chip transceiversdevelopment of thermal design and analysis methodologies for emerging integrated systemsenergy efficient signal encoding methods for chip-to-chip communicationhardware security for contactless 3-d integrated circuitspower transfer methods for inductively coupled 3-d icsskyrmion-based electronicsgiles reger ting specifications of runtime behaviourparallel runtime monitoringgraham riley g performance, energy and accuracy for computations on heterogeneous parallel hardwarerizos sakellariou and task scheduling and resource allocation on parallel/distributed machinesmanaging service-level-agreementsmapping applications on computing clouds and service-oriented systemsoptimizing data transfers in large-scale parallel/distributed systemsuli sattler tions in ontologiesexplanation in web ontologiesfrom ontology to visual scene understandingmodel-driven interaction with r ontology development and maintenanceandrea schalk rical proof theorymathematical models for concurrent systemsrenate schmidt ing and repair support for ontology developerslogics of relations on graphs: automating correspondence theoryjon shapiro ing visual and infrared information for diagnosis and prognosis in prostate cancerrobert stevens ting non-visual manipulation of algebraic equationstom thomson ation, characterisation and application of advanced magnetic nanodiscs for cancer therapyprobing the ultrafast dynamics of the magnetic phase transition in ferh nanostructurescarole twining between structure and texture: strextureminimum description length: an information-theoretic approach to the groupwise study of image informationunderstanding the 'wiring' of the brainning zhang ing security and privacy with data usefulness and efficiency in wireless sensor networksintrusion detection in a cloud environmentprotecting consumers' privacy in digital right managementsecurity and privacy in cloud computingsecurity and qos in mobile ad hoc security for smart services in an iot contextliping zhao projects. Natural language approach to model driven developmenta natural language editor to support use case and scenario of computer science, the university of manchester, oxford road, manchester, uk, m13 school of computer science is part of the faculty of science and raduate enquiries:Postgraduate enquiries:Disclaimer | privacy | copyright notice | accessibility | freedom of information | royal charter number: ster university press.