Resultado da Pesquisa
A expressão de busca foi <secondaryty cn and ref conference and firstg LAC-CTE-INPE-MCTI-GOV-BR and y 2013 and not is *>.
11 referências foram encontradas buscando em 17 dentre 17 Arquivos
(este total pode incluir algumas duplicatas - para ver a conta certa clique no botão Mostrar Todas).
As 10 mais recentes estão listadas abaixo.
Data e hora local de busca: 29/03/2024 03:25.

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3EP8K8K
Repositóriosid.inpe.br/mtc-m19/2013/09.02.14.51.44
Última Atualização2020:08.18.19.23.57 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m19/2013/09.02.14.51.45
Última Atualização dos Metadados2022:09.14.20.06.29 (UTC) administrator
Chave de CitaçãoErasVija:2013:DiUMVe
TítuloDiagramas UML na verificação formal de software
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho1005 KiB
2. Contextualização
Autor1 Eras, Eduardo Rohde
2 Vijaykumar, Nandamudi Lankalapalli
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHTU
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 eduardorohdeeras@gmail.com
2 vijay@lac.inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
Nome do EventoSeminário de Iniciação Científica do INPE (SICINPE).
Localização do EventoSão José dos Campos
Data30 e 31 de julho de 2013
Editora (Publisher)INPE
Cidade da EditoraSão José dos Campos
Título do LivroAnais
Histórico (UTC)2013-09-02 14:51:45 :: marcelo.pazos@sid.inpe.br -> administrator ::
2020-04-29 12:37:26 :: administrator -> simone :: 2013
2020-08-18 19:23:58 :: simone -> administrator :: 2013
2022-09-14 20:06:29 :: administrator -> simone :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavediagramas UML
software
Métodos de Verificação Formal
ResumoMétodos de Verificação Formal oferecem grande potencial para prover técnicas de verificação mais efetivas, pois utilizam rigor matemático para estabelecer a correção do sistema (BAIER, 2008). Além disso, Métodos de Verificação Formal, como por exemplo Model Checking, são aplicados de forma mais eficiente nos estágios iniciais do projeto de software, quando os custos são ainda baixos e os benefícios podem ser altos, aumentando a qualidade dos sistemas de software. Todavia, exatamente por utilizarem um rigor matemático que muitas vezes é exigido dos usuários, Métodos de Verificação Formal não são muito adotados como técnica de verificação de sistemas, pois a preferência dos usuários é dada a processos de verificação mais simples.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Diagramas UML na...
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2013 > Diagramas UML na...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 02/09/2013 11:51 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3EP8K8K
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3EP8K8K
Idiomapt
Arquivo AlvoEras_diagramas.pdf
Grupo de Usuáriosmarcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
simone
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8RC
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3EQGU92
Repositóriosid.inpe.br/mtc-m19/2013/09.10.16.03
Última Atualização2020:08.18.20.03.46 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m19/2013/09.10.16.03.18
Última Atualização dos Metadados2022:07.08.21.12.55 (UTC) administrator
Chave de CitaçãoSantosMaca:2013:CoSiRe
TítuloControle e sincronização em redes neurais oscilatórias e a codificação de informações dinâmicas
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho814 KiB
2. Contextualização
Autor1 Santos, Lucas Campanari Simplicio dos
2 Macau, Elbert Einstein Nehrer
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGUT
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Universidade de São Paulo (USP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 lucas.campanari.santos@usp.br
2 elbert@lac.inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
Nome do EventoSeminário de Iniciação Científica do INPE (SICINPE).
Localização do EventoSão José dos Campos
Data30 e 31 de julho de 2013
Editora (Publisher)INPE
Cidade da EditoraSão José dos Campos
Título do LivroAnais
Histórico (UTC)2013-09-10 16:03:18 :: marcelo.pazos@sid.inpe.br -> administrator ::
2020-04-29 12:37:28 :: administrator -> simone :: 2013
2020-08-18 20:03:47 :: simone -> administrator :: 2013
2022-07-08 21:12:55 :: administrator -> simone :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveredes neurais oscilatórias
informações dinâmicas
atividade neural
ResumoA dinâmica de neurônios acoplados é de interesse em diversas situações práticas, desde convulsões e distúrbios do sono até Mal de Alzheimer e depressão. Neurônios em sincronia, por exemplo, seriam desejáveis nos estágios do sono, mas não seriam bem-vindos em casos relacionados a neuropatologias, como o Mal de Parkinson. O objetivo dessa etapa atual do trabalho é obter um melhor entendimento por trás da dinâmica de neurônios acoplados que pode, eventualmente, levá-los à sincronia, ou não. Para isso, simulamos numericamente o modelo de Huber-Braun (HB), uma modificação das equações de Hodkin-Huxley, que é capaz de reproduzir atividade neural em uma vasta gama de configurações de parâmetros. Para obter diferentes comportamentos neurais (regimes tônico, bursting, caótico ou subthreshold oscillations), variou-se o parâmetro relativo à repolarização lenta do potencial de ação. As simulações numéricas do modelo de HB indicam como o acoplamento (neste caso, elétrico e bidirecional) entre neurônios pode levá-los à um estado sincronizado, ou não, dependendo dos estados dinâmicos de cada neurônio e da força de acoplamento. Foi encontrado que uma constante de acoplamento suficientemente alta faz com que os neurônios que experimentam essa conexão se sincronizem. Em uma rede de três neurônios, linearmente acoplados, os elementos das extremidades influenciam um ao outro, embora estejam conectados indiretamente por um neurônio central. Analisando o mapa de sincronia desses três neurônios, observou-se que - para determinados valores de constante de acoplamento - pode haver sincronia entre os neurônios das extremidades sem que haja sincronia com o neurônio que os conecta.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Controle e sincronização...
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2013 > Controle e sincronização...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 10/09/2013 13:03 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3EQGU92
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3EQGU92
Idiomapt
Arquivo AlvoSantos_controle.pdf
Grupo de Usuáriosmarcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8RC
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3EPM9LP
Repositóriosid.inpe.br/mtc-m19/2013/09.05.12.00.21
Última Atualização2020:08.18.19.45.34 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m19/2013/09.05.12.00.22
Última Atualização dos Metadados2022:07.08.21.12.47 (UTC) administrator
Chave de CitaçãoMirandaCarvSant:2013:EsSiPr
TítuloAutômatos celulares Markovianos - especificação e simulação de processos hidrológicos
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
Número de Arquivos2
Tamanho1389 KiB
2. Contextualização
Autor1 Miranda, Tiago Nogueira de Sá
2 Carvalho, Solon Venâncio de
3 Santos, Leonardo Bacelar Lima
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJ99
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 solon@lac.inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
Nome do EventoSeminário de Iniciação Científica do INPE (SICINPE).
Localização do EventoSão José dos Campos
Data30 e 31 de julho de 2013
Editora (Publisher)INPE
Cidade da EditoraSão José dos Campos
Título do LivroAnais
Histórico (UTC)2013-09-05 12:00:22 :: marcelo.pazos@sid.inpe.br -> administrator ::
2020-04-29 12:37:27 :: administrator -> simone :: 2013
2020-08-18 19:45:46 :: simone -> administrator :: 2013
2021-03-03 22:52:30 :: administrator -> simone :: 2013
2021-03-04 14:59:13 :: simone -> administrator :: 2013
2022-07-08 21:12:47 :: administrator -> simone :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveautômatos celulares
cadeias de Markov
autômatos celulares Markovianos
processos hidrológicos
ResumoEste trabalho de Iniciação Científica, iniciado em agosto de 2012, tem como objetivo desenvolver uma série de funções, na linguagem C, para efetuar operações hidrológicas o conjunto de tais funções originou a biblioteca HydroC. As operações realizadas tratam de cálculos com base no DEM (Modelo Digital de Elevação) representado por uma matriz, assim, com base nas altimetrias, é definida a direção do fluxo de escoamento de água, seguindo o critério do.
ÁreaSRE
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Autômatos celulares Markovianos...
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2013 > Autômatos celulares Markovianos...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 05/09/2013 09:00 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3EPM9LP
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3EPM9LP
Idiomapt
Arquivo AlvoTiago Nogueira de Sá Miranda.pdf
Grupo de Usuáriosmarcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
simone
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8RC
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3EPDH75
Repositóriosid.inpe.br/mtc-m19/2013/09.03.17.47
Última Atualização2020:08.18.19.33.26 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m19/2013/09.03.17.47.18
Última Atualização dos Metadados2022:07.08.21.12.17 (UTC) administrator
Chave de CitaçãoLessaVelhRuiz:2013:ExGPMo
TítuloExperimentos em GPU para o modelo de previsão ambiental CCATT-BRAMS
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho1089 KiB
2. Contextualização
Autor1 Lessa, Leandro dos Santos
2 Velho, Haroldo Fraga de Campos
3 Ruiz, Renata Sampaio da Rocha
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHC3
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 FATEC
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 leandroicinpe@gmail.com
2 haroldo@lac.inpe.br
3 renata@lac.inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
Nome do EventoSeminário de Iniciação Científica do INPE (SICINPE).
Localização do EventoSão José dos Campos
Data30 e 31 de julho de 2013
Editora (Publisher)INPE
Cidade da EditoraSão José dos Campos
Título do LivroAnais
Histórico (UTC)2013-09-03 17:47:18 :: marcelo.pazos@sid.inpe.br -> administrator ::
2020-04-29 12:37:27 :: administrator -> simone :: 2013
2020-08-18 19:33:27 :: simone -> administrator :: 2013
2022-07-08 21:12:17 :: administrator -> simone :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveprevisão ambiental
previsão numérica de tempo
General Purpose Graphical Processing Unit (GP-GPU)
ResumoModelos de previsão numérica de tempo são programas que requerem uso de computação intensiva devido a alta complexidade dos fenômenos e dos algoritmos envolvidos. Uma estratégia para melhorar o desempenho desses algoritmos é o uso da computação heterogênea que combina CPU com aceleradores (dispositivos de hardware utilizados para realizar parte do processamento). Entre os dispositivos de hardware, ganha cada vez mais destaque as placas gráficas por meio GP-GPU (General Purpose Graphical Processing Unit). O presente trabalho de inciação científica consiste na investigação de estratégias para o desenvolvimento em GPU, usando o padrão CUDA, da rotina de parametrização da Turbulência de Smagorinsky (proposta em 1963), implementada no modelo de previsão BRAMS (Brazilian Regional Atmospheric Modeling System) e do modelo de previsão ambiental CCATT-BRAMS(Coupled-Chemical Aerosol and Tracer Transport model to the Brazilian Regional Atmospheric System) desenvolvido e mantido pelo CPTEC/INPE. Esta pesquisa inicia-se com o aprendizado do processo de instalação, configuração e execução do modelo. Em seguida, é realizada uma análise da rotina original, identificando os trechos a serem paralelizados. Após essa análise, foi feita a codificação da rotina em GPU. O desempenho da implementação foi avaliado por meio do cálculo de speedup, considerando duas resoluções horizontais para o BRAMS: 40 km e 20 km. A comparação entre os tempos obtidos com a rotina original (em Fortran) e a rotina em CUDA, mostraram um ganho significativo de desempenho, com speed-up de 8 até 17 vezes mais rápido que a implementação serial. ABSTRACT: Numerical weather prediction models are codes requiring the use of the intensive computation. The simulation describes complex phenomena with very high number of arithmetic operations. A strategy to improve the performance in these models is the use of heterogeneous computing, combining CPU with accelerators. One hardware component for the latter purpose is the General Purpose of Graphics Processing Unit (GP-GPU). The present study investigates the turbulence parameterization routine in the model BRAMS (Brazilian Regional Atmospheric System), a regional meteorological code developed and supported by the CPTEC (Centro de Previsão de Tempo e Estudos Climáticos) of the INPE (Instituto Nacional de Pesquisas Espaciais). Several steps were needed to carry out the development: (i) BRAMS: installing, configuring, and running, (ii) analysis of the original Fortran routine, for identifying the component to be parallelized, (iii) turbulence GPU codification, using CUDA programming environment. Tests were executed considering two horizontal model resolutions on a South American region: 40 km, and 20 km. The performance showed a speed-up from 8 up to 17 times faster for GPU-code than serial one-core CPU.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Experimentos em GPU...
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2013 > Experimentos em GPU...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/09/2013 14:47 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3EPDH75
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3EPDH75
Idiomapt
Arquivo AlvoLessa_experimentos.pdf
Grupo de Usuáriosmarcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
simone
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8RC
Lista de Itens Citandosid.inpe.br/bibdigital/2013/09.22.23.14 2
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/434KL8L
Repositóriosid.inpe.br/mtc-m21b/2020/08.19.11.18
Última Atualização2020:08.19.11.18.19 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21b/2020/08.19.11.18.19
Última Atualização dos Metadados2022:07.08.21.11.24 (UTC) administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoBernardiVelh:2013:ApMoCC
TítuloExplorando GPGPU para aceleração de simulações atmosféricas: aplicação ao modelo CCATT-BRAMS
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho911 KiB
2. Contextualização
Autor1 Bernardi, Cezar Augusto Contini
2 Velho, Haroldo Fraga de Campos
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHC3
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Universidade Federal de Santa Maria (UFSM)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 haroldo@lac.inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
Nome do EventoSeminário de Iniciação Científica do INPE (SICINPE).
Localização do EventoSão José dos Campos
Data30-31 jul., 2014
Editora (Publisher)INPE
Cidade da EditoraSão José dos Campos
Título do LivroAnais
Histórico (UTC)2020-08-19 11:18:19 :: simone -> administrator ::
2022-07-08 21:11:24 :: administrator -> simone :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-ChaveGPU
simulações atmosféricas
CCATTBRAMS
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Explorando GPGPU para...
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2013 > Explorando GPGPU para...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 19/08/2020 08:18 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/434KL8L
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/434KL8L
Idiomapt
Arquivo AlvoBernardi_explorando.pdf
Grupo de Usuáriosmarcelo.pazos@inpe.br
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8RC
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosabstract archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3FCLGFM
Repositóriosid.inpe.br/plutao/2013/12.12.17.52.40
Última Atualização2018:08.27.13.03.45 (UTC) marcelo.pazos@inpe.br
Repositório de Metadadossid.inpe.br/plutao/2013/12.12.17.52.41
Última Atualização dos Metadados2018:08.27.13.03.45 (UTC) marcelo.pazos@inpe.br
Rótulolattes: 5039690360728170 1 SantiagoJúniorSilvCostSant:2013:AuTeCa
Chave de CitaçãoSantiagoJúniorSilvCostSant:2013:AuTeCa
TítuloEXTFV: Automated Test Case Execution and Automated Generation of Artifacts related to the Verification and Validation Process
FormatoDVD
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho255 KiB
2. Contextualização
Autor1 Santiago Júnior, Valdivino Alexandre de
2 Silva, Wendell Pereira da
3 Costa, Raffael Carvalho da
4 Santos, Diogo Vieira dos
Identificador de Curriculo1 8JMKD3MGP5W/3C9JJB5
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 valdivino.santiago@inpe.br
Endereço de e-Mailvaldivino.santiago@inpe.br
Nome do EventoSessão de Ferramentas do Congresso Brasileiro de Software: Teoria e Prática, 4 (CBSoft).
Localização do EventoBrasília-DF
Data2013
Páginas1-6
Título do LivroAnais
Tipo TerciárioPaper
Histórico (UTC)2013-12-12 17:52:41 :: lattes -> administrator ::
2018-06-04 23:39:24 :: administrator -> marcelo.pazos@inpe.br :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveVerificação e Validação de Software
Automatização de Testes de Software
ÁreaCEA
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > EXTFV: Automated Test...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W/3FCLGFM
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W/3FCLGFM
Idiomaen
Arquivo Alvosantiago junio_extfv.pdf
Grupo de Usuárioslattes
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume
7. Controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3FCLFCT
Repositóriosid.inpe.br/plutao/2013/12.12.17.39.16
Última Atualização2018:08.27.12.10.43 (UTC) marcelo.pazos@inpe.br
Repositório de Metadadossid.inpe.br/plutao/2013/12.12.17.39.17
Última Atualização dos Metadados2018:08.27.12.10.43 (UTC) marcelo.pazos@inpe.br
Rótulolattes: 5142426481528206 2 CintraCampFurt:2013:DaAs
Chave de CitaçãoCintraCampFurt:2013:DaAs
TítuloNeural network for performance improvement in atmospheric prediction systems: Data Assimilation
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho576 KiB
2. Contextualização
Autor1 Cintra, Rosangela S C
2 Campos Velho, Haroldo Fraga de
3 Furtado, Helaine Cristina Moraes
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHC3
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 haroldo@lac.inpe.br
Endereço de e-Mailharoldo@lac.inpe.br
Nome do EventoCongresso Brasileiro de Inteligência Computacional, (CBIC).
Localização do EventoRecife (PE) Natal (RN), Brasil
Data2013
Editora (Publisher)Sociedade Brasileira de Inteligência Computacional
Volume01
Páginas07-12
Título do LivroAnais
Tipo TerciárioPaper
Histórico (UTC)2013-12-12 17:39:17 :: lattes -> administrator ::
2018-06-04 23:39:23 :: administrator -> marcelo.pazos@inpe.br :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveData assilimation
Local ensemble transform Kalman filter (LETKF)
Representer variational method
Artificial neural network
Atmospheric 3D model
Ocean 2D model
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Neural network for...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W/3FCLFCT
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W/3FCLFCT
Idiomaen
Arquivo Alvocintra_neural.pdf
Grupo de Usuárioslattes
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
URL (dados não confiáveis)http://brics-cci.org/technical-program-of-cbic/
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type
7. Controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3FCLNT7
Repositóriosid.inpe.br/plutao/2013/12.12.19.10.44
Repositório de Metadadossid.inpe.br/plutao/2013/12.12.19.10.45
Última Atualização dos Metadados2018:06.04.23.39.26 (UTC) administrator
Rótulolattes: 4693848330845067 2 LopesDomiMend:2013:RePr
Chave de CitaçãoLopesDomiMend:2013:RePr
TítuloDiscretização temporal na simulação de equações de diferenciais parciais evolutivas: resultados preliminares
FormatoDVD
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
2. Contextualização
Autor1 Lopes, Müller Moreira S.
2 Domingues, Margarete Oliveira
3 Mendes, Odim
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHQP
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 mo.domingues@lac.inpe.br
Endereço de e-Mailmo.domingues@lac.inpe.br
Nome do EventoCongresso de Matemática Aplicada e Computacional do Sudeste, 2 (CMAC-SUDESTE).
Localização do EventoBauru São Carlos, São Paulo
Data2013
Editora (Publisher)SBMAC
Título do LivroAnais
Tipo TerciárioResumo Estendido
Histórico (UTC)2013-12-12 19:10:45 :: lattes -> administrator ::
2018-06-04 23:39:26 :: administrator -> marcelo.pazos@inpe.br :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Palavras-ChaveAnálise numérica
ÁreaCOMP
ArranjoDiscretização temporal na...
Conteúdo da Pasta docnão têm arquivos
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
Idiomapt
Grupo de Usuárioslattes
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Atualizaçãotransferida para marcelo.pazos@inpe.br
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
URL (dados não confiáveis)http://cmac.org.br/sites/cmac.org.br/files/folheto_programa_cmac-sudeste-2013_final_1.pdf
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
NotasSetores de Atividade: Transporte aéreo.
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn lineage mark nextedition numberoffiles numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle size sponsor subject targetfile tertiarymark type versiontype volume
7. Controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3FCLN5H
Repositóriosid.inpe.br/plutao/2013/12.12.19.01
Última Atualização2015:03.11.14.06.08 (UTC) administrator
Repositório de Metadadossid.inpe.br/plutao/2013/12.12.19.01.10
Última Atualização dos Metadados2018:06.04.23.39.25 (UTC) administrator
Rótulolattes: 7195702087655314 3 RibeiroMaurLoreLapo:2013:MeALRe
Chave de CitaçãoRibeiroMaurLoreLapo:2013:MeALRe
TítuloMetaheurística ALNS para resolução do problema de alocação de berços
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho414 KiB
2. Contextualização
Autor1 Ribeiro, Glaydston M.
2 Mauri, Geraldo R.
3 Lorena, Luiz Antonio Nogueira
4 Laporte, Gilbert
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JHMQ
Grupo1
2
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Universidade Federal do Rio de Janeiro (UFRJ)
2 Universidade Federal do Espírito Santo (UFES)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 CIRRELT
Endereço de e-Mail do Autor1
2
3 lorena@lac.inpe.br
Endereço de e-Maillorena@lac.inpe.br
Nome do EventoCongresso de Pesquisa e Ensino em Transportes, 27 (ANPET)
Localização do EventoBelém
Data2013
Título do LivroAnais
Tipo TerciárioArtigo
Histórico (UTC)2013-12-12 19:01:10 :: lattes -> administrator ::
2018-06-04 23:39:25 :: administrator -> marcelo.pazos@inpe.br :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãofinaldraft
Palavras-Chaveproblema de alocação de berços
ALNS
ResumoO Problema de Alocação de Berços (PAB) consiste em atribuir os navios que chegam a um determinado porto para áreas de atracação disponíveis ao longo de um cais (berços). A principal decisão a ser tomada nesse processo envolve a escolha de onde e quando os navios deverão atracar. Em relação ao local de atracação, existem restrições relativas à profundidade da água (calado), ao tamanho dos navios e outras. Já em relação ao horário de atracação dos navios, as restrições podem ser expressas como janelas de tempo para conclusão de seu atendimento. Neste trabalho, são considerados os casos discreto e contínuo para modelagem do PAB e, para resolvê-los, é utilizada a meta-heurística Adaptive Large Neighborhood Search que utiliza como princípio básico o processo de destruição e recriação das soluções. Experimentos computacionais demonstram a qualidade das soluções obtidas em relação a diversos métodos recentes encontrados na literatura. ABSTRACT: The Berth Allocation Problem (BAP) consists of assigning ships to berthing areas along a quay in a port. The choice of where and when the ships shall moor is the main decision to be made in this problem. Considering the berthing position, we have restrictions related to the water depth, the size of the ships and others. In addition, restrictions related to the berthing time of the ships can be expressed as time windows for completion of their service. In this work we considered the discrete and continuous models for the BAP and to solve them we used an Adaptive Large Neighborhood Search heuristic which is based on the principle of destruction and recreation of the solutions. Computational experiments demonstrate the quality of our solutions comparing them against several recent methods found in the literature.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Metaheurística ALNS para...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W/3FCLN5H
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W/3FCLN5H
Idiomapt
Arquivo AlvoRibeiro_metaheuristica.pdf
Grupo de Usuárioslattes
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.14.54.04 2
sid.inpe.br/bibdigital/2013/09.22.23.14 1
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume
7. Controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3FCLFER
Repositóriosid.inpe.br/plutao/2013/12.12.17.40.08
Repositório de Metadadossid.inpe.br/plutao/2013/12.12.17.40.09
Última Atualização dos Metadados2018:06.04.23.39.23 (UTC) administrator
Rótulolattes: 5142426481528206 6 BernardiMaChLeRuCa:2013:CoCUOp
Chave de CitaçãoBernardiMaChLeRuCa:2013:CoCUOp
TítuloComparação entre CUDA e OpenCL na Parametrização de Turbulência em GPU para o Modelo Ambiental CCATT-BRAMS
Ano2013
Data de Acesso29 mar. 2024
Tipo SecundárioPRE CN
2. Contextualização
Autor1 Bernardi, Cezar Augusto Contini
2 Madalosso, Otavio Migliavacca
3 Charão, Andrea Schwertner
4 Lessa, Leandro dos Santos
5 Ruiz, Renata Sampaio da Rocha
6 Campos Velho, Haroldo Fraga de
Identificador de Curriculo1
2
3
4
5
6 8JMKD3MGP5W/3C9JHC3
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
2
3
4 LAC-CTE-INPE-MCTI-GOV-BR
5 LAC-CTE-INPE-MCTI-GOV-BR
6 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
5 Instituto Nacional de Pesquisas Espaciais (INPE)
6 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2
3
4
5
6 haroldo@lac.inpe.br
Endereço de e-Mailharoldo@lac.inpe.br
Nome do EventoSimpósio em Sistemas Computacionais, 14 (WSCAD-SSC) e Workshop de Iniciação Científica (WSCAD-WIC)
Localização do EventoRecife (PE) Porto Alegre (RS), Brasil
Data2013
Editora (Publisher)Sociedade Brasileira de Computação
Páginas01-04
Título do LivroAnais
Tipo TerciárioArtigo
Histórico (UTC)2013-12-12 17:40:09 :: lattes -> administrator ::
2018-06-04 23:39:23 :: administrator -> marcelo.pazos@inpe.br :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Palavras-ChaveGPU-CUDA
GPU-OpenCL
CCATT-BRAMS model
Parametrização de turbulência
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Comparação entre CUDA...
Conteúdo da Pasta docnão têm arquivos
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
Idiomapt
Grupo de Usuárioslattes
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Atualizaçãotransferida para marcelo.pazos@inpe.br
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
URL (dados não confiáveis)http://www.cin.ufpe.br/~sbac2013/sbac/overall_program_new.php
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition notes numberoffiles numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle size sponsor subject targetfile tertiarymark type versiontype volume
7. Controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
atualizar