skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated formal specification generation and refinement from requirement documents
Material Type:
Artigo
Adicionar ao Meu Espaço

Automated formal specification generation and refinement from requirement documents

Cabral, Gustavo ; Sampaio, Augusto

Journal of the Brazilian Computer Society, 2008-03, Vol.14 (1), p.87-106 [Periódico revisado por pares]

London: Springer-Verlag

Texto completo disponível

2
Computational aspects of the Helly property: a survey
Material Type:
Artigo
Adicionar ao Meu Espaço

Computational aspects of the Helly property: a survey

Dourado, Mitre C. ; Protti, Fábio ; Szwarcfiter, Jayme L.

Journal of the Brazilian Computer Society, 2006-02, Vol.12 (1), p.7-33 [Periódico revisado por pares]

Rio de Janeiro: Sociedade Brasileira de Computação

Texto completo disponível

3
Ropivacaine promotes apoptosis of hepatocellular carcinoma cells through damaging mitochondria and activating caspase-3 activity
Material Type:
Artigo
Adicionar ao Meu Espaço

Ropivacaine promotes apoptosis of hepatocellular carcinoma cells through damaging mitochondria and activating caspase-3 activity

Wang, Wenting ; Zhu, Mingyue ; Xu, Zhixin ; Li, Wei ; Dong, Xu ; Chen, Yi ; Lin, Bo ; Li, Mengsen

Biological research, 2019-07, Vol.52 (1), p.36-10, Article 36 [Periódico revisado por pares]

England: BioMed Central Ltd

Texto completo disponível

4
Pre-disaster planning and preparedness: Drought and flood forecasting and analysis in Zimbabwe
Material Type:
Artigo
Adicionar ao Meu Espaço

Pre-disaster planning and preparedness: Drought and flood forecasting and analysis in Zimbabwe

Samu, Remember ; Akintug, Bertug

Water S. A., 2020-07, Vol.46 (3), p.448-457 [Periódico revisado por pares]

Pretoria, South Africa: Water Research Commission

Texto completo disponível

5
Virtual reality therapy for rehabilitation of balance in the elderly: a systematic review and META-analysis
Material Type:
Artigo
Adicionar ao Meu Espaço

Virtual reality therapy for rehabilitation of balance in the elderly: a systematic review and META-analysis

de Amorim, Juleimar Soares Coelho ; Leite, Renata Cristine ; Brizola, Renata ; Yonamine, Cristhiane Yumi

Advances in rheumatology (London, England), 2018-07, Vol.58 (1), p.18-18, Article 18 [Periódico revisado por pares]

England: BioMed Central

Texto completo disponível

6
Research to guide management of outdoor recreation and tourism in parks and protected areas
Material Type:
Artigo
Adicionar ao Meu Espaço

Research to guide management of outdoor recreation and tourism in parks and protected areas

Manning, Robert E

Koedoe, 2014-06, Vol.56 (2), p.1-7 [Periódico revisado por pares]

Pretoria: AOSIS (Pty) Ltd

Texto completo disponível

7
Water temperature prediction in a subtropical subalpine lake using soft computing techniques
Material Type:
Artigo
Adicionar ao Meu Espaço

Water temperature prediction in a subtropical subalpine lake using soft computing techniques

Samadianfard, Saeed ; Kazemi, Honeyeh ; Kisi, Ozgur ; Liu, Wen-Cheng

Earth sciences research journal, 2016-06, Vol.20 (2), p.D1-11 [Periódico revisado por pares]

Bogata: Universidad Nacional de Colombia, Departamento de Geociencias

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de2006  (1)
  2. 2006Até2007  (1)
  3. 2008Até2013  (1)
  4. 2014Até2016  (2)
  5. Após 2016  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.