skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Nonlinear boundary conditions for initial boundary value problems with applications in computational fluid dynamics
Material Type:
Artigo
Adicionar ao Meu Espaço

Nonlinear boundary conditions for initial boundary value problems with applications in computational fluid dynamics

Nordström, Jan

Journal of computational physics, 2024-02, Vol.498, p.112685, Article 112685 [Periódico revisado por pares]

Texto completo disponível

2
Programming in Martin-Löf's type theory an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Programming in Martin-Löf's type theory an introduction

Bengt Nordström Kent Petersson; Jan M Smith

Oxford New York Clarendon Press Oxford University Press 1990

Localização: IME - Inst. Matemática e Estatística    (QA9.55 N832p )(Acessar)

3
A skew-symmetric energy and entropy stable formulation of the compressible Euler equations
Material Type:
Artigo
Adicionar ao Meu Espaço

A skew-symmetric energy and entropy stable formulation of the compressible Euler equations

Nordström, Jan

Journal of computational physics, 2022-12, Vol.470, p.111573, Article 111573 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

4
Types for Proofs and Programs
Material Type:
Livro
Adicionar ao Meu Espaço

Types for Proofs and Programs

TYPES '99 Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan Smith

Springer Berlin / Heidelberg 2000

Acesso online

5
Types for Proofs and Programs
Material Type:
Livro
Adicionar ao Meu Espaço

Types for Proofs and Programs

International Workshop TYPES '94 Peter Dybjer; Bengt Nordström; Jan M Smith

Springer Berlin Heidelberg 1995

Acesso online

6
Nonlinear and linearised primal and dual initial boundary value problems: When are they bounded? How are they connected?
Material Type:
Artigo
Adicionar ao Meu Espaço

Nonlinear and linearised primal and dual initial boundary value problems: When are they bounded? How are they connected?

Nordström, Jan

Journal of computational physics, 2022-04, Vol.455, p.111001, Article 111001 [Periódico revisado por pares]

Cambridge: Elsevier Inc

Texto completo disponível

7
On the convergence rates of energy-stable finite-difference schemes
Material Type:
Artigo
Adicionar ao Meu Espaço

On the convergence rates of energy-stable finite-difference schemes

Svärd, Magnus ; Nordström, Jan

Journal of computational physics, 2019-11, Vol.397, p.108819, Article 108819 [Periódico revisado por pares]

Cambridge: Elsevier Inc

Texto completo disponível

8
A new variational discretization technique for initial value problems bypassing governing equations
Material Type:
Artigo
Adicionar ao Meu Espaço

A new variational discretization technique for initial value problems bypassing governing equations

Rothkopf, Alexander ; Nordström, Jan

Journal of computational physics, 2023-03, Vol.477, p.111942, Article 111942 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

9
Summation-by-parts in time
Material Type:
Artigo
Adicionar ao Meu Espaço

Summation-by-parts in time

Nordström, Jan ; Lundquist, Tomas

Journal of computational physics, 2013-10, Vol.251, p.487-499 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

10
A superconvergent stencil-adaptive SBP-SAT finite difference scheme
Material Type:
Artigo
Adicionar ao Meu Espaço

A superconvergent stencil-adaptive SBP-SAT finite difference scheme

Linders, Viktor ; Carpenter, Mark H. ; Nordström, Jan

Journal of computational physics, 2024-03, Vol.501, p.112794, Article 112794 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (11.971)
  2. magazinearticle  (523)
  3. Newsletter Articles  (290)
  4. Verbetes  (208)
  5. Artigos de Jornal  (191)
  6. Book Chapters  (110)
  7. Resenhas  (68)
  8. Anais de Congresso  (67)
  9. Livros  (24)
  10. Reports  (19)
  11. Conjunto de Dados  (3)
  12. Videos  (1)
  13. Recursos Textuais  (1)
  14. Dissertações  (1)
  15. Web Resources  (1)
  16. Imagens  (1)
  17. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1961  (39)
  2. 1961Até1976  (82)
  3. 1977Até1991  (371)
  4. 1992Até2007  (2.839)
  5. Após 2007  (10.188)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (13.368)
  2. Japonês  (1.781)
  3. Português  (55)
  4. Alemão  (45)
  5. Espanhol  (26)
  6. Francês  (24)
  7. Norueguês  (23)
  8. Turco  (10)
  9. Sueco  (8)
  10. Chinês  (7)
  11. Bokmål, Norwegian  (5)
  12. Tcheco  (4)
  13. Polonês  (4)
  14. Russo  (3)
  15. Dinamarquês  (3)
  16. Eslovaco  (2)
  17. Lituano  (2)
  18. Árabe  (2)
  19. Italiano  (2)
  20. Ndongo  (2)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Nordström, B
  2. Smith, J
  3. Dybjer, P
  4. Environmental Geochemistry, M
  5. Petersson, K

Buscando em bases de dados remotas. Favor aguardar.