Resultado da Pesquisa
A expressão de busca foi <secondaryty pi and ref journal and firstg LAC-CTE-INPE-MCTI-GOV-BR and y 2014 and not dissemination websci and issn *>.
4 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 26/02/2021 15:49.
Área de identificação
Tipo de ReferênciaJournal Article
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP5W34M/3HE6FG2
Repositóriosid.inpe.br/mtc-m21b/2014/11.18.23.59.33   (acesso restrito)
Última Atualização2017:07.21.14.29.01 marcelo.pazos@inpe.br
Metadadossid.inpe.br/mtc-m21b/2014/11.18.23.59.34
Última Atualização dos Metadados2018:06.04.03.04.32 administrator
DOI10.1504/IJWET.2014.063041
ISSN14761289
17419212
Rótuloscopus 2014-11 ArantesVijaSouz:2014:ToSuGe
Chave de CitaçãoArantesSantVijaSouz:2014:ToSuGe
TítuloTool support for generating model-based test cases via web
Ano2014
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho1516 KiB
Área de contextualização
Autor1 Arantes, A. O.
2 Santiago Junior, Valdivino Alexandre de
3 Vijaykumar, Nandamudi Lankalapalli
4 Souza, E. F. De
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJB5
3 8JMKD3MGP5W/3C9JHTU
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto de Estudos Avançados (IEAv), P.O. Box 6044São José dos Campos, São Paulo, Brazil
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 Instituto de Estudos Avançados (IEAv), P.O. Box 6044São José dos Campos, São Paulo, Brazil
Endereço de e-Mailmarcelo.pazos@inpe.br
RevistaInternational Journal of Web Engineering and Technology
Volume9
Número1
Páginas62-96
Tipo SecundárioPRE PI
Histórico2016-07-03 20:31:33 :: administrator -> marcelo.pazos@inpe.br :: 2014
2017-07-21 14:29:01 :: marcelo.pazos@inpe.br -> administrator :: 2014
2018-06-04 03:04:32 :: administrator -> marcelo.pazos@inpe.br :: 2014
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveSoftware testing, Distributed development, FSM, Model based testing, Statecharts, WEB application, Formal methods.
ResumoTesting activities play an important role in order to obtain high quality software products. These activities become more important when considering critical software, for instance, space application software. Nowadays, there is an extensive collaboration among space institutions. So, it is more than natural to expect distributed development of software and software testing activities. Therefore, a collaborative tool hosted on the internet becomes quite useful. In this respect, WEB-PerformCharts 2.0 tool discussed in this paper moves in this direction. The tool focuses on supporting a single aspect of distributed software development: the activity of generating test cases via web. Moreover, it allows model-based test case generation by means of formal methods (formal languages statecharts and FSM) which are considered state of the art in software development. WEB-PerformCharts 2.0 can be used to generate test cases for any kind of reactive systems modelled in statecharts or FSM. We present three case studies in different application domains to demonstrate the feasibility of our tool. Copyright.
AreaCOMP
ArranjoINPE > Produção > LABAC > Tool support for...
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 Alvoarantes_tool.pdf
Grupo de Usuáriosadministrator
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoCOMPENDEX; SCOPUS.
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel electronicmailaddress format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url
Área de identificação
Tipo de ReferênciaJournal Article
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP5W34M/3HE6FGL
Repositóriosid.inpe.br/mtc-m21b/2014/11.18.23.59.51   (acesso restrito)
Última Atualização2015:02.11.14.17.47 administrator
Metadadossid.inpe.br/mtc-m21b/2014/11.18.23.59.52
Última Atualização dos Metadados2018:06.04.03.04.32 administrator
DOI10.1007/s40313-014-0115-9
ISSN2195-3880
2195-3899
Rótuloscopus 2014-11 FreitasDaSi:2014:SyMeIn
Chave de CitaçãoFreitasSilv:2014:SyMeIn
TítuloA symbolic-numerical method for integration of DAEs based on geometric control theory
Ano2014
Data de Acesso26 fev. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho395 KiB
Área de contextualização
Autor1 Freitas, Celso Bernardo Nóbrega
2 Silva, Paulo Sérgio Pereira da
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Universidade de São Paulo (USP)
Endereço de e-Mail do Autor1 cbnfreitas@gmail.com
2 paulo@lac.usp.br
Endereço de e-Mailmarcelo.pazos@inpe.br
RevistaJournal of Control, Automation and Electrical Systems
Volume25
Número4
Páginas400-412
Tipo SecundárioPRE PI
Histórico2018-06-04 03:04:32 :: administrator -> marcelo.pazos@inpe.br :: 2014
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveInitial value problems, Nonlinear systems, Approximation results, DAEs, Differential algebraic equations, Efficient numerical analysis, Geometric control, Geometric control theory, Integration method, Symbolic and numerical calculations, Differential equations.
ResumoThis work describes a symbolic-numerical integration method for a class of differential algebraic equations (DAEs) known as semi-explicit systems. Our method relies on geometric theory of decoupling for nonlinear systems combined with efficient numerical analysis techniques. It uses an algorithm that applies symbolic and numerical calculations to build an explicit vector field Ä, whose integral curves with compatible initial conditions are the same solutions of the original DAE. Here, compatible initial conditions are the ones that respect the algebraic restrictions and their derivatives up to their relative degree. This extended set of restrictions defines a submanifold of the whole space, which is formed by all the variables of the system, and all solutions of the DAE lie on this submanifold. Furthermore, even for nonexactly compatible initial conditions, the solutions of this explicit system defined by Ä converge exponentially to . Under mild assumptions, an approximation result shows that the precision of the method is essentially controlled by the distance of the initial condition from . A scheme to compute compatible initial conditions with the DAE is also provided. Finally, simulations with benchmarks and comparisons with other available methods show that this is a suitable alternative for these problems, specially for nonexactly compatible initial conditions or high-index problems. © 2014 Brazilian Society for Automatics - SBA.
AreaCOMP
ArranjoINPE > Produção > LABAC > A symbolic-numerical method...
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 AlvoFreitas_symbolic.pdf
Grupo de Usuáriosadministrator
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
VinculaçãoTrabalho não Vinculado à Tese/Dissertação
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoCOMPENDEX; SCOPUS.
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarytype url
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3HG7M8S
Repositóriosid.inpe.br/plutao/2014/12.01.13.52   (acesso restrito)
Última Atualização2020:09.14.18.54.30 marcelo.pazos@inpe.br
Metadadossid.inpe.br/plutao/2014/12.01.13.52.21
Última Atualização dos Metadados2020:09.14.18.54.30 marcelo.pazos@inpe.br
ISSN2071-0216
2308-0256
Rótulolattes: 5142426481528206 2 HarterCamp:2014:InToNe
Chave de CitaçãoHarterCamp:2014:InToNe
TítuloInvestigation of topologies of neural networks for data assimilation
Ano2014
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho792 KiB
Área de contextualização
Autor1 Harter, Fabricio Pereira
2 Campos Velho, Haroldo Fraga de
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-Mailmarcelo.pazos@inpe.br
RevistaBulletin of South Ural State University, Series Computational Mathematics and Software Engineering
Volume3
Número4
Páginas96-106
Tipo SecundárioPRE PI
Histórico2014-12-01 13:52:21 :: lattes -> administrator ::
2018-06-04 23:39:42 :: administrator -> marcelo.pazos@inpe.br :: 2014
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveMulti-layer perceptron neural network, RBF neural network, Jordan neural network, Kalman filter, Data assimilation.
AreaCOMP
ArranjoBDMCI > Fonds > Produção > LABAC > Investigation of topologies...
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 Alvoharter_investigation.pdf
Grupo de Usuárioslattes
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
URL (dados não confiáveis)http://mmp.vestnik.susu.ac.ru/issue/en
DivulgaçãoSCOPUS
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 electronicmailaddress format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork
Área de controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
atualizar 
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3HFK745
Repositóriosid.inpe.br/plutao/2014/11.28.00.59   (acesso restrito)
Última Atualização2014:12.16.14.06.33 administrator
Metadadossid.inpe.br/plutao/2014/11.28.00.59.28
Última Atualização dos Metadados2018:06.04.23.39.33 administrator
DOI10.4018/ijdet.2014040101
ISSN1539-3100
1539-3119
Rótulolattes: 9922863822347014 4 SilvaBrMaViRoCoFr:2014:SoNeAn
Chave de CitaçãoSilvaBrMaViRoCoFr:2014:SoNeAn
TítuloSocial Network Analysis and Participation in Learning Environments to Digital Inclusion Based on Large-Scale Distance Education
Ano2014
MêsApr.-June
Data de Acesso26 fev. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho1704 KiB
Área de contextualização
Autor1 Silva, Aleksandra do Socorro da
2 Brito, Silvana Rossy de
3 Martins, Dalton Lopes
4 Vijaykumar, Nandamudi Lankalapalli
5 Rocha, Claudio Alex Jorge da
6 Costa, João Crisóstomo Weyl Albuquerque
7 Francês, Carlos Renato Lisboa
Identificador de Curriculo1
2
3
4 8JMKD3MGP5W/3C9JHTU
Grupo1
2
3
4 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mailmarcelo.pazos@inpe.br
RevistaInternational Journal of Distance Education Technologies
Volume12
Número2
Páginas1-25
Tipo SecundárioPRE PI
Histórico2014-11-28 00:59:28 :: lattes -> administrator ::
2018-06-04 23:39:33 :: administrator -> marcelo.pazos@inpe.br :: 2014
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-Chavebayesian networks, digital inclusion, distance learning.
ResumoEvaluating and monitoring large-scale distance learning programs require different techniques, systems, and analysis methods. This work presents challenges in evaluating and monitoring digital inclusion training programs, considering the aspects inherent in large-scale distance training, and reports an approach based on network and distance learning. The paper has the following objectives: (i) apply algorithms to extract indicators from interaction networks, in a real scenario and consolidated training based on distance learning; (ii) apply algorithms to correlate interaction indicators with other indicators related to the use and participation in learning environments; and (iii) discuss the relevance of the obtained indicators to promote feedback with information critical to the success of a large-scale distance training program.
AreaCOMP
ArranjoINPE > Produção > LABAC > Social Network Analysis...
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 AlvoAleksandraSilvaEtAl_IJDET_Proof_Reading.pdf
Grupo de Usuáriosadministrator
lattes
marcelo.pazos@inpe.br
self-uploading-INPE-MCTI-GOV-BR
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
VinculaçãoTrabalho não Vinculado à Tese/Dissertação
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoPORTALCAPES; 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 electronicmailaddress format isbn lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarytype url
Área de controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
atualizar