Background: High throughput signature sequencing holds many promises, one of which is the ready identification of in vivo transcription factor binding sites, histone modifications...
: Problem statement: Term extraction is one of the layers in the ontology development process which has the task to extract all the terms contained in the input document automatica...
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
Background: Whole-genome sequencing projects are rapidly producing an enormous number of new sequences. Consequently almost every family of proteins now contains hundreds of membe...
We develop a simple hexapedal model for the dynamics of insect locomotion in the horizontal plane. Each leg is a linear spring endowed with two inputs, controlling force-free lengt...
Justin E. Seipel, Philip J. Holmes, Robert J. Full