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
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 2006Até2015 remover idioma: Inglês 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
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
4
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
5
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
6
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
7
Model checking epistemic–probabilistic logic using probabilistic interpreted systems
Model checking epistemic–probabilistic logic using probabilistic interpreted systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model checking epistemic–probabilistic logic using probabilistic interpreted systems

Wan, Wei ; Bentahar, Jamal ; Ben Hamza, Abdessamad

Knowledge-based systems, 2013-09, Vol.50, p.279-295 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
The Analysis and Realization of Interpreter Language in Nuclear Industry
The Analysis and Realization of Interpreter Language in Nuclear Industry
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Analysis and Realization of Interpreter Language in Nuclear Industry

Zhang, Zheng ; He, Hai Bo ; Lu, Hao Liang

Advanced materials research, 2014-07, Vol.989-994, p.2097-2100 [Periódico revisado por pares]

Sem texto completo

Citações Citado por
9
Input-output identification of controlled discrete manufacturing systems
Input-output identification of controlled discrete manufacturing systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Input-output identification of controlled discrete manufacturing systems

Estrada-Vargas, Ana Paula ; López-Mellado, Ernesto ; Lesage, Jean-Jacques

International journal of systems science, 2014-03, Vol.45 (3), p.456-471 [Periódico revisado por pares]

Taylor & Francis Group

Texto completo disponível

Citações Citado por
10
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments

Sultan, Khalid ; Bentahar, Jamal ; Wan, Wei ; Al-Saqqar, Faisal

Expert systems with applications, 2014-10, Vol.41 (14), p.6291-6304 [Periódico revisado por pares]

Amsterdam: Elsevier Ltd

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 (151)
  2. Revistas revisadas por pares (49)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (59)
  2. Artigos  (50)
  3. Anais de Congresso  (32)
  4. Conjunto de Dados  (26)
  5. Reports  (1)
  6. Dissertações  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2006  (2)
  2. 2006Até2007  (18)
  3. 2008Até2009  (30)
  4. 2010Até2012  (94)
  5. Após 2012  (37)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.