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 new well-posed vorticity divergence formulation of the shallow water equations

Nordstrom, Jan ; Ghader, Sarmad

Ocean Modelling, 2015, Vol.93, p.1(6) [Periódico revisado por pares]

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Conjugate heat transfer for the unsteady compressible Navier-Stokes equations using a multi-block coupling.(Report)

Nordstrom, Jan ; Berg, Jens

Computers and Fluids, Feb 15, 2013, Vol.72, p.20(10) [Periódico revisado por pares]

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Summation-by-parts in time

Nordstrom, Jan ; Lundquist, Tomas

Journal of Computational Physics, Oct 15, 2013, Vol.251, p.487(13) [Periódico revisado por pares]

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Weak and strong wall boundary procedures and convergence to steady-state of the Navier-Stokes equations

Nordström, Jan ; Eriksson, Sofia ; Eliasson, Peter Linköpings universitet, Matematiska institutionen, Beräkningsvetenskap ; Linköpings universitet, Tekniska högskolan, Beräkningsvetenskap

Journal of Computational Physics, 2012, Vol. 231(14), pp. 4867-4884 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
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
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Variance reduction through robust design of boundary conditions for stochastic hyperbolic systems of equations

Nordstrom, Jan ; Wahlsten, Markus

Journal of Computational Physics, Feb 1, 2015, Vol.282, p.1(22) [Periódico revisado por pares]

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Duality based boundary conditions and dual consistent finite difference discretizations of the Navier-Stokes and Euler equations

Berg, Jens ; Nordstrom, Jan

Journal of Computational Physics, Feb 15, 2014, Vol.259, p.135(19) [Periódico revisado por pares]

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

The SBP-SAT technique for initial value problems

Lundquist, Tomas ; Nordstrom, Jan

Journal of Computational Physics, August 1, 2014, Vol.270, p.86(19) [Periódico revisado por pares]

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

Data de Publicação 

De até
  1. Antes de1995  (12)
  2. 1995Até2000  (20)
  3. 2001Até2005  (27)
  4. 2006Até2011  (66)
  5. Após 2011  (302)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (422)
  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.