Hakutulokset - integer problems problems program array https

1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...”
Hae kokoteksti

Elektroninen E-kirja

2

Algorithms and Data Structures The Basic Toolbox /

Tekijä Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Julkaistu 2008

Sisällysluettelo: “...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
Hae kokoteksti

Elektroninen E-kirja

3

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2014

Sisällysluettelo: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Hae kokoteksti

Elektroninen E-kirja

4

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field...”
Hae kokoteksti

Elektroninen E-kirja

5

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...”
Hae kokoteksti

Elektroninen E-kirja

6

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...”
Hae kokoteksti

Elektroninen E-kirja

7

MATLAB Numerical Calculations

Tekijä Lopez, Cesar., Lopez, Cesar.
Julkaistu 2014

Aiheet: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti

Elektroninen E-kirja

8

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Julkaistu 2007

Sisällysluettelo: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
Hae kokoteksti

Elektroninen E-kirja

9

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Julkaistu 2008

Sisällysluettelo: “...-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model...”
Hae kokoteksti

Elektroninen E-kirja

10

Combinatorial Pattern Matching 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...”
Hae kokoteksti

Elektroninen E-kirja

11

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...”
Hae kokoteksti

Elektroninen E-kirja

12

Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...Discrete Tomography -- Binary Matrices Under the Microscope: A Tomographical Problem...”
Hae kokoteksti

Elektroninen E-kirja

13

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Julkaistu 2005

Sisällysluettelo: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Hae kokoteksti

Elektroninen E-kirja

14

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Hae kokoteksti

Elektroninen E-kirja

15

Handbook on Modelling for Discrete Optimization

Julkaistu 2006

Sisällysluettelo: “... Planning Models for Supply Chain: An Application of Stochastic Mixed Integer Programming -- Logic Inference...”
Hae kokoteksti

Elektroninen E-kirja

16

Handbook of Optimization in Telecommunications

Julkaistu 2006

Sisällysluettelo: “... Programming in Telecommunications -- Integer Programming for Telecommunications -- Metaheuristics...”
Hae kokoteksti

Elektroninen E-kirja

17

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua