Sciweavers

745 search results - page 31 / 149
» The origins of combinatorics on words
Sort
View
CCO
2001
Springer
168views Combinatorics» more  CCO 2001»
15 years 2 months ago
Mathematical Programming Models and Formulations for Deterministic Production Planning Problems
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
Yves Pochet
COCOON
2008
Springer
14 years 11 months ago
Haplotype Inferring Via Galled-Tree Networks Is NP-Complete
The problem of determining haplotypes from genotypes has gained considerable prominence in the research community since the beginning of the HapMap project. Here the focus is on de...
Arvind Gupta, Ján Manuch, Ladislav Stacho, ...
ICALP
2004
Springer
15 years 3 months ago
A Categorical Model for the Geometry of Interaction
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
Esfandiar Haghverdi, Philip J. Scott
ENTCS
2008
95views more  ENTCS 2008»
14 years 10 months ago
An Experimental Ambiguity Detection Tool
Although programs convey an unambiguous meaning, the grammars used in practice to describe their syntax are often ambiguous, and completed with disambiguation rules. Whether these...
Sylvain Schmitz
ITS
2010
Springer
182views Multimedia» more  ITS 2010»
14 years 8 months ago
An Interactive Learning Environment for Problem-Changing Exercise
: To make a new problem from the original one and to compare their solutions are promising activities to promote a learner to be aware of the structure of these problems. Especiall...
Tsukasa Hirashima, Sho Yamamoto, Hiromi Waki