Relação dos registros faltando na Tabela dos Indicadores Físicos e Operacionais IPUB e IGPUB
Ano de 2011
Última atualização: 16/06/11 11:27
Esta relação foi gerada automaticamente pelo URLibService
CONTEÚDO
Baruffaldi:2011:IdReGe
8JMKD3MGP7W/38JDMDE
Relatório
Baruffaldi, A. L. M. :2011: Identificação de regiões geográficas de origem e de destino de tráfegos aéreos desconhecidos do sistema de controle do tráfego aéreo brasileiro referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m19/2010/11.11.13.41> (1162 KiB) estatísticas | acessar | baixar | similares <mtc-m19.sid.inpe.br> |
Leal:2011:CaPoÓt
8JMKD3MGP7W/38J9ASE
Relatório
Leal, C. F. :2011: Caracterização de politica ótima de um PMD para alocação dinâmica de recursos e controle de admissão de conexão em redes IEEE 802.16 referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m19/2010/11.10.13.41> (1436 KiB) estatísticas | acessar | baixar | similares <mtc-m19.sid.inpe.br> |
AlmeidaMart:2011:TeMoTr
8JMKD3MGP8W/39G24JL
Artigo em Evento
Almeida, E. R. C. & Martins, E. :2011: Testing model transformations which derive executable test cases from abstract ones referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.16.42> (25 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
AnjosGripPontVill:2011:ApCoTe
8JMKD3MGP8W/39FG232
Artigo em Evento
Anjos, J. M. S., et al. :2011: Applying the CoFI Testing Methodology to a Multifunctional Robot End-Effector referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.08.17.06> (304 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
Araújo:2011:ToSeBe
8JMKD3MGP8W/39FGR48
Artigo em Evento
Araújo, A. N. :2011: Towards Security Benchmarking of Transactional Systems referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.08.21.46> (222 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
AzevedoMoCaNuScKo:2011:BiWaTr
8JMKD3MGP8W/39G26J2
Artigo em Evento
Azevedo, R. P., et al. :2011: A Bidimensional Wavelet Transform based Algorithm for DoS Attack Detection referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.17.06> (149 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
CamposMach:2011:SuReFo
8JMKD3MGP8W/39G25NP
Artigo em Evento
Campos, J. C. & Machado, J. :2011: Supporting requirements formulation in software formal verification referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.16.56> (188 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
CamposPereOliv:2011:AcEvLe
8JMKD3MGP8W/39G25BL
Artigo em Evento
Campos, F.; Pereira, J. & Oliveira, R. :2011: Achieving Eventual Leader Election in WS-Discovery referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.16.51> (77 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
DottiLaho:2011:DeApNe
8JMKD3MGP8W/39G2FCP
Artigo em Evento
Dotti, E. & Lahoz, C. H. N. :2011: The Dependability Approach for the New Version of VLS On Board Software referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.18.53> (70 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
FadelMoraMart:2011:AuVaEm
8JMKD3MGP8W/39FFHBE
Artigo em Evento
Fadel, A. C.; Moraes, R. & Martins, E. :2011: Automated validation of embedded optical network software referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.08.14.44> (521 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
Faria:2011:PrNoAn
8JMKD3MGPGW/39KCR88
Imagem
Faria, C. :2011: Prêmio Nobel Antony Hewish caminhado no INPE junto com pesquisadores da CEA referência (BibTeX | Refer | XML | xrefer | oai_dc | Capa) <sid.inpe.br/md-m09/2011/05.02.14.25> (1191 KiB) estatísticas | acessar | baixar | atualizar | similares <md-m09.sid.inpe.br> |
Galantini:2011:SeVaTh
8JMKD3MGP8W/39FGRQ8
Artigo em Evento
Galantini, R. :2011: Security Validation through Fault Injector Plug-in referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.08.21.55> (194 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
LetizioVillAbre:2011:GeTeSc
8JMKD3MGP8W/39G24TH
Artigo em Evento
Letizio, C. C.; Villas-Boas, F. R. & Abreu, B. T. :2011: Generating test scenarios and improving software quality with model-based testing referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.16.46> (149 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
Lise:2011:ApMa
J8LNKAN8RW/39NQMAJ
Material Audiovisual
acesso restrito
Lise :2011: Apostila de Matemática referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <dpi.inpe.br/plutao/2011/05.23.18.06.07> (15452 KiB) estatísticas | acessar | atualizar <plutao.dpi.inpe.br> |
MachadoCamp:2011:PaPlMo
8JMKD3MGP8W/39G2435
Artigo em Evento
Machado, J. & Campos, J. C. :2011: Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.16.35> (42 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
Marques:2011:HoOrSo
8JMKD3MGP8W/39FG29L
Artigo em Evento
Marques, J. C. :2011: Modification to Legacy Software Developed per DO-178A Level 1 to DO-178B Level A: How to Organize Software Life Cycle Data for Software Approval in Aircraft Certification referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.08.17.09> (187 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
Mendes:2011:BeSeWe
8JMKD3MGP8W/39FGRUL
Artigo em Evento
Mendes, N. :2011: Benchmarking the Security of Web Serving Systems referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.08.21.57> (363 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
Morigaki:2011:ReInTo
8JMKD3MGP8W/39FUP3H
Artigo em Evento
Morigaki, R. :2011: Requirements for an Instrumentation Tool of Distributed Airborne Safety Critical Software referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.14.58> (190 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
NogueiraFaraMarcRibe:2011:ReExUt
8JMKD3MGP7W/398FBJS
Livro
Nogueira, M. C. C., et al. :2011: Manual de catalogação: regras e exemplos para utilização dos campos da base de dados do INPE no sistema “SophiA” referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m19/2011/02.24.12.13> (1423 KiB) estatísticas | acessar | baixar | similares <mtc-m19.sid.inpe.br> |
PauloPere:2011:MoChDe
8JMKD3MGP8W/39G262E
Artigo em Evento
Paulo, J. & Pereira, J. :2011: Model Checking a Decentralized Storage Deduplication Protocol referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.16.59> (66 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
Rodrigues:2011:MPImGu
8JMKD3MGP8W/39FGRHH
Artigo em Evento
Rodrigues, L. A. :2011: A MPI Implementation of Gusfield’s Algorithm to Generate Cut Trees referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.08.21.52> (87 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
Silva:2011:ApDeCo
8JMKD3MGP8W/39FUJLP
Artigo em Evento
Silva, R. A. B. :2011: An Approach for Dependability Conformance Analysis from Code to Architecture Description referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.14.05> (169 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
SilvaLope:2011:PrReRe
8JMKD3MGP8W/39G2EKP
Artigo em Evento
Silva, N. & Lopes, R. :2011: Practical Results from Requirements Verification for HW/SW Complex Systems referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.18.44> (299 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
SilvaMarqFari:2011:ReCoSy
8JMKD3MGP8W/39FUPGS
Artigo em Evento
Silva, G. F.; Marques, S. T. & Faria, A. W. C. :2011: A reliable computational system for estimate the performance curve of pmdc motors referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.11.15.04> (622 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
VasconcelosFari:2011:ViSyEl
8JMKD3MGP8W/39FFUM5
Artigo em Evento
Vasconcelos, T. M. & Faria, A. W. C. :2011: A Vision System for Electronic Control Unit Testing Using Hardware In the Loop referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.08.17.02> (478 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |
Villas-BoasAlmeAbre:2011:AdAdUp
8JMKD3MGP8W/39FFU3B
Artigo em Evento
Villas-Boas, F. R.; Almeida, É. R. C. & Abreu, B. T. :2011: Advance adherence to the upcoming standard ISO/IEC 29119 referência (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa) <sid.inpe.br/mtc-m18/2011/04.08.16.54> (182 KiB) estatísticas | acessar | baixar | atualizar | similares Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual <mtc-m18.sid.inpe.br> |