Resultado da Pesquisa
A expressão de busca foi <dissemination, WEBSCI and firstgroup, *-INPE-MCTI-GOV-BR and year, 2015>.
347 referências foram encontradas buscando em 14 dentre 15 sites.
As 10 mais recentes estão listadas abaixo.
Eventualmente nem todas as referências esperadas puderam ser exibidas porque o acesso a pelo menos um site falhou.
Data e hora local de busca: 23/11/2020 23:12.

Área de identificação
Tipo da ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3KN384P
Repositóriosid.inpe.br/plutao/2015/12.04.14.41
Última Atualização2015:12.11.16.37.59 administrator
Metadadossid.inpe.br/plutao/2015/12.04.14.41.47
Última Atualização dos Metadados2020:10.01.15.57.53 administrator
DOI10.1590/1519-6984.04214
ISSN1519-6984
Rótulolattes: 9857505876280820 3 AffonsoQueiNovo:2015:AbVaAm
Chave de CitaçãoAffonsoQueiNovo:2015:AbVaAm
TítuloAbiotic variability among different aquatic systems of the central Amazon floodplain during drought and flood events
Ano2015
Data de Acesso23 nov. 2020
Número de Arquivos1
Tamanho4120 KiB
Área de contextualização
Autor1 Affonso, Adriana Gomes
2 Queiroz, Helder Lima de
3 Novo, Evlyn Márcia Leão de Moraes
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JH39
Grupo1 DSR-OBT-INPE-MCTI-GOV-BR
2
3 DSR-OBT-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 affonso@dsr.inpe.br
2
3 evlyn.novo@inpe.br
RevistaBrazilian Journal of Biology
Volume75
Nota SecundáriaA2_PLANEJAMENTO_URBANO_E_REGIONAL_/_DEMOGRAFIA A2_INTERDISCIPLINAR A2_GEOGRAFIA A2_DIREITO A2_CIÊNCIAS_AMBIENTAIS B1_ZOOTECNIA_/_RECURSOS_PESQUEIROS B1_GEOCIÊNCIAS B1_ENGENHARIAS_III B1_ENGENHARIAS_I B1_EDUCAÇÃO_FÍSICA B1_CIÊNCIAS_AGRÁRIAS_I B1_BIODIVERSIDADE B2_SOCIOLOGIA B2_SAÚDE_COLETIVA B2_PSICOLOGIA B2_ODONTOLOGIA B2_NUTRIÇÃO B2_MEDICINA_VETERINÁRIA B2_MEDICINA_III B2_MEDICINA_II B2_MATERIAIS B2_FARMÁCIA B2_ENGENHARIAS_IV B2_ENGENHARIAS_II B2_CIÊNCIA_DE_ALIMENTOS B3_MEDICINA_I B4_QUÍMICA B4_MATEMÁTICA_/_PROBABILIDADE_E_ESTATÍSTICA B4_CIÊNCIAS_BIOLÓGICAS_III B4_CIÊNCIAS_BIOLÓGICAS_II B4_CIÊNCIAS_BIOLÓGICAS_I B4_BIOTECNOLOGIA B5_ENSINO C_EDUCAÇÃO
Histórico2015-12-04 14:41:47 :: lattes -> administrator ::
2020-10-01 15:57:53 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Documentoconcluido
Estágio do Documentonot transferred
Transferível1
Tipo do ConteudoExternal Contribution
Tipo SecundárioPRE PN
Tipo de Versãopublisher
Palavras-Chaveamazon floodplain, lakes, aquatic systems.
ResumoThis paper examines water properties from lakes, (depression lakes, sensu Junk et al., 2012), channels (scroll lakes with high connectivity, sensu Junk et al., 2012) and paleo-channels (scroll lakes with low connectivity-sensu Junk et al., 2012, locally called ressacas) located in Mamirauá Sustainable Development Reserve, in Central Amazon floodplain, Amazonas, Brazil. We analysed surface temperature, conductivity, pH, dissolved oxygen, turbidity, transparency, suspended inorganic and organic matter, chlorophyll-a, pheophytin, total nitrogen, total phosphorus, organic and inorganic carbon in 2009 high water phase, 2009 and 2010 low water phases. Multivariate statistical analyses of 24 aquatic systems (6 ressacas, 12 lakes and 6 channels, 142 samples) were applied to the variables in order to: 1) quantify differences among aquatic system types; 2) assess how those differences are affected in the different phases of the hydrological year. First, we analysed the entire set of variables to test for differences among phases of the hydrological year and types of aquatic systems using a PERMANOVA two-way crossed design. The results showed that the all measured limnological variables are distinct regarding both factors: types of aquatic systems and hydrological phases. In general, the magnitude and amplitude of all variables were higher in the low water phase than in the high water phase, except for water transparency in all aquatic systems types. PERMANOVA showed that the differences between aquatic systems types and hydrological phases of all variables were highly significant for both main factors (type and phase) and for the type x phase interaction. Limnological patterns of Amazon floodplain aquatic systems are highly dynamic, dependent on the surrounding environment, flood pulse, main river input and system type. These patterns show how undisturbed systems respond to natural variability in such a diverse environment, and how distinct are those aquatic systems, especially during the low water phase. Aquatic systems in Mamirauá floodplain represent limnological patterns of almost undisturbed areas and can be used as future reference for comparison with disturbed areas, such as those of the Lower Amazon, and as a baseline for studies on the effects of anthropogenic influences and climate change and on Amazon aquatic ecosystem.
AreaSRE
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo Alvo1_affonso.pdf
e-Mail (login)simone
Grupo de Usuárioslattes
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Política de Arquivamentoallowpublisher allowfinaldraft
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ER446E
DivulgaçãoWEBSCI; PORTALCAPES; SCIELO; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
NotasSetores de Atividade: Pesquisa e desenvolvimento científico.
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn lineage mark month nextedition number orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url
Área de controle da descrição
atualizar 
similares 
Área de identificação
Tipo da ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3JJPQRP
Repositóriosid.inpe.br/plutao/2015/06.01.15.08   (acesso restrito)
Última Atualização2015:06.02.15.08.37 administrator
Metadadossid.inpe.br/plutao/2015/06.01.15.08.29
Última Atualização dos Metadados2020:10.01.15.57.52 administrator
DOI10.5194/isprsarchives-XL-7-W3-1439-2015
ISSN1682-1750
Rótulolattes: 1596449770636962 1 BarbosaNFCCLSA:2015:PrRe
Chave de CitaçãoBarbosaNFCCLSA:2015:PrRe
TítuloBrazilian inland water bio-optical dataset to support carbon budget studies in reservoirs as well as anthropogenic impacts in Amazon floodplain lakes: Preliminary results
Ano2015
Data de Acesso23 nov. 2020
Número de Arquivos1
Tamanho605 KiB
Área de contextualização
Autor1 Barbosa, Claudio Clemente Faria
2 Novo, Evlyn Márcia Leão de Moraes
3 Ferreira, R.
4 Carvalho, Lino Augusto Sander de
5 Cairo, Carolline Tressmann
6 Lopes, F.
7 Stech, José Luiz
8 Alcântara, Enner Herenio de
Identificador de Curriculo1 8JMKD3MGP5W/3C9JGSB
2 8JMKD3MGP5W/3C9JH39
3
4
5
6
7 8JMKD3MGP5W/3C9JHHN
Grupo1 DPI-OBT-INPE-MCTI-GOV-BR
2 DSR-OBT-INPE-MCTI-GOV-BR
3
4 DSR-OBT-INPE-MCTI-GOV-BR
5 DSR-OBT-INPE-MCTI-GOV-BR
6
7 DSR-OBT-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
5 Instituto Nacional de Pesquisas Espaciais (INPE)
6 Universidade Federal do Ceará (UFC)
7 Instituto Nacional de Pesquisas Espaciais (INPE)
8 Universidade de São Paulo (USP)
RevistaInternational Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Volume40
Histórico2015-06-01 15:08:29 :: lattes -> administrator ::
2020-10-01 15:57:52 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Documentoconcluido
Estágio do Documentonot transferred
Transferível1
Tipo do ConteudoExternal Contribution
Tipo SecundárioPRE PI
Tipo de Versãopublisher
Páginas1439-1446
AreaSRE
Tipo de Trabalhoconference paper
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo Alvobarbosa_brazilian.pdf
e-Mail (login)simone
Grupo de Usuáriosadministrator
lattes
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3EQCCU5
8JMKD3MGPCW/3ER446E
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosabstract alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress electronicmailaddress format isbn keywords lineage mark month nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url
Área de controle da descrição
atualizar 
similares 
Área de identificação
Tipo da ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3HG7P87
Repositóriosid.inpe.br/plutao/2014/12.01.14.15.59   (acesso restrito)
Última Atualização2015:02.11.14.35.31 administrator
Metadadossid.inpe.br/plutao/2014/12.01.14.16
Última Atualização dos Metadados2020:10.01.15.57.51 administrator
DOI10.1007/s11273-014-9359-1
ISSN0923-4861
Rótulolattes: 9857505876280820 9 Ferreira-FerreiraSSAAFVQM:2014:CoALDe
Chave de CitaçãoFerreira-FerreiraSSAFFVQN:2015:CoALDe
TítuloCombining ALOS/PALSAR derived vegetation structure and inundation patterns to characterize major vegetation types in the Mamirauá Sustainable Development Reserve, Central Amazon floodplain, Brazil
Ano2015
MêsFeb.
Data de Acesso23 nov. 2020
Número de Arquivos1
Tamanho4784 KiB
Área de contextualização
Autor1 Ferreira-Ferreira, Jefferson
2 Silva, Thiago Sanna Freire
3 Streher, Annia Susin
4 Affonso, Adriana Gomes
5 Furtado, Luiz Felipe de Almeida
6 Forsberg, Bruce Rider
7 Valsecchi, João
8 Queiroz, Helder Lima
9 Novo, Evlyn Márcia Leão de Moraes
Identificador de Curriculo1
2
3
4
5
6
7
8
9 8JMKD3MGP5W/3C9JH39
Grupo1
2
3
4 DSR-OBT-INPE-MCTI-GOV-BR
5 SER-SRE-SPG-INPE-MCTI-GOV-BR
6
7
8
9 DSR-OBT-INPE-MCTI-GOV-BR
Afiliação1 Instituto de Desenvolvimento Sustentável Mamirauá
2 Universidade Estadual Paulista (UNESP)
3 Instituto de Desenvolvimento Sustentável Mamirauá
4 Instituto Nacional de Pesquisas Espaciais (INPE)
5 Instituto Nacional de Pesquisas Espaciais (INPE)
6 Instituto Nacional de Pesquisas da Amazônia (INPA)
7 Instituto de Desenvolvimento Sustentável Mamirauá
8 Instituto de Desenvolvimento Sustentável Mamirauá
9 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 jefferson.ferreira@mamiraua.org.br
2
3
4 affonso@dsr.inpe.br
5 furtadolf@hotmail.com
6
7
8
9 evlyn@ltid.inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
RevistaWetlands Ecology and Management
Volume231
Nota SecundáriaA1_GEOGRAFIA B1_GEOCIÊNCIAS B1_INTERDISCIPLINAR B1_BIODIVERSIDADE B2_BIOTECNOLOGIA B3_CIÊNCIAS_BIOLÓGICAS_I B3_ENGENHARIAS_II
Histórico2014-12-01 14:16:00 :: lattes -> administrator ::
2015-04-06 15:50:53 :: administrator :: 2014 -> 2015
2020-10-01 15:57:51 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Documentoconcluido
Estágio do Documentonot transferred
Transferível1
Tipo do ConteudoExternal Contribution
Tipo SecundárioPRE PI
Tipo de Versãopublisher
Número1
Páginas41-59
Palavras-ChaveWetlands, SAR images, Amazon region.
ResumoRemote sensing studies of vegetation cover and hydrologic dynamics in Amazonian wetlands have been mostly limited temporally or spatially, and the distribution and spatial configuration of Amazonian va´rzea habitats remains poorly known. This study uses multitemporal PALSAR L-band radar imagery combined with object-based image analysis, data mining techniques and field data to derive vegetation structure and inundation patterns and characterize major vegetation types in va´rzea forests of the Mamirauá Sustainable Development Reserve. Our results show that the combination of vegetation cover and inundation extent information can be a good indicator of the complex gradient of habitats along the floodplain. The intersection between vegetation and flood duration classes showed a wider range of combinations than suggested from field based studies. Chavascal areas chacaracterized as a dense and species-poor shrub/tree community developing in old depressions, abandoned channels, and shallow lakes had shorter inundation periods than the usually recognized hydroperiod of 180240 days of flooding, while low várzea a diverse community that have fewest and smallest species, and highest individual density and that tolerate 120180 days of flooding every year was distributed between flood duration ranges that were higher than reported by the literature. Forest communities growing at sites that were never mapped as flooded could indicate areas that only flood during extreme hydrological events, for short periods of time. Our results emphasize the potential contribution of SAR remote sensing to the monitoring and management of wetland environments, providing not only accurate information on spatial landscape configuration and vegetation distribution, but also important insights on the ecohydrological processes that ultimately determine the distribution of complex floodplain habitat mosaics.
AreaSRE
Tipo de Trabalhojournal article
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
e-Mail (login)simone
Grupo de Usuáriosadministrator
lattes
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Política de Arquivamentodenypublisher denyfinaldraft12
Permissão de Leituradeny from all and allow from 150.163
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ER446E
8JMKD3MGPCW/3F3NU5S
DivulgaçãoWEBSCI; PORTALCAPES; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
NotasSetores de Atividade: Pesquisa e desenvolvimento científico.
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject targetfile tertiarymark tertiarytype url
Área de controle da descrição
atualizar 
similares 
Área de identificação
Tipo da ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3HG7P85
Repositóriosid.inpe.br/plutao/2014/12.01.14.15.57   (acesso restrito)
Última Atualização2015:01.13.18.37.59 administrator
Metadadossid.inpe.br/plutao/2014/12.01.14.15.58
Última Atualização dos Metadados2020:10.01.15.57.51 administrator
DOI10.1016/j.rse.2014.04.030
ISSN0034-4257
Rótulolattes: 9857505876280820 3 LoboCostNovo:2014:TiAnLa
Chave de CitaçãoLoboCostNovo:2015:TiAnLa
TítuloTime-series analysis of Landsat-MSS/TM/OLI images over Amazonian waters impacted by gold mining activities
Ano2015
Data de Acesso23 nov. 2020
Número de Arquivos1
Tamanho2573 KiB
Área de contextualização
Autor1 Lobo, Felipe L.
2 Costa, Maycira P. F.
3 Novo, Evlyn Márcia Leão de Moraes
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JH39
Grupo1
2
3 DSR-OBT-INPE-MCTI-GOV-BR
Afiliação1 University of Victoria
2 University of Victoria
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2
3 evlyn@ltid.inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
RevistaRemote Sensing of Environment
Volume157
Nota SecundáriaA1_GEOCIÊNCIAS A1_BIODIVERSIDADE A1_CIÊNCIAS_AMBIENTAIS A1_INTERDISCIPLINAR A1_ENGENHARIAS_I A1_CIÊNCIAS_AGRÁRIAS_I A1_CIÊNCIAS_BIOLÓGICAS_I
Histórico2014-12-01 14:15:58 :: lattes -> administrator ::
2014-12-05 17:26:14 :: administrator -> lattes :: 2014
2014-12-05 17:28:19 :: lattes -> marcelo.pazos@sid.inpe.br :: 2014 -> xxxx
2015-01-13 18:37:59 :: marcelo.pazos@sid.inpe.br -> administrator :: xxxx -> 2015
2020-10-01 15:57:51 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Documentoconcluido
Estágio do Documentonot transferred
Transferível1
Tipo do ConteudoExternal Contribution
Tipo SecundárioPRE PI
Tipo de Versãopublisher
Páginas170-184
Palavras-ChaveLandsat time series, deglinting, atmspheric correction, golding mining.
ResumoWater siltation caused by artisanal gold mining has impacted the Tapajós River Basin in Brazil for the past 40. years, however spatial-temporal information about changes in water quality and consequences to the aquatic environment is lacking. To address this, the Landsat satellite family sensors were used to retrieve total suspended solids (TSS) of the water of the Tapajós River from 1973 to 2013. An image processing approach that includes atmospheric correction, based on the 6S model, and glint removing, based on shortwave infrared correction, was applied and validated with in situ radiometric data. An optimization of the atmospheric correction having dark dense forest spectra as reference was applied and allowed a robust correction of MSS, TM and OLI signal to surface reflectance values. Sediment concentration was estimated based on a non-linear empirical regression between measured TSS and satellite surface reflectance at red band. The multi-temporal analysis of TSS showed that the sediment load in the Tapajós aquatic system is in synchrony with mining activities, and a constant seasonal variation of water siltation is observed throughout the time frame of this study. At the end of the rainy season, mining activities intensify and, coupled with low water flow, TSS increases. During the high water level, TSS concentrations were consistently lower because of high water dilution and low mining activity. In a decadal analysis, a peak of sediment concentration coincides with a peak of gold production in all sites analyzed during early 1990s. More recently, due to the currently gold rush, an increase in suspended solids has been observed mainly in the Novo and Tocantins rivers where industrial mining has been installed.
AreaSRE
Tipo de Trabalhojournal article
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo Alvotime series analysis.pdf
e-Mail (login)simone
Grupo de Usuáriosadministrator
lattes
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Política de Arquivamentodenypublisher allowfinaldraft24
Permissão de Leituradeny from all and allow from 150.163
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ER446E
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark month nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype url
Área de controle da descrição
atualizar 
similares 
Área de identificação
Tipo da ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3KN36GH
Repositóriosid.inpe.br/plutao/2015/12.04.14.22   (acesso restrito)
Última Atualização2020:09.14.15.03.54 simone
Metadadossid.inpe.br/plutao/2015/12.04.14.22.42
Última Atualização dos Metadados2020:09.14.15.03.54 simone
ISSN0302-9743
Rótulolattes: 5039690360728170 3 ErasSantSantVija:2015:ApBaUM
Chave de CitaçãoErasSantSantVija:2015:ApBaUM
TítuloTowards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking
Ano2015
Data de Acesso23 nov. 2020
Número de Arquivos1
Tamanho1299 KiB
Área de contextualização
Autor1 Eras, Eduardo Rohde
2 Santos, Luciana Brasil Rebelo dos
3 Santiago Júnior, Valdivino Alexandre de
4 Vijaykumar, Nandamudi Lankalapalli
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JJB5
4 8JMKD3MGP5W/3C9JHTU
Grupo1
2
3 LAC-CTE-INPE-MCTI-GOV-BR
4 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2
3 valdivino.santiago@inpe.br
4 vijay.nl@inpe.br
RevistaLecture Notes in Computer Science
Volume9158
Nota SecundáriaA1_BIODIVERSIDADE A1_ADMINISTRAÇÃO,_CIÊNCIAS_CONTÁBEIS_E_TURISMO A2_GEOGRAFIA B1_SAÚDE_COLETIVA B1_INTERDISCIPLINAR B1_CIÊNCIAS_SOCIAIS_APLICADAS_I B2_EDUCAÇÃO B2_ARQUITETURA_E_URBANISMO B3_PSICOLOGIA B3_ODONTOLOGIA B3_MEDICINA_III B3_MEDICINA_II B3_MEDICINA_I B3_GEOCIÊNCIAS B3_ENGENHARIAS_II B3_ENGENHARIAS_I B3_EDUCAÇÃO_FÍSICA B3_DIREITO B4_MATERIAIS B4_BIOTECNOLOGIA B5_MEDICINA_VETERINÁRIA B5_ENSINO B5_CIÊNCIAS_BIOLÓGICAS_II B5_CIÊNCIAS_BIOLÓGICAS_I C_QUÍMICA C_MATEMÁTICA_/_PROBABILIDADE_E_ESTATÍSTICA C_ENGENHARIAS_IV C_ENGENHARIAS_III C_CIÊNCIAS_BIOLÓGICAS_III C_CIÊNCIAS_AMBIENTAIS C_CIÊNCIAS_AGRÁRIAS_I C_CIÊNCIA_DA_COMPUTAÇÃO C_ASTRONOMIA_/_FÍSICA
Histórico2015-12-04 14:22:42 :: lattes -> administrator ::
2018-06-04 23:25:57 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Documentoconcluido
Estágio do Documentonot transferred
Transferível1
Tipo do ConteudoExternal Contribution
Tipo SecundárioPRE PI
Tipo de Versãopublisher
Páginas612-627
Palavras-ChaveModel Checking, UML, Formal Methods, Formal Verification.
ResumoThe Unified Modeling Language (UML) is widely used to model systems for object oriented and/or embedded software development, specially by means of its several behavioral diagrams which can provide different points of view of the same software scenario. Model Checking is a formal verification method which has been receiving much attention from the academic community. However, in general, practitioners still avoid using Model Checking in their projects due to several reasons. Based on these facts, we present in this paper a significant improvement of a tool that we have developed which aims to translate several UML behavioral diagrams (sequence, activity, and state machine) into Transition Systems to support software Model Checking. With all the changes, we have applied our tool to a real space software product which is under development for a stratospheric balloon project to show how feasible is our approach in practice.
AreaCOMP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo Alvoeras_towards.pdf
e-Mail (login)simone
Grupo de Usuárioslattes
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Política de Arquivamentodenypublisher denyfinaldraft12
Permissão de Leituradeny from all and allow from 150.163
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
URL (dados não confiáveis)http://link.springer.com/chapter/10.1007%2F978-3-319-21410-8_47
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
NotasSetores de Atividade: Pesquisa e desenvolvimento científico.
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel doi e-mailaddress format isbn lineage mark month nextedition number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype typeofwork
Área de controle da descrição
atualizar 
similares 
Área de identificação
Tipo da ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3HG7ELT
Repositóriosid.inpe.br/plutao/2014/12.01.12.32.22   (acesso restrito)
Última Atualização2015:01.13.16.04.32 simone
Metadadossid.inpe.br/plutao/2014/12.01.12.32.23
Última Atualização dos Metadados2020:09.08.22.44.30 simone
DOI10.1016/j.epsr.2014.06.002
ISSN0378-7796
1873-2046
Rótulolattes: 5746446930759722 2 SabaSchWarHelOrv:2014:HiViEl
Chave de CitaçãoSabaSchWarHelOrv:2015:HiViEl
TítuloHigh-speed video and electric field observation of a negative upward leader connecting a downward positive leader in a positive cloud-to-ground flash
Ano2015
Data de Acesso23 nov. 2020
Número de Arquivos1
Tamanho563 KiB
Área de contextualização
Autor1 Saba, Marcelo Magalhães Fares
2 Schumann, Carina
3 Warner, Tom A.
4 Helsdon, John H.
5 Orville, Richard E.
Identificador de Curriculo1 8JMKD3MGP5W/3C9JHP6
Grupo1 CST-CST-INPE-MCTI-GOV-BR
2 GESATM-CEA-SPG-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 South Dakota School of Mines and Technology
4 South Dakota School of Mines and Technology
5 Texas A&M University
Endereço de e-Mail do Autor1 marcelo.saba@inpe.br
2 schumann@dge.inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
RevistaElectric Power Systems Research
Volume118
Nota SecundáriaA1_ENGENHARIAS_IV A2_INTERDISCIPLINAR A2_ENGENHARIAS_III B1_MATEMÁTICA_/_PROBABILIDADE_E_ESTATÍSTICA B2_CIÊNCIA_DA_COMPUTAÇÃO
Histórico2014-12-01 13:22:21 :: lattes -> administrator :: 2014
2015-01-13 16:04:33 :: administrator -> marcelo.pazos@sid.inpe.br :: 2014
2015-01-14 15:45:34 :: marcelo.pazos@sid.inpe.br -> administrator :: 2014 -> 2015
2018-06-04 23:25:35 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Documentoconcluido
Estágio do Documentonot transferred
Transferível1
Tipo do ConteudoExternal Contribution
Tipo SecundárioPRE PI
Tipo de Versãopublisher
Páginas89-92
Palavras-ChavePositive lightning, positive leader, stepped leader, high-speed video, electric field, connect leader.
ResumoIt has been discussed in past papers if a positive leader propagates in a stepped fashion or not. Some studies state that, in some positive cloud-to-ground flashes, the electric field pulses observed just before the connection of the positive leader to ground could be a manifestation of the stepping of the leader. Some authors say, however, that it may be due to the stepping of the negative upward connecting leader during its ascension toward the downward positive leader. In this work we present a well-documented case of a positive cloud-to-ground flash that shows that the pulses observed in the electric field preceding the return stroke are due solely to the upward propagation of a negative connecting leader. This flash was recorded simultaneously by a fast electric field sensor and a high-speed camera in July 2012 in the Black Hills area of South Dakota.
AreaCST
Tipo de Trabalhojournal article
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo AlvoHigh speed.pdf
e-Mail (login)simone
Grupo de Usuáriosadministrator
lattes
marcelo.pazos@inpe.br
self-uploading-INPE-MCTI-GOV-BR
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
simone
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Área de fontes relacionadas
Vinculação8JMKD3MGP7W/3BPDNCS
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PG65
8JMKD3MGPCW/3F3T29H
URL (dados não confiáveis)http://www.sciencedirect.com/science/article/pii/S0378779614002119
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark month nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarytype
Área de controle da descrição
atualizar 
similares 
Área de identificação
Tipo da ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3KN2LRB
Repositóriosid.inpe.br/plutao/2015/12.04.11.48
Metadadossid.inpe.br/plutao/2015/12.04.11.48.10
Última Atualização dos Metadados2018:06.21.04.25.15 administrator
ISSN0003-0007
Rótulolattes: 2194275113941232 4 MarengoEspiRoncAlve:2015:TrSoAm
Chave de CitaçãoMarengoEspiRoncAlve:2015:TrSoAm
TítuloTropical South America east of the Andes
Ano2015
Data de Acesso23 nov. 2020
Área de contextualização
Autor1 Marengo, José Antônio
2 Espinoza, J. C.
3 Ronchail, J.
4 Alves, Lincoln Muniz
Identificador de Curriculo1 8JMKD3MGP5W/3C9JHG3
Grupo1 CST-CST-INPE-MCTI-GOV-BR
2
3
4 CST-CST-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 jose.marengo@inpe.br
2
3
4 lincoln.alves@inpe.br
RevistaBulletin of the American Meteorological Society
Volume96
Nota SecundáriaA1_INTERDISCIPLINAR A1_GEOCIÊNCIAS A1_ENGENHARIAS_III A1_CIÊNCIAS_AMBIENTAIS A1_BIODIVERSIDADE
Histórico2015-12-04 11:48:10 :: lattes -> administrator ::
2018-06-21 04:25:15 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
Estágio do Documentoconcluido
Estágio do Documentonot transferred
Transferível1
Tipo do ConteudoExternal Contribution
Tipo SecundárioPRE PI
Número7
PáginasS179-S182
AreaCST
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomapt
e-Mail (login)simone
Grupo de Usuáriosadministrator
lattes
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Política de Arquivamentodenypublisher6 allowfinaldraft
Permissão de Leituradeny from all and allow from 150.163
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3F35TRS
8JMKD3MGPCW/3F3T29H
URL (dados não confiáveis)https://www2.ametsoc.org/ams/index.cfm/publications/bulletin-of-the-american-meteorological-society-bams/state-of-the-climate/
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosabstract alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel doi e-mailaddress format isbn keywords lineage mark month nextedition notes numberoffiles orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle size sponsor subject targetfile tertiarymark tertiarytype typeofwork versiontype
Área de controle da descrição
atualizar 
similares 
TrabaquiniFormGalv:2015:ChPhPr
referência não acessivel
<mtc-m16d.sid.inpe.br>

Área de identificação
Tipo da ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3MTN3C8
Repositóriosid.inpe.br/plutao/2016/12.05.19.20.12
Metadadossid.inpe.br/plutao/2016/12.05.19.20.13
Última Atualização dos Metadados2018:06.04.23.26.19 administrator
ISSN0065-3438.
Rótulolattes: 7340081273816424 2 OliveiraPrad:2016:SeMoSt
Chave de CitaçãoOliveiraPrad:2015:SeMoSt
TítuloSearching for more Stable Perturbed Orbits around the Earth
Ano2015
Data de Acesso23 nov. 2020
Área de contextualização
Autor1 Oliveira, Thais C.
2 Prado, Antonio Fernando Bertachini de Almeida
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGJA
Grupo1
2 SPG-GB-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
RevistaAdvances in the Astronautical Sciences
Volume156
Histórico2016-12-12 15:42:57 :: lattes -> administrator :: 2016 -> 2015
2018-06-04 23:26:19 :: administrator -> lattes :: 2015
Área de conteúdo e estrutura
Estágio do Documentoconcluido
Estágio do Documentonot transferred
Transferível1
Tipo do ConteudoExternal Contribution
Tipo SecundárioPRE PI
Páginas955-972
Palavras-ChaveAstrodinamica.
AreaETES
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
e-Mail (login)lattes
Grupo de Usuárioslattes
Grupo de Leitoresadministrator
lattes
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Área de fontes relacionadas
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosabstract alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel doi e-mailaddress electronicmailaddress format isbn lineage mark mirrorrepository month nextedition nexthigherunit notes number numberoffiles orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey secondarymark session shorttitle size sponsor subject targetfile tertiarymark tertiarytype typeofwork url versiontype
Área de controle da descrição
atualizar 
similares 
Área de identificação
Tipo da ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3MTN3C6
Repositóriosid.inpe.br/plutao/2016/12.05.19.20.10   (acesso restrito)
Última Atualização2016:12.13.12.25.55 lattes
Metadadossid.inpe.br/plutao/2016/12.05.19.20.11
Última Atualização dos Metadados2018:06.04.23.26.19 administrator
ISSN0065-3438.
Rótulolattes: 7340081273816424 4 SantosCarvVilhPrad:2016:SeSpDy
Chave de CitaçãoSantosCarvVilhPrad:2015:SeSpDy
TítuloSemi-Analytical Spacecraft Dynamics Around Planetary Moons
Ano2015
Data de Acesso23 nov. 2020
Número de Arquivos1
Tamanho932 KiB
Área de contextualização
Autor1 Santos, Josue cardoso dos
2 Carvalho, Jean Paulo dos Santos
3 Vilhena de Moraes, R.
4 Prado, Antonio Fernando Bertachini de Almeida
Identificador de Curriculo1
2
3
4 8JMKD3MGP5W/3C9JGJA
Grupo1
2
3
4 SPG-GB-INPE-MCTI-GOV-BR
Afiliação1
2
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
RevistaAdvances in the Astronautical Sciences
Volume156
Histórico2016-12-13 12:25:55 :: lattes -> administrator :: 2016 -> 2015
2018-06-04 23:26:19 :: administrator -> lattes :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Documentoconcluido
Estágio do Documentonot transferred
Transferível1
Tipo do ConteudoExternal Contribution
Tipo SecundárioPRE PI
Tipo de Versãopublisher
Páginas569-584
Palavras-ChaveAstrodinamica.
AreaETES
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo AlvoSantos_semi.pdf
e-Mail (login)lattes
Grupo de Usuárioslattes
Grupo de Leitoresadministrator
lattes
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Área de fontes relacionadas
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosabstract alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel doi e-mailaddress electronicmailaddress format isbn lineage mark mirrorrepository month nextedition nexthigherunit notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url
Área de controle da descrição
atualizar 
similares