Menu

Filtros : "IME" Removido: "Teses e dissertações" Limpar

Filtros

Refine with date range

1 - 20 (11.978 records)

  • Artigo de periodico

    GUBS criterion: arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on expected utility theory (2023)

    Crispino, Gabriel Nunes; Silva, Valdinei Freire da ; Delgado, Karina Valdivia

    Source: Artificial Intelligence. Unidades: EACH, IME

    Subjects: PROCESSOS DE MARKOV, ESTATÍSTICA DE PROCESSOS ESTOCÁSTICOS, TOMADA DE DECISÃO

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

    • ABNT

      CRISPINO, Gabriel Nunes e SILVA, Valdinei Freire da e DELGADO, Karina Valdivia. GUBS criterion: arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on expected utility theory. Artificial Intelligence, v. 316, p. 103848 ( 01-45), 2023Tradução . . Disponível em: http://dx.doi.org/10.1016/j.artint.2022.103848. Acesso em: 30 set. 2023.

    • APA

      Crispino, G. N., Silva, V. F. da, & Delgado, K. V. (2023). GUBS criterion: arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on expected utility theory. Artificial Intelligence, 316, 103848 ( 01-45). doi:10.1016/j.artint.2022.103848

    • NLM

      Crispino GN, Silva VF da, Delgado KV. GUBS criterion: arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on expected utility theory [Internet]. Artificial Intelligence. 2023 ; 316 103848 ( 01-45).[citado 2023 set. 30 ] Available from: http://dx.doi.org/10.1016/j.artint.2022.103848

    • Vancouver

      Crispino GN, Silva VF da, Delgado KV. GUBS criterion: arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on expected utility theory [Internet]. Artificial Intelligence. 2023 ; 316 103848 ( 01-45).[citado 2023 set. 30 ] Available from: http://dx.doi.org/10.1016/j.artint.2022.103848

  • Artigo de periodico

    Banach–Stone theorems for algebras of holomorphic germs on spaces with the approximation property (2023)

    Vieira, Daniela Mariz Silva

    Source: Mathematische Nachrichten. Unidade: IME

    Subjects: HOLOMORFIA EM DIMENSÃO INFINITA, ANÁLISE FUNCIONAL

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

    • ABNT

      VIEIRA, Daniela Mariz Silva. Banach–Stone theorems for algebras of holomorphic germs on spaces with the approximation property. Mathematische Nachrichten, 2023Tradução . . Disponível em: https://doi.org/10.1002/mana.202200245. Acesso em: 30 set. 2023.

    • APA

      Vieira, D. M. S. (2023). Banach–Stone theorems for algebras of holomorphic germs on spaces with the approximation property. Mathematische Nachrichten. doi:10.1002/mana.202200245

    • NLM

      Vieira DMS. Banach–Stone theorems for algebras of holomorphic germs on spaces with the approximation property [Internet]. Mathematische Nachrichten. 2023 ;[citado 2023 set. 30 ] Available from: https://doi.org/10.1002/mana.202200245

    • Vancouver

      Vieira DMS. Banach–Stone theorems for algebras of holomorphic germs on spaces with the approximation property [Internet]. Mathematische Nachrichten. 2023 ;[citado 2023 set. 30 ] Available from: https://doi.org/10.1002/mana.202200245

  • Artigo de periodico

    The lncRNA DLX6-AS1/miR-16-5p axis regulates autophagy and apoptosis in non-small cell lung cancer: a Boolean model of cell death (2023)

    Gupta, Shantanu ; Silveira, Daner Acunha ; Mombach, Jose Carlos M. ; Hashimoto, Ronaldo Fumio

    Source: Non-coding RNA Research. Unidade: IME

    Subjects: APOPTOSE, ÁLGEBRAS DE BOOLE, COMPUTAÇÃO APLICADA, NEOPLASIAS PULMONARES

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

    • ABNT

      GUPTA, Shantanu et al. The lncRNA DLX6-AS1/miR-16-5p axis regulates autophagy and apoptosis in non-small cell lung cancer: a Boolean model of cell death. Non-coding RNA Research, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.ncrna.2023.08.003. Acesso em: 30 set. 2023.

    • APA

      Gupta, S., Silveira, D. A., Mombach, J. C. M., & Hashimoto, R. F. (2023). The lncRNA DLX6-AS1/miR-16-5p axis regulates autophagy and apoptosis in non-small cell lung cancer: a Boolean model of cell death. Non-coding RNA Research. doi:10.1016/j.ncrna.2023.08.003

    • NLM

      Gupta S, Silveira DA, Mombach JCM, Hashimoto RF. The lncRNA DLX6-AS1/miR-16-5p axis regulates autophagy and apoptosis in non-small cell lung cancer: a Boolean model of cell death [Internet]. Non-coding RNA Research. 2023 ;[citado 2023 set. 30 ] Available from: https://doi.org/10.1016/j.ncrna.2023.08.003

    • Vancouver

      Gupta S, Silveira DA, Mombach JCM, Hashimoto RF. The lncRNA DLX6-AS1/miR-16-5p axis regulates autophagy and apoptosis in non-small cell lung cancer: a Boolean model of cell death [Internet]. Non-coding RNA Research. 2023 ;[citado 2023 set. 30 ] Available from: https://doi.org/10.1016/j.ncrna.2023.08.003

  • Trabalho de evento-resumo

    Continuity of attractors for a oscilatory perturbation of the square (2023)

    Pereira, Antônio Luiz ; Lorenzi, Bianca Paolini

    Source: Abstracts. Conference titles: Americas Conference on Differential Equations and Nonlinear Analysis. Unidade: IME

    Assunto: EQUAÇÕES DIFERENCIAIS PARCIAIS

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

    • ABNT

      PEREIRA, Antônio Luiz e LORENZI, Bianca Paolini. Continuity of attractors for a oscilatory perturbation of the square. 2023, Anais.. São Carlos: ICMC-USP, 2023. Disponível em: http://summer.icmc.usp.br/summers/summer23/pg_abstract.php. Acesso em: 30 set. 2023.

    • APA

      Pereira, A. L., & Lorenzi, B. P. (2023). Continuity of attractors for a oscilatory perturbation of the square. In Abstracts. São Carlos: ICMC-USP. Recuperado de http://summer.icmc.usp.br/summers/summer23/pg_abstract.php

    • NLM

      Pereira AL, Lorenzi BP. Continuity of attractors for a oscilatory perturbation of the square [Internet]. Abstracts. 2023 ;[citado 2023 set. 30 ] Available from: http://summer.icmc.usp.br/summers/summer23/pg_abstract.php

    • Vancouver

      Pereira AL, Lorenzi BP. Continuity of attractors for a oscilatory perturbation of the square [Internet]. Abstracts. 2023 ;[citado 2023 set. 30 ] Available from: http://summer.icmc.usp.br/summers/summer23/pg_abstract.php

  • Artigo de periodico

    Extension of c0(I)-valued operators on spaces of continuous functions on compact lines (2023)

    Ronchim, Victor dos Santos ; Tausk, Daniel Victor

    Source: Studia Mathematica. Unidade: IME

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

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

    • ABNT

      RONCHIM, Victor dos Santos e TAUSK, Daniel Victor. Extension of c0(I)-valued operators on spaces of continuous functions on compact lines. Studia Mathematica, v. 268, n. 3, p. 259-289, 2023Tradução . . Disponível em: https://doi.org/10.4064/sm211120-2-6. Acesso em: 30 set. 2023.

    • APA

      Ronchim, V. dos S., & Tausk, D. V. (2023). Extension of c0(I)-valued operators on spaces of continuous functions on compact lines. Studia Mathematica, 268( 3), 259-289. doi:10.4064/sm211120-2-6

    • NLM

      Ronchim V dos S, Tausk DV. Extension of c0(I)-valued operators on spaces of continuous functions on compact lines [Internet]. Studia Mathematica. 2023 ; 268( 3): 259-289.[citado 2023 set. 30 ] Available from: https://doi.org/10.4064/sm211120-2-6

    • Vancouver

      Ronchim V dos S, Tausk DV. Extension of c0(I)-valued operators on spaces of continuous functions on compact lines [Internet]. Studia Mathematica. 2023 ; 268( 3): 259-289.[citado 2023 set. 30 ] Available from: https://doi.org/10.4064/sm211120-2-6

  • Artigo de periodico

    Mapping the walk: a scalable computer vision approach for generating sidewalk network datasets from aerial imagery (2023)

    Hosseini, Maryam; Sevtsuk, Andres ; Miranda, Fabio ; César Júnior, Roberto Marcondes ; Silva, Claudio T.

    Source: Computers, Environment and Urban Systems. Unidade: IME

    Subjects: MOBILIDADE URBANA, COMPUTAÇÃO APLICADA, SEMÂNTICA DE PROGRAMAÇÃO

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

    • ABNT

      HOSSEINI, Maryam et al. Mapping the walk: a scalable computer vision approach for generating sidewalk network datasets from aerial imagery. Computers, Environment and Urban Systems, v. 101, n. artigo 101950, p. 1-13, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.compenvurbsys.2023.101950. Acesso em: 30 set. 2023.

    • APA

      Hosseini, M., Sevtsuk, A., Miranda, F., César Júnior, R. M., & Silva, C. T. (2023). Mapping the walk: a scalable computer vision approach for generating sidewalk network datasets from aerial imagery. Computers, Environment and Urban Systems, 101( artigo 101950), 1-13. doi:10.1016/j.compenvurbsys.2023.101950

    • NLM

      Hosseini M, Sevtsuk A, Miranda F, César Júnior RM, Silva CT. Mapping the walk: a scalable computer vision approach for generating sidewalk network datasets from aerial imagery [Internet]. Computers, Environment and Urban Systems. 2023 ; 101( artigo 101950): 1-13.[citado 2023 set. 30 ] Available from: https://doi.org/10.1016/j.compenvurbsys.2023.101950

    • Vancouver

      Hosseini M, Sevtsuk A, Miranda F, César Júnior RM, Silva CT. Mapping the walk: a scalable computer vision approach for generating sidewalk network datasets from aerial imagery [Internet]. Computers, Environment and Urban Systems. 2023 ; 101( artigo 101950): 1-13.[citado 2023 set. 30 ] Available from: https://doi.org/10.1016/j.compenvurbsys.2023.101950

  • Artigo de periodico

    Sequential constant rank constraint qualifications for nonlinear semidefinite programming with algorithmic applications (2023)

    Andreani, Roberto ; Haeser, Gabriel ; Mito, Leonardo ; Ramírez, Héctor

    Source: Set-Valued and Variational Analysis. Unidade: IME

    Subjects: PESQUISA OPERACIONAL, PROGRAMAÇÃO NÃO LINEAR, OTIMIZAÇÃO GLOBAL

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

    • ABNT

      ANDREANI, Roberto et al. Sequential constant rank constraint qualifications for nonlinear semidefinite programming with algorithmic applications. Set-Valued and Variational Analysis, v. 31, n. artigo 3, p. 1-27, 2023Tradução . . Disponível em: https://doi.org/10.1007/s11228-023-00666-3. Acesso em: 30 set. 2023.

    • APA

      Andreani, R., Haeser, G., Mito, L., & Ramírez, H. (2023). Sequential constant rank constraint qualifications for nonlinear semidefinite programming with algorithmic applications. Set-Valued and Variational Analysis, 31( artigo 3), 1-27. doi:10.1007/s11228-023-00666-3

    • NLM

      Andreani R, Haeser G, Mito L, Ramírez H. Sequential constant rank constraint qualifications for nonlinear semidefinite programming with algorithmic applications [Internet]. Set-Valued and Variational Analysis. 2023 ; 31( artigo 3): 1-27.[citado 2023 set. 30 ] Available from: https://doi.org/10.1007/s11228-023-00666-3

    • Vancouver

      Andreani R, Haeser G, Mito L, Ramírez H. Sequential constant rank constraint qualifications for nonlinear semidefinite programming with algorithmic applications [Internet]. Set-Valued and Variational Analysis. 2023 ; 31( artigo 3): 1-27.[citado 2023 set. 30 ] Available from: https://doi.org/10.1007/s11228-023-00666-3

  • Artigo de periodico

    Homogenization for nonlocal evolution problems with three different smooth kernels (2023)

    Capanna, Monia; Nakasato, Jean Carlos ; Pereira, Marcone Corrêa ; Rossi, Julio D.

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

    Subjects: EQUAÇÕES INTEGRAIS, EQUAÇÕES DIFERENCIAIS PARCIAIS

    Disponível em 2024-02-13Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CAPANNA, Monia et al. Homogenization for nonlocal evolution problems with three different smooth kernels. Journal of Dynamics and Differential Equations, 2023Tradução . . Disponível em: https://doi.org/10.1007/s10884-023-10248-4. Acesso em: 30 set. 2023.

    • APA

      Capanna, M., Nakasato, J. C., Pereira, M. C., & Rossi, J. D. (2023). Homogenization for nonlocal evolution problems with three different smooth kernels. Journal of Dynamics and Differential Equations. doi:10.1007/s10884-023-10248-4

    • NLM

      Capanna M, Nakasato JC, Pereira MC, Rossi JD. Homogenization for nonlocal evolution problems with three different smooth kernels [Internet]. Journal of Dynamics and Differential Equations. 2023 ;[citado 2023 set. 30 ] Available from: https://doi.org/10.1007/s10884-023-10248-4

    • Vancouver

      Capanna M, Nakasato JC, Pereira MC, Rossi JD. Homogenization for nonlocal evolution problems with three different smooth kernels [Internet]. Journal of Dynamics and Differential Equations. 2023 ;[citado 2023 set. 30 ] Available from: https://doi.org/10.1007/s10884-023-10248-4

  • Artigo de periodico

    Free Bol loops of exponent two (2023)

    Grichkov, Alexandre ; Rasskazova, Marina ; Anjos, Giliard Souza dos

    Source: Journal of Algebra. Unidade: IME

    Assunto: LAÇOS

    Versão PublicadaAcesso à fonteDOIHow 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 ANJOS, Giliard Souza dos. Free Bol loops of exponent two. Journal of Algebra, p. 545-561, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.jalgebra.2023.02.019. Acesso em: 30 set. 2023.

    • APA

      Grichkov, A., Rasskazova, M., & Anjos, G. S. dos. (2023). Free Bol loops of exponent two. Journal of Algebra, 545-561. doi:10.1016/j.jalgebra.2023.02.019

    • NLM

      Grichkov A, Rasskazova M, Anjos GS dos. Free Bol loops of exponent two [Internet]. Journal of Algebra. 2023 ; 545-561.[citado 2023 set. 30 ] Available from: https://doi.org/10.1016/j.jalgebra.2023.02.019

    • Vancouver

      Grichkov A, Rasskazova M, Anjos GS dos. Free Bol loops of exponent two [Internet]. Journal of Algebra. 2023 ; 545-561.[citado 2023 set. 30 ] Available from: https://doi.org/10.1016/j.jalgebra.2023.02.019

  • Artigo de periodico

    Resource-intensive fuzzing for MQTT brokers: state of the art, performance evaluation, and open issues (2023)

    Rodriguez, Luis Gustavo Araujo ; Batista, Daniel Macêdo

    Source: IEEE Networking Letters. Unidade: IME

    Assunto: INTERNET DAS COISAS

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

    • ABNT

      RODRIGUEZ, Luis Gustavo Araujo e BATISTA, Daniel Macêdo. Resource-intensive fuzzing for MQTT brokers: state of the art, performance evaluation, and open issues. IEEE Networking Letters, n. , p. 1-1-, 2023Tradução . . Disponível em: https://doi.org/10.1109/LNET.2023.3263556. Acesso em: 30 set. 2023.

    • APA

      Rodriguez, L. G. A., & Batista, D. M. (2023). Resource-intensive fuzzing for MQTT brokers: state of the art, performance evaluation, and open issues. IEEE Networking Letters, ( ), 1-1-. doi:10.1109/LNET.2023.3263556

    • NLM

      Rodriguez LGA, Batista DM. Resource-intensive fuzzing for MQTT brokers: state of the art, performance evaluation, and open issues [Internet]. IEEE Networking Letters. 2023 ;( ): 1-1-.[citado 2023 set. 30 ] Available from: https://doi.org/10.1109/LNET.2023.3263556

    • Vancouver

      Rodriguez LGA, Batista DM. Resource-intensive fuzzing for MQTT brokers: state of the art, performance evaluation, and open issues [Internet]. IEEE Networking Letters. 2023 ;( ): 1-1-.[citado 2023 set. 30 ] Available from: https://doi.org/10.1109/LNET.2023.3263556

  • Artigo de periodico

    How heavy independent sets help to find arborescences with many leaves in DAGs (2023)

    Fernandes, Cristina Gomes ; Lintzmayer, Carla Negri

    Source: Journal of Computer and System Sciences. Unidade: IME

    Subjects: ALGORITMOS DE APROXIMAÇÃO, TEORIA DOS GRAFOS, ALGORITMOS E ESTRUTURAS DE DADOS

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

    • ABNT

      FERNANDES, Cristina Gomes e LINTZMAYER, Carla Negri. How heavy independent sets help to find arborescences with many leaves in DAGs. Journal of Computer and System Sciences, v. 135, p. 158-174, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.jcss.2023.02.006. Acesso em: 30 set. 2023.

    • APA

      Fernandes, C. G., & Lintzmayer, C. N. (2023). How heavy independent sets help to find arborescences with many leaves in DAGs. Journal of Computer and System Sciences, 135, 158-174. doi:10.1016/j.jcss.2023.02.006

    • NLM

      Fernandes CG, Lintzmayer CN. How heavy independent sets help to find arborescences with many leaves in DAGs [Internet]. Journal of Computer and System Sciences. 2023 ; 135 158-174.[citado 2023 set. 30 ] Available from: https://doi.org/10.1016/j.jcss.2023.02.006

    • Vancouver

      Fernandes CG, Lintzmayer CN. How heavy independent sets help to find arborescences with many leaves in DAGs [Internet]. Journal of Computer and System Sciences. 2023 ; 135 158-174.[citado 2023 set. 30 ] Available from: https://doi.org/10.1016/j.jcss.2023.02.006

  • Artigo de periodico