1
Udgivet 2005
Indholdsfortegnelse: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Få fuldtekst
Electronisk eBog
2
Udgivet 2014
Indholdsfortegnelse: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ...Discrete Tomography -- Binary Matrices Under the Microscope: A Tomographical Problem...
Få fuldtekst
Electronisk eBog
5
Udgivet 2008
Indholdsfortegnelse: ...-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
Få fuldtekst
Electronisk eBog