ReP USP - Resultado da busca

Dissertação (Mestrado)
Estudos sobre mover: discutindo processos investigativos do movimento em dança (2025)
Pinho, Rebeca Tadiello ; Bastos, Helena (Orientador)
Unidade: ECA
Subjects: DANÇA, MOVIMENTO (FISIOLOGIA), MOVIMENTO DE DANÇA, EXPRESSÃO CORPORAL, CORPO (ARTES), HIPÓTESE, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHO, Rebeca Tadiello. Estudos sobre mover: discutindo processos investigativos do movimento em dança. 2025. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2025. Disponível em: https://doi.org/10.11606/D.27.2025.tde-28032025-091509. Acesso em: 27 nov. 2025.
APA
Pinho, R. T. (2025). Estudos sobre mover: discutindo processos investigativos do movimento em dança (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://doi.org/10.11606/D.27.2025.tde-28032025-091509
NLM
Pinho RT. Estudos sobre mover: discutindo processos investigativos do movimento em dança [Internet]. 2025 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.11606/D.27.2025.tde-28032025-091509
Vancouver
Pinho RT. Estudos sobre mover: discutindo processos investigativos do movimento em dança [Internet]. 2025 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.11606/D.27.2025.tde-28032025-091509
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
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
Artigo de periodico
A logic-based agent that plans for extended reachability goals (2008)
Pereira, Silvio Lago; Barros, Leliane Nunes de
Source: Autonomous Agents and Multi-Agent Systems. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio Lago e BARROS, Leliane Nunes de. A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems, v. 16, p. 327-344, 2008Tradução . . Disponível em: https://doi.org/10.1007/s10458-008-9034-0. Acesso em: 27 nov. 2025.
APA
Pereira, S. L., & Barros, L. N. de. (2008). A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems, 16, 327-344. doi:10.1007/s10458-008-9034-0
NLM
Pereira SL, Barros LN de. A logic-based agent that plans for extended reachability goals [Internet]. Autonomous Agents and Multi-Agent Systems. 2008 ; 16 327-344.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10458-008-9034-0
Vancouver
Pereira SL, Barros LN de. A logic-based agent that plans for extended reachability goals [Internet]. Autonomous Agents and Multi-Agent Systems. 2008 ; 16 327-344.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10458-008-9034-0

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Source title

Funding Agencies