5066 search results - page 261 / 1014 » Spectra of structures and relations |
150
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
200
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
In a modern business process, documents are important carriers of information between organisations. Document management solutions are increasingly based on structured document for...
HTUK
1989
15 years 7 months ago
1989
We describe a collaborative effort involving approximately 15 people creating material and tools for the "Elastic Charles", a hypermedia journal. The tools are used to c...
171
click to vote
CANDC
2006
ACM
15 years 6 months ago
2006
ACM
On the basis of maximum weighted matching (MWM) algorithm, we introduced a dynamic weight related with stem length and used a recursive algorithm to predict RNA secondary structur...
199
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The Flaviviridae virus family includes major human and animal pathogens. The RNA dependent RNA polymerase (RdRp) plays a central role in the replication process, and t...