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
A symmetry and Noether charge preserving discretization of initial value problems
Material Type:
Artigo
Adicionar ao Meu Espaço

A symmetry and Noether charge preserving discretization of initial value problems

Rothkopf, Alexander ; Nordström, Jan

Journal of computational physics, 2024-02, Vol.498, p.112652, Article 112652 [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
Review of summation-by-parts schemes for initial–boundary-value problems
Material Type:
Artigo
Adicionar ao Meu Espaço

Review of summation-by-parts schemes for initial–boundary-value problems

Svard, Magnus ; Nordstrom, Jan

Journal of computational physics, 2014-07, Vol.268, p.17-38 [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 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

7
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

8
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

9
A Roadmap to Well Posed and Stable Problems in Computational Physics
Material Type:
Artigo
Adicionar ao Meu Espaço

A Roadmap to Well Posed and Stable Problems in Computational Physics

Nordström, Jan

Journal of scientific computing, 2017-04, Vol.71 (1), p.365-385 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

10
Discretely conservative finite-difference formulations for nonlinear conservation laws in split form: Theory and boundary conditions
Material Type:
Artigo
Adicionar ao Meu Espaço

Discretely conservative finite-difference formulations for nonlinear conservation laws in split form: Theory and boundary conditions

Fisher, Travis C. ; Carpenter, Mark H. ; Nordström, Jan ; Yamaleev, Nail K. ; Swanson, Charles

Journal of computational physics, 2013-02, Vol.234, p.353-375 [Periódico revisado por pares]

Kidlington: 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  (12.166)
  2. magazinearticle  (523)
  3. Newsletter Articles  (290)
  4. Verbetes  (204)
  5. Artigos de Jornal  (190)
  6. Book Chapters  (132)
  7. Resenhas  (68)
  8. Anais de Congresso  (62)
  9. Livros  (24)
  10. Reports  (19)
  11. Conjunto de Dados  (3)
  12. Recursos Textuais  (1)
  13. Outros  (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  (86)
  3. 1977Até1991  (378)
  4. 1992Até2007  (2.901)
  5. Após 2007  (10.332)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (13.584)
  2. Português  (56)
  3. Alemão  (51)
  4. Japonês  (29)
  5. Espanhol  (27)
  6. Francês  (26)
  7. Norueguês  (24)
  8. Turco  (9)
  9. Sueco  (9)
  10. Chinês  (7)
  11. Tcheco  (4)
  12. Polonês  (4)
  13. Bokmål, Norwegian  (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.