The aim of this perspective article is to share with the community of ion channel scientists our thoughts and expectations regarding the increasing role that computational tools will play in the future of our field. The opinions and comments detailed here are the result of a 3-day long international exploratory workshop that took place in October 2013 and that was supported by the Swiss Nationa...

With the increasing quantities of Brassica genomic data being entered into the public domain and in preparation for the complete Brassica genome sequencing effort, there is a growing requirement for the structuring and detailed bioinformatic analysis of Brassica genomic information within a user-friendly database. At the Plant Biotechnology Centre, Melbourne, Australia, we have developed a seri...

First, a very useful searching engine, Key Word in Context (KWIC), is introduced. This tool can automatically extract linguistically significant patterns from large corpora and help linguists discover syntagmatic generalizations. Second, Dynamic Clustering and Hierarchical Clustering are introduced for identifying natural clusters of words or phrases in distribution. Third, statistical measures...

Computational Complexity Theory is the field that studies the inherent costs of algorithms for solving mathematical problems. Its major goal is to identify the limits of what is efficiently computable in natural computational models. Computational complexity ranges from quantum computing to determining the minimum size of circuits that compute basic mathematical functions to the foundations of ...

The availability of the human genome sequence has revolutionized human genetics research. By studying the differences in the genomes between sick and healthy individuals one can associate particular differences with the disease. Such association is the first step towards understanding disease cause, diagnostics and eventually therapy. In this thesis we study several problems related to the most...

Abstract Modern engineering systems include many components of different types and functions. Verifying that these satisfy given specifications can be an arduous task, as most formal verification methods are limited to moderate size. Recently, contract theory has been proposed a modular framework for defining specifications. In this paper, we present discrete-time dynamical control relying on a...