Filtros : "Portugal" "IME-MAC" "IME" Removidos: "Israel" "1980" "FINEP 1266/130" "Coloquio de Iniciacao Cientifica" Limpar

Filtros



Refine with date range


  • Source: Journal of Systems and Software. Unidade: IME

    Assunto: ARQUITETURA DE SOFTWARE

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

      ROSA, Thatiane de Oliveira et al. CharM - evaluating a model for characterizing service-based architectures. Journal of Systems and Software, v. 206, n. artigo 111826, p. 1-24, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2023.111826. Acesso em: 15 nov. 2024.
    • APA

      Rosa, T. de O., Guerra, E. M., Correia, F. F., & Goldman, A. (2023). CharM - evaluating a model for characterizing service-based architectures. Journal of Systems and Software, 206( artigo 111826), 1-24. doi:10.1016/j.jss.2023.111826
    • NLM

      Rosa T de O, Guerra EM, Correia FF, Goldman A. CharM - evaluating a model for characterizing service-based architectures [Internet]. Journal of Systems and Software. 2023 ; 206( artigo 111826): 1-24.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.jss.2023.111826
    • Vancouver

      Rosa T de O, Guerra EM, Correia FF, Goldman A. CharM - evaluating a model for characterizing service-based architectures [Internet]. Journal of Systems and Software. 2023 ; 206( artigo 111826): 1-24.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.jss.2023.111826
  • Source: Journal of the Brazilian Computer Society. Unidade: IME

    Subjects: TEORIA DOS JOGOS, PROGRAMAÇÃO ESTOCÁSTICA

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

      PRETO, Sandro e FERMÉ, Eduardo e FINGER, Marcelo. Coherence of probabilistic constraints on Nash equilibria. Journal of the Brazilian Computer Society, v. 28, n. 1, p. 38-51, 2022Tradução . . Disponível em: https://doi.org/10.5753/jbcs.2022.2434. Acesso em: 15 nov. 2024.
    • APA

      Preto, S., Fermé, E., & Finger, M. (2022). Coherence of probabilistic constraints on Nash equilibria. Journal of the Brazilian Computer Society, 28( 1), 38-51. doi:10.5753/jbcs.2022.2434
    • NLM

      Preto S, Fermé E, Finger M. Coherence of probabilistic constraints on Nash equilibria [Internet]. Journal of the Brazilian Computer Society. 2022 ; 28( 1): 38-51.[citado 2024 nov. 15 ] Available from: https://doi.org/10.5753/jbcs.2022.2434
    • Vancouver

      Preto S, Fermé E, Finger M. Coherence of probabilistic constraints on Nash equilibria [Internet]. Journal of the Brazilian Computer Society. 2022 ; 28( 1): 38-51.[citado 2024 nov. 15 ] Available from: https://doi.org/10.5753/jbcs.2022.2434
  • Source: Frontiers in Genetics. Unidade: IME

    Subjects: BIOINFORMÁTICA, METABOLÔMICA

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

      FERRARINI, Mariana Galvão et al. Totoro: identifying active reactions during the transient state for metabolic perturbations. Frontiers in Genetics, v. 13, 2022Tradução . . Disponível em: https://doi.org/10.3389/fgene.2022.815476. Acesso em: 15 nov. 2024.
    • APA

      Ferrarini, M. G., Ziska, I., Andrade, R., Julien-Laferrière, A., Duchemin, L., César Júnior, R. M., et al. (2022). Totoro: identifying active reactions during the transient state for metabolic perturbations. Frontiers in Genetics, 13. doi:10.3389/fgene.2022.815476
    • NLM

      Ferrarini MG, Ziska I, Andrade R, Julien-Laferrière A, Duchemin L, César Júnior RM, Mary A, Vinga S, Sagot M-F. Totoro: identifying active reactions during the transient state for metabolic perturbations [Internet]. Frontiers in Genetics. 2022 ; 13[citado 2024 nov. 15 ] Available from: https://doi.org/10.3389/fgene.2022.815476
    • Vancouver

      Ferrarini MG, Ziska I, Andrade R, Julien-Laferrière A, Duchemin L, César Júnior RM, Mary A, Vinga S, Sagot M-F. Totoro: identifying active reactions during the transient state for metabolic perturbations [Internet]. Frontiers in Genetics. 2022 ; 13[citado 2024 nov. 15 ] Available from: https://doi.org/10.3389/fgene.2022.815476
  • Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME

    Assunto: REPRESENTAÇÃO DE CONHECIMENTO

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

      RESINA, Fillipe Manoel Xavier et al. Choosing what to believe: new results in selective revision. 2020, Anais.. Vienna: IJCAI, 2020. Disponível em: https://doi.org/10.24963/kr.2020/70. Acesso em: 15 nov. 2024.
    • APA

      Resina, F. M. X., Garapa, M., Wassermann, R., Fermé, E., & Reis, M. (2020). Choosing what to believe: new results in selective revision. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2020/70
    • NLM

      Resina FMX, Garapa M, Wassermann R, Fermé E, Reis M. Choosing what to believe: new results in selective revision [Internet]. Proceedings. 2020 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.24963/kr.2020/70
    • Vancouver

      Resina FMX, Garapa M, Wassermann R, Fermé E, Reis M. Choosing what to believe: new results in selective revision [Internet]. Proceedings. 2020 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.24963/kr.2020/70
  • Conference titles: Brazilian Workshop on Agile Methods - WBMA. Unidade: IME

    Assunto: MÉTODOS ÁGEIS

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

      Agile methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, revised selected papers. . Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-14310-7. Acesso em: 15 nov. 2024. , 2019
    • APA

      Agile methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, revised selected papers. (2019). Agile methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, revised selected papers. Cham: Springer. doi:10.1007/978-3-030-14310-7
    • NLM

      Agile methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, revised selected papers [Internet]. 2019 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-030-14310-7
    • Vancouver

      Agile methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, revised selected papers [Internet]. 2019 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-030-14310-7
  • Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems (BRACIS). Unidade: IME

    Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, SEMÂNTICA

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

      FERMÉ, Eduardo e WASSERMANN, Renata. Iterated belief change the case of expansion into inconsistency. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/BRACIS.2017.35. Acesso em: 15 nov. 2024.
    • APA

      Fermé, E., & Wassermann, R. (2018). Iterated belief change the case of expansion into inconsistency. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2017.35
    • NLM

      Fermé E, Wassermann R. Iterated belief change the case of expansion into inconsistency [Internet]. Proceedings. 2018 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1109/BRACIS.2017.35
    • Vancouver

      Fermé E, Wassermann R. Iterated belief change the case of expansion into inconsistency [Internet]. Proceedings. 2018 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1109/BRACIS.2017.35
  • Source: Journal of the Brazilian Computer Society. Unidade: IME

    Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, SEMÂNTICA

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

      FERMÉ, Eduardo e WASSERMANN, Renata. On the logic of theory change: iteration of expansion. Journal of the Brazilian Computer Society, v. 24, n. 1, p. 1-9, 2018Tradução . . Disponível em: https://doi.org/10.1186/s13173-018-0072-4. Acesso em: 15 nov. 2024.
    • APA

      Fermé, E., & Wassermann, R. (2018). On the logic of theory change: iteration of expansion. Journal of the Brazilian Computer Society, 24( 1), 1-9. doi:10.1186/s13173-018-0072-4
    • NLM

      Fermé E, Wassermann R. On the logic of theory change: iteration of expansion [Internet]. Journal of the Brazilian Computer Society. 2018 ; 24( 1): 1-9.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1186/s13173-018-0072-4
    • Vancouver

      Fermé E, Wassermann R. On the logic of theory change: iteration of expansion [Internet]. Journal of the Brazilian Computer Society. 2018 ; 24( 1): 1-9.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1186/s13173-018-0072-4
  • Source: Journal of Internet Services and Applications. Unidade: IME

    Assunto: INTERNET

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

      VEIGA, Luís e KON, Fábio e BLAIR, Gordon. A virtual stone soup: letter from the editors. [Editorial]. Journal of Internet Services and Applications. Heidelberg: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s13174-012-0066-y. Acesso em: 15 nov. 2024. , 2012
    • APA

      Veiga, L., Kon, F., & Blair, G. (2012). A virtual stone soup: letter from the editors. [Editorial]. Journal of Internet Services and Applications. Heidelberg: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s13174-012-0066-y
    • NLM

      Veiga L, Kon F, Blair G. A virtual stone soup: letter from the editors. [Editorial] [Internet]. Journal of Internet Services and Applications. 2012 ; 3( 2): 141-142.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s13174-012-0066-y
    • Vancouver

      Veiga L, Kon F, Blair G. A virtual stone soup: letter from the editors. [Editorial] [Internet]. Journal of Internet Services and Applications. 2012 ; 3( 2): 141-142.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s13174-012-0066-y
  • Source: Journal of Internet Services and Applications. Unidade: IME

    Assunto: INTERNET

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

      KON, Fábio et al. The path to openness: letter from the editors. [Editorial]. Journal of Internet Services and Applications. Heidelberg: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s13174-012-0074-y. Acesso em: 15 nov. 2024. , 2012
    • APA

      Kon, F., Blair, G., Granville, L. Z., Boutaba, R., Wang, L., Tao, J., et al. (2012). The path to openness: letter from the editors. [Editorial]. Journal of Internet Services and Applications. Heidelberg: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s13174-012-0074-y
    • NLM

      Kon F, Blair G, Granville LZ, Boutaba R, Wang L, Tao J, Streit A, Kranzlmüller D, Veiga L. The path to openness: letter from the editors. [Editorial] [Internet]. Journal of Internet Services and Applications. 2012 ; 3( 3): 243-244.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s13174-012-0074-y
    • Vancouver

      Kon F, Blair G, Granville LZ, Boutaba R, Wang L, Tao J, Streit A, Kranzlmüller D, Veiga L. The path to openness: letter from the editors. [Editorial] [Internet]. Journal of Internet Services and Applications. 2012 ; 3( 3): 243-244.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/s13174-012-0074-y
  • Source: Mathematics of Computation. Unidade: IME

    Assunto: PROGRAMAÇÃO MATEMÁTICA

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

      QUEIROZ, Marcelo Gomes de e JÚDICE, Joaquim e HUMES JÚNIOR, Carlos. The symmetric eigenvalue complementarity problem. Mathematics of Computation, v. 73, n. 248, p. 1849-1863, 2004Tradução . . Disponível em: https://doi.org/10.1090/S0025-5718-03-01614-4. Acesso em: 15 nov. 2024.
    • APA

      Queiroz, M. G. de, Júdice, J., & Humes Júnior, C. (2004). The symmetric eigenvalue complementarity problem. Mathematics of Computation, 73( 248), 1849-1863. doi:10.1090/S0025-5718-03-01614-4
    • NLM

      Queiroz MG de, Júdice J, Humes Júnior C. The symmetric eigenvalue complementarity problem [Internet]. Mathematics of Computation. 2004 ; 73( 248): 1849-1863.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1090/S0025-5718-03-01614-4
    • Vancouver

      Queiroz MG de, Júdice J, Humes Júnior C. The symmetric eigenvalue complementarity problem [Internet]. Mathematics of Computation. 2004 ; 73( 248): 1849-1863.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1090/S0025-5718-03-01614-4
  • Source: Theoretical Computer Science. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

      BRODA, Sabine et al. The decidability of a fragment of BB'IW-logic. Theoretical Computer Science, v. 318, n. 3, p. 373-408, 2004Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2004.02.002. Acesso em: 15 nov. 2024.
    • APA

      Broda, S., Damas, L., Finger, M., & Silva, P. J. S. (2004). The decidability of a fragment of BB'IW-logic. Theoretical Computer Science, 318( 3), 373-408. doi:10.1016/j.tcs.2004.02.002
    • NLM

      Broda S, Damas L, Finger M, Silva PJS. The decidability of a fragment of BB'IW-logic [Internet]. Theoretical Computer Science. 2004 ; 318( 3): 373-408.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.tcs.2004.02.002
    • Vancouver

      Broda S, Damas L, Finger M, Silva PJS. The decidability of a fragment of BB'IW-logic [Internet]. Theoretical Computer Science. 2004 ; 318( 3): 373-408.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.tcs.2004.02.002
  • Source: Computers & Operations Research. Unidade: IME

    Assunto: PROGRAMAÇÃO MATEMÁTICA

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

      QUEIROZ, Marcelo Gomes de e HUMES JÚNIOR, Carlos e JÚDICE, Joaquim. On finding global optima for the hinge fitting problem. Computers & Operations Research, v. 31, n. 1, p. 101-122, 2004Tradução . . Disponível em: https://doi.org/10.1016/S0305-0548(02)00179-X. Acesso em: 15 nov. 2024.
    • APA

      Queiroz, M. G. de, Humes Júnior, C., & Júdice, J. (2004). On finding global optima for the hinge fitting problem. Computers & Operations Research, 31( 1), 101-122. doi:10.1016/S0305-0548(02)00179-X
    • NLM

      Queiroz MG de, Humes Júnior C, Júdice J. On finding global optima for the hinge fitting problem [Internet]. Computers & Operations Research. 2004 ; 31( 1): 101-122.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/S0305-0548(02)00179-X
    • Vancouver

      Queiroz MG de, Humes Júnior C, Júdice J. On finding global optima for the hinge fitting problem [Internet]. Computers & Operations Research. 2004 ; 31( 1): 101-122.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/S0305-0548(02)00179-X

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