skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 2010Até2016 remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
Material Type:
Artigo 		Adicionar ao Meu Espaço

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance

Mȩski, Artur ; Penczek, Wojciech ; Szreter, Maciej ; Woźna-Szcześniak, Bożena ; Zbrzezny, Andrzej

Autonomous agents and multi-agent systems, 2014-07, Vol.28 (4), p.558-604 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
2
Incidence and US Costs of Corticosteroid-Associated Adverse Events: A Systematic Literature Review
Incidence and US Costs of Corticosteroid-Associated Adverse Events: A Systematic Literature Review
Material Type:
Artigo 		Adicionar ao Meu Espaço

Incidence and US Costs of Corticosteroid-Associated Adverse Events: A Systematic Literature Review

Sarnes, Evelyn, PharmD, MPH ; Crofford, Leslie, MD ; Watson, Maria, PhD ; Dennis, Greg, MD ; Kan, Hong, PhD ; Bass, Damon, DO

Clinical therapeutics, 2011-10, Vol.33 (10), p.1413-1432 [Periódico revisado por pares]

Bridgewater, NJ: EM Inc USA

Texto completo disponível

Citações Citado por
3
High-resolution Modelling With Bi-dimensional Shallow Water Equations Based Codes – High-Resolution Topographic Data Use for Flood Hazard Assessment Over Urban and Industrial Environments
High-resolution Modelling With Bi-dimensional Shallow Water Equations Based Codes – High-Resolution Topographic Data Use for Flood Hazard Assessment Over Urban and Industrial Environments
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

High-resolution Modelling With Bi-dimensional Shallow Water Equations Based Codes – High-Resolution Topographic Data Use for Flood Hazard Assessment Over Urban and Industrial Environments

Morgan, Abily ; Olivier, Delestre ; Nathalie, Bertrand ; Claire-Marie, Duluc ; Philippe, Gourbesville

Procedia engineering, 2016, Vol.154, p.853-860 [Periódico revisado por pares]

Elsevier Ltd

Sem texto completo

Citações Citado por
4
Impact of Moderate Resolution Imaging Spectroradiometer (MODIS) cloud mask interpretation on cloud amount estimation
Impact of Moderate Resolution Imaging Spectroradiometer (MODIS) cloud mask interpretation on cloud amount estimation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Impact of Moderate Resolution Imaging Spectroradiometer (MODIS) cloud mask interpretation on cloud amount estimation

Kotarba, Andrzej Z.

Journal of geophysical research. Atmospheres, 2015-09, Vol.120 (17), p.8971-8986 [Periódico revisado por pares]

Washington: Blackwell Publishing Ltd

Texto completo disponível

Citações Citado por
5
Interpreted Information Exchange: Systematic Approach for BIM to Engineering Analysis Information Transformations
Interpreted Information Exchange: Systematic Approach for BIM to Engineering Analysis Information Transformations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interpreted Information Exchange: Systematic Approach for BIM to Engineering Analysis Information Transformations

Ramaji, Issa J ; Memari, Ali M

Journal of computing in civil engineering, 2016-11, Vol.30 (6) [Periódico revisado por pares]

American Society of Civil Engineers

Texto completo disponível

Citações Citado por
6
iCFD: Interpreted Computational Fluid Dynamics - Degeneration of CFD to one-dimensional advection-dispersion models using statistical experimental design - The secondary clarifier
iCFD: Interpreted Computational Fluid Dynamics - Degeneration of CFD to one-dimensional advection-dispersion models using statistical experimental design - The secondary clarifier
Material Type:
Artigo 		Adicionar ao Meu Espaço

iCFD: Interpreted Computational Fluid Dynamics - Degeneration of CFD to one-dimensional advection-dispersion models using statistical experimental design - The secondary clarifier

Guyonvarch, Estelle ; Ramin, Elham ; Kulahci, Murat ; Plósz, Benedek Gy

Water research (Oxford), 2015-10, Vol.83, p.396-411 [Periódico revisado por pares]

England

Texto completo disponível

Citações Citado por
7
Research of uncertainties in situational awareness systems and methods of their processing
Research of uncertainties in situational awareness systems and methods of their processing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Research of uncertainties in situational awareness systems and methods of their processing

Микіч, Христина Ігорівна ; Буров, Євген Вікторович

Eastern-European journal of enterprise technologies, 2016, Vol.1 (4(79)), p.19 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Involving migrants in the development of guidelines for communication in cross-cultural general practice consultations: a participatory learning and action research project
Involving migrants in the development of guidelines for communication in cross-cultural general practice consultations: a participatory learning and action research project
Material Type:
Artigo 		Adicionar ao Meu Espaço

Involving migrants in the development of guidelines for communication in cross-cultural general practice consultations: a participatory learning and action research project

O'Reilly-de Brún, Mary ; MacFarlane, Anne ; de Brún, Tomas ; Okonkwo, Ekaterina ; Bonsenge Bokanga, Jean Samuel ; Manuela De Almeida Silva, Maria ; Ogbebor, Florence ; Mierzejewska, Aga ; Nnadi, Lovina ; van den Muijsenbergh, Maria ; van Weel-Baumgarten, Evelyn ; van Weel, Chris

BMJ Open, 2015-09 [Periódico revisado por pares]

BMJ

Texto completo disponível

Citações Citado por
9
A drastic lower Miocene regolith evolution triggered by post obduction slab break-off and uplift in New Caledonia
A drastic lower Miocene regolith evolution triggered by post obduction slab break-off and uplift in New Caledonia
Material Type:
Artigo 		Adicionar ao Meu Espaço

A drastic lower Miocene regolith evolution triggered by post obduction slab break-off and uplift in New Caledonia

Sevin, Brice ; Cluzel, Dominique ; Maurizot, Pierre ; Ricordel-Prognon, Caroline ; Chaproniere, George ; Folcher, Nicolas ; Quesnel, Florence

Tectonics (Washington, D.C.), 2014-09, Vol.33 (9), p.1787-1801 [Periódico revisado por pares]

Washington: Blackwell Publishing Ltd

Texto completo disponível

Citações Citado por
10
Interpreted Petri Nets in DES Control Synthesis
Interpreted Petri Nets in DES Control Synthesis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Interpreted Petri Nets in DES Control Synthesis

Čapkovič, František

Intelligent Information and Database Systems, p.377-387 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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. Recursos Online (43)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2010  (1)
  2. 2010Até2010  (5)
  3. 2011Até2011  (6)
  4. 2012Até2013  (17)
  5. Após 2013  (24)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (51)
  2. Espanhol  (1)
  3. Japonês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.