Publications from our Researchers

Several of our current PhD candidates and fellow researchers at the Data Science Institute have published, or in the proccess of publishing, papers to present their research.  

Search or filter publications

Filter by type:

Filter by publication type

Filter by year:



  • Showing results for:
  • Reset all filters

Search results

    Yi-Ke Guo LG, 2011,

    IC Cloud: Enabling Compositional Cloud

    , International Journal of Automation and Computing, Vol: 8, Pages: 269-269
    Baroukh C, Rowe A, Guo Y, 2010,

    Process Calculi for Systems Biology and Applications in Severe Asthma

    , IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW), Publisher: IEEE COMPUTER SOC, Pages: 217-222, ISSN: 2163-6966
    Curcin V, Ghanem M, Guo Y, 2010,

    The design and implementation of a workflow analysis tool

    Curcin V, Ghanem M, Guo Y, 2010,

    Polymorphic type framework for scientific workflows with relational data model

    , International Journal of Business Process Integration and Management, Vol: 5, Pages: 45-62, ISSN: 1741-8763

    Scientific workflow systems provide languages for representing complex scientific processes as decompositions into lower level tasks, down to the level of atomic, executable units. To support data analysis activities, a wide variety of such languages represent data transformation and processing operations as task nodes within a workflow. Adding data type information to the task inputs and outputs allows workflow authors to perform type checking at design time, search for compatible nodes in public component repositories and define specifications of abstract workflows. Introducing support for strict data typing simplifies the implementation of a workflow system in addressing these issues, but at the expense of losing flexibility. We address this challenge by introducing workflow type signatures suitable for use in registries and for type matching, and developing a polymorphic type inference over compositions of such signatures. The focus is on the relational data model, popular in data analysis workflow systems, and the techniques introduced are validated by applying the inference engine prototype to an adverse drug reaction study implemented in the relational algebra subset of the Discovery Net workflow system. Copyright © 2010 Inderscience Enterprises Ltd.

    Deng X, Guo Y, Ghanem M, 2010,

    Learning Ensemble Models on Categorized Datasets.

    , Publisher: CSREA Press, Pages: 242-248
    Guo L, Guo Y, Tia X, 2010,

    IC cloud: A design space for composable cloud computing

    , Pages: 394-401

    Cloud computing has attracted great interest from both academic and industrial communities. Different paradigms, architectures and applications have emerged. However, to the best of our knowledge, only few efforts have been de- voted to study the architecture as well as implementation details for building up a cloud computing system. In this paper, we present our design and implementation of Imperial College Cloud (IC Cloud). The goal of IC Cloud is to provide a generic design space where various cloud computing architectures and implementation strategies can be systematically studied. The IC Cloud design strictly fol- lows the SOA principle and incorporates a highly flexible system design approach. © 2010 IEEE.

    He S, Guo Y, Ghanem M, 2010,

    Incremental Learning of Relations from the Most Frequent Patterns in Conversations for Microblogging Services

    , Pages: 33-44
    Huntley DM, Pandis I, Butcher SA, Ackers JPet al., 2010,

    Bioinformatic analysis of Entamoeba histolytica SINE1 elements

    , BMC GENOMICS, Vol: 11, ISSN: 1471-2164
    Kapushesky M, Emam I, Holloway E, Kurnosov P, Zorin A, Malone J, Rustici G, Williams E, Parkinson H, Brazma Aet al., 2010,

    Gene Expression Atlas at the European Bioinformatics Institute

    , NUCLEIC ACIDS RESEARCH, Vol: 38, Pages: D690-D698, ISSN: 0305-1048
    Ma Y, Guo Y, Ghanem M, 2010,

    RECA: Referenced energy-based CDS algorithm in wireless sensor networks

    , Int. J. Commun. Syst., Vol: 23, Pages: 125-138, ISSN: 1074-5351
    Curcin V, Ghanem M, Guo Y, 2009,

    Analysing scientific workflows with Computational Tree Logic. Journal of Cluster Computing

    , Journal of Cluster Computing: Special Issue of Recent Advances in e-Science, ISSN: 1386-7857

    Motivated by the widespread use of workflow systems in e-Science applications, this article introduces a formal analysis framework for the verification and profiling of the control flow aspects of scientific workflows. The framework relies on process algebras that characterise each workflow component with a process behaviour, which is then used to build a CTL state model that can be reasoned about. We demonstrate the benefits of the approach by modelling the control flow behaviour of the Discovery Net system, one of the earliest workflow-based e-Science systems, and present how some key properties of workflows and individual service utilisation can be queried at design time. Our approach is generic and can be applied easily to modelling workflows developed in any other system. It also provides a formal basis for the comparison of control aspects of e-Science workflow systems and a design method for future systems.

    David Birch, 2009,

    Unifying Procedural Graphics

    , Imperial College Dept Computing Distinguished Projects

    Modern graphics scenes are complex requiring huge volumes of content to create compellingvisual e ects. This volume increasingly exceeds current content creation, storage and deliverymechanisms.One solution is procedural or algorithmic graphics which can be executed to generate contenton demand. However these algorithms are hard to create - requiring either the artist knowinghow to write code or the programmer to be an artist!A large number of procedural graphics techniques have been developed, each with successin its own domain. Unfortunately each formalism currently has to be implemented in separateenvironments with no unified system for combining procedural graphics frameworks.We present an easy to use, highly expressive environment for the creation of proceduralgraphics which draws together several types of procedural formalisms including LSystems, CSGlike trees, math based modelling and graphical pipelines. The system would dovetail well withmany other procedural frameworks and would map well to implementation on modern GeneralPurpose GPUs.

    Deng X, Guo Y, Ghanem M, 2009,

    Real-time data mining methodology and a supporting framework.

    , Proceedings of 2nd IEEE International Workshop on Data Mining and Artificial Intelligence DMAI 2009
    Deng X, Guo Y, Ghanem M, 2009,

    Dynamic data mining: A novel data mining process model

    , 5th International Conference on Data Mining, DMIN'09
    Ma Y, Ghanem M, Guo Y, 2009,

    An Experimental Study of the Distributed Clustering for Air Pollution Pattern Recognition in Sensor Networks

    , Proceedings of the 2009 IADIS European Conference on Data Mining.

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: Request URI: /respub/WEB-INF/jsp/search-t4-html.jsp Query String: id=607&limit=15&page=6&respub-action=search.html Current Millis: 1508768304105 Current Time: Mon Oct 23 15:18:24 BST 2017