Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Michael T. Hallett

dblp:h/MichaelTHallett · DBLP profile ↗
← Back
27ranked-venue papers
5as first author
0since 2021 · last 2019
0000-0001-6738-6786ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 15 · 3 first-authorTheory of computation · 10 · 2 first-authorDatabases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Interdisciplinary, comprehensive, and emerging computing
10 papers
Bioinformatics and computational biology · 98% Computing education · 2%
Computer graphics and multimedia
1 paper
Visualization and visual analytics · 100%
Theoretical computer science
2 papers
Computational complexity · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 100%

Topics — the 17 heaviest of 20, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Bioinformatics and computational biology
phylogenetics
0.132004
Simultaneous identification of duplications and lateral transfers · RECOMB 2004
Efficient algorithms for lateral gene transfer problems · RECOMB 2001
New algorithms for the duplication-loss model · RECOMB 2000
Bioinformatics and computational biology › molecular evolution
horizontal gene transfer
0.122004
Simultaneous identification of duplications and lateral transfers · RECOMB 2004
Efficient algorithms for lateral gene transfer problems · RECOMB 2001
Bioinformatics and computational biology › network bioinformatics › biological network analysis › network visualization
biological network visualization
0.112007
Tools for visually exploring biological networks · Bioinform. 2007
Bioinformatics and computational biology
bioinformatics infrastructure
0.112005
BIAS: Bioinformatics Integrated Application Software · Bioinform. 2005
Bioinformatics and computational biology › phylogenetics › gene tree reconciliation
duplication-transfer-loss reconciliation
0.012004
Simultaneous identification of duplications and lateral transfers · RECOMB 2004
Bioinformatics and computational biology › biological database
protein database
0.012004
The Hera database and its use in the characterization of endoplasmic reticulum proteins · Bioinform. 2004
Bioinformatics and computational biology
sequence alignment
0.022000
A cross-comparison of a large dataset of genes · Bioinform. 2000
Parameterized complexity analysis in computational biology · Comput. Appl. Biosci. 1995
Distributed systems
fault tolerance
0.012001
Dependable Computing in Virtual Laboratories · ICDE 2001
Bioinformatics and computational biology
comparative genomics
0.012000
A cross-comparison of a large dataset of genes · Bioinform. 2000
Bioinformatics and computational biology › molecular evolution
duplication-loss model
0.012000
New algorithms for the duplication-loss model · RECOMB 2000
Bioinformatics and computational biology › phylogenetics
species tree estimation
0.012000
New algorithms for the duplication-loss model · RECOMB 2000
Computational complexity
parameterized complexity
0.021995
Parameterized complexity analysis in computational biology · Comput. Appl. Biosci. 1995
Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy · STOC 1994
Bioinformatics and computational biology › phylogenetics
gene tree reconciliation
0.022004
Simultaneous identification of duplications and lateral transfers · RECOMB 2004
Efficient algorithms for lateral gene transfer problems · RECOMB 2001
Bioinformatics and computational biology
protein analysis
0.012004
The Hera database and its use in the characterization of endoplasmic reticulum proteins · Bioinform. 2004
Computational complexity › parameterized complexity
w-hierarchy
0.011994
Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy · STOC 1994
Computing education › online education
virtual laboratory
0.012001
Dependable Computing in Virtual Laboratories · ICDE 2001
Programming languages and type systems
domain-specific languages
0.012000
Darwin v. 2.0: an interpreted computer language for the biosciences · Bioinform. 2000

Methods — techniques the papers use, named apart from their topics

