Sciweavers

2877 search results - page 153 / 576
» Computational Biology
Sort
View
ACSD
2008
IEEE
130views Hardware» more  ACSD 2008»
15 years 10 months ago
BAM: BioAmbient machine
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 ...
ASM
2000
ASM
15 years 8 months ago
An ASM Dynamic Semantics for Standard ML
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 ...
Steven C. Cater, James K. Huggins
ISMB
1997
15 years 5 months ago
Selecting Optimal Oligonucleotide Primers for Multiplex PCR
Weinvestigate the problemof designingefficient multiplex PCRfor medical applications. Weshowthat the problemis NP-completeby transformation to the Multiple Choice Matchingproblema...
Pierre Nicodème, Jean-Marc Steyaert
ISMB
1996
15 years 5 months ago
Discovering Patterns and Subfamilies in Biosequences
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...
ISMB
1994
15 years 5 months ago
Protein Design by Optimization of a Sequence-Structure Quality Function
Anautomatedprocedurefor protein designbyoptimization of a sequence-structurequalityhasbeendeveloped. Themethodselectsa statistically optimalsequencefor a particularstructure,onthe...
Steven E. Brenner, Alan Berry