skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Ovid SocietyJournals and Single Titles remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding

Wang, Zhongye ; Cao, Qinxiang ; Tao, Yichen

Journal of automated reasoning, 2024-09, Vol.68 (3), p.18, Article 18 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
2
A High-Order Discontinuous Galerkin Method for One-Fluid Two-Temperature Euler Non-equilibrium Hydrodynamics
A High-Order Discontinuous Galerkin Method for One-Fluid Two-Temperature Euler Non-equilibrium Hydrodynamics
Material Type:
Artigo 		Adicionar ao Meu Espaço

A High-Order Discontinuous Galerkin Method for One-Fluid Two-Temperature Euler Non-equilibrium Hydrodynamics

Cheng, Jian

Journal of scientific computing, 2024-09, Vol.100 (3), p.82, Article 82 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
3
Hadamard Integrators for Wave Equations in Time and Frequency Domain: Eulerian Formulations via Butterfly Algorithms
Hadamard Integrators for Wave Equations in Time and Frequency Domain: Eulerian Formulations via Butterfly Algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hadamard Integrators for Wave Equations in Time and Frequency Domain: Eulerian Formulations via Butterfly Algorithms

Wei, Yuxiao ; Cheng, Jin ; Leung, Shingyu ; Burridge, Robert ; Qian, Jianliang

Journal of scientific computing, 2024-09, Vol.100 (3), p.79, Article 79 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
4
Fourth-Order Accurate Compact Scheme for First-Order Maxwell’s Equations
Fourth-Order Accurate Compact Scheme for First-Order Maxwell’s Equations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fourth-Order Accurate Compact Scheme for First-Order Maxwell’s Equations

Versano, I. ; Turkel, E. ; Tsynkov, S.

Journal of scientific computing, 2024-08, Vol.100 (2), p.31, Article 31 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
5
Approximating sparse Hessian matrices using large-scale linear least squares
Approximating sparse Hessian matrices using large-scale linear least squares
Material Type:
Artigo 		Adicionar ao Meu Espaço

Approximating sparse Hessian matrices using large-scale linear least squares

Fowkes, Jaroslav M. ; Gould, Nicholas I. M. ; Scott, Jennifer A.

Numerical algorithms, 2024-08, Vol.96 (4), p.1675-1698 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
6
FunnyNet-W: Multimodal Learning of Funny Moments in Videos in the Wild
FunnyNet-W: Multimodal Learning of Funny Moments in Videos in the Wild
Material Type:
Artigo 		Adicionar ao Meu Espaço

FunnyNet-W: Multimodal Learning of Funny Moments in Videos in the Wild

Liu, Zhi-Song ; Courant, Robin ; Kalogeiton, Vicky

International journal of computer vision, 2024-08, Vol.132 (8), p.2885-2906 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
7
Inexact Fixed-Point Proximity Algorithm for the ℓ0 Sparse Regularization Problem
Inexact Fixed-Point Proximity Algorithm for the ℓ0 Sparse Regularization Problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

Inexact Fixed-Point Proximity Algorithm for the ℓ0 Sparse Regularization Problem

Fang, Ronglong ; Xu, Yuesheng ; Yan, Mingsong

Journal of scientific computing, 2024-08, Vol.100 (2), p.58 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
8
Nonlinear spatiotemporal characteristics of wind–rain flow around the trains passing through the tunnel entrance during rainstorms
Nonlinear spatiotemporal characteristics of wind–rain flow around the trains passing through the tunnel entrance during rainstorms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nonlinear spatiotemporal characteristics of wind–rain flow around the trains passing through the tunnel entrance during rainstorms

Li, Guo-Zhi ; E Deng ; Ni, Yi-Qing ; Ouyang, De-Hui ; Yang, Wei-Chao

Nonlinear dynamics, 2024-08, Vol.112 (16), p.13825-13843 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
9
Enhancing the Convergence of the Multigrid-Reduction-in-Time Method for the Euler and Navier–Stokes Equations
Enhancing the Convergence of the Multigrid-Reduction-in-Time Method for the Euler and Navier–Stokes Equations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Enhancing the Convergence of the Multigrid-Reduction-in-Time Method for the Euler and Navier–Stokes Equations

Zhen, Meiyuan ; Ding, Xuejun ; Qu, Kun ; Cai, Jinsheng ; Pan, Shucheng

Journal of scientific computing, 2024-08, Vol.100 (2), p.40, Article 40 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
10
Opportunistic salpingectomy at the time of vaginal hysterectomy: A systematic review and meta‐analysis
Opportunistic salpingectomy at the time of vaginal hysterectomy: A systematic review and meta‐analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Opportunistic salpingectomy at the time of vaginal hysterectomy: A systematic review and meta‐analysis

Bonavina, Giulia ; Busnelli, Andrea ; Salmeri, Noemi ; Cavoretto, Paolo I. ; Salvatore, Stefano ; Candiani, Massimo ; Bulfoni, Alessandro

International journal of gynecology and obstetrics, 2024-08, Vol.166 (2), p.494-501 [Periódico revisado por pares]

United States

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (8.234)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (8.345)
  2. Resenhas  (21)
  3. Anais de Congresso  (6)
  4. Reports  (2)
  5. Livros  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1960  (201)
  2. 1960Até1975  (499)
  3. 1976Até1991  (950)
  4. 1992Até2008  (2.479)
  5. Após 2008  (4.253)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (7.953)
  2. Francês  (1.459)
  3. Japonês  (528)
  4. Alemão  (30)
  5. Espanhol  (13)
  6. Holandês  (8)
  7. Russo  (2)
  8. Esperanto  (1)
  9. Norueguês  (1)
  10. Tcheco  (1)
  11. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.