skip to main content
Idioma:
Refinado por: idioma: Inglês remover assunto: Naturvetenskap remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A superconvergent stencil-adaptive SBP-SAT finite difference scheme
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

Citações Citado por
2
Properties of Runge-Kutta-Summation-By-Parts methods
Properties of Runge-Kutta-Summation-By-Parts methods
Material Type:
Artigo 		Adicionar ao Meu Espaço

Properties of Runge-Kutta-Summation-By-Parts methods

Linders, Viktor ; Nordström, Jan ; Frankel, Steven H.

Journal of computational physics, 2020-10, Vol.419, p.109684, Article 109684 [Periódico revisado por pares]

Cambridge: Elsevier Inc

Texto completo disponível

Citações Citado por
3
Accurate solution-adaptive finite difference schemes for coarse and fine grids
Accurate solution-adaptive finite difference schemes for coarse and fine grids
Material Type:
Artigo 		Adicionar ao Meu Espaço

Accurate solution-adaptive finite difference schemes for coarse and fine grids

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

Journal of computational physics, 2020-06, Vol.410, p.109393, Article 109393 [Periódico revisado por pares]

Cambridge: Elsevier Inc

Texto completo disponível

Citações Citado por
4
Resonant inelastic soft x-ray scattering on LaPt2Si2
Resonant inelastic soft x-ray scattering on LaPt2Si2
Material Type:
Artigo 		Adicionar ao Meu Espaço

Resonant inelastic soft x-ray scattering on LaPt2Si2

John Mukkattukavil, Deepak ; Hellsvik, Johan ; Ghosh, Anirudha ; Chatzigeorgiou, Evanthia ; Nocerino, Elisabetta ; Wang, Qisi ; von Arx, Karin ; Huang, Shih-Wen ; Ekholm, Victor ; Hossain, Zakir ; Thamizhavel, Arumugum ; Chang, Johan ; Månsson, Martin ; Nordström, Lars ; Såthe, Conny ; Agåker, Marcus ; Rubensson, Jan-Erik ; Sassa, Yasmine

Journal of physics. Condensed matter, 2022-08, Vol.34 (32) [Periódico revisado por pares]

IOP Publishing

Texto completo disponível

Citações Citado por
5
Molecular detection of Babesia capreoli and Babesia venatorum in wild Swedish roe deer, Capreolus capreolus
Molecular detection of Babesia capreoli and Babesia venatorum in wild Swedish roe deer, Capreolus capreolus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Molecular detection of Babesia capreoli and Babesia venatorum in wild Swedish roe deer, Capreolus capreolus

Andersson, Martin O ; Bergvall, Ulrika A ; Chirico, Jan ; Christensson, Madeleine ; Lindgren, Per-Eric ; Nordström, Jonas ; Kjellander, Petter

Parasites & vectors, 2016-04, Vol.9 (219), p.221-221, Article 221 [Periódico revisado por pares]

England: BioMed Central Ltd

Texto completo disponível

Citações Citado por
6
Simplified and Improved Separations Between Regular and General Resolution by Lifting
Simplified and Improved Separations Between Regular and General Resolution by Lifting
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Simplified and Improved Separations Between Regular and General Resolution by Lifting

Vinyals, Marc ; Elffers, Jan ; Johannsen, Jan ; Nordström, Jakob Pulina, Luca ; Seidl, Martina

23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020,Virtual, Online,2020-07-03 - 2020-07-10, 2020, Vol.12178, p.182-200 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
7
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning

Liew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordstrom, Jakob Ivrii, Alexander ; Hunt, Warren A. ; Weissenbacher, Georg ; Strichman, Ofer

2020 Formal Methods in Computer Aided Design (FMCAD), 2020, p.194-204

FMCAD Association

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (6)
  2. Revistas revisadas por pares (6)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (5)
  2. Anais de Congresso  (1)
  3. Book Chapters  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.