Sciweavers

1237 search results - page 149 / 248
» Strictness and Totality Analysis
Sort
View
DSS
2011
14 years 9 months ago
A multi-objective optimization for green supply chain network design
: We study a new supply chain network design problem with environmental concerns. We are interested in the environmental investments decisions in the design phase and propose a mul...
Fan Wang, Xiaofan Lai, Ning Shi
CIKM
2005
Springer
15 years 11 months ago
Structured queries in XML retrieval
Document-centric XML is a mixture of text and structure. With the increased availability of document-centric XML content comes a need for query facilities in which both structural...
Jaap Kamps, Maarten Marx, Maarten de Rijke, Bö...
132
Voted
BMCBI
2008
105views more  BMCBI 2008»
15 years 6 months ago
Improving the prediction of mRNA extremities in the parasitic protozoan Leishmania
Background: Leishmania and other members of the Trypanosomatidae family diverged early on in eukaryotic evolution and consequently display unique cellular properties. Their appare...
Martin Smith, Mathieu Blanchette, Barbara Papadopo...
IJFCS
2006
106views more  IJFCS 2006»
15 years 6 months ago
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...
BMCBI
2005
125views more  BMCBI 2005»
15 years 5 months ago
Multiple sequence alignments of partially coding nucleic acid sequences
Background: High quality sequence alignments of RNA and DNA sequences are an important prerequisite for the comparative analysis of genomic sequence data. Nucleic acid sequences, ...
Roman R. Stocsits, Ivo L. Hofacker, Claudia Fried,...