ReP USP - Resultado da busca

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é
Source: Book of abstracts. Conference titles: Congresso Nacional de Matemática Aplicada e Computacional - CNMAC. Unidade: IME
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] Available from: https://proceedings.science/cnmac-2025/papers/topological-derivative-based-shape-optimization-with-pointwise-temperature-const?lang=en
Trabalho de evento-resumo
Flash and reactive flash sintering in electroceramics manufacturing (2025)
M'Peko, Jean-Claude
Source: Book of abstracts. Conference titles: International Conference on Surfaces, Materials and Vacuum. Unidade: IFSC
Subjects: MATERIAIS CERÂMICOS, DISPOSITIVOS ELETRÔNICOS, ZIRCÔNIA, ALUMÍNIO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
M'PEKO, Jean-Claude. Flash and reactive flash sintering in electroceramics manufacturing. 2025, Anais.. Ciudad de México: Sociedad Mexicana de Ciencia y Tecnología de Superficies y Materiales - SMCTSM, 2025. Disponível em: https://repositorio.usp.br/directbitstream/a5835b3e-fee8-47aa-b869-cf3dbb6f71b3/PROD038050_3286803.pdf. Acesso em: 21 abr. 2026.
APA
M'Peko, J. -C. (2025). Flash and reactive flash sintering in electroceramics manufacturing. In Book of abstracts. Ciudad de México: Sociedad Mexicana de Ciencia y Tecnología de Superficies y Materiales - SMCTSM. Recuperado de https://repositorio.usp.br/directbitstream/a5835b3e-fee8-47aa-b869-cf3dbb6f71b3/PROD038050_3286803.pdf
NLM
M'Peko J-C. Flash and reactive flash sintering in electroceramics manufacturing [Internet]. Book of abstracts. 2025 ;[citado 2026 abr. 21 ] Available from: https://repositorio.usp.br/directbitstream/a5835b3e-fee8-47aa-b869-cf3dbb6f71b3/PROD038050_3286803.pdf
Vancouver
M'Peko J-C. Flash and reactive flash sintering in electroceramics manufacturing [Internet]. Book of abstracts. 2025 ;[citado 2026 abr. 21 ] Available from: https://repositorio.usp.br/directbitstream/a5835b3e-fee8-47aa-b869-cf3dbb6f71b3/PROD038050_3286803.pdf
Trabalho de evento-resumo
Quantitative modelling of phosphate clustering in bioactive glasses through solid-state NMR (2025)
Bradtmüller, Henrik ; Gołębiewski, Przemysław; Negrilă, Constantin Cătălin; Stan, George; Buczyński, Ryszard; Eckert, Hellmut ; Ferreira, José Maria da Fonte ; Gaddam, Anuraag
Source: Book of abstracts. Conference titles: NMR Users Meeting. Unidade: IFSC
Subjects: RESSONÂNCIA MAGNÉTICA NUCLEAR, VIDRO CERÂMICO, BIOFÍSICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRADTMÜLLER, Henrik et al. Quantitative modelling of phosphate clustering in bioactive glasses through solid-state NMR. 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/quantitative-modelling-of-phosphate-clustering-in-bioactive-glasses-through-soli?lang=en. Acesso em: 21 abr. 2026.
APA
Bradtmüller, H., Gołębiewski, P., Negrilă, C. C., Stan, G., Buczyński, R., Eckert, H., et al. (2025). Quantitative modelling of phosphate clustering in bioactive glasses through solid-state NMR. 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/quantitative-modelling-of-phosphate-clustering-in-bioactive-glasses-through-soli?lang=en
NLM
Bradtmüller H, Gołębiewski P, Negrilă CC, Stan G, Buczyński R, Eckert H, Ferreira JM da F, Gaddam A. Quantitative modelling of phosphate clustering in bioactive glasses through solid-state NMR [Internet]. Book of abstracts. 2025 ;[citado 2026 abr. 21 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/quantitative-modelling-of-phosphate-clustering-in-bioactive-glasses-through-soli?lang=en
Vancouver
Bradtmüller H, Gołębiewski P, Negrilă CC, Stan G, Buczyński R, Eckert H, Ferreira JM da F, Gaddam A. Quantitative modelling of phosphate clustering in bioactive glasses through solid-state NMR [Internet]. Book of abstracts. 2025 ;[citado 2026 abr. 21 ] Available from: https://proceedings.science/20nmrmeeting-2025/papers/quantitative-modelling-of-phosphate-clustering-in-bioactive-glasses-through-soli?lang=en
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
Source: Book of abstracts. Conference titles: NMR Users Meeting. Unidade: IFSC
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] 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
Source: Book of abstracts. Conference titles: NMR Users Meeting. Unidade: IFSC
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] 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
Sheaves on quantales and their truth values (2025)
Tenorio, Ana Luiza ; Mendes, Caio de Andrade ; Mariano, Hugo Luiz
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Categorical constructions of sets valued on semicartesian and involutive quantales (2025)
Alvim, José Goudet ; Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: TEORIA DAS CATEGORIAS, CATEGORIAS TOPOLÓGICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José Goudet e MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Categorical constructions of sets valued on semicartesian and involutive quantales. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 167-168. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 21 abr. 2026.
APA
Alvim, J. G., Mariano, H. L., & Mendes, C. de A. (2025). Categorical constructions of sets valued on semicartesian and involutive quantales. In Book of abstracts (p. 167-168). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Alvim JG, Mariano HL, Mendes C de A. Categorical constructions of sets valued on semicartesian and involutive quantales [Internet]. Book of abstracts. 2025 ; 167-168.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Alvim JG, Mariano HL, Mendes C de A. Categorical constructions of sets valued on semicartesian and involutive quantales [Internet]. Book of abstracts. 2025 ; 167-168.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge (2025)
Stern, Julio Michael
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: INFERÊNCIA ESTATÍSTICA, LÓGICA, ANALOGIA, HOMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 179-180. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 21 abr. 2026.
APA
Stern, J. M. (2025). Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge. In Book of abstracts (p. 179-180). 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. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge [Internet]. Book of abstracts. 2025 ; 179-180.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Stern JM. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge [Internet]. Book of abstracts. 2025 ; 179-180.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields (2025)
Roberto, Kaique Matias de Andrade ; Ribeiro, Hugo Rafael de Oliveira; Santos, Kaique Ribeiro Prates ; Mariano, Hugo Luiz
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ÁLGEBRA LINEAR, MATRIZES, ESPAÇOS VETORIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROBERTO, Kaique Matias de Andrade et al. Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 181-183. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 21 abr. 2026.
APA
Roberto, K. M. de A., Ribeiro, H. R. de O., Santos, K. R. P., & Mariano, H. L. (2025). Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields. In Book of abstracts (p. 181-183). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Roberto KM de A, Ribeiro HR de O, Santos KRP, Mariano HL. Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields [Internet]. Book of abstracts. 2025 ; 181-183.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Roberto KM de A, Ribeiro HR de O, Santos KRP, Mariano HL. Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields [Internet]. Book of abstracts. 2025 ; 181-183.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Contractions based on optimal repairs (2025)
Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ONTOLOGIAS, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. Contractions based on optimal repairs. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 228. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 21 abr. 2026.
APA
Wassermann, R. (2025). Contractions based on optimal repairs. In Book of abstracts (p. 228). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Wassermann R. Contractions based on optimal repairs [Internet]. Book of abstracts. 2025 ; 228.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Wassermann R. Contractions based on optimal repairs [Internet]. Book of abstracts. 2025 ; 228.[citado 2026 abr. 21 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Inadequacies of logic to address big data (2025)
Finger, Marcelo
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica - EBL 2025. Unidade: IME
Subjects: BIG DATA, LÓGICA DE PRIMEIRA ORDEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Inadequacies of logic to address big data. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 199-200. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 21 abr. 2026.
APA
Finger, M. (2025). Inadequacies of logic to address big data. In Book of abstracts (p. 199-200). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Finger M. Inadequacies of logic to address big data [Internet]. Book of abstracts. 2025 ; 199-200.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Finger M. Inadequacies of logic to address big data [Internet]. Book of abstracts. 2025 ; 199-200.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Preservation of topological properties by forcing (2025)
Rocha, Vinicius Oliveira
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Exploring mathematical methodology (2025)
Meleiro, Juan Ferrer ; Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: MATEMÁTICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELEIRO, Juan Ferrer e MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Exploring mathematical methodology. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 174-175. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 21 abr. 2026.
APA
Meleiro, J. F., Mariano, H. L., & Mendes, C. de A. (2025). Exploring mathematical methodology. In Book of abstracts (p. 174-175). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Meleiro JF, Mariano HL, Mendes C de A. Exploring mathematical methodology [Internet]. Book of abstracts. 2025 ; 174-175.[citado 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Meleiro JF, Mariano HL, Mendes C de A. Exploring mathematical methodology [Internet]. Book of abstracts. 2025 ; 174-175.[citado 2026 abr. 21 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: Á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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 21 abr. 2026.
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 2026 abr. 21 ] 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 2026 abr. 21 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

USP Schools

ReP

Filtros

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Publisher

Conference titles

Countries/Territories

Grupo de pesquisa

Funding Agencies

Normalized affiliation

Non normalized affiliation

Countries of institutions of collaboration