Filtros : "IME" Removidos: "PARTE DE MONOGRAFIA/LIVRO-APRES/PREF/POSF" "Dinamarca" "2024" Limpar

Filtros



Limitar por data


  • Unidade: IME

    Assuntos: MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, CAPITAL DE RISCO

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      STEVAUX, Rodrigo Ehrlich. A formalization of a startup finance transaction model using Alloy. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/. Acesso em: 12 set. 2024.
    • APA

      Stevaux, R. E. (2023). A formalization of a startup finance transaction model using Alloy (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
    • NLM

      Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
    • Vancouver

      Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
  • Unidade: IME

    Assuntos: PROCESSAMENTO DE IMAGENS, REDES NEURAIS, RESSONÂNCIA MAGNÉTICA, VISÃO COMPUTACIONAL

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PIMENTA, José Luiz Maciel. Rede especialista em segmentação automática da fossa craniana posterior na população pediátrica. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-25032024-090338/. Acesso em: 12 set. 2024.
    • APA

      Pimenta, J. L. M. (2023). Rede especialista em segmentação automática da fossa craniana posterior na população pediátrica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-25032024-090338/
    • NLM

      Pimenta JLM. Rede especialista em segmentação automática da fossa craniana posterior na população pediátrica [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-25032024-090338/
    • Vancouver

      Pimenta JLM. Rede especialista em segmentação automática da fossa craniana posterior na população pediátrica [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-25032024-090338/
  • Unidade: IME

    Assuntos: APRENDIZAGEM PROFUNDA, VISÃO COMPUTACIONAL

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      OLIVEIRA, Artur André Almeida de Macedo. Overcoming challenging crban images: deep learning and data integration methods for detecting trees entangled with power lines. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-22032024-184659/. Acesso em: 12 set. 2024.
    • APA

      Oliveira, A. A. A. de M. (2023). Overcoming challenging crban images: deep learning and data integration methods for detecting trees entangled with power lines (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-22032024-184659/
    • NLM

      Oliveira AAA de M. Overcoming challenging crban images: deep learning and data integration methods for detecting trees entangled with power lines [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-22032024-184659/
    • Vancouver

      Oliveira AAA de M. Overcoming challenging crban images: deep learning and data integration methods for detecting trees entangled with power lines [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-22032024-184659/
  • Fonte: Marine Biology (print). Unidades: IO, CEBIMAR, IME

    Assuntos: CORAL (GEMA ORGÂNICA), GESTÃO AMBIENTAL

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MIZRAHI, Damián et al. Sun coral larval release following mechanical removal: a 2-year study on the southeast Brazilian coast. Marine Biology (print), v. 170, 2023Tradução . . Disponível em: https://doi.org/10.1007/s00227-023-04296-z. Acesso em: 12 set. 2024.
    • APA

      Mizrahi, D., Gomes, A. C. S., Silva, M. C., & Lopes, R. M. (2023). Sun coral larval release following mechanical removal: a 2-year study on the southeast Brazilian coast. Marine Biology (print), 170. doi:10.1007/s00227-023-04296-z
    • NLM

      Mizrahi D, Gomes ACS, Silva MC, Lopes RM. Sun coral larval release following mechanical removal: a 2-year study on the southeast Brazilian coast [Internet]. Marine Biology (print). 2023 ; 170[citado 2024 set. 12 ] Available from: https://doi.org/10.1007/s00227-023-04296-z
    • Vancouver

      Mizrahi D, Gomes ACS, Silva MC, Lopes RM. Sun coral larval release following mechanical removal: a 2-year study on the southeast Brazilian coast [Internet]. Marine Biology (print). 2023 ; 170[citado 2024 set. 12 ] Available from: https://doi.org/10.1007/s00227-023-04296-z
  • Fonte: Applied Mathematical Modelling. Unidade: IME

    Assuntos: EQUAÇÕES DIFERENCIAIS ORDINÁRIAS, MATEMÁTICA APLICADA, BIOLOGIA

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

      LOPES, Luís Eduardo dos Santos e FERREIRA, Cláudia P e OLIVA, Sérgio Muniz. Exploring the impact of temperature on the efficacy of replacing a wild Aedes aegypti population by a Wolbachia-carrying one. Applied Mathematical Modelling, v. 123, p. 392-405, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.apm.2023.07.007. Acesso em: 12 set. 2024.
    • APA

      Lopes, L. E. dos S., Ferreira, C. P., & Oliva, S. M. (2023). Exploring the impact of temperature on the efficacy of replacing a wild Aedes aegypti population by a Wolbachia-carrying one. Applied Mathematical Modelling, 123, 392-405. doi:10.1016/j.apm.2023.07.007
    • NLM

      Lopes LE dos S, Ferreira CP, Oliva SM. Exploring the impact of temperature on the efficacy of replacing a wild Aedes aegypti population by a Wolbachia-carrying one [Internet]. Applied Mathematical Modelling. 2023 ; 123 392-405.[citado 2024 set. 12 ] Available from: https://doi.org/10.1016/j.apm.2023.07.007
    • Vancouver

      Lopes LE dos S, Ferreira CP, Oliva SM. Exploring the impact of temperature on the efficacy of replacing a wild Aedes aegypti population by a Wolbachia-carrying one [Internet]. Applied Mathematical Modelling. 2023 ; 123 392-405.[citado 2024 set. 12 ] Available from: https://doi.org/10.1016/j.apm.2023.07.007
  • Unidade: IME

    Assunto: ESTATÍSTICA APLICADA

    Versão PublicadaComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ARAÚJO, Caio Serrano de et al. Relatório de análise estatística sobre o projeto Estudos comportamentais dos camundongos BALB/Ccrup obtidos através de mutação induzida pelo agente químico N-ethyl-N-nitrosourea: um possível modelo para o estudo de doenças neurodegenerativas. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/d278da84-d5c5-44b3-b511-1db79e593b0a/3148395.pdf. Acesso em: 12 set. 2024. , 2023
    • APA

      Araújo, C. S. de, Fonseca, C. de O., André, C. D. S. de, & Oliveira, G. C. de. (2023). Relatório de análise estatística sobre o projeto Estudos comportamentais dos camundongos BALB/Ccrup obtidos através de mutação induzida pelo agente químico N-ethyl-N-nitrosourea: um possível modelo para o estudo de doenças neurodegenerativas. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/d278da84-d5c5-44b3-b511-1db79e593b0a/3148395.pdf
    • NLM

      Araújo CS de, Fonseca C de O, André CDS de, Oliveira GC de. Relatório de análise estatística sobre o projeto Estudos comportamentais dos camundongos BALB/Ccrup obtidos através de mutação induzida pelo agente químico N-ethyl-N-nitrosourea: um possível modelo para o estudo de doenças neurodegenerativas [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://repositorio.usp.br/directbitstream/d278da84-d5c5-44b3-b511-1db79e593b0a/3148395.pdf
    • Vancouver

      Araújo CS de, Fonseca C de O, André CDS de, Oliveira GC de. Relatório de análise estatística sobre o projeto Estudos comportamentais dos camundongos BALB/Ccrup obtidos através de mutação induzida pelo agente químico N-ethyl-N-nitrosourea: um possível modelo para o estudo de doenças neurodegenerativas [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://repositorio.usp.br/directbitstream/d278da84-d5c5-44b3-b511-1db79e593b0a/3148395.pdf
  • Unidade: IME

    Assunto: ESTATÍSTICA APLICADA

    Versão PublicadaComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ALENCAR, Bianca Siqueira et al. Relatório de análise estatística sobre o projeto "Explorando a influência da extroversão-introversão e o grau de stress de consumidores na percepção de campanhas publicitárias". . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/fb86c66d-87ca-4ecd-b488-84ce79fac6d7/3148393.pdf. Acesso em: 12 set. 2024. , 2023
    • APA

      Alencar, B. S., Gouveia, E. M. D., Esteves, L. G., & Coelho, M. S. (2023). Relatório de análise estatística sobre o projeto "Explorando a influência da extroversão-introversão e o grau de stress de consumidores na percepção de campanhas publicitárias". São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/fb86c66d-87ca-4ecd-b488-84ce79fac6d7/3148393.pdf
    • NLM

      Alencar BS, Gouveia EMD, Esteves LG, Coelho MS. Relatório de análise estatística sobre o projeto "Explorando a influência da extroversão-introversão e o grau de stress de consumidores na percepção de campanhas publicitárias" [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://repositorio.usp.br/directbitstream/fb86c66d-87ca-4ecd-b488-84ce79fac6d7/3148393.pdf
    • Vancouver

      Alencar BS, Gouveia EMD, Esteves LG, Coelho MS. Relatório de análise estatística sobre o projeto "Explorando a influência da extroversão-introversão e o grau de stress de consumidores na percepção de campanhas publicitárias" [Internet]. 2023 ;[citado 2024 set. 12 ] Available from: https://repositorio.usp.br/directbitstream/fb86c66d-87ca-4ecd-b488-84ce79fac6d7/3148393.pdf
  • Fonte: Computational Biology and Chemistry. Unidade: IME

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

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

      GUPTA, Shantanu e SILVEIRA, Daner Acunha e HASHIMOTO, Ronaldo Fumio. A Boolean model of the oncogene role of FAM111B in lung adenocarcinoma. Computational Biology and Chemistry, v. 106, p. 1-6, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.compbiolchem.2023.107926. Acesso em: 12 set. 2024.
    • APA

      Gupta, S., Silveira, D. A., & Hashimoto, R. F. (2023). A Boolean model of the oncogene role of FAM111B in lung adenocarcinoma. Computational Biology and Chemistry, 106, 1-6. doi:10.1016/j.compbiolchem.2023.107926
    • NLM

      Gupta S, Silveira DA, Hashimoto RF. A Boolean model of the oncogene role of FAM111B in lung adenocarcinoma [Internet]. Computational Biology and Chemistry. 2023 ; 106 1-6.[citado 2024 set. 12 ] Available from: https://doi.org/10.1016/j.compbiolchem.2023.107926
    • Vancouver

      Gupta S, Silveira DA, Hashimoto RF. A Boolean model of the oncogene role of FAM111B in lung adenocarcinoma [Internet]. Computational Biology and Chemistry. 2023 ; 106 1-6.[citado 2024 set. 12 ] Available from: https://doi.org/10.1016/j.compbiolchem.2023.107926
  • Fonte: Non-coding RNA Research. Unidade: IME

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

    Versão PublicadaAcesso à fonteDOIComo citar
    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, v. 8, n. 4, p. 605-614, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.ncrna.2023.08.003. Acesso em: 12 set. 2024.
    • 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, 8( 4), 605-614. 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 ; 8( 4): 605-614.[citado 2024 set. 12 ] 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 ; 8( 4): 605-614.[citado 2024 set. 12 ] Available from: https://doi.org/10.1016/j.ncrna.2023.08.003
  • Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME

    Assuntos: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA

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

      PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Linking Łukasiewicz logic and boolean maximum satisfiability. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00040. Acesso em: 12 set. 2024.
    • APA

      Preto, S., Manyà, F., & Finger, M. (2023). Linking Łukasiewicz logic and boolean maximum satisfiability. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00040
    • NLM

      Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2024 set. 12 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
    • Vancouver

      Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2024 set. 12 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
  • Fonte: The Knowledge Engineering Review. Unidades: IME, FD

    Assuntos: ALGORITMOS E ESTRUTURAS DE DADOS, DECISÃO JUDICIAL, BRASIL

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

      SOUZA, Jackson José de et al. Selecting and ranking leading cases in Brazilian Supreme Court decisions. The Knowledge Engineering Review, v. 38, n. artigo e7, p. 1-18, 2023Tradução . . Disponível em: https://doi.org/10.1017/S0269888923000073. Acesso em: 12 set. 2024.
    • APA

      Souza, J. J. de, Finger, M., Araújo, J. A. A. de, & Maranhão, J. (2023). Selecting and ranking leading cases in Brazilian Supreme Court decisions. The Knowledge Engineering Review, 38( artigo e7), 1-18. doi:10.1017/S0269888923000073
    • NLM

      Souza JJ de, Finger M, Araújo JAA de, Maranhão J. Selecting and ranking leading cases in Brazilian Supreme Court decisions [Internet]. The Knowledge Engineering Review. 2023 ; 38( artigo e7): 1-18.[citado 2024 set. 12 ] Available from: https://doi.org/10.1017/S0269888923000073
    • Vancouver

      Souza JJ de, Finger M, Araújo JAA de, Maranhão J. Selecting and ranking leading cases in Brazilian Supreme Court decisions [Internet]. The Knowledge Engineering Review. 2023 ; 38( artigo e7): 1-18.[citado 2024 set. 12 ] Available from: https://doi.org/10.1017/S0269888923000073
  • Fonte: Journal of Algebra. Unidade: IME

    Assuntos: ÁLGEBRAS DE LIE, ANÉIS E ÁLGEBRAS NÃO ASSOCIATIVOS

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

      FUTORNY, Vyacheslav e MORALES, Oscar e KŘIŽKA, Libor. Admissible representations of simple affine vertex algebras. Journal of Algebra, v. 628, p. 22-70, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.jalgebra.2023.03.010. Acesso em: 12 set. 2024.
    • APA

      Futorny, V., Morales, O., & Křižka, L. (2023). Admissible representations of simple affine vertex algebras. Journal of Algebra, 628, 22-70. doi:10.1016/j.jalgebra.2023.03.010
    • NLM

      Futorny V, Morales O, Křižka L. Admissible representations of simple affine vertex algebras [Internet]. Journal of Algebra. 2023 ; 628 22-70.[citado 2024 set. 12 ] Available from: https://doi.org/10.1016/j.jalgebra.2023.03.010
    • Vancouver

      Futorny V, Morales O, Křižka L. Admissible representations of simple affine vertex algebras [Internet]. Journal of Algebra. 2023 ; 628 22-70.[citado 2024 set. 12 ] Available from: https://doi.org/10.1016/j.jalgebra.2023.03.010
  • Fonte: Bulletin of the Malaysian Mathematical Sciences Society. Unidade: IME

    Assuntos: ANÁLISE FUNCIONAL, GRUPOS TOPOLÓGICOS

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

      CASTILLO, Jesús M. F e FERENCZI, Valentin. Group actions on twisted sums of Banach spaces. Bulletin of the Malaysian Mathematical Sciences Society, v. 46, n. artigo 135, p. 1-47, 2023Tradução . . Disponível em: https://doi.org/10.1007/s40840-023-01531-0. Acesso em: 12 set. 2024.
    • APA

      Castillo, J. M. F., & Ferenczi, V. (2023). Group actions on twisted sums of Banach spaces. Bulletin of the Malaysian Mathematical Sciences Society, 46( artigo 135), 1-47. doi:10.1007/s40840-023-01531-0
    • NLM

      Castillo JMF, Ferenczi V. Group actions on twisted sums of Banach spaces [Internet]. Bulletin of the Malaysian Mathematical Sciences Society. 2023 ; 46( artigo 135): 1-47.[citado 2024 set. 12 ] Available from: https://doi.org/10.1007/s40840-023-01531-0
    • Vancouver

      Castillo JMF, Ferenczi V. Group actions on twisted sums of Banach spaces [Internet]. Bulletin of the Malaysian Mathematical Sciences Society. 2023 ; 46( artigo 135): 1-47.[citado 2024 set. 12 ] Available from: https://doi.org/10.1007/s40840-023-01531-0
  • Fonte: Mathematische Nachrichten. Unidade: IME

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

    PrivadoAcesso à fonteDOIComo citar
    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, v. 296, n. 11, p. 5070-5076, 2023Tradução . . Disponível em: https://doi.org/10.1002/mana.202200245. Acesso em: 12 set. 2024.
    • APA

      Vieira, D. M. S. (2023). Banach-Stone theorems for algebras of holomorphic germs on spaces with the approximation property. Mathematische Nachrichten, 296( 11), 5070-5076. 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 ; 296( 11): 5070-5076.[citado 2024 set. 12 ] 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 ; 296( 11): 5070-5076.[citado 2024 set. 12 ] Available from: https://doi.org/10.1002/mana.202200245
  • Fonte: Set-Valued and Variational Analysis. Unidade: IME

    Assunto: PROGRAMAÇÃO MATEMÁTICA

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

      FUKUDA, Ellen Hidemi e HAESER, Gabriel e MITO, Leonardo. On the weak second-order optimality condition for nonlinear semidefinite and second-order cone programming. Set-Valued and Variational Analysis, v. 31, n. artigo 15, p. 1-28, 2023Tradução . . Disponível em: https://doi.org/10.1007/s11228-023-00676-1. Acesso em: 12 set. 2024.
    • APA

      Fukuda, E. H., Haeser, G., & Mito, L. (2023). On the weak second-order optimality condition for nonlinear semidefinite and second-order cone programming. Set-Valued and Variational Analysis, 31( artigo 15), 1-28. doi:10.1007/s11228-023-00676-1
    • NLM

      Fukuda EH, Haeser G, Mito L. On the weak second-order optimality condition for nonlinear semidefinite and second-order cone programming [Internet]. Set-Valued and Variational Analysis. 2023 ; 31( artigo 15): 1-28.[citado 2024 set. 12 ] Available from: https://doi.org/10.1007/s11228-023-00676-1
    • Vancouver

      Fukuda EH, Haeser G, Mito L. On the weak second-order optimality condition for nonlinear semidefinite and second-order cone programming [Internet]. Set-Valued and Variational Analysis. 2023 ; 31( artigo 15): 1-28.[citado 2024 set. 12 ] Available from: https://doi.org/10.1007/s11228-023-00676-1
  • Fonte: Os desafios para a formação inicial na pandemia de Covid-19: PIBID e PRP USP : caminhos e conquistas. Unidades: ESALQ, IME

    Assuntos: FORMAÇÃO CONTINUADA DO PROFESSOR, APERFEIÇOAMENTO DE PROFESSORES, UNIVERSIDADE

    Versão PublicadaAcesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MOLINA, Karina Soledad Maldonado e VALÉRIO, Barbara Corominas. Formação contínua de docentes da universidade: um olhar para os contextos e desafios. Os desafios para a formação inicial na pandemia de Covid-19: PIBID e PRP USP : caminhos e conquistas. Tradução . Piracicaba, SP: ESALQ-USP, 2023. . Disponível em: https://doi.org/10.11606/9786587391373. Acesso em: 12 set. 2024.
    • APA

      Molina, K. S. M., & Valério, B. C. (2023). Formação contínua de docentes da universidade: um olhar para os contextos e desafios. In Os desafios para a formação inicial na pandemia de Covid-19: PIBID e PRP USP : caminhos e conquistas. Piracicaba, SP: ESALQ-USP. doi:10.11606/9786587391373
    • NLM

      Molina KSM, Valério BC. Formação contínua de docentes da universidade: um olhar para os contextos e desafios [Internet]. In: Os desafios para a formação inicial na pandemia de Covid-19: PIBID e PRP USP : caminhos e conquistas. Piracicaba, SP: ESALQ-USP; 2023. [citado 2024 set. 12 ] Available from: https://doi.org/10.11606/9786587391373
    • Vancouver

      Molina KSM, Valério BC. Formação contínua de docentes da universidade: um olhar para os contextos e desafios [Internet]. In: Os desafios para a formação inicial na pandemia de Covid-19: PIBID e PRP USP : caminhos e conquistas. Piracicaba, SP: ESALQ-USP; 2023. [citado 2024 set. 12 ] Available from: https://doi.org/10.11606/9786587391373
  • Fonte: Proceedings of Machine Learning Research. Nome do evento: International Symposium on Imprecise Probability: Theories and Applications - ISIPTA. Unidades: IME, EP

    Assunto: PROGRAMAÇÃO LÓGICA

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

      MAUÁ, Denis Deratani e COZMAN, Fabio Gagliardi. Specifying credal sets with probabilistic answer set programming. Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf. Acesso em: 12 set. 2024. , 2023
    • APA

      Mauá, D. D., & Cozman, F. G. (2023). Specifying credal sets with probabilistic answer set programming. Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://proceedings.mlr.press/v215/maua23a/maua23a.pdf
    • NLM

      Mauá DD, Cozman FG. Specifying credal sets with probabilistic answer set programming [Internet]. Proceedings of Machine Learning Research. 2023 ; 215 321-332.[citado 2024 set. 12 ] Available from: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf
    • Vancouver

      Mauá DD, Cozman FG. Specifying credal sets with probabilistic answer set programming [Internet]. Proceedings of Machine Learning Research. 2023 ; 215 321-332.[citado 2024 set. 12 ] Available from: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf
  • Fonte: Resumos. Nome do evento: Encontro da Pós-Graduação em Matemática da UFBA - EPGMAT. Unidade: IME

    Assunto: GRANDES DESVIOS

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

      ABADI, Miguel Natalio. Large deviations for clustered observations. 2023, Anais.. Salvador: IME/UFBA, 2023. Disponível em: https://encontropgmat.ufba.br/sites/encontropgmat.ufba.br/files/resumo_viii_encontro_miguel_abadi.pdf. Acesso em: 12 set. 2024.
    • APA

      Abadi, M. N. (2023). Large deviations for clustered observations. In Resumos. Salvador: IME/UFBA. Recuperado de https://encontropgmat.ufba.br/sites/encontropgmat.ufba.br/files/resumo_viii_encontro_miguel_abadi.pdf
    • NLM

      Abadi MN. Large deviations for clustered observations [Internet]. Resumos. 2023 ;[citado 2024 set. 12 ] Available from: https://encontropgmat.ufba.br/sites/encontropgmat.ufba.br/files/resumo_viii_encontro_miguel_abadi.pdf
    • Vancouver

      Abadi MN. Large deviations for clustered observations [Internet]. Resumos. 2023 ;[citado 2024 set. 12 ] Available from: https://encontropgmat.ufba.br/sites/encontropgmat.ufba.br/files/resumo_viii_encontro_miguel_abadi.pdf
  • Fonte: Journal of Logic and Computation. Unidade: IME

    Assuntos: LÓGICA MATEMÁTICA, PROGRAMAÇÃO LINEAR

    Disponível em 13/10/2024Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FINGER, Marcelo e PRETO, Sandro. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, 2023Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad059. Acesso em: 12 set. 2024.
    • APA

      Finger, M., & Preto, S. (2023). Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation. doi:10.1093/logcom/exad059
    • NLM

      Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 set. 12 ] Available from: https://doi.org/10.1093/logcom/exad059
    • Vancouver

      Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 set. 12 ] Available from: https://doi.org/10.1093/logcom/exad059
  • Fonte: Anais. Nome do evento: Simpósio Brasileiro de Computação Aplicada à Saúde - SBCAS. Unidades: IFSC, IME

    Assuntos: SISTEMA ÚNICO DE SAÚDE, POLÍTICA DE SAÚDE, REDES COMPLEXAS

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

      PEREIRA, Gabriely Rangel e COSTA, Luciano da Fontoura e KON, Fábio. Análise e visualização do processo de regionalização do tema Único de Saúde (SUS): uma perspectiva em sistemas complexos. 2023, Anais.. Porto Alegre: SBC, 2023. Disponível em: https://doi.org/10.5753/sbcas_estendido.2023.229367. Acesso em: 12 set. 2024.
    • APA

      Pereira, G. R., Costa, L. da F., & Kon, F. (2023). Análise e visualização do processo de regionalização do tema Único de Saúde (SUS): uma perspectiva em sistemas complexos. In Anais. Porto Alegre: SBC. doi:10.5753/sbcas_estendido.2023.229367
    • NLM

      Pereira GR, Costa L da F, Kon F. Análise e visualização do processo de regionalização do tema Único de Saúde (SUS): uma perspectiva em sistemas complexos [Internet]. Anais. 2023 ;[citado 2024 set. 12 ] Available from: https://doi.org/10.5753/sbcas_estendido.2023.229367
    • Vancouver

      Pereira GR, Costa L da F, Kon F. Análise e visualização do processo de regionalização do tema Único de Saúde (SUS): uma perspectiva em sistemas complexos [Internet]. Anais. 2023 ;[citado 2024 set. 12 ] Available from: https://doi.org/10.5753/sbcas_estendido.2023.229367

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2024