ReP USP - Resultado da busca

Trabalho de evento-resumo
Horn semantics and Craig interpolation (2025)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: SEMÂNTICA, INTERPOLAÇÃO, LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn semantics and Craig interpolation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 218-219. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2025). Horn semantics and Craig interpolation. In Book of abstracts (p. 218-219). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
On connections between forcing relations (2025)
Smykalla, Michel Viana; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS MODELOS, FEIXES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SMYKALLA, Michel Viana e MARIANO, Hugo Luiz. On connections between forcing relations. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 211. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Smykalla, M. V., & Mariano, H. L. (2025). On connections between forcing relations. In Book of abstracts (p. 211). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Smykalla MV, Mariano HL. On connections between forcing relations [Internet]. Book of abstracts. 2025 ; 211.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Smykalla MV, Mariano HL. On connections between forcing relations [Internet]. Book of abstracts. 2025 ; 211.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
On categories of o-minimal structures (2025)
Figueiredo, Rodrigo ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DAS CATEGORIAS, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FIGUEIREDO, Rodrigo e MARIANO, Hugo Luiz. On categories of o-minimal structures. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 237-238. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Figueiredo, R., & Mariano, H. L. (2025). On categories of o-minimal structures. In Book of abstracts (p. 237-238). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Figueiredo R, Mariano HL. On categories of o-minimal structures [Internet]. Book of abstracts. 2025 ; 237-238.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Figueiredo R, Mariano HL. On categories of o-minimal structures [Internet]. Book of abstracts. 2025 ; 237-238.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Nonstandard formulae and model-theoretic paradoxes (2025)
Fajardo, Rogério Augusto dos Santos
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS MODELOS, TEORIA DOS CONJUNTOS, ARITMÉTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FAJARDO, Rogério Augusto dos Santos. Nonstandard formulae and model-theoretic paradoxes. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 239-240. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Fajardo, R. A. dos S. (2025). Nonstandard formulae and model-theoretic paradoxes. In Book of abstracts (p. 239-240). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Fajardo RA dos S. Nonstandard formulae and model-theoretic paradoxes [Internet]. Book of abstracts. 2025 ; 239-240.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Fajardo RA dos S. Nonstandard formulae and model-theoretic paradoxes [Internet]. Book of abstracts. 2025 ; 239-240.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Construtibilidade e teoria dos modelos internos (2025)
Campos, Mateus Jesus de Arruda; Fajardo, Rogério Augusto dos Santos
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS CONJUNTOS, LINGUAGEM, MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAMPOS, Mateus Jesus de Arruda e FAJARDO, Rogério Augusto dos Santos. Construtibilidade e teoria dos modelos internos. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 302. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Campos, M. J. de A., & Fajardo, R. A. dos S. (2025). Construtibilidade e teoria dos modelos internos. In Book of abstracts (p. 302). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Campos MJ de A, Fajardo RA dos S. Construtibilidade e teoria dos modelos internos [Internet]. Book of abstracts. 2025 ; 302.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Campos MJ de A, Fajardo RA dos S. Construtibilidade e teoria dos modelos internos [Internet]. Book of abstracts. 2025 ; 302.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Model theory of sheaves of metric spaces of analytic functions (2025)
Bianconi, Ricardo
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS MODELOS, FEIXES, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Model theory of sheaves of metric spaces of analytic functions. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 310-311. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Bianconi, R. (2025). Model theory of sheaves of metric spaces of analytic functions. In Book of abstracts (p. 310-311). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Sheaves on quantales and their truth values (2025)
Tenorio, Ana Luiza ; Mendes, Caio de Andrade ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, FEIXES, ESTRUTURAS ALGÉBRICAS ORDENADAS, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TENORIO, Ana Luiza e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. Sheaves on quantales and their truth values. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 90-91. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Tenorio, A. L., Mendes, C. de A., & Mariano, H. L. (2025). Sheaves on quantales and their truth values. In Book of abstracts (p. 90-91). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Tenorio AL, Mendes C de A, Mariano HL. Sheaves on quantales and their truth values [Internet]. Book of abstracts. 2025 ; 90-91.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Tenorio AL, Mendes C de A, Mariano HL. Sheaves on quantales and their truth values [Internet]. Book of abstracts. 2025 ; 90-91.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Critical analysis of AGM postulates for ontology repair (2025)
Rocha, Anne; Lima, João Pedro de; Wassermann, Renata
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: REVISÃO DE CRENÇAS, ONTOLOGIAS, INTELIGÊNCIA ARTIFICIAL, LÓGICA, OPERADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Anne e LIMA, João Pedro de e WASSERMANN, Renata. Critical analysis of AGM postulates for ontology repair. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 99-100. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Rocha, A., Lima, J. P. de, & Wassermann, R. (2025). Critical analysis of AGM postulates for ontology repair. In Book of abstracts (p. 99-100). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
A note on lattices with a symmetric difference like operation (2025)
Miraglia Neto, Francisco ; Petrovich, Alejandro
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ÁLGEBRAS DE BOOLE, RETICULADOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco e PETROVICH, Alejandro. A note on lattices with a symmetric difference like operation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 25-26. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Miraglia Neto, F., & Petrovich, A. (2025). A note on lattices with a symmetric difference like operation. In Book of abstracts (p. 25-26). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Structural transformation of kaolinite under high-energy mechanical milling analyzed with solid-state NMR techiniques (2025)
Silva, Ana Paula de Oliveira
Fonte: Book of abstracts. Nome do evento: NMR Users Meeting. Unidade: IFSC
Assuntos: RESSONÂNCIA MAGNÉTICA NUCLEAR, FÍSICA DE ALTA ENERGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Ana Paula de Oliveira. Structural transformation of kaolinite under high-energy mechanical milling analyzed with solid-state NMR techiniques. 2025, Anais.. Rio de Janeiro: Associação de Usuários de Ressonância Magnética Nuclear - AUREMN, 2025. Disponível em: https://proceedings.science/20nmrmeeting-2025/papers/structural-transformation-of-kaolinite-under-high-energy-mechanical-milling-anal?lang=en. Acesso em: 02 dez. 2025.
APA
Silva, A. P. de O. (2025). Structural transformation of kaolinite under high-energy mechanical milling analyzed with solid-state NMR techiniques. In Book of abstracts. Rio de Janeiro: Associação de Usuários de Ressonância Magnética Nuclear - AUREMN. Recuperado de https://proceedings.science/20nmrmeeting-2025/papers/structural-transformation-of-kaolinite-under-high-energy-mechanical-milling-anal?lang=en
NLM
Silva AP de O. Structural transformation of kaolinite under high-energy mechanical milling analyzed with solid-state NMR techiniques [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 02 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/structural-transformation-of-kaolinite-under-high-energy-mechanical-milling-anal?lang=en
Vancouver
Silva AP de O. Structural transformation of kaolinite under high-energy mechanical milling analyzed with solid-state NMR techiniques [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 02 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/structural-transformation-of-kaolinite-under-high-energy-mechanical-milling-anal?lang=en
Trabalho de evento-resumo
Ionization threshold of Rb2 molecule measured by the electric field-dependent Rydberg-state spectroscopy (2025)
Bouloufa-Maafa, Nadia ; Torres, Manuel Alejandro Lefrán ; Fernández, David Rodríguez ; Marquez, Jaime Javier Borges ; Cardoso, Marcos Roberto; Pandey, Amrendra ; Vexiau, Romain ; Dulieu, Olivier ; Marcassa, Luís Gustavo
Fonte: Book of abstracts. Nome do evento: International Conference On Laser Spectroscopy - ICOLS. Unidade: IFSC
Assuntos: GASES, FOTÔNICA, ESPECTROSCOPIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BOULOUFA-MAAFA, Nadia et al. Ionization threshold of Rb2 molecule measured by the electric field-dependent Rydberg-state spectroscopy. 2025, Anais.. Triestre: International Union of Pure and Applied Physics - IUAP, 2025. Disponível em: https://repositorio.usp.br/directbitstream/ac09edcc-0e7a-4dc3-b07d-b01bfa44cf5a/3269008.pdf. Acesso em: 02 dez. 2025.
APA
Bouloufa-Maafa, N., Torres, M. A. L., Fernández, D. R., Marquez, J. J. B., Cardoso, M. R., Pandey, A., et al. (2025). Ionization threshold of Rb2 molecule measured by the electric field-dependent Rydberg-state spectroscopy. In Book of abstracts. Triestre: International Union of Pure and Applied Physics - IUAP. Recuperado de https://repositorio.usp.br/directbitstream/ac09edcc-0e7a-4dc3-b07d-b01bfa44cf5a/3269008.pdf
NLM
Bouloufa-Maafa N, Torres MAL, Fernández DR, Marquez JJB, Cardoso MR, Pandey A, Vexiau R, Dulieu O, Marcassa LG. Ionization threshold of Rb2 molecule measured by the electric field-dependent Rydberg-state spectroscopy [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 02 ] Available from: https://repositorio.usp.br/directbitstream/ac09edcc-0e7a-4dc3-b07d-b01bfa44cf5a/3269008.pdf
Vancouver
Bouloufa-Maafa N, Torres MAL, Fernández DR, Marquez JJB, Cardoso MR, Pandey A, Vexiau R, Dulieu O, Marcassa LG. Ionization threshold of Rb2 molecule measured by the electric field-dependent Rydberg-state spectroscopy [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 02 ] Available from: https://repositorio.usp.br/directbitstream/ac09edcc-0e7a-4dc3-b07d-b01bfa44cf5a/3269008.pdf
Trabalho de evento-resumo
Deriving molecular motion parameters in soft materials with DF-MSE, VFT/Arrhenius, and Anderson-Weiss models (2025)
Trebbi, Bruno ; Azevêdo, Eduardo Ribeiro de ; Garcia, Rodrigo Henrique dos Santos ; Pierigé, Michele; Geppi, Marco; Martini, Francesca
Fonte: Book of abstracts. Nome do evento: NMR Users Meeting. Unidade: IFSC
Assuntos: BIOFÍSICA, RESSONÂNCIA MAGNÉTICA NUCLEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TREBBI, Bruno et al. Deriving molecular motion parameters in soft materials with DF-MSE, VFT/Arrhenius, and Anderson-Weiss models. 2025, Anais.. Rio de Janeiro: Associação de Usuários de Ressonância Magnética Nuclear - AUREMN2025, 2025. Disponível em: https://proceedings.science/20nmrmeeting-2025/papers/deriving-molecular-motion-parameters-in-soft-materials-with-df-mse-vftarrhenius?lang=en. Acesso em: 02 dez. 2025.
APA
Trebbi, B., Azevêdo, E. R. de, Garcia, R. H. dos S., Pierigé, M., Geppi, M., & Martini, F. (2025). Deriving molecular motion parameters in soft materials with DF-MSE, VFT/Arrhenius, and Anderson-Weiss models. In Book of abstracts. Rio de Janeiro: Associação de Usuários de Ressonância Magnética Nuclear - AUREMN2025. Recuperado de https://proceedings.science/20nmrmeeting-2025/papers/deriving-molecular-motion-parameters-in-soft-materials-with-df-mse-vftarrhenius?lang=en
NLM
Trebbi B, Azevêdo ER de, Garcia RH dos S, Pierigé M, Geppi M, Martini F. Deriving molecular motion parameters in soft materials with DF-MSE, VFT/Arrhenius, and Anderson-Weiss models [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 02 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/deriving-molecular-motion-parameters-in-soft-materials-with-df-mse-vftarrhenius?lang=en
Vancouver
Trebbi B, Azevêdo ER de, Garcia RH dos S, Pierigé M, Geppi M, Martini F. Deriving molecular motion parameters in soft materials with DF-MSE, VFT/Arrhenius, and Anderson-Weiss models [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 02 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/deriving-molecular-motion-parameters-in-soft-materials-with-df-mse-vftarrhenius?lang=en
Trabalho de evento-resumo
Topological derivative-based shape optimization with pointwise temperature constraints and applications (2025)
Andrade, Giovanna Castello de; Laurain, Antoine ; Novotny, Antonio André
Fonte: Book of abstracts. Nome do evento: Congresso Nacional de Matemática Aplicada e Computacional - CNMAC. Unidade: IME
Assuntos: OTIMIZAÇÃO, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, Giovanna Castello de e LAURAIN, Antoine e NOVOTNY, Antonio André. Topological derivative-based shape optimization with pointwise temperature constraints and applications. 2025, Anais.. São Carlos: SBMAC, 2025. p. 1. Disponível em: https://proceedings.science/cnmac-2025/papers/topological-derivative-based-shape-optimization-with-pointwise-temperature-const?lang=en. Acesso em: 02 dez. 2025.
APA
Andrade, G. C. de, Laurain, A., & Novotny, A. A. (2025). Topological derivative-based shape optimization with pointwise temperature constraints and applications. In Book of abstracts (p. 1). São Carlos: SBMAC. Recuperado de https://proceedings.science/cnmac-2025/papers/topological-derivative-based-shape-optimization-with-pointwise-temperature-const?lang=en
NLM
Andrade GC de, Laurain A, Novotny AA. Topological derivative-based shape optimization with pointwise temperature constraints and applications [Internet]. Book of abstracts. 2025 ; 1.[citado 2025 dez. 02 ] Available from: https://proceedings.science/cnmac-2025/papers/topological-derivative-based-shape-optimization-with-pointwise-temperature-const?lang=en
Vancouver
Andrade GC de, Laurain A, Novotny AA. Topological derivative-based shape optimization with pointwise temperature constraints and applications [Internet]. Book of abstracts. 2025 ; 1.[citado 2025 dez. 02 ] Available from: https://proceedings.science/cnmac-2025/papers/topological-derivative-based-shape-optimization-with-pointwise-temperature-const?lang=en
Trabalho de evento-resumo
Gelfand-Kirillov conjecture as a first-order formula (2025)
Mariano, Hugo Luiz ; Schwarz, João Fernando
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ÁLGEBRA ABSTRATA, GEOMETRIA ALGÉBRICA, ANÉIS E ÁLGEBRAS ASSOCIATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e SCHWARZ, João Fernando. Gelfand-Kirillov conjecture as a first-order formula. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 147-148. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Mariano, H. L., & Schwarz, J. F. (2025). Gelfand-Kirillov conjecture as a first-order formula. In Book of abstracts (p. 147-148). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Mariano HL, Schwarz JF. Gelfand-Kirillov conjecture as a first-order formula [Internet]. Book of abstracts. 2025 ; 147-148.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Mariano HL, Schwarz JF. Gelfand-Kirillov conjecture as a first-order formula [Internet]. Book of abstracts. 2025 ; 147-148.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
First-order characterization and topological properties of Gel’fand C∞−Rings (2025)
Berni, Jean Cerqueira ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ANÉIS E ÁLGEBRAS ASSOCIATIVOS, ANÉIS ESPECIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. First-order characterization and topological properties of Gel’fand C∞−Rings. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 152-153. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Berni, J. C., & Mariano, H. L. (2025). First-order characterization and topological properties of Gel’fand C∞−Rings. In Book of abstracts (p. 152-153). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Berni JC, Mariano HL. First-order characterization and topological properties of Gel’fand C∞−Rings [Internet]. Book of abstracts. 2025 ; 152-153.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Berni JC, Mariano HL. First-order characterization and topological properties of Gel’fand C∞−Rings [Internet]. Book of abstracts. 2025 ; 152-153.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra (2025)
Severino, Jéssica Duarte; Roberto, Kaique Matias de Andrade ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS MODELOS, LÓGICA MATEMÁTICA, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SEVERINO, Jéssica Duarte e ROBERTO, Kaique Matias de Andrade e MARIANO, Hugo Luiz. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 289-290. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Severino, J. D., Roberto, K. M. de A., & Mariano, H. L. (2025). O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. In Book of abstracts (p. 289-290). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Sistemas biortogonais em espaços de Banach (2025)
Corrêa, Maurício Rossetto ; Brech, Christina
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ESPAÇOS DE BANACH, BASES DE SCHAUDER
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CORRÊA, Maurício Rossetto e BRECH, Christina. Sistemas biortogonais em espaços de Banach. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 303-304. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Corrêa, M. R., & Brech, C. (2025). Sistemas biortogonais em espaços de Banach. In Book of abstracts (p. 303-304). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Corrêa MR, Brech C. Sistemas biortogonais em espaços de Banach [Internet]. Book of abstracts. 2025 ; 303-304.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Corrêa MR, Brech C. Sistemas biortogonais em espaços de Banach [Internet]. Book of abstracts. 2025 ; 303-304.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Teoria de Ramsey: um breve retorno à lógica formal através dos grafos (2025)
Reis, Pedro Lucas Santos dos
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DE RAMSEY, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REIS, Pedro Lucas Santos dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 307. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Reis, P. L. S. dos. (2025). Teoria de Ramsey: um breve retorno à lógica formal através dos grafos. In Book of abstracts (p. 307). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Reis PLS dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos [Internet]. Book of abstracts. 2025 ; 307.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Reis PLS dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos [Internet]. Book of abstracts. 2025 ; 307.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
The e-value and the full bayesian significance test: logical properties and philosophical consequences (2025)
Stern, Julio Michael ; Pereira, Carlos Alberto de Bragança ; Lauretto, Marcelo de Souza ; Esteves, Luís Gustavo ; Izbicki, Rafael ; Stern, Rafael Bassi ; Diniz, Marcio A. ; Borges, Wagner de Souza
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidades: IME, EACH
Assuntos: INFERÊNCIA BAYESIANA, TESTES DE HIPÓTESES, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael et al. The e-value and the full bayesian significance test: logical properties and philosophical consequences. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 70-71. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Stern, J. M., Pereira, C. A. de B., Lauretto, M. de S., Esteves, L. G., Izbicki, R., Stern, R. B., et al. (2025). The e-value and the full bayesian significance test: logical properties and philosophical consequences. In Book of abstracts (p. 70-71). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Stern JM, Pereira CA de B, Lauretto M de S, Esteves LG, Izbicki R, Stern RB, Diniz MA, Borges W de S. The e-value and the full bayesian significance test: logical properties and philosophical consequences [Internet]. Book of abstracts. 2025 ; 70-71.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Stern JM, Pereira CA de B, Lauretto M de S, Esteves LG, Izbicki R, Stern RB, Diniz MA, Borges W de S. The e-value and the full bayesian significance test: logical properties and philosophical consequences [Internet]. Book of abstracts. 2025 ; 70-71.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
An application of algebraic geometry tools to intuitionistic logic (2025)
Andrade, Mayk de; Mariano, Hugo Luiz ; Amodey, Steven
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: GEOMETRIA ALGÉBRICA, LÓGICA INTUICIONISTA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, Mayk de e MARIANO, Hugo Luiz e AMODEY, Steven. An application of algebraic geometry tools to intuitionistic logic. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 209-210. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 02 dez. 2025.
APA
Andrade, M. de, Mariano, H. L., & Amodey, S. (2025). An application of algebraic geometry tools to intuitionistic logic. In Book of abstracts (p. 209-210). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2025 dez. 02 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

Unidades USP

ReP

Filtros

Unidades USP

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Editora

Nome do evento

País de publicação

Grupo de pesquisa

Agência de fomento

Afiliação dos autores externos normalizada

Afiliação dos autores externos não normalizada

País das instituições de afiliação dos autores externos