230 search results - page 40 / 46 » Continuations and transducer composition |
TCAD
1998
13 years 9 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
BMCBI
2011
13 years 1 months ago
2011
Background: Target specific antibodies are pivotal for the design of vaccines, immunodiagnostic tests, studies on proteomics for cancer biomarker discovery, identification of prot...
ICAT
2003
IEEE
14 years 2 months ago
2003
IEEE
Traditionally film making costs a huge amount of money and a great deal of time and labor. Converting traditional techniques of film making into virtual techniques could save mone...
BMCBI
2010
13 years 9 months ago
2010
Background: With the continuously increasing demands on knowledge- and data-management that databases have to meet, ontologies and the theories of granularity they use become more...
BMCBI
2008
13 years 9 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...