tool comparison · 0.1dynamic programming · 0.1library integration · 0.1interpreted language design · 0.1bayesian network · 0.1fixed-parameter tractable algorithm · 0.0database search · 0.0NP-completeness proof · 0.0fixed-parameter tractability · 0.0optimization · 0.0parameterized complexity analysis · 0.0
YearPublicationVenuePosition
2019 Reproducible Data Analysis Pipelines for Precision Medicine
abstract
Precision medicine brings the promise of more precise diagnosis and individualized therapeutic strategies from analyzing a cancer's genomic signature. Technologies such as high-throughput sequencing enable cheaper data collection at higher speed, but rely on modern data analysis platforms to extract knowledge from these high dimensional datasets. Since this is a rapidly advancing field, new diagnoses and therapies often require tailoring of the analysis. These pipelines are therefore developed iteratively, continuously modifying analysis parameters before arriving at the final results. To enable reproducible results it is important to record all these modifications and decisions made during the analysis process. We built a system, walrus, to support reproducible analyses for iteratively developed analysis pipelines. The approach is based on our experiences developing and using deep analysis pipelines to provide insights and recommendations for treatment in an actual breast cancer case. We designed walrus for the single servers or small compute clusters typically available for novel treatments in the clinical setting. walrus leverages software containers to provide reproducible execution environments, and integrates with modern version control systems to capture provenance of data and pipeline parameters. We have used walrus to analyze a patient's primary tumor and adjacent normal tissue, including subsequent metastatic lesions. Although we have used walrus for specialized analyses of whole-exome sequencing datasets, it is a general data analysis tool that can be applied in a variety of scientific disciplines.
Bjørn Fjukstad, Vanessa Dumeaux, Michael T. Hallett, Lars Ailo Bongo
PDP3
2017 Interactions between the tumor and the blood systemic response of breast cancer patients
abstract
Although systemic immunity is critical to the process of tumor rejection, cancer research has largely focused on immune cells in the tumor microenvironment. To understand molecular changes in the patient systemic response (SR) to the presence of BC, we profiled RNA in blood and matched tumor from 173 patients. We designed a system (MIxT, Matched Interactions Across Tissues) to systematically explore and link molecular processes expressed in each tissue. MIxT confirmed that processes active in the patient SR are especially relevant to BC immunogenicity. The nature of interactions across tissues (i.e. which biological processes are associated and their patterns of expression) varies highly with tumor subtype. For example, aspects of the immune SR are underexpressed proportionally to the level of expression of defined molecular processes specific to basal tumors. The catalog of subtype-specific interactions across tissues from BC patients provides promising new ways to tackle or monitor the disease by exploiting the patient SR.
Vanessa Dumeaux, Bjørn Fjukstad, Hans E. Fjosne, Jan-Ole Frantzen, Marit Muri Holmen, Enno Rodegerdts, Ellen Schlichting, Anne-Lise Børresen-Dale, Lars Ailo Bongo, Eiliv Lund, Michael T. Hallett
PLoS Comput. Biol.11
2016 Structural and Functional Characterization of a Caenorhabditis elegans Genetic Interaction Network within Pathways
abstract
A genetic interaction (GI) is defined when the mutation of one gene modifies the phenotypic expression associated with the mutation of a second gene. Genome-wide efforts to map GIs in yeast revealed structural and functional properties of a GI network. This provided insights into the mechanisms underlying the robustness of yeast to genetic and environmental insults, and also into the link existing between genotype and phenotype. While a significant conservation of GIs and GI network structure has been reported between distant yeast species, such a conservation is not clear between unicellular and multicellular organisms. Structural and functional characterization of a GI network in these latter organisms is consequently of high interest. In this study, we present an in-depth characterization of ~1.5K GIs in the nematode Caenorhabditis elegans. We identify and characterize six distinct classes of GIs by examining a wide-range of structural and functional properties of genes and network, including co-expression, phenotypical manifestations, relationship with protein-protein interaction dense subnetworks (PDS) and pathways, molecular and biological functions, gene essentiality and pleiotropy. Our study shows that GI classes link genes within pathways and display distinctive properties, specifically towards PDS. It suggests a model in which pathways are composed of PDS-centric and PDS-independent GIs coordinating molecular machines through two specific classes of GIs involving pleiotropic and non-pleiotropic connectors. Our study provides the first in-depth characterization of a GI network within pathways of a multicellular organism. It also suggests a model to understand better how GIs control system robustness and evolution.
Benjamin Boucher, Anna Y. Lee, Michael T. Hallett, Sarah Jenna
PLoS Comput. Biol.3
2011 Simultaneous Identification of Duplications and Lateral Gene Transfers
abstract
The incongruency between a gene tree and a corresponding species tree can be attributed to evolutionary events such as gene duplication and gene loss. This paper describes a combinatorial model where so-called DTL-scenarios are used to explain the differences between a gene tree and a corresponding species tree taking into account gene duplications, gene losses, and lateral gene transfers (also known as horizontal gene transfers). The reasonable biological constraint that a lateral gene transfer may only occur between contemporary species leads to the notion of acyclic DTL-scenarios. Parsimony methods are introduced by defining appropriate optimization problems. We show that finding most parsimonious acyclic DTL-scenarios is NP-hard. However, by dropping the condition of acyclicity, the problem becomes tractable, and we provide a dynamic programming algorithm as well as a fixed-parameter tractable algorithm for finding most parsimonious DTL-scenarios.
Ali Tofigh, Michael T. Hallett, Jens Lagergren
IEEE ACM Trans. Comput. Biol. Bioinform.2
2010 A Trade-Off between Sample Complexity and Computational Complexity in Learning Boolean Networks from Time-Series Data
abstract
A key problem in molecular biology is to infer regulatory relationships between genes from expression data. This paper studies a simplified model of such inference problems in which one or more Boolean variables, modeling, for example, the expression levels of genes, each depend deterministically on a small but unknown subset of a large number of Boolean input variables. Our model assumes that the expression data comprises a time series, in which successive samples may be correlated. We provide bounds on the expected amount of data needed to infer the correct relationships between output and input variables. These bounds improve and generalize previous results for Boolean network inference and continuous-time switching network inference. Although the computational problem is intractable in general, we describe a fixed-parameter tractable algorithm that is guaranteed to provide at least a partial solution to the problem. Most interestingly, both the sample complexity and computational complexity of the problem depend on the strength of correlations between successive samples in the time series but in opposing ways. Uncorrelated samples minimize the total number of samples needed while maximizing computational complexity; a strong correlation between successive samples has the opposite effect. This observation has implications for the design of experiments for measuring gene expression.
Theodore J. Perkins, Michael T. Hallett
IEEE ACM Trans. Comput. Biol. Bioinform.2
2007 Tools for visually exploring biological networks
abstract
UNLABELLED: Many tools exist for visually exploring biological networks including well-known examples such as Cytoscape, VisANT, Pathway Studio and Patika. These systems play a key role in the development of integrative biology, systems biology and integrative bioinformatics. The trend in the development of these tools is to go beyond 'static' representations of cellular state, towards a more dynamic model of cellular processes through the incorporation of gene expression data, subcellular localization information and time-dependent behavior. We provide a comprehensive review of the relative advantages and disadvantages of existing systems with two goals in mind: to aid researchers in efficiently identifying the appropriate existing tools for data visualization; to describe the necessary and realistic goals for the next generation of visualization tools. In view of the first goal, we provide in the Supplementary Material a systematic comparison of more than 35 existing tools in terms of over 25 different features. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.
Matthew Suderman, Michael T. Hallett
Bioinform.2
2007 A Faster FPT Algorithm for the Maximum Agreement Forest Problem
Michael T. Hallett, Catherine McCartin
Theory Comput. Syst.1
2006 A Fixed-Parameter Approach to 2-Layer Planarization
Vida Dujmovic, Michael R. Fellows, Michael T. Hallett, Matthew Kitching, Giuseppe Liotta, Catherine McCartin, Naomi Nishimura, Prabhakar Ragde, Frances A. Rosamond, Matthew Suderman, Sue Whitesides, David R. Wood
Algorithmica3
2005 BIAS: Bioinformatics Integrated Application Software
abstract
MOTIVATION: We introduce a development platform especially tailored to Bioinformatics research and software development. BIAS (Bioinformatics Integrated Application Software) provides the tools necessary for carrying out integrative Bioinformatics research requiring multiple datasets and analysis tools. It follows an object-relational strategy for providing persistent objects, allows third-party tools to be easily incorporated within the system and supports standards and data-exchange protocols common to Bioinformatics. AVAILABILITY: BIAS is an OpenSource project and is freely available to all interested users at http://www.mcb.mcgill.ca/~bias/. This website also contains a paper containing a more detailed description of BIAS and a sample implementation of a Bayesian network approach for the simultaneous prediction of gene regulation events and of mRNA expression from combinations of gene regulation events. CONTACT: [email protected].
Greg Finak, N. Godin, Michael T. Hallett, François Pepin, Z. Rajabi, V. Srivastava, Z. Tang
Bioinform.3
2005 Refining Protein Subcellular Localization
abstract
The study of protein subcellular localization is important to elucidate protein function. Even in well-studied organisms such as yeast, experimental methods have not been able to provide a full coverage of localization. The development of bioinformatic predictors of localization can bridge this gap. We have created a Bayesian network predictor called PSLT2 that considers diverse protein characteristics, including the combinatorial presence of InterPro motifs and protein interaction data. We compared the localization predictions of PSLT2 to high-throughput experimental localization datasets. Disagreements between these methods generally involve proteins that transit through or reside in the secretory pathway. We used our multi-compartmental predictions to refine the localization annotations of yeast proteins primarily by distinguishing between soluble lumenal proteins and soluble proteins peripherally associated with organelles. To our knowledge, this is the first tool to provide this functionality. We used these sub-compartmental predictions to characterize cellular processes on an organellar scale. The integration of diverse protein characteristics and protein interaction data in an appropriate setting can lead to high-quality detailed localization annotations for whole proteomes. This type of resource is instrumental in developing models of whole organelles that provide insight into the extent of interaction and communication between organelles and help define organellar functionality.
Michelle S. Scott, Sara J. Calafell, David Y. Thomas, Michael T. Hallett
PLoS Comput. Biol.4
2004 Simultaneous identification of duplications and lateral transfers
abstract
This paper introduces a combinatorial model that incorporates duplication events as well as lateral gene transfer events (a.k.a. horizontal gene transfer events). To the best of our knowledge, this is the first such model containing both of these events. A so-called dt-scenario is used to explain differences between a gene tree T and species trees S. The model is biologically as well as mathematically sound. Among other biological considerations, the model respects the partial order of evolution implied by S by demanding that the dt-scenarios are We present fixed parameter tractable algorithms that count the minimum number of duplications and lateral transfers, and more generally can compute the set of pairs (t,d) where d is the minimum number of duplications required by any explanation that requires t lateral transfers. This allows us to also compute a weighted parsimony score. We also show how gene loss events can be incorporated into our model. We also give an $NP$-completeness proof which suggests that the intractability is due to the demand that the dt-scenarios be acyclic. When this condition is removed, we can show that the problem is computable in polynomial time via dynamic programming. By generating synthetic gene and species trees via a birth-death process, we explored the capacity of our algorithms to faithfully reconstruct the actual number of events taken place. The results are positive.
Michael T. Hallett, Jens Lagergren, Ali Tofigh
RECOMB1
2004 The Hera database and its use in the characterization of endoplasmic reticulum proteins
abstract
MOTIVATION: Information concerning endoplasmic reticulum (ER) proteins is widely dispersed and cannot be easily and rapidly processed by the biological community. We present a comprehensive database of human ER proteins, called Human ER Aperçu (Hera). The Hera database was constructed by exhaustively searching through public databases and the scientific literature for ER proteins. RESULTS: Hera was used for the analysis of characteristics common to all human ER proteins. Our results show that a high proportion of ER proteins (59%) have at least one transmembrane domain and display physical characteristics consistent with this observation. In addition, one-third of ER proteins contain known ER retrieval or retention signals and 70% of ER proteins contain a signal peptide or anchor. Finally, 85% of ER proteins contain at least one InterPro motif. The most abundant InterPro motifs in ER proteins represent many of the most well-characterized functions of the ER.
Michelle S. Scott, Guoqing Lu, Michael T. Hallett, David Y. Thomas
Bioinform.3
2003 Ancestral Maximum Likelihood of Evolutionary Trees Is Hard
Louigi Addario-Berry, Benny Chor, Michael T. Hallett, Jens Lagergren, Alessandro Panconesi, Todd Wareham
WABI3
2001 On the Parameterized Complexity of Layered Graph Drawing
Vida Dujmovic, Michael R. Fellows, Michael T. Hallett, Matthew Kitching, Giuseppe Liotta, Catherine McCartin, Naomi Nishimura, Prabhakar Ragde, Frances A. Rosamond, Matthew Suderman, Sue Whitesides, David R. Wood
ESA3
2001 A Fixed-Parameter Approach to Two-Layer Planarization
Vida Dujmovic, Michael R. Fellows, Michael T. Hallett, Matthew Kitching, Giuseppe Liotta, Catherine McCartin, Naomi Nishimura, Prabhakar Ragde, Frances A. Rosamond, Matthew Suderman, Sue Whitesides, David R. Wood
GD3
2001 Dependable Computing in Virtual Laboratories
abstract
Many scientific disciplines are shifting from in vitro to in silico research as more physical processes and natural phenomena are examined in a computer (in silico) instead of being observed (in vitro). In many of these virtual laboratories, the computations involved are very complex and long lived. Currently, users are required to manually handle almost all aspects of such computations, including their dependability. Not surprisingly, this is a major bottleneck and a significant source of inefficiencies. To address this issue, we have developed BioOpera, an extensible process support management system for virtual laboratories. The authors briefly discuss the architecture and functionality of BioOpera and show how it can be used to efficiently manage long lived computations.
Gustavo Alonso, Win Bausch, Cesare Pautasso, Ari Kahn, Michael T. Hallett
ICDE5
2001 Efficient algorithms for lateral gene transfer problems
abstract
This paper develops a model for lateral gene transfer events (a.k.a. horizontal gene transfer events) between a set of gene trees T1, T2, …, Tk and a species tree S. To the best of our knowledge, this model possesses a higher degree of biological and mathematical soundness than any other model proposed in the literature. Among other biological considerations, the model respects the partial order of evolution implied by S. Within our model, we identify an activity parameter that measures the number of genes that are allowed to be simultaneously active in the genome of a taxa and show that finding the most parsimonious scenario that reconciles the disagreeing gene trees with the species tree is doable in polynomial time when the activity level and number of transfers are small, but intractable in general. To the best of our knowledge, all other models proposed in the literature assume implicitly that the activity is one. Finally, using a dataset of bacterial gene sequences from [4], our implementations found 5 optimal scenarios; one of which is the scenario proposed by the authors in [4].
Michael T. Hallett, Jens Lagergren
RECOMB1
2000 Hunting for Functionally Analogous Genes
Michael T. Hallett, Jens Lagergren
FSTTCS1
2000 New algorithms for the duplication-loss model
abstract
We consider the problem of constructing a species tree given a number of gene trees. In the frameworks introduced by Goodman et al. [3], Page [10], and Guigó, Muchnik, and Smith [5] this is formulated as an optimization problem; namely, that of finding the species tree requiring the minimum number of duplications and/ or losses in order to explain the gene trees.
Michael T. Hallett, Jens Lagergren
RECOMB1
2000 A cross-comparison of a large dataset of genes
abstract
Abstract Summary: We make available a large cross-comparison for 16 of the completely sequenced genomes and additional eukaryotic genes. The alignments were performed at the protein level using liberal similarity bounds in order to capture as many significant alignments as possible. This dataset will be updated as new genomes become available. Availability: The dataset is accessible at http://cbrg.inf.ethz.ch/AllAllGeneAlign.html Contact: [email protected] * To whom correspondence should be addressed.
Gina Cannarozzi, Michael T. Hallett, J. Norberg, Xianghong Zhou
Bioinform.2
2000 Darwin v. 2.0: an interpreted computer language for the biosciences
abstract
MOTIVATION: We announce the availability of the second release of Darwin v. 2.0, an interpreted computer language especially tailored to researchers in the biosciences. The system is a general tool applicable to a wide range of problems. RESULTS: This second release improves Darwin version 1.6 in several ways: it now contains (1) a larger set of libraries touching most of the classical problems from computational biology (pairwise alignment, all versus all alignments, tree construction, multiple sequence alignment), (2) an expanded set of general purpose algorithms (search algorithms for discrete problems, matrix decomposition routines, complex/long integer arithmetic operations), (3) an improved language with a cleaner syntax, (4) better on-line help, and (5) a number of fixes to user-reported bugs. AVAILABILITY: Darwin is made available for most operating systems free of char ge from the Computational Biochemistry Research Group (CBRG), reachable at http://chrg.inf.ethz.ch. CONTACT: [email protected]
Gaston H. Gonnet, Michael T. Hallett, Chantal Korostensky, Laurent Bernardin
Bioinform.2
2000 The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs
Hans L. Bodlaender, Michael R. Fellows, Michael T. Hallett, Todd Wareham, Tandy J. Warnow
Theor. Comput. Sci.3
1998 Analogs and Duals of the MAST Problem for Sequences and Trees
Michael R. Fellows, Michael T. Hallett, Chantal Korostensky, Ulrike Stege
ESA2
1998 On the Multiple Gene Duplication Problem
Michael R. Fellows, Michael T. Hallett, Ulrike Stege
ISAAC2
1995 Parameterized complexity analysis in computational biology
abstract
Many computational problems in biology involve parameters for which a small range of values cover important applications. We argue that for many problems in this setting, parameterized computational complexity rather than NP-completeness is the appropriate tool for studying apparent intractability. At issue in the theory of parameterized complexity is whether a problem can be solved in time O(n alpha) for each fixed parameter value, where alpha is a constant independent of the parameter. In addition to surveying this complexity framework, we describe a new result for the Longest Common Subsequence problem. In particular, we show that the problem is hard for W[t] for all t when parameterized by the number of strings and the size of the alphabet. Lower bounds on the complexity of this basic combinatorial problem imply lower bounds on more general sequence alignment and consensus discovery problems. We also describe a number of open problems pertaining to the parameterized complexity of problems in computational biology where small parameter values are important.
Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Michael T. Hallett, Todd Wareham
Comput. Appl. Biosci.4
1994 Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy
abstract
The parameterized computational complexity of a collection of well-known problems including: BAND-WIDTH, PRECEDENCE CONSTRAINED MULTIPROCES-SOR SCHEDULING, LONGEST COMMON SUBSEQUENCE, DNA PHYSICAL MAPPING (or INTERNALIZING COL-ORED GRAPHS), PERFECT PHYLOGENY (or TRIANGU-LATING COLORED GRAPHS), COLORED CUTWIDTH, and FEASIBLE REGISTER ASSIGNMENT is explored.It is shown that these problems are hard for various levels of the W hierarchy.In the case of PRECEDENCE CONSTRAINED MULTIPROCESSOR SCHEDULING the results can be interpreted as providing substantial new complexity lower bounds on the outcome of [OPEN 8] of the Garey and Johnson list.
Hans L. Bodlaender, Michael R. Fellows, Michael T. Hallett
STOC3
1993 DNA Physical Mapping: Three Ways Difficult
Michael R. Fellows, Michael T. Hallett, Todd Wareham
ESA2