- Finite Query Languages for Sequence Databases Giansalvatore Mecca \Lambda
- Work ow, Transactions and Datalog Anthony J. Bonner
- Query Languages for Sequence Databases: Termination and Complexity \Lambda
- Sequence Datalog: Declarative String Manipulation in Databases ?
- 1 A LOGIC FOR PROGRAMMING DATABASE TRANSACTIONS
- A Flexible Approach to Genome Map Assembly Eric Harley
- Results on Reasoning about Updates in Transaction Logic
- Applications of Transaction Logic to Knowledge Representation
- LabFlow1: a Database Benchmark for HighThroughput Workflow Management \Lambda
- Workflow, Transactions and Datalog Anthony J. Bonner
- Database Programming in Transaction Logic Anthony J. Bonner \Lambda
- Querying Sequence Databases with Transducers \Lambda Anthony J. Bonner
- Towards the Prediction of Protein Abundance from Tandem Mass Spectrometry Data
- Comparison of Discrimination Methods for Peptide Classification in Tandem Mass Spectrometry
- Clustering Labeled Data and Cross-Validation for Classification with Few Positives in Yeast
- Comparison and Evaluation of Statistical-Learning Methods for Gene Function Prediction in Arabidopsis
- Development and Evaluation of Methods for Predicting Protein Levels from Tandem Mass Spectrometry Data
- Revealing Hidden Interval Graph Structure in STS-Content Data
- Good Maps are Straight Eric Harley
- Concurrency and Communication in Transaction Logic
- Hypothetical Reasoning with Intuitionistic Logic
- Database Requirements for Workflow Management in a HighThroughput Genome Laboratory 1
- Modifying Kernels Using Label Information Improves SVM Classification Performance
- Canonical Correlation, an Approximation, and the Prediction of Protein Abundance
- Predicting Protein Levels from Tandem Mass Spectrometry Data Anthony Bonner and Han Liu
- Revealing Hidden Interval Graph Structure in STSContent Data
- Workflow, Transactions and Datalog Anthony J. Bonner
- Connectionist Approaches for Predicting Mouse Gene Function from Gene Expression
- The State of Change: A Survey Anthony J. Bonner1 and Michael Kifer2
- Adding NegationasFailure to Intuitionistic Logic Programming
- The Complexity of Reusing and Modifying Rulebases \Lambda Anthony J. Bonner
- Transaction Datalog: A Compositional Language for Transaction Programming
- Acknowledgements First and foremost, I would like to thank my supervisor, Prof. A. Bonner, for his guid
- J. LOGIC PROGRAMMING 1997, 32(2):119170 119 A LOGICAL SEMANTICS
- Objectoriented databases are used mainly in new application domains that are not cov ered efficiently by pastgeneration systems. However, requiring all users to work on the
- Benchmarking ObjectOriented DBMSs for Workflow Management \Lambda
- Concurrency and Communication in Transaction Logic
- Hypothetical Datalog: Negation and Linear Recursion \Lambda
- An Optimizing Interpreter for Concurrent Transaction Logic
- Transaction Logic Programming Anthony J. Bonner \Lambda
- 1 5 10 15 20 25 30 Cumulative distribution of genes involved in GO biological processes
- Sequences, Datalog and Transducers Anthony Bonner
- Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge)
- The Reuse and Modification of Rulebases by Predicate Substitution \Lambda
- Query Languages for Sequence Databases: Termination and Complexity
- Transaction Datalog: A Compositional Language for Transaction Programming
- Transaction Datalog: a Compositional Language for Transaction Programming
- Objects and Views \Lambda Serge Abiteboul y Anthony Bonner z
- Transaction Logic: An (Early) Expos'e \Lambda
- LabFlow1: a Database Benchmark for HighThroughput Workflow Management ?
- Implementation and Performance Transaction Logic in Prolog
- Using Interval Graphs for Solving Map Assembly Problems
- Hypothetical Datalog: Complexity and Expressibility \Lambda
- A Logic for Hypothetical Reasoning \Lambda Anthony J. Bonner
- BioMed Central Page 1 of 17
- Reusing and Modifying Rulebases by Predicate Substitution
- An Overview of Transaction Logic Anthony J. Bonner \Lambda
- HYPOTHETICAL REASONING IN DEDUCTIVE BY ANTHONY J. BONNER
- Good Maps are Straight \Lambda Eric Harley
- Hypothetical Datalog: Complexity and Expressibility
- 1 A LOGIC FOR PROGRAMMING DATABASE TRANSACTIONS
- Towards the Prediction of Protein Abundance from Tandem Mass Spectrometry Data
- Querying Sequence Databases with Transducers Anthony Bonner
- Expressing Database Queries with Intuitionistic Logic
- J. LOGIC PROGRAMMING 1997, 33(1):1--47 1 INTUITIONISTIC
- Results on Reasoning about Updates in Transaction Logic
- The State of Change: A Survey Anthony J. Bonner 1 and Michael Kifer 2
- Objects and Views \Lambda Serge Abiteboul
- Uniform Integration of Genome Mapping Data using Intersection Graphs
- Sequences, Datalog and Transducers \Lambda Giansalvatore Mecca y
- Uniform Integration of Genome Mapping Data using Intersection Graphs
- Graph Algorithms for Assembling Integrated Genome Maps Eric Richard Harley
- Cost-Based Abduction (CBA) is an AI model for reasoning under uncertainty. In CBA, evidence to
- Neural Networks Approaches for Discovering the Learnable Correlation between Gene Function and Gene
- C.S. Leung, M. Lee, and J.H. Chan (Eds.): ICONIP 2009, Part I, LNCS 5863, pp. 100109, 2009. Springer-Verlag Berlin Heidelberg 2009
- Finding MAPs using strongly equivalent high order recurrent symmetric connectionist networks
- A Deep Non-Linear Feature Mapping for Large-Margin kNN Classification Renqiang Min
- Journal of Bioinformatics and Computational Biology Vol. 7, No. 6 (2009) 955972
- Deep Supervised t-Distributed Embedding Renqiang Min minrq@cs.toronto.edu
- Learning Random-Walk Kernels for Protein Remote Homology Identification and Motif Discovery
- JOURNAL OF COMPUTATIONAL BIOLOGY Volume 16, Number 3, 2009
- Machine Learning Approaches to Biological Sequence and Phenotype Data Analysis
- Finding MAPs using strongly equivalent high order recurrent symmetric connectionist networks
