Menu

Filtros : "Indexado no Scopus" "IME" Removidos: "Indexado no Web of Science" "Lancaster University - Lancaster" "IFSC-FCM" "2017" Limpar

Filtros

Refine with date range

1 - 20 (193 records)

  • Trabalho de evento

    Ranking source code static analysis warnings for continuous monitoring of FLOSS repositories (2018)

    Ribeiro, Athos; Meirelles, Paulo; Lago, Nelson ; Kon, Fábio

    Source: Open source systems: enterprise software and solutions. Conference titles: International Conference on Open Source Systems - IFIP. Unidade: IME

    Subjects: QUALIDADE DE SOFTWARE, SOFTWARE LIVRE

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      RIBEIRO, Athos et al. Ranking source code static analysis warnings for continuous monitoring of FLOSS repositories. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-92375-8_8. Acesso em: 15 nov. 2024.

    • APA

      Ribeiro, A., Meirelles, P., Lago, N., & Kon, F. (2018). Ranking source code static analysis warnings for continuous monitoring of FLOSS repositories. In Open source systems: enterprise software and solutions. Cham: Springer. doi:10.1007/978-3-319-92375-8_8

    • NLM

      Ribeiro A, Meirelles P, Lago N, Kon F. Ranking source code static analysis warnings for continuous monitoring of FLOSS repositories [Internet]. Open source systems: enterprise software and solutions. 2018 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-92375-8_8

    • Vancouver

      Ribeiro A, Meirelles P, Lago N, Kon F. Ranking source code static analysis warnings for continuous monitoring of FLOSS repositories [Internet]. Open source systems: enterprise software and solutions. 2018 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-92375-8_8

  • Trabalho de evento

    Using PageRank to reveal relevant issues to support decision-making on open source projects (2018)

    Caetano, Alessandro; Leite, Leonardo; Meirelles, Paulo; Neri, Hilmer; Kon, Fábio ; Travassos, Guilherme Horta

    Source: Open Source Systems: Enterprise Software and Solutions. Conference titles: OSS: IFIP International Conference on Open Source Systems. Unidade: IME

    Subjects: QUALIDADE DE SOFTWARE, SOFTWARE LIVRE, TOMADA DE DECISÃO, ENGENHARIA DE SOFTWARE

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CAETANO, Alessandro et al. Using PageRank to reveal relevant issues to support decision-making on open source projects. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-92375-8_9. Acesso em: 15 nov. 2024.

    • APA

      Caetano, A., Leite, L., Meirelles, P., Neri, H., Kon, F., & Travassos, G. H. (2018). Using PageRank to reveal relevant issues to support decision-making on open source projects. In Open Source Systems: Enterprise Software and Solutions. Cham: Springer. doi:10.1007/978-3-319-92375-8_9

    • NLM

      Caetano A, Leite L, Meirelles P, Neri H, Kon F, Travassos GH. Using PageRank to reveal relevant issues to support decision-making on open source projects [Internet]. Open Source Systems: Enterprise Software and Solutions. 2018 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-92375-8_9

    • Vancouver

      Caetano A, Leite L, Meirelles P, Neri H, Kon F, Travassos GH. Using PageRank to reveal relevant issues to support decision-making on open source projects [Internet]. Open Source Systems: Enterprise Software and Solutions. 2018 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-92375-8_9

  • Trabalho de evento

    FLOSS project management in government-academia collaboration (2018)

    Wen, Melissa; Meirelles, Paulo; Siqueira, Rodrigo; Kon, Fábio

    Source: Open Source Systems: Enterprise Software and Solutions. Conference titles: OSS: IFIP International Conference on Open Source Systems. Unidade: IME

    Subjects: SOFTWARE LIVRE, GOVERNO ELETRÔNICO

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      WEN, Melissa et al. FLOSS project management in government-academia collaboration. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-92375-8_2. Acesso em: 15 nov. 2024.

    • APA

      Wen, M., Meirelles, P., Siqueira, R., & Kon, F. (2018). FLOSS project management in government-academia collaboration. In Open Source Systems: Enterprise Software and Solutions. Cham: Springer. doi:10.1007/978-3-319-92375-8_2

    • NLM

      Wen M, Meirelles P, Siqueira R, Kon F. FLOSS project management in government-academia collaboration [Internet]. Open Source Systems: Enterprise Software and Solutions. 2018 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-92375-8_2

    • Vancouver

      Wen M, Meirelles P, Siqueira R, Kon F. FLOSS project management in government-academia collaboration [Internet]. Open Source Systems: Enterprise Software and Solutions. 2018 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-92375-8_2

  • Trabalho de evento

    Attributed graphs for tracking multiple objects in structured sports videos (2016)

    Morimitsu, Henrique; César Júnior, Roberto Marcondes ; Bloch, Isabelle

    Source: Proceedings. Conference titles: IEEE International Conference on Computer Vision - ICCVW. Unidade: IME

    Subjects: RECONHECIMENTO DE PADRÕES, VISÃO COMPUTACIONAL, COMPUTAÇÃO GRÁFICA, INFERÊNCIA ESTATÍSTICA, INTELIGÊNCIA ARTIFICIAL, BADMINTON, TÊNIS DE MESA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MORIMITSU, Henrique e CÉSAR JÚNIOR, Roberto Marcondes e BLOCH, Isabelle. Attributed graphs for tracking multiple objects in structured sports videos. 2016, Anais.. Los Alamitos: IEEE, 2016. Disponível em: https://doi.org/10.1109/ICCVW.2015.102. Acesso em: 15 nov. 2024.

    • APA

      Morimitsu, H., César Júnior, R. M., & Bloch, I. (2016). Attributed graphs for tracking multiple objects in structured sports videos. In Proceedings. Los Alamitos: IEEE. doi:10.1109/ICCVW.2015.102

    • NLM

      Morimitsu H, César Júnior RM, Bloch I. Attributed graphs for tracking multiple objects in structured sports videos [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1109/ICCVW.2015.102

    • Vancouver

      Morimitsu H, César Júnior RM, Bloch I. Attributed graphs for tracking multiple objects in structured sports videos [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1109/ICCVW.2015.102

  • Trabalho de evento

    OpenMP is not as easy as it appears (2016)

    Gonçalves, Rogério Aparecido; Amarís, Marcos; Okada, Thiago Kenji; Bruel, Pedro; Goldman, Alfredo

    Source: Proceedings. Conference titles: Hawaii International Conference on System Sciences - HICSS. Unidade: IME

    Subjects: PROGRAMAÇÃO PARALELA, ARQUITETURAS PARALELAS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GONÇALVES, Rogério Aparecido et al. OpenMP is not as easy as it appears. 2016, Anais.. Piscataway: IEEE, 2016. Disponível em: https://doi.org/10.1109/HICSS.2016.710. Acesso em: 15 nov. 2024.

    • APA

      Gonçalves, R. A., Amarís, M., Okada, T. K., Bruel, P., & Goldman, A. (2016). OpenMP is not as easy as it appears. In Proceedings. Piscataway: IEEE. doi:10.1109/HICSS.2016.710

    • NLM

      Gonçalves RA, Amarís M, Okada TK, Bruel P, Goldman A. OpenMP is not as easy as it appears [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1109/HICSS.2016.710

    • Vancouver

      Gonçalves RA, Amarís M, Okada TK, Bruel P, Goldman A. OpenMP is not as easy as it appears [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1109/HICSS.2016.710

  • Artigo de periodico-resenha

    Comments on: a random forest guided tour (2016)

    Bühlmann, Peter; Leonardi, Florencia Graciela

    Source: TEST. Unidade: IME

    Subjects: ESTATÍSTICA, ANÁLISE MULTIVARIADA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BÜHLMANN, Peter e LEONARDI, Florencia Graciela. Comments on: a random forest guided tour. TEST. Berlin: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s11749-016-0483-5. Acesso em: 15 nov. 2024. , 2016

    • APA

      Bühlmann, P., & Leonardi, F. G. (2016). Comments on: a random forest guided tour. TEST. Berlin: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s11749-016-0483-5

    • NLM

      Bühlmann P, Leonardi FG. Comments on: a random forest guided tour [Internet]. TEST. 2016 ; 25( 2): 239-246.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s11749-016-0483-5

    • Vancouver

      Bühlmann P, Leonardi FG. Comments on: a random forest guided tour [Internet]. TEST. 2016 ; 25( 2): 239-246.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s11749-016-0483-5

  • Trabalho de evento

    A review of guidelines and models for representation of provenance information from neuroscience experiments (2016)

    Ruiz Olazar, Margarita; Rocha, Evandro S; Rabaça, Sueli S; Ribas, Carlos Eduardo; Nascimento, Amanda S; Braghetto, Kelly Rosa

    Source: Proceedings. Conference titles: International Provenance and Annotation Workshop - IPAW. Unidade: IME

    Subjects: NEUROCIÊNCIAS, BIOINFORMÁTICA, INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      RUIZ OLAZAR, Margarita et al. A review of guidelines and models for representation of provenance information from neuroscience experiments. 2016, Anais.. Cham: Springer, 2016. Disponível em: https://doi.org/10.1007/978-3-319-40593-3_26. Acesso em: 15 nov. 2024.

    • APA

      Ruiz Olazar, M., Rocha, E. S., Rabaça, S. S., Ribas, C. E., Nascimento, A. S., & Braghetto, K. R. (2016). A review of guidelines and models for representation of provenance information from neuroscience experiments. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-40593-3_26

    • NLM

      Ruiz Olazar M, Rocha ES, Rabaça SS, Ribas CE, Nascimento AS, Braghetto KR. A review of guidelines and models for representation of provenance information from neuroscience experiments [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-40593-3_26

    • Vancouver

      Ruiz Olazar M, Rocha ES, Rabaça SS, Ribas CE, Nascimento AS, Braghetto KR. A review of guidelines and models for representation of provenance information from neuroscience experiments [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-40593-3_26

  • Artigo de periodico

    Spanning trees with nonseparating paths (2016)

    Fernandes, Cristina Gomes ; Hernández Vélez, César; Lee, Orlando; Pina Júnior, José Coelho de

    Source: Discrete Mathematics. Unidade: IME

    Subjects: CIÊNCIA DA COMPUTAÇÃO, TEORIA DOS GRAFOS

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FERNANDES, Cristina Gomes et al. Spanning trees with nonseparating paths. Discrete Mathematics, v. 339, n. 06 Ja 2016, p. 365–374, 2016Tradução . . Disponível em: https://doi.org/10.1016/j.disc.2015.08.020. Acesso em: 15 nov. 2024.

    • APA

      Fernandes, C. G., Hernández Vélez, C., Lee, O., & Pina Júnior, J. C. de. (2016). Spanning trees with nonseparating paths. Discrete Mathematics, 339( 06 Ja 2016), 365–374. doi:10.1016/j.disc.2015.08.020

    • NLM

      Fernandes CG, Hernández Vélez C, Lee O, Pina Júnior JC de. Spanning trees with nonseparating paths [Internet]. Discrete Mathematics. 2016 ; 339( 06 Ja 2016): 365–374.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.disc.2015.08.020

    • Vancouver

      Fernandes CG, Hernández Vélez C, Lee O, Pina Júnior JC de. Spanning trees with nonseparating paths [Internet]. Discrete Mathematics. 2016 ; 339( 06 Ja 2016): 365–374.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.disc.2015.08.020

  • Artigo de periodico

    On isotopies of some classes of Moufang loops (2016)

    Grichkov, Alexandre ; Rasskazova, Marina; Sabinina, L

    Source: Buletinul Academiei de Stiinte a Republicii Moldova. Matematica. Unidade: IME

    Assunto: LAÇOS

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GRICHKOV, Alexandre e RASSKAZOVA, Marina e SABININA, L. On isotopies of some classes of Moufang loops. Buletinul Academiei de Stiinte a Republicii Moldova. Matematica, v. 80, n. 1, p. 70-77, 2016Tradução . . Disponível em: http://www.math.md/en/publications/basm/issues/y2016-n1/12165/. Acesso em: 15 nov. 2024.

    • APA

      Grichkov, A., Rasskazova, M., & Sabinina, L. (2016). On isotopies of some classes of Moufang loops. Buletinul Academiei de Stiinte a Republicii Moldova. Matematica, 80( 1), 70-77. Recuperado de http://www.math.md/en/publications/basm/issues/y2016-n1/12165/

    • NLM

      Grichkov A, Rasskazova M, Sabinina L. On isotopies of some classes of Moufang loops [Internet]. Buletinul Academiei de Stiinte a Republicii Moldova. Matematica. 2016 ; 80( 1): 70-77.[citado 2024 nov. 15 ] Available from: http://www.math.md/en/publications/basm/issues/y2016-n1/12165/

    • Vancouver

      Grichkov A, Rasskazova M, Sabinina L. On isotopies of some classes of Moufang loops [Internet]. Buletinul Academiei de Stiinte a Republicii Moldova. Matematica. 2016 ; 80( 1): 70-77.[citado 2024 nov. 15 ] Available from: http://www.math.md/en/publications/basm/issues/y2016-n1/12165/

  • Artigo de periodico

    Dispersion as a survival strategy (2016)

    Vargas Junior, Valdivino; Machado, Fábio Prates ; Roldán Correa, Alejandro

    Source: Journal of Statistical Physics. Unidade: IME

    Subjects: PROCESSOS DE RAMIFICAÇÃO, DINÂMICA DE POPULAÇÕES

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      VARGAS JUNIOR, Valdivino e MACHADO, Fábio Prates e ROLDÁN CORREA, Alejandro. Dispersion as a survival strategy. Journal of Statistical Physics, 2016Tradução . . Disponível em: https://doi.org/10.1007/s10955-016-1571-3. Acesso em: 15 nov. 2024.

    • APA

      Vargas Junior, V., Machado, F. P., & Roldán Correa, A. (2016). Dispersion as a survival strategy. Journal of Statistical Physics. doi:10.1007/s10955-016-1571-3

    • NLM

      Vargas Junior V, Machado FP, Roldán Correa A. Dispersion as a survival strategy [Internet]. Journal of Statistical Physics. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s10955-016-1571-3

    • Vancouver

      Vargas Junior V, Machado FP, Roldán Correa A. Dispersion as a survival strategy [Internet]. Journal of Statistical Physics. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s10955-016-1571-3

  • Artigo de periodico

    Delayed feedback control of a delay equation at Hopf bifurcation (2016)

    Fiedler, Bernold ; Oliva, Sérgio Muniz

    Source: Journal of Dynamics and Differential Equations. Unidade: IME

    Subjects: EQUAÇÕES DIFERENCIAIS, TEORIA DA BIFURCAÇÃO, SOLUÇÕES PERIÓDICAS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FIEDLER, Bernold e OLIVA, Sérgio Muniz. Delayed feedback control of a delay equation at Hopf bifurcation. Journal of Dynamics and Differential Equations, v. 28, n. 3/4, p. 1357–1391, 2016Tradução . . Disponível em: https://doi.org/10.1007/s10884-015-9456-8. Acesso em: 15 nov. 2024.

    • APA

      Fiedler, B., & Oliva, S. M. (2016). Delayed feedback control of a delay equation at Hopf bifurcation. Journal of Dynamics and Differential Equations, 28( 3/4), 1357–1391. doi:10.1007/s10884-015-9456-8

    • NLM

      Fiedler B, Oliva SM. Delayed feedback control of a delay equation at Hopf bifurcation [Internet]. Journal of Dynamics and Differential Equations. 2016 ; 28( 3/4): 1357–1391.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s10884-015-9456-8

    • Vancouver

      Fiedler B, Oliva SM. Delayed feedback control of a delay equation at Hopf bifurcation [Internet]. Journal of Dynamics and Differential Equations. 2016 ; 28( 3/4): 1357–1391.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s10884-015-9456-8

  • Artigo de periodico

    A static change impact analysis approach based on metrics and visualizations to support the evolution of workflow repositories (2016)

    Oliva, Gustavo Ansaldi; Gerosa, Marco Aurélio ; Kon, Fábio ; Smith, Virginia; Milojicic, Dejan S

    Source: International Journal of Web Services Research. Unidade: IME

    Subjects: CIÊNCIA DA COMPUTAÇÃO, DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      OLIVA, Gustavo Ansaldi et al. A static change impact analysis approach based on metrics and visualizations to support the evolution of workflow repositories. International Journal of Web Services Research, v. 13, n. 2, p. 74-101, 2016Tradução . . Disponível em: https://doi.org/10.4018/ijwsr.2016040105. Acesso em: 15 nov. 2024.

    • APA

      Oliva, G. A., Gerosa, M. A., Kon, F., Smith, V., & Milojicic, D. S. (2016). A static change impact analysis approach based on metrics and visualizations to support the evolution of workflow repositories. International Journal of Web Services Research, 13( 2), 74-101. doi:10.4018/ijwsr.2016040105

    • NLM

      Oliva GA, Gerosa MA, Kon F, Smith V, Milojicic DS. A static change impact analysis approach based on metrics and visualizations to support the evolution of workflow repositories [Internet]. International Journal of Web Services Research. 2016 ; 13( 2): 74-101.[citado 2024 nov. 15 ] Available from: https://doi.org/10.4018/ijwsr.2016040105

    • Vancouver

      Oliva GA, Gerosa MA, Kon F, Smith V, Milojicic DS. A static change impact analysis approach based on metrics and visualizations to support the evolution of workflow repositories [Internet]. International Journal of Web Services Research. 2016 ; 13( 2): 74-101.[citado 2024 nov. 15 ] Available from: https://doi.org/10.4018/ijwsr.2016040105

  • Trabalho de evento

    Agile usability patterns for user-centered design final stages (2016)

    Bertholdo, Ana Paula Oliveira; Kon, Fábio ; Gerosa, Marco Aurélio

    Source: Proceedings. Conference titles: International Conference on Human-Computer Interaction - HCI. Unidade: IME

    Subjects: MÉTODOS ÁGEIS, JOGOS ELETRÔNICOS, INTERAÇÃO USUÁRIO-COMPUTADOR

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BERTHOLDO, Ana Paula Oliveira e KON, Fábio e GEROSA, Marco Aurélio. Agile usability patterns for user-centered design final stages. 2016, Anais.. Cham: Springer, 2016. Disponível em: https://doi.org/10.1007/978-3-319-39510-4_40. Acesso em: 15 nov. 2024.

    • APA

      Bertholdo, A. P. O., Kon, F., & Gerosa, M. A. (2016). Agile usability patterns for user-centered design final stages. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-39510-4_40

    • NLM

      Bertholdo APO, Kon F, Gerosa MA. Agile usability patterns for user-centered design final stages [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-39510-4_40

    • Vancouver

      Bertholdo APO, Kon F, Gerosa MA. Agile usability patterns for user-centered design final stages [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-39510-4_40

  • Artigo de periodico

    Globalization of twisted partial Hopf actions (2016)

    Alves, Marcelo Muniz Silva; Batista, Eliezer; Dokuchaev, Michael ; Paques, Antonio

    Source: Journal of the Australian Mathematical Society. Unidade: IME

    Subjects: ÁLGEBRAS DE HOPF, ANÉIS E ÁLGEBRAS ASSOCIATIVOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ALVES, Marcelo Muniz Silva et al. Globalization of twisted partial Hopf actions. Journal of the Australian Mathematical Society, v. 101, n. 1, p. 1-28, 2016Tradução . . Disponível em: https://doi.org/10.1017/S1446788715000774. Acesso em: 15 nov. 2024.

    • APA

      Alves, M. M. S., Batista, E., Dokuchaev, M., & Paques, A. (2016). Globalization of twisted partial Hopf actions. Journal of the Australian Mathematical Society, 101( 1), 1-28. doi:10.1017/S1446788715000774

    • NLM

      Alves MMS, Batista E, Dokuchaev M, Paques A. Globalization of twisted partial Hopf actions [Internet]. Journal of the Australian Mathematical Society. 2016 ; 101( 1): 1-28.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1017/S1446788715000774

    • Vancouver

      Alves MMS, Batista E, Dokuchaev M, Paques A. Globalization of twisted partial Hopf actions [Internet]. Journal of the Australian Mathematical Society. 2016 ; 101( 1): 1-28.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1017/S1446788715000774

  • Artigo de periodico

    When do the C0(1)(K,X) spaces determine the locally compact subspaces K of the real line R? (2016)

    Galego, Eloi Medina ; Rincón Villamizar, Michael Alexander

    Source: Journal of Mathematical Analysis and Applications. Unidade: IME

    Subjects: ESPAÇOS DE BANACH, ANÁLISE FUNCIONAL

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GALEGO, Eloi Medina e RINCÓN VILLAMIZAR, Michael Alexander. When do the C0(1)(K,X) spaces determine the locally compact subspaces K of the real line R?. Journal of Mathematical Analysis and Applications, v. 437, n. 1, p. 590-604, 2016Tradução . . Disponível em: https://doi.org/10.1016/j.jmaa.2016.01.025. Acesso em: 15 nov. 2024.

    • APA

      Galego, E. M., & Rincón Villamizar, M. A. (2016). When do the C0(1)(K,X) spaces determine the locally compact subspaces K of the real line R? Journal of Mathematical Analysis and Applications, 437( 1), 590-604. doi:10.1016/j.jmaa.2016.01.025

    • NLM

      Galego EM, Rincón Villamizar MA. When do the C0(1)(K,X) spaces determine the locally compact subspaces K of the real line R? [Internet]. Journal of Mathematical Analysis and Applications. 2016 ; 437( 1): 590-604.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.jmaa.2016.01.025

    • Vancouver

      Galego EM, Rincón Villamizar MA. When do the C0(1)(K,X) spaces determine the locally compact subspaces K of the real line R? [Internet]. Journal of Mathematical Analysis and Applications. 2016 ; 437( 1): 590-604.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.jmaa.2016.01.025

  • Artigo de periodico

    A holomorphic characterization of compact sets in Banach spaces (2016)

    Carrión, Humberto ; Galindo, Pablo; Lourenço, Mary Lilian

    Source: Bulletin of the Brazilian Mathematical Society, New Series. Unidade: IME

    Subjects: ESPAÇOS DE BANACH, ANÁLISE FUNCIONAL

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CARRIÓN, Humberto e GALINDO, Pablo e LOURENÇO, Mary Lilian. A holomorphic characterization of compact sets in Banach spaces. Bulletin of the Brazilian Mathematical Society, New Series, v. 47, n. 3, p. 863–869, 2016Tradução . . Disponível em: https://doi.org/10.1007/s00574-016-0115-4. Acesso em: 15 nov. 2024.

    • APA

      Carrión, H., Galindo, P., & Lourenço, M. L. (2016). A holomorphic characterization of compact sets in Banach spaces. Bulletin of the Brazilian Mathematical Society, New Series, 47( 3), 863–869. doi:10.1007/s00574-016-0115-4

    • NLM

      Carrión H, Galindo P, Lourenço ML. A holomorphic characterization of compact sets in Banach spaces [Internet]. Bulletin of the Brazilian Mathematical Society, New Series. 2016 ; 47( 3): 863–869.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s00574-016-0115-4

    • Vancouver

      Carrión H, Galindo P, Lourenço ML. A holomorphic characterization of compact sets in Banach spaces [Internet]. Bulletin of the Brazilian Mathematical Society, New Series. 2016 ; 47( 3): 863–869.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s00574-016-0115-4

  • Artigo de periodico-apres/intr

    Collaboration technology in teams and organizations: introduction to the special issue (2016)

    Vreede, Gert-Jan de; Antunes, Pedro; Vassileva, Julita; Gerosa, Marco Aurélio ; Wu, Kewen

    Source: Information Systems Frontiers. Conference titles: International Conference on Collaboration and Technology - CRIWG. Unidade: IME

    Subjects: CIÊNCIA DA COMPUTAÇÃO, WORLD WIDE WEB, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      VREEDE, Gert-Jan de et al. Collaboration technology in teams and organizations: introduction to the special issue. Information Systems Frontiers. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10796-016-9632-3. Acesso em: 15 nov. 2024. , 2016

    • APA

      Vreede, G. -J. de, Antunes, P., Vassileva, J., Gerosa, M. A., & Wu, K. (2016). Collaboration technology in teams and organizations: introduction to the special issue. Information Systems Frontiers. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10796-016-9632-3

    • NLM

      Vreede G-J de, Antunes P, Vassileva J, Gerosa MA, Wu K. Collaboration technology in teams and organizations: introduction to the special issue [Internet]. Information Systems Frontiers. 2016 ; 18( 1): 1-6.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s10796-016-9632-3

    • Vancouver

      Vreede G-J de, Antunes P, Vassileva J, Gerosa MA, Wu K. Collaboration technology in teams and organizations: introduction to the special issue [Internet]. Information Systems Frontiers. 2016 ; 18( 1): 1-6.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s10796-016-9632-3

  • Artigo de periodico

    Distributed shape derivative via averaged adjoint method and applications (2016)

    Laurain, Antoine ; Sturm, Kevin

    Source: ESAIM: Mathematical Modelling and Numerical Analysis. Unidade: IME

    Subjects: CÁLCULO DE VARIAÇÕES, EQUAÇÕES DIFERENCIAIS PARCIAIS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      LAURAIN, Antoine e STURM, Kevin. Distributed shape derivative via averaged adjoint method and applications. ESAIM: Mathematical Modelling and Numerical Analysis, v. 50, n. 4, p. 1241-1267, 2016Tradução . . Disponível em: https://doi.org/10.1051/m2an/2015075. Acesso em: 15 nov. 2024.

    • APA

      Laurain, A., & Sturm, K. (2016). Distributed shape derivative via averaged adjoint method and applications. ESAIM: Mathematical Modelling and Numerical Analysis, 50( 4), 1241-1267. doi:10.1051/m2an/2015075

    • NLM

      Laurain A, Sturm K. Distributed shape derivative via averaged adjoint method and applications [Internet]. ESAIM: Mathematical Modelling and Numerical Analysis. 2016 ; 50( 4): 1241-1267.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1051/m2an/2015075

    • Vancouver

      Laurain A, Sturm K. Distributed shape derivative via averaged adjoint method and applications [Internet]. ESAIM: Mathematical Modelling and Numerical Analysis. 2016 ; 50( 4): 1241-1267.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1051/m2an/2015075

  • Trabalho de evento

    Towards MC/DC coverage of properties specification patterns (2016)

    Melo, Ana Cristina Vieira de; Pasareanu, Corina S; Hanazumi , Simone

    Source: Proceedings. Conference titles: International Colloquium on Theoretical Aspects of Computing - ICTAC. Unidade: IME

    Subjects: DESENVOLVIMENTO DE SOFTWARE, TEORIA DA COMPUTAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MELO, Ana Cristina Vieira de e PASAREANU, Corina S e HANAZUMI , Simone. Towards MC/DC coverage of properties specification patterns. 2016, Anais.. Cham: Springer, 2016. Disponível em: https://doi.org/10.1007/978-3-319-46750-4_10. Acesso em: 15 nov. 2024.

    • APA

      Melo, A. C. V. de, Pasareanu, C. S., & Hanazumi , S. (2016). Towards MC/DC coverage of properties specification patterns. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-46750-4_10

    • NLM

      Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10

    • Vancouver

      Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10

  • Artigo de periodico

    Real-time dynamic programming for Markov decision processes with imprecise probabilities (2016)

    Delgado, Karina Valdivia; Barros, Leliane Nunes de ; Dias, Daniel Baptista; Sanner, Scott

    Source: Artificial Intelligence. Unidades: EACH, IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, PROCESSOS DE MARKOV, ROBUSTEZ

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DELGADO, Karina Valdivia et al. Real-time dynamic programming for Markov decision processes with imprecise probabilities. Artificial Intelligence, v. 230, n. Ja 2016, p. 192–223, 2016Tradução . . Disponível em: https://doi.org/10.1016/j.artint.2015.09.005. Acesso em: 15 nov. 2024.

    • APA

      Delgado, K. V., Barros, L. N. de, Dias, D. B., & Sanner, S. (2016). Real-time dynamic programming for Markov decision processes with imprecise probabilities. Artificial Intelligence, 230( Ja 2016), 192–223. doi:10.1016/j.artint.2015.09.005

    • NLM

      Delgado KV, Barros LN de, Dias DB, Sanner S. Real-time dynamic programming for Markov decision processes with imprecise probabilities [Internet]. Artificial Intelligence. 2016 ; 230( Ja 2016): 192–223.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.artint.2015.09.005

    • Vancouver

      Delgado KV, Barros LN de, Dias DB, Sanner S. Real-time dynamic programming for Markov decision processes with imprecise probabilities [Internet]. Artificial Intelligence. 2016 ; 230( Ja 2016): 192–223.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.artint.2015.09.005

1 - 20 (193 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024