skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Mathematical Analysis remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Evolutionary Computation in Combinatorial Optimization: 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Evolutionary Computation in Combinatorial Optimization: 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings

Gottlieb, Jens ; Raidl, Günther R Raidl, Günther R. ; Gottlieb, Jens

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

2
Petri Automata for Kleene Allegories
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Petri Automata for Kleene Allegories

Brunet, Paul ; Pous, Damien

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.68-79

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

3
Metro Maps on Octilinear Grid Graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

Metro Maps on Octilinear Grid Graphs

Bast, Hannah ; Brosi, Patrick ; Storandt, Sabine

Computer graphics forum, 2020-06, Vol.39 (3), p.357-367 [Periódico revisado por pares]

Oxford: Blackwell Publishing Ltd

Texto completo disponível

4
Obtaining lower bounds from the progressive hedging algorithm for stochastic mixed-integer programs
Material Type:
Artigo
Adicionar ao Meu Espaço

Obtaining lower bounds from the progressive hedging algorithm for stochastic mixed-integer programs

Gade, Dinakar ; Hackebeil, Gabriel ; Ryan, Sarah M. ; Watson, Jean-Paul ; Wets, Roger J.-B. ; Woodruff, David L.

Mathematical programming, 2016-05, Vol.157 (1), p.47-67 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
Hyper Natural Deduction
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Hyper Natural Deduction

Beckmann, Arnold ; Preining, Norbert

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.547-558

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

6
A Note on the Complexity of Classical and Intuitionistic Proofs
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A Note on the Complexity of Classical and Intuitionistic Proofs

Baaz, Matthias ; Leitsch, Alexander ; Reis, Giselle

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.657-666

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

7
OSQP: an operator splitting solver for quadratic programs
Material Type:
Artigo
Adicionar ao Meu Espaço

OSQP: an operator splitting solver for quadratic programs

Stellato, Bartolomeo ; Banjac, Goran ; Goulart, Paul ; Bemporad, Alberto ; Boyd, Stephen

Mathematical programming computation, 2020-12, Vol.12 (4), p.637-672 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Multidimensional sum-up rounding for integer programming in optimal experimental design
Material Type:
Artigo
Adicionar ao Meu Espaço

Multidimensional sum-up rounding for integer programming in optimal experimental design

Yu, Jing ; Anitescu, Mihai

Mathematical programming, 2021-01, Vol.185 (1-2), p.37-76 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Minimizing finite sums with the stochastic average gradient
Material Type:
Artigo
Adicionar ao Meu Espaço

Minimizing finite sums with the stochastic average gradient

Schmidt, Mark ; Le Roux, Nicolas ; Bach, Francis

Mathematical programming, 2017-03, Vol.162 (1-2), p.83-112 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
A GPU‐Adapted Structure for Unstructured Grids
Material Type:
Artigo
Adicionar ao Meu Espaço

A GPU‐Adapted Structure for Unstructured Grids

Zayer, Rhaleb ; Steinberger, Markus ; Seidel, Hans‐Peter

Computer graphics forum, 2017-05, Vol.36 (2), p.495-507 [Periódico revisado por pares]

Oxford: Blackwell Publishing Ltd

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (12.624)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (14.224)
  2. Livros  (405)
  3. magazinearticle  (119)
  4. Anais de Congresso  (77)
  5. Book Chapters  (9)
  6. Reports  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1978  (95)
  2. 1978Até1990  (93)
  3. 1991Até2001  (381)
  4. 2002Até2013  (8.486)
  5. Após 2013  (6.076)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (14.829)
  2. Japonês  (741)
  3. Alemão  (46)
  4. Francês  (6)
  5. Norueguês  (5)
  6. Ucraniano  (3)
  7. Italiano  (2)
  8. Português  (1)
  9. Chinês  (1)
  10. Espanhol  (1)
  11. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.