-
Chapter and Conference Paper
Exploring the Automatisation of Animal Health Surveillance Through Natural Language Processing
The Animal and Plant Health Agency (APHA) conducts post-mortem examinations (PMEs) of farm animal species as part of routine scanning surveillance for new and re-emerging diseases that may pose a threat to an...
-
Chapter and Conference Paper
A Suite of Computationally Expensive Shape Optimisation Problems Using Computational Fluid Dynamics
In many product design and development applications, Computational Fluid Dynamics (CFD) has become a useful tool for analysis. This is particularly because of the accuracy of CFD simulations in predicting the ...
-
Chapter and Conference Paper
Protecting Document Outside Enterprise Network: A Confirmed Framework
Sharing e-documents are important components of any enterprise workflow. Kee** these e-documents secure is fundamental to enterprise security, especially in multi-site enterprises or when sharing e-documents...
-
Chapter and Conference Paper
Characterizing Word Problems of Groups
The word problem of a finitely generated group is a fundamental notion in group theory; it can be defined as the set of all the words in the generators of the group that represent the identity element of the g...
-
Chapter and Conference Paper
Groups Whose Word Problem is a Petri Net Language
There has been considerable interest in exploring the connections between the word problem of a finitely generated group as a formal language and the algebraic structure of the group. However, there are few co...
-
Chapter and Conference Paper
Formal Languages, Word Problems of Groups and Decidability
This paper considers questions relating formal languages to word problems of groups with a particular emphasis on the decidability of some problems that arise. We investigate the decidability of certain natura...
-
Chapter and Conference Paper
Theory of Computation as an Enabling Tool for the Sciences
Researchers in the theory of computation are increasingly adopting a computational worldview that is radiating out to a wide circle of scientific and technological fields, recognizing that central phenomena of...
-
Chapter and Conference Paper
Reconstructing Boolean Models of Signaling
Since the first emergence of protein-protein interaction networks, more than a decade ago, they have been viewed as static scaffolds of the signaling-regulatory events taking place in the cell and their analys...
-
Chapter and Conference Paper
NSA’s Role in the Development of DES
38 years ago, NIST put out a call for submissions of candidates for data encryption standard to address the needs of encryption for the commercial world. Of the submissions, the IBM submission stood out as arg...
-
Chapter and Conference Paper
Algorithms to Detect Multiprotein Modularity Conserved during Evolution
Detecting essential multiprotein modules that change infrequently during evolution is a challenging algorithmic task that is important for understanding the structure, function, and evolution of the biological...
-
Chapter and Conference Paper
Singular Artin Monoids of Finite Coxeter Type Are Automatic
We consider the positive singular and the singular Artin monoids of finite type. These have been the subject of a great deal of recent research and the main purpose of this paper is to prove that these monoids...
-
Chapter and Conference Paper
Pedigree Reconstruction Using Identity by Descent
Can we find the family trees, or pedigrees, that relate the haplotypes of a group of individuals? Collecting the genealogical information for how individuals are related is a very time-consuming and expensive ...
-
Chapter and Conference Paper
Implicit Hitting Set Problems and Multi-genome Alignment
Let U be a finite set and S a family of subsets of U. Define a hitting set as a subset of U that intersects every element of S. The optimal hitting set problem is: given a positive weight for each element of U...
-
Chapter and Conference Paper
Topology-Free Querying of Protein Interaction Networks
In the network querying problem, one is given a protein complex or pathway of species A and a protein–protein interaction network of species B; the goal is to identify subnetworks of B that are similar to the que...
-
Chapter and Conference Paper
Haplotype Inference in Complex Pedigrees
Despite the desirable information contained in complex pedigree datasets, analysis methods struggle to efficiently process these datasets. The attractiveness of pedigree data sets is their power for detecting ...
-
Chapter and Conference Paper
Evolvability Via Modularity-Induced Mutational Focussing
This work postulates a mechanism by which random genotypic variation is directed towards favourable phenotypic variation. Evolvability is a poorly understood concept at present: it is unclear precisely how the...
-
Chapter and Conference Paper
Detecting Disease-Specific Dysregulated Pathways Via Analysis of Clinical Expression Profiles
We present a method for identifying connected gene subnetworks significantly enriched for genes that are dysregulated in specimens of a disease. These subnetworks provide a signature of the disease potentially...
-
Chapter and Conference Paper
On Population Size and Neutrality: Facilitating the Evolution of Evolvability
The role of population size is investigated within a neutrality induced local optima free search space. Neutrality decouples genotypic variation in evolvability from fitness variation. Population diversity and...
-
Chapter and Conference Paper
Notions of Hyperbolicity in Monoids
We introduce a notion of hyperbolicity in monoids which is a restriction of that suggested by Duncan and Gilman. One advantage is that the notion gives rise to efficient algorithms for dealing with certain que...
-
Chapter and Conference Paper
Streaming Algorithms for Selection and Approximate Sorting
Companies such as Google, Yahoo and Microsoft maintain extremely large data repositories within which searches are frequently conducted. In an article entitled “Data-Intensive Supercomputing: The case for DISC...