ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Regional, lattice and logical representations of neural networks (2025)
Preto, Sandro ; Finger, Marcelo
Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME
Subjects: REDES NEURAIS, LÓGICA, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf. Acesso em: 27 nov. 2025. , 2025
APA
Preto, S., & Finger, M. (2025). Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. doi:10.4204/EPTCS.421.4
NLM
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 nov. 27 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Vancouver
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 nov. 27 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Monografia/livro-ed/org
Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 (2025)
Antunes, Henrique; Fajardo, Rogério Augusto dos Santos (Editor)
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA, PESQUISA INTERDISCIPLINAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANTUNES, Henrique. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025. Book of Abstracts. São Paulo: Sociedade Brasileira de Lógica - SBL. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025. , 2025
APA
Antunes, H. (2025). Book of abstracts do XXI Brazilian Logic Conference - EBL 2025. Book of Abstracts. São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Antunes H. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 [Internet]. Book of Abstracts. 2025 ;[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Antunes H. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 [Internet]. Book of Abstracts. 2025 ;[citado 2025 nov. 27 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidades: IME, EACH
Subjects: 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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Tese (Doutorado)
A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica (2025)
Tezzin, Alisson Cordeiro Alves ; Amaral, Barbara Lopes (Orientador)
Unidade: IF
Subjects: FÍSICA, FÍSICA MODERNA, MATEMÁTICA APLICADA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TEZZIN, Alisson Cordeiro Alves. A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica. 2025. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2025. Disponível em: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-05042025-080025/. Acesso em: 27 nov. 2025.
APA
Tezzin, A. C. A. (2025). A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/43/43134/tde-05042025-080025/
NLM
Tezzin ACA. A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica [Internet]. 2025 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-05042025-080025/
Vancouver
Tezzin ACA. A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica [Internet]. 2025 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-05042025-080025/
Trabalho de evento
Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Linking Łukasiewicz logic and boolean maximum satisfiability. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00040. Acesso em: 27 nov. 2025.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Linking Łukasiewicz logic and boolean maximum satisfiability. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00040
NLM
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Vancouver
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Trabalho de evento
Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: REDES NEURAIS, PROGRAMAÇÃO LINEAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Benchmarking Łukasiewicz logic solvers with properties of neural networks. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00039. Acesso em: 27 nov. 2025.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Benchmarking Łukasiewicz logic solvers with properties of neural networks. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00039
NLM
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Vancouver
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Artigo de periodico
Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies (2017)
Stern, Julio Michael
Source: Logic Journal of the IGPL. Unidade: IME
Subjects: FILOSOFIA DA CIÊNCIA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, v. 25, n. 4, p. 604-631, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx017. Acesso em: 27 nov. 2025.
APA
Stern, J. M. (2017). Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, 25( 4), 604-631. doi:10.1093/jigpal/jzx017
NLM
Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/jzx017
Vancouver
Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/jzx017
Trabalho de evento
Classical and quantum satisfiability (2012)
Araújo, Anderson de; Finger, Marcelo
Source: Proceedings. Conference titles: Workshop on Logical and Semantic Frameworks with Applications - EPTCS. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO, Anderson de e FINGER, Marcelo. Classical and quantum satisfiability. 2012, Anais.. Sydney: EPTCS, 2012. Disponível em: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf. Acesso em: 27 nov. 2025.
APA
Araújo, A. de, & Finger, M. (2012). Classical and quantum satisfiability. In Proceedings. Sydney: EPTCS. Recuperado de http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
NLM
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2025 nov. 27 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
Vancouver
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2025 nov. 27 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
Trabalho de evento
Polynomial approximations of full propositional logic via limited bivalence (2004)
Finger, Marcelo
Source: Proceedings. Conference titles: European Workshop on Logics in Artificial Intelligence - JELIA. Unidade: IME
Subjects: APROXIMAÇÃO POR POLINÔMIOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Polynomial approximations of full propositional logic via limited bivalence. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-30227-8_44. Acesso em: 27 nov. 2025.
APA
Finger, M. (2004). Polynomial approximations of full propositional logic via limited bivalence. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-30227-8_44
NLM
Finger M. Polynomial approximations of full propositional logic via limited bivalence [Internet]. Proceedings. 2004 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-540-30227-8_44
Vancouver
Finger M. Polynomial approximations of full propositional logic via limited bivalence [Internet]. Proceedings. 2004 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-540-30227-8_44
Trabalho de evento
Towards polynomial approximations of full propositional logic (2004)
Finger, Marcelo
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: APROXIMAÇÃO POR POLINÔMIOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Towards polynomial approximations of full propositional logic. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_2. Acesso em: 27 nov. 2025.
APA
Finger, M. (2004). Towards polynomial approximations of full propositional logic. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_2
NLM
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
Vancouver
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
Artigo de periodico
The unrestricted combination of temporal logic systems (2002)
Finger, Marcelo ; Weiss, Maria Angela
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WEISS, Maria Angela. The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, v. 10, n. 2, p. 165-189, 2002Tradução . . Disponível em: https://doi.org/10.1093/jigpal/10.2.165. Acesso em: 27 nov. 2025.
APA
Finger, M., & Weiss, M. A. (2002). The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, 10( 2), 165-189. doi:10.1093/jigpal/10.2.165
NLM
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
Vancouver
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
Trabalho de evento
Tableaux for approximate reasoning (2001)
Finger, Marcelo ; Wassermann, Renata
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Tableaux for approximate reasoning. 2001, Anais.. Seatle: IJCAI, 2001. . Acesso em: 27 nov. 2025.
APA
Finger, M., & Wassermann, R. (2001). Tableaux for approximate reasoning. In Proceedings. Seatle: IJCAI.
NLM
Finger M, Wassermann R. Tableaux for approximate reasoning. Proceedings. 2001 ;[citado 2025 nov. 27 ]
Vancouver
Finger M, Wassermann R. Tableaux for approximate reasoning. Proceedings. 2001 ;[citado 2025 nov. 27 ]
Parte de monografia/livro
Two-dimensional executable temporal logic for bitemporal databases (2000)
Finger, Marcelo ; Reynolds, Mark
Source: Advances in temporal logic. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e REYNOLDS, Mark. Two-dimensional executable temporal logic for bitemporal databases. Advances in temporal logic. Tradução . Dordrecht: Springer, 2000. . Disponível em: https://doi.org/10.1007/978-94-015-9586-5_20. Acesso em: 27 nov. 2025.
APA
Finger, M., & Reynolds, M. (2000). Two-dimensional executable temporal logic for bitemporal databases. In Advances in temporal logic. Dordrecht: Springer. doi:10.1007/978-94-015-9586-5_20
NLM
Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20
Vancouver
Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20
Artigo de periodico
A logical reconstruction of temporal databases (2000)
Finger, Marcelo
Source: Journal of Logic and Computation. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. A logical reconstruction of temporal databases. Journal of Logic and Computation, v. 10, n. 6, p. 847-876, 2000Tradução . . Disponível em: https://doi.org/10.1093/logcom/10.6.847. Acesso em: 27 nov. 2025.
APA
Finger, M. (2000). A logical reconstruction of temporal databases. Journal of Logic and Computation, 10( 6), 847-876. doi:10.1093/logcom/10.6.847
NLM
Finger M. A logical reconstruction of temporal databases [Internet]. Journal of Logic and Computation. 2000 ; 10( 6): 847-876.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/logcom/10.6.847
Vancouver
Finger M. A logical reconstruction of temporal databases [Internet]. Journal of Logic and Computation. 2000 ; 10( 6): 847-876.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/logcom/10.6.847

USP Schools

ReP

Filtros

Document Types

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies