skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Numerical Analysis. Scientific Computation remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Best Proximity Points: Optimal Solutions
Best Proximity Points: Optimal Solutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Best Proximity Points: Optimal Solutions

SADIQ BASHA, S

Journal of optimization theory and applications, 2011-10, Vol.151 (1), p.210-216 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
2
The Hahn Quantum Variational Calculus
The Hahn Quantum Variational Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Hahn Quantum Variational Calculus

Malinowska, A. B. ; Torres, D. F. M.

Journal of optimization theory and applications, 2010-12, Vol.147 (3), p.419-442 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
3
The Longest Path Problem has a Polynomial Solution on Interval Graphs
The Longest Path Problem has a Polynomial Solution on Interval Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Longest Path Problem has a Polynomial Solution on Interval Graphs

Ioannidou, Kyriaki ; Mertzios, George B. ; Nikolopoulos, Stavros D.

Algorithmica, 2011-10, Vol.61 (2), p.320-341 [Periódico revisado por pares]

New York: Springer-Verlag

Texto completo disponível

Citações Citado por
4
A characterization of complete bipartite RAC graphs
A characterization of complete bipartite RAC graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A characterization of complete bipartite RAC graphs

Didimo, Walter ; Eades, Peter ; Liotta, Giuseppe

Information processing letters, 2010-07, Vol.110 (16), p.687-691 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
The 1-Fixed-Endpoint Path Cover Problem is Polynomial on Interval Graphs
The 1-Fixed-Endpoint Path Cover Problem is Polynomial on Interval Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

The 1-Fixed-Endpoint Path Cover Problem is Polynomial on Interval Graphs

Asdre, Katerina ; Nikolopoulos, Stavros D.

Algorithmica, 2010-11, Vol.58 (3), p.679-710 [Periódico revisado por pares]

New York: Springer-Verlag

Texto completo disponível

Citações Citado por
6
The Longest Path Problem Is Polynomial on Cocomparability Graphs
The Longest Path Problem Is Polynomial on Cocomparability Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Longest Path Problem Is Polynomial on Cocomparability Graphs

Ioannidou, Kyriaki ; Nikolopoulos, Stavros D.

Algorithmica, 2013, Vol.65 (1), p.177-205 [Periódico revisado por pares]

New York: Springer-Verlag

Texto completo disponível

Citações Citado por
7
Symbolic decision procedure for termination of linear programs
Symbolic decision procedure for termination of linear programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symbolic decision procedure for termination of linear programs

Xia, Bican ; Yang, Lu ; Zhan, Naijun ; Zhang, Zhihai

Formal aspects of computing, 2011-03, Vol.23 (2), p.171-190 [Periódico revisado por pares]

London: Springer-Verlag

Texto completo disponível

Citações Citado por
8
On Iterative Methods with Accelerated Convergence for Solving Systems of Nonlinear Equations
On Iterative Methods with Accelerated Convergence for Solving Systems of Nonlinear Equations
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Iterative Methods with Accelerated Convergence for Solving Systems of Nonlinear Equations

Ezquerro, J. A. ; Grau-Sánchez, M. ; Grau, A. ; Hernández, M. A. ; Noguera, M. ; Romero, N.

Journal of optimization theory and applications, 2011-10, Vol.151 (1), p.163-174 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
9
Building a push-button RESOLVE verifier: Progress and challenges
Building a push-button RESOLVE verifier: Progress and challenges
Material Type:
Artigo 		Adicionar ao Meu Espaço

Building a push-button RESOLVE verifier: Progress and challenges

Sitaraman, Murali ; Adcock, Bruce ; Avigad, Jeremy ; Bronish, Derek ; Bucci, Paolo ; Frazier, David ; Friedman, Harvey M. ; Harton, Heather ; Heym, Wayne ; Kirschenbaum, Jason ; Krone, Joan ; Smith, Hampton ; Weide, Bruce W.

Formal aspects of computing, 2011-09, Vol.23 (5), p.607-626 [Periódico revisado por pares]

London: Springer-Verlag

Texto completo disponível

Citações Citado por
10
Termination of nondeterministic quantum programs
Termination of nondeterministic quantum programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination of nondeterministic quantum programs

Li, Yangjia ; Yu, Nengkun ; Ying, Mingsheng

Acta informatica, 2014-02, Vol.51 (1), p.1-24 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (12.235)
  2. Revistas revisadas por pares (12.342)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (12.020)
  2. Anais de Congresso  (420)
  3. Book Chapters  (43)
  4. magazinearticle  (8)
  5. Livros  (6)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (277)
  2. 1988Até1993  (566)
  3. 1994Até1999  (1.258)
  4. 2000Até2006  (3.827)
  5. Após 2006  (6.571)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (929)
  2. Francês  (17)
  3. Alemão  (3)
  4. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.