skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Abbas, Houssam ; Fainekos, Georgios ; Sankaranarayanan, Sriram ; Ivančić, Franjo ; Gupta, Aarti

ACM transactions on embedded computing systems, 2013-05, Vol.12 (2s), p.1-30 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
On solutions for a generalized Navier–Stokes–Fourier system fulfilling the entropy equality
On solutions for a generalized Navier–Stokes–Fourier system fulfilling the entropy equality
Material Type:
Artigo 		Adicionar ao Meu Espaço

On solutions for a generalized Navier–Stokes–Fourier system fulfilling the entropy equality

Abbatiello, Anna ; Bulíček, Miroslav ; Kaplický, Petr

Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2022-11, Vol.380 (2236), p.20210351-20210351 [Periódico revisado por pares]

The Royal Society

Texto completo disponível

Citações Citado por
3
Three-dimensional flows of pore pressure-activated Bingham fluids
Three-dimensional flows of pore pressure-activated Bingham fluids
Material Type:
Artigo 		Adicionar ao Meu Espaço

Three-dimensional flows of pore pressure-activated Bingham fluids

Abbatiello, Anna ; Los, Tomáš ; Málek, Josef ; Souček, Ondřej

Mathematical models & methods in applied sciences, 2019-10, Vol.29 (11), p.2089-2125 [Periódico revisado por pares]

Singapore: World Scientific Publishing Company

Texto completo disponível

Citações Citado por
4
Dissipation of Fungicides, Insecticides, and Acaricide in Tomato Using HPLC-DAD and QuEChERS Methodology
Dissipation of Fungicides, Insecticides, and Acaricide in Tomato Using HPLC-DAD and QuEChERS Methodology
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dissipation of Fungicides, Insecticides, and Acaricide in Tomato Using HPLC-DAD and QuEChERS Methodology

Abd Al-Rahman, Sherif Hussein ; Almaz, Monir M. ; Ahmed, Nevin S.

Food analytical methods, 2012-06, Vol.5 (3), p.564-570 [Periódico revisado por pares]

New York: Springer-Verlag

Texto completo disponível

Citações Citado por
5
A fast Binary Decision Diagram (BDD)-based reversible logic optimization engine driven by recent meta-heuristic reordering algorithms
A fast Binary Decision Diagram (BDD)-based reversible logic optimization engine driven by recent meta-heuristic reordering algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

A fast Binary Decision Diagram (BDD)-based reversible logic optimization engine driven by recent meta-heuristic reordering algorithms

Abdalhaq, Baker ; Awad, Ahmed ; Hawash, Amjad

Microelectronics and reliability, 2021-08, Vol.123, p.114168, Article 114168 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
6
Existence Results to a Class of Nonlinear Parabolic Systems Involving Potential and Gradient Terms
Existence Results to a Class of Nonlinear Parabolic Systems Involving Potential and Gradient Terms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Existence Results to a Class of Nonlinear Parabolic Systems Involving Potential and Gradient Terms

Abdellaoui, B. ; Attar, A. ; Bentifour, R. ; Laamri, E.-H.

Mediterranean journal of mathematics, 2020-08, Vol.17 (4), Article 119 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
On some regularity results of parabolic problems with nonlinear perturbed terms and general data
On some regularity results of parabolic problems with nonlinear perturbed terms and general data
Material Type:
Artigo 		Adicionar ao Meu Espaço

On some regularity results of parabolic problems with nonlinear perturbed terms and general data

Abdellaoui, M. ; Redwane, H.

SN partial differential equations and applications, 2022-02, Vol.3 (1), Article 2 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Error estimates for finite element approximations of nonlinear monotone elliptic problems with application to numerical homogenization
Error estimates for finite element approximations of nonlinear monotone elliptic problems with application to numerical homogenization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Error estimates for finite element approximations of nonlinear monotone elliptic problems with application to numerical homogenization

Abdulle, Assyr ; Huber, Martin E.

Numerical methods for partial differential equations, 2016-05, Vol.32 (3), p.955-969 [Periódico revisado por pares]

New York: Blackwell Publishing Ltd

Texto completo disponível

Citações Citado por
9
Finite element heterogeneous multiscale method for nonlinear monotone parabolic homogenization problems
Finite element heterogeneous multiscale method for nonlinear monotone parabolic homogenization problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Finite element heterogeneous multiscale method for nonlinear monotone parabolic homogenization problems

Abdulle, Assyr ; Huber, Martin E.

ESAIM. Mathematical modelling and numerical analysis, 2016-11, Vol.50 (6), p.1659-1697

Les Ulis: EDP Sciences

Texto completo disponível

Citações Citado por
10
Use of food resources and resource partitioning among five syntopic species of Hypostomus (Teleostei: Loricariidae) in an Atlantic Forest river in southern Brazil
Use of food resources and resource partitioning among five syntopic species of Hypostomus (Teleostei: Loricariidae) in an Atlantic Forest river in southern Brazil
Material Type:
Artigo 		Adicionar ao Meu Espaço

Use of food resources and resource partitioning among five syntopic species of Hypostomus (Teleostei: Loricariidae) in an Atlantic Forest river in southern Brazil

Abilhoa, Vinicius ; Valduga, Marcos O. ; Frehse, Fabricio de A. ; Vitule, Jean R.S.

Zoologia (Curitiba, Brazil), 2016-01, Vol.33 (6) [Periódico revisado por pares]

Curitiba: Sociedade Brasileira de Zoologia

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Idioma 

  1. Inglês  (2.048)
  2. Português  (232)
  3. Alemão  (186)
  4. Japonês  (116)
  5. Espanhol  (36)
  6. Francês  (4)
  7. Italiano  (2)
  8. Norueguês  (2)
  9. Indeterminado  (2)
  10. Polonês  (1)
  11. Sueco  (1)
  12. Catalão  (1)
  13. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.