1
Publicado em 2007
Sumário: ...Session 1 -- Inequalities from Two Rows of a Simplex Tableau -- Cuts for Conic Mixed-Integer...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Sumário: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2008
Sumário: ... Pseudorandom Functions in Minicrypt -- On Black-Box Ring Extraction and Integer Factorization -- Extractable...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Sumário: ... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2007
Sumário: ... Fuzzy Image Processing -- Integer Programming Methods in Image Processing and Bayes Estimation -- Colour...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2008
Sumário: ... Feedback Controllers -- Integer Programming Approaches to Access and Backbone IP Network Planning...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2006
Sumário: ... Function for Facial Expression Recognition -- 3D Motion from Image Derivatives Using the Least Trimmed...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2014
Sumário: ... -- Diversity Maintenance Perspective: An Analysis of Exploratory Power and Function Optimization in Context...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2007
Sumário: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Por Bennett, Gary., Bennett, Gary., Lees, Brad.
Publicado em 2015
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2013
Sumário: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... Algorithms -- From Logic to Games -- Proving Lower Bounds Via Pseudo-random Generators -- Erd?s Magic...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2014
Sumário: ... and Presburger Arithmetic -- Synthesising Succinct Strategies in Safety and Reachability Games -- Integer Vector...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2015
Sumário: ... and Self Reinforced Processes: M. Benaim -- 9 Wave Interaction with Floating Bodies in a Stratified...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2005
Sumário: ... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2011
Sumário: ...-First Search (Ariadne & Co.) -- 8 Pledge's Algorithm – How to Escape from a Dark Maze -- 9 Cycles...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2008
Sumário: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Obter o texto integral
Recurso Electrónico livro electrónico