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
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)

2
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

3
Material Type:
Artigo
Adicionar ao Meu Espaço

A Roadmap to Well Posed and Stable Problems in Computational Physics

Nordström, Jan Linköpings universitet, Matematiska institutionen, Beräkningsmatematik ; Linköpings universitet, Tekniska fakulteten, Beräkningsmatematik

Journal of Scientific Computing, 2017, Vol. 71(1), pp. 365-385 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Energy decay of vortices in viscous fluids: an applied mathematics view

Nordström, Jan ; Lönn, Björn

Journal of Fluid Mechanics, 2012, Vol.709, pp.593-609 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Stable, high order accurate adaptive schemes for long time, highly intermittent geophysics problems

Erickson, Brittany A. ; Nordström, Jan

Journal of computational and applied mathematics, 2014, Vol.271(1), pp.328-338 [Periódico revisado por pares]

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

The SBP-SAT technique for initial value problems

Lundquist, Tomas ; Nordström, Jan

Journal of Computational Physics, 1 August 2014, Vol.270, pp.86-104 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

High-order accurate difference schemes for the Hodgkin-Huxley equations

Amsallem, David ; Nordström, Jan Linköpings universitet, Matematiska institutionen, Beräkningsmatematik ; Linköpings universitet, Tekniska högskolan, Beräkningsmatematik

Journal of Computational Physics, 2013, Vol. 252, pp. 573-590 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Revisiting well-posed boundary conditions for the shallow water equations

Ghader, Sarmad ; Nordström, Jan

Dynamics of Atmospheres and Oceans, June 2014, Vol.66, pp.1-9 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Finite difference schemes with transferable interfaces for parabolic problems
Material Type:
Artigo
Adicionar ao Meu Espaço

Finite difference schemes with transferable interfaces for parabolic problems

Eriksson, Sofia ; Nordström, Jan

Journal of Computational Physics, 12/2018, Vol.375, C, pp.935-949 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

A fully discrete, stable and conservative summation-by-parts formulation for deforming interfaces

Nikkar, Samira ; Nordström, Jan

Journal of Computational Physics, 15 June 2017, Vol.339, pp.500-524 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
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  (195)
  2. Recursos Textuais  (71)
  3. Livros  (68)
  4. Anais de Congresso  (36)
  5. Book Chapters  (16)
  6. Relatórios Técnicos  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1995  (13)
  2. 1995Até2001  (22)
  3. 2002Até2006  (22)
  4. 2007Até2012  (71)
  5. Após 2012  (261)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (382)
  2. Chinês  (1)
  3. Francês  (1)
  4. Faroês  (1)
  5. Sueco  (1)
  6. Espanhol  (1)
  7. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.