ReP USP - Resultado da busca

Trabalho de evento
Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Assuntos: 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: 01 out. 2024.
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 2024 out. 01 ] 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 2024 out. 01 ] 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
Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Assuntos: 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: 01 out. 2024.
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 2024 out. 01 ] 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 2024 out. 01 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Trabalho de evento
A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks (1995)
Humes Júnior, Carlos; Ou, J; Kumar, Panakala Rajesh
Fonte: Proceedings. Nome do evento: IEEE Conference on Decision and Control - CDC. Unidade: IME
Assuntos: PROGRAMAÇÃO LINEAR, TELECOMUNICAÇÕES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HUMES JÚNIOR, Carlos e OU, J e KUMAR, Panakala Rajesh. A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks. 1995, Anais.. Piscataway: IEEE, 1995. Disponível em: https://doi.org/10.1109/CDC.1995.480373. Acesso em: 01 out. 2024.
APA
Humes Júnior, C., Ou, J., & Kumar, P. R. (1995). A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks. In Proceedings. Piscataway: IEEE. doi:10.1109/CDC.1995.480373
NLM
Humes Júnior C, Ou J, Kumar PR. A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks [Internet]. Proceedings. 1995 ;[citado 2024 out. 01 ] Available from: https://doi.org/10.1109/CDC.1995.480373
Vancouver
Humes Júnior C, Ou J, Kumar PR. A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks [Internet]. Proceedings. 1995 ;[citado 2024 out. 01 ] Available from: https://doi.org/10.1109/CDC.1995.480373

Unidades USP

ReP

Filtros

Autores

Agência de fomento