In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
Vinod A. Muganthan, Andrew Phillips, Maria Grazia ...
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
Weinvestigate the problemof designingefficient multiplex PCRfor medical applications. Weshowthat the problemis NP-completeby transformation to the Multiple Choice Matchingproblema...
Weconsider the problemof automaticdiscoveryof patterns and the corresponding subfamilies in a set of biosequences. Thesequences are unaligned and may contain noise of unknownlevel...
Alvis Brazma, Inge Jonassen, Esko Ukkonen, Jaak Vi...
Anautomatedprocedurefor protein designbyoptimization of a sequence-structurequalityhasbeendeveloped. Themethodselectsa statistically optimalsequencefor a particularstructure,onthe...