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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/structural-transformation-of-kaolinite-under-high-energy-mechanical-milling-anal?lang=en
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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] 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: 04 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. 04 ] 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. 04 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Workshop: Logic, Conditionals and Probabilities (2025)
Bueno-Soler, Juliana; Carnielli, Walter; Stern, Julio Michael
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: RACIOCÍNIO PROBABILÍSTICO, SISTEMAS LÓGICOS CLÁSSICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUENO-SOLER, Juliana e CARNIELLI, Walter e STERN, Julio Michael. Workshop: Logic, Conditionals and Probabilities. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 60-61. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 04 dez. 2025.
APA
Bueno-Soler, J., Carnielli, W., & Stern, J. M. (2025). Workshop: Logic, Conditionals and Probabilities. In Book of abstracts (p. 60-61). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Bueno-Soler J, Carnielli W, Stern JM. Workshop: Logic, Conditionals and Probabilities [Internet]. Book of abstracts. 2025 ; 60-61.[citado 2025 dez. 04 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Bueno-Soler J, Carnielli W, Stern JM. Workshop: Logic, Conditionals and Probabilities [Internet]. Book of abstracts. 2025 ; 60-61.[citado 2025 dez. 04 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Matrix pencil as a tool for processing magnetic resonance clinical data: a viability assessment (2025)
Floriano, João Victor Dell Agli; Paiva, Fernando Fernandes
Fonte: Book of abstracts. Nome do evento: NMR Users Meeting. Unidade: IFSC
Assuntos: RESSONÂNCIA MAGNÉTICA NUCLEAR, MATRIZES, ESPECTROSCOPIA DE RESSONÂNCIA MAGNÉTICA NUCLEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FLORIANO, João Victor Dell Agli e PAIVA, Fernando Fernandes. Matrix pencil as a tool for processing magnetic resonance clinical data: a viability assessment. 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/matrix-pencil-as-a-tool-for-processing-magnetic-resonance-clinical-data-a-viabil?lang=en. Acesso em: 04 dez. 2025.
APA
Floriano, J. V. D. A., & Paiva, F. F. (2025). Matrix pencil as a tool for processing magnetic resonance clinical data: a viability assessment. 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/matrix-pencil-as-a-tool-for-processing-magnetic-resonance-clinical-data-a-viabil?lang=en
NLM
Floriano JVDA, Paiva FF. Matrix pencil as a tool for processing magnetic resonance clinical data: a viability assessment [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 04 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/matrix-pencil-as-a-tool-for-processing-magnetic-resonance-clinical-data-a-viabil?lang=en
Vancouver
Floriano JVDA, Paiva FF. Matrix pencil as a tool for processing magnetic resonance clinical data: a viability assessment [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 04 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/matrix-pencil-as-a-tool-for-processing-magnetic-resonance-clinical-data-a-viabil?lang=en
Trabalho de evento-resumo
Beyond relaxometry: ¹H TD-NMR methods for probing molecular structure and dynamics in complex materials (2025)
Azevêdo, Eduardo Ribeiro de
Fonte: Book of abstracts. Nome do evento: NMR Users Meeting. Unidade: IFSC
Assuntos: RESSONÂNCIA MAGNÉTICA NUCLEAR, BIOFÍSICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AZEVÊDO, Eduardo Ribeiro de. Beyond relaxometry: ¹H TD-NMR methods for probing molecular structure and dynamics in complex materials. 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/beyond-relaxometry-1h-td-nmr-methods-for-probing-molecular-structure-and-dynamic?lang=en. Acesso em: 04 dez. 2025.
APA
Azevêdo, E. R. de. (2025). Beyond relaxometry: ¹H TD-NMR methods for probing molecular structure and dynamics in complex materials. 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/beyond-relaxometry-1h-td-nmr-methods-for-probing-molecular-structure-and-dynamic?lang=en
NLM
Azevêdo ER de. Beyond relaxometry: ¹H TD-NMR methods for probing molecular structure and dynamics in complex materials [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 04 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/beyond-relaxometry-1h-td-nmr-methods-for-probing-molecular-structure-and-dynamic?lang=en
Vancouver
Azevêdo ER de. Beyond relaxometry: ¹H TD-NMR methods for probing molecular structure and dynamics in complex materials [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 04 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/beyond-relaxometry-1h-td-nmr-methods-for-probing-molecular-structure-and-dynamic?lang=en
Trabalho de evento-resumo
An NMR platform for the development of quantum information and quantum computing protocols (2025)
Lourenço, Ygor de Castro; Castellar, Gabriel; Amorim, Aparecido Donizeti Fernandes de; Vidoto, Edson Luiz Gea ; Ferreira, Arthur Gustavo de Araújo ; Bonagamba, Tito José
Fonte: Book of abstracts. Nome do evento: NMR Users Meeting. Unidades: IFSC, EACH
Assuntos: INFORMAÇÃO QUÂNTICA, RESSONÂNCIA MAGNÉTICA NUCLEAR, COMPUTAÇÃO QUÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOURENÇO, Ygor de Castro et al. An NMR platform for the development of quantum information and quantum computing protocols. 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/an-nmr-platform-for-the-development-of-quantum-information-and-quantum-computing?lang=en. Acesso em: 04 dez. 2025.
APA
Lourenço, Y. de C., Castellar, G., Amorim, A. D. F. de, Vidoto, E. L. G., Ferreira, A. G. de A., & Bonagamba, T. J. (2025). An NMR platform for the development of quantum information and quantum computing protocols. 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/an-nmr-platform-for-the-development-of-quantum-information-and-quantum-computing?lang=en
NLM
Lourenço Y de C, Castellar G, Amorim ADF de, Vidoto ELG, Ferreira AG de A, Bonagamba TJ. An NMR platform for the development of quantum information and quantum computing protocols [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 04 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/an-nmr-platform-for-the-development-of-quantum-information-and-quantum-computing?lang=en
Vancouver
Lourenço Y de C, Castellar G, Amorim ADF de, Vidoto ELG, Ferreira AG de A, Bonagamba TJ. An NMR platform for the development of quantum information and quantum computing protocols [Internet]. Book of abstracts. 2025 ;[citado 2025 dez. 04 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/an-nmr-platform-for-the-development-of-quantum-information-and-quantum-computing?lang=en
Trabalho de evento-resumo
Preservation of topological properties by forcing (2025)
Rocha, Vinicius Oliveira
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ANÁLISE ESTATÍSTICA DE DADOS, TEORIA DOS CONJUNTOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Vinicius Oliveira. Preservation of topological properties by forcing. 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: 04 dez. 2025.
APA
Rocha, V. O. (2025). Preservation of topological properties by forcing. 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
Rocha VO. Preservation of topological properties by forcing [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 dez. 04 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha VO. Preservation of topological properties by forcing [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 dez. 04 ] 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