Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Automated formal specification generation and refinement from requirement documentsCabral, Gustavo ; Sampaio, AugustoJournal of the Brazilian Computer Society, 2008-03, Vol.14 (1), p.87-106 [Periódico revisado por pares]London: Springer-VerlagTexto completo disponível |
|
2 |
Material Type: Artigo
|
Computational aspects of the Helly property: a surveyDourado, 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çãoTexto completo disponível |
|
3 |
Material Type: Artigo
|
Ropivacaine promotes apoptosis of hepatocellular carcinoma cells through damaging mitochondria and activating caspase-3 activityWang, Wenting ; Zhu, Mingyue ; Xu, Zhixin ; Li, Wei ; Dong, Xu ; Chen, Yi ; Lin, Bo ; Li, MengsenBiological research, 2019-07, Vol.52 (1), p.36-10, Article 36 [Periódico revisado por pares]England: BioMed Central LtdTexto completo disponível |
|
4 |
Material Type: Artigo
|
Pre-disaster planning and preparedness: Drought and flood forecasting and analysis in ZimbabweSamu, Remember ; Akintug, BertugWater S. A., 2020-07, Vol.46 (3), p.448-457 [Periódico revisado por pares]Pretoria, South Africa: Water Research CommissionTexto completo disponível |
|
5 |
Material Type: Artigo
|
Virtual reality therapy for rehabilitation of balance in the elderly: a systematic review and META-analysisde Amorim, Juleimar Soares Coelho ; Leite, Renata Cristine ; Brizola, Renata ; Yonamine, Cristhiane YumiAdvances in rheumatology (London, England), 2018-07, Vol.58 (1), p.18-18, Article 18 [Periódico revisado por pares]England: BioMed CentralTexto completo disponível |
|
6 |
Material Type: Artigo
|
Research to guide management of outdoor recreation and tourism in parks and protected areasManning, Robert EKoedoe, 2014-06, Vol.56 (2), p.1-7 [Periódico revisado por pares]Pretoria: AOSIS (Pty) LtdTexto completo disponível |
|
7 |
Material Type: Artigo
|
Water temperature prediction in a subtropical subalpine lake using soft computing techniquesSamadianfard, Saeed ; Kazemi, Honeyeh ; Kisi, Ozgur ; Liu, Wen-ChengEarth sciences research journal, 2016-06, Vol.20 (2), p.D1-11 [Periódico revisado por pares]Bogata: Universidad Nacional de Colombia, Departamento de GeocienciasTexto completo disponível |