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
Refinado por: data de publicação: 2005Até2014 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica.
Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica.

Siqueira, Ricardo Alves De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2014-09-29

Acesso online. A biblioteca também possui exemplares impressos.

2
Extrafiscalidade: identificação, fundamentação, limitação e controle
Extrafiscalidade: identificação, fundamentação, limitação e controle
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Extrafiscalidade: identificação, fundamentação, limitação e controle

Bomfim, Diego Marcel Costa

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Direito 2014-04-25

Acesso online. A biblioteca também possui exemplares impressos.

3
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
4
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
5
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
6
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
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
Peri-operative ketamine for acute post-operative pain: a quantitative and qualitative systematic review (Cochrane review)
Peri-operative ketamine for acute post-operative pain: a quantitative and qualitative systematic review (Cochrane review)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Peri-operative ketamine for acute post-operative pain: a quantitative and qualitative systematic review (Cochrane review)

Bell, R. F. ; Dahl, J. B. ; Moore, R. A. ; Kalso, E.

Acta anaesthesiologica Scandinavica, 2005-11, Vol.49 (10), p.1405-1428 [Periódico revisado por pares]

Oxford, UK; Malden, USA: Blackwell Publishing Ltd/Inc

Texto completo disponível

Citações Citado por
9
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
10
Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach
Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach

Ramirez-Trevino, A. ; Ruiz-Beltran, E. ; Rivera-Rangel, I. ; Lopez-Mellado, E.

IEEE transactions on automation science and engineering, 2007-01, Vol.4 (1), p.31-39

Piscataway, NJ: IEEE

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (60)
  2. Artigos  (54)
  3. Anais de Congresso  (34)
  4. Conjunto de Dados  (26)
  5. Produções Acadêmicas  (2)
  6. Dissertações  (2)
  7. Reports  (1)
  8. Mais opções open sub menu

Assunto 

  1. Science & Technology  (44)
  2. Technology  (29)
  3. Interpreted Values  (24)
  4. Latitude  (24)
  5. Micromesistius Poutassou Abundance As Nautical Area Scattering Coefficient  (24)
  6. Date/time  (24)
  7. Longitude  (24)
  8. Simrad Er60 Echo Sounder  (24)
  9. Log Info  (23)
  10. Håkon Mosby  (23)
  11. Pollachius Virens Abundance As Nautical Area Scattering Coefficient  (23)
  12. Depth, Water  (23)
  13. Plankton Abundance As Nautical Area Scattering Coefficient  (23)
  14. Mesopelagic Fish Abundance As Nautical Area Scattering Coefficient  (23)
  15. Clupea Harengus Abundance As Nautical Area Scattering Coefficient  (23)
  16. Ecosystem Based Management Of Corals, Fish And Fisheries In The Deep Waters Of Europe And Beyond  (23)
  17. Depth, Top/min  (23)
  18. Computer Science  (23)
  19. Imr-2009615  (23)
  20. Depth, Bottom/max  (17)
  21. Redes De Petri  (1)
  22. Fiscalização Tributária  (1)
  23. Usinas Hidrelétricas  (1)
  24. Automação Elétrica  (1)
  25. Hydroelectric Power Plant  (1)
  26. Modeling And Analysis Of Discrete Event Dynamic Systems  (1)
  27. Contributing  (1)
  28. The Main Goal Of This Thesis Is To Investigate The Constitutional Limits On The Use Of Non-Fiscal Purpose Tax Laws  (1)
  29. Intervenção Do Estado (Direito Econômico)  (1)
  30. Direito Tributário  (1)
  31. Usina Hidrelétrica  (1)
  32. To The Development Of Methods That Allow A More Precise Control Of These Instruments By The Judiciary Branch. To Achieve Such Goal  (1)
  33. Geração De Energia Elétrica (Controle;Sistemas)  (1)
  34. A Model Of Decision Making Protocol Is Presented For Use A Mean Of Control By The Judiciary Branch Of The Non-Fiscal Purpose Tax  (1)
  35. Competência Tributária Da União  (1)
  36. Engenharia De Software  (1)
  37. Rede De Petri Interpretada Por Sinais Orientada A Objetos (Rpis_Oo)  (1)
  38. The Non-Fiscal Purpose Tax Laws Are Compared To The Constitutional Limits On Taxation  (1)
  39. With Originality  (1)
  40. Object-Oriented Signal Interpreted Petri Nets (Oosipn)  (1)
  41. Mais opções open sub menu

Autor/Criador 

  1. Barreto, P  (1)
  2. Siqueira, R  (1)
  3. Bomfim, D  (1)
  4. Jardini, J  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2006  (14)
  2. 2006Até2007  (19)
  3. 2008Até2009  (31)
  4. 2010Até2012  (96)
  5. Após 2012  (32)
  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.