ReP USP - Resultado da busca

Trabalho de evento-resumo
Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil (2022)
Zambon, Renato Carlos ; Marins, José Celso; Yeh, William W-G.
Fonte: Proceedings - Adaptive planning and design in an age of risk and uncertainty. Nome do evento: World Environmental and Water Resources Congress. Unidade: EP
Assuntos: ABASTECIMENTO DE ÁGUA, SISTEMAS DE RESERVATÓRIOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, DISTRIBUIÇÃO DE ÁGUA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ZAMBON, Renato Carlos e MARINS, José Celso e YEH, William W-G. Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil. 2022, Anais.. Reston,VA: ASCE, 2022. Disponível em: https://ascelibrary.org/doi/10.1061/9780784484258.071. Acesso em: 29 nov. 2025.
APA
Zambon, R. C., Marins, J. C., & Yeh, W. W. -G. (2022). Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil. In Proceedings - Adaptive planning and design in an age of risk and uncertainty. Reston,VA: ASCE. Recuperado de https://ascelibrary.org/doi/10.1061/9780784484258.071
NLM
Zambon RC, Marins JC, Yeh WW-G. Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil [Internet]. Proceedings - Adaptive planning and design in an age of risk and uncertainty. 2022 ;[citado 2025 nov. 29 ] Available from: https://ascelibrary.org/doi/10.1061/9780784484258.071
Vancouver
Zambon RC, Marins JC, Yeh WW-G. Water-Energy Nexus with fast-changing operation constraints in the metropolitan region of São Paulo, Brazil [Internet]. Proceedings - Adaptive planning and design in an age of risk and uncertainty. 2022 ;[citado 2025 nov. 29 ] Available from: https://ascelibrary.org/doi/10.1061/9780784484258.071
Trabalho de evento-anais periodico
Revising system specifications in temporal logic (2022)
Guerra, Paulo T ; Wassermann, Renata
Fonte: Journal of Logic, Language and Information. Nome do evento: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Assuntos: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 29 nov. 2025. , 2022
APA
Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9
NLM
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 nov. 29 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Vancouver
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 nov. 29 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Tese (Doutorado)
Requirements analysis for technical interoperability driven by mission engineering (2020)
Lana, Cristiane Aparecida; Nakagawa, Elisa Yumi (Orientador)
Unidade: ICMC
Assuntos: INTEROPERABILIDADE, ANÁLISE DE REQUISITOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, PROJETOS INDUSTRIAIS, ANÁLISE DE CONTEÚDO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LANA, Cristiane Aparecida. Requirements analysis for technical interoperability driven by mission engineering. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072020-102227/. Acesso em: 29 nov. 2025.
APA
Lana, C. A. (2020). Requirements analysis for technical interoperability driven by mission engineering (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072020-102227/
NLM
Lana CA. Requirements analysis for technical interoperability driven by mission engineering [Internet]. 2020 ;[citado 2025 nov. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072020-102227/
Vancouver
Lana CA. Requirements analysis for technical interoperability driven by mission engineering [Internet]. 2020 ;[citado 2025 nov. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072020-102227/
Trabalho de evento-anais periodico
Optimizing public healthcare management through a data warehousing analyticla framework (2018)
Oliva, Samuel Zanferdini ; Felipe, Joaquim Cezar
Fonte: IFAC-PapersOnline. Nome do evento: IFAC Symposium on Biological and Medical Systems - BMS. Unidades: FFCLRP, Interunidades em Bioengenharia
Assuntos: ASSISTÊNCIA À SAÚDE, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, FRAMEWORKS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVA, Samuel Zanferdini e FELIPE, Joaquim Cezar. Optimizing public healthcare management through a data warehousing analyticla framework. IFAC-PapersOnline. Amsterdam: Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.ifacol.2019.02.004. Acesso em: 29 nov. 2025. , 2018
APA
Oliva, S. Z., & Felipe, J. C. (2018). Optimizing public healthcare management through a data warehousing analyticla framework. IFAC-PapersOnline. Amsterdam: Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto, Universidade de São Paulo. doi:10.1016/j.ifacol.2019.02.004
NLM
Oliva SZ, Felipe JC. Optimizing public healthcare management through a data warehousing analyticla framework [Internet]. IFAC-PapersOnline. 2018 ; 51( 27): 407-412.[citado 2025 nov. 29 ] Available from: https://doi.org/10.1016/j.ifacol.2019.02.004
Vancouver
Oliva SZ, Felipe JC. Optimizing public healthcare management through a data warehousing analyticla framework [Internet]. IFAC-PapersOnline. 2018 ; 51( 27): 407-412.[citado 2025 nov. 29 ] Available from: https://doi.org/10.1016/j.ifacol.2019.02.004
Trabalho de evento
Uuv task definition using metaprogramming (2007)
Saito, Milton Yukio Godoy; Takase, Fábio Kawaoka; Maruyama, Newton
Fonte: Proceedings of COBEM. Nome do evento: International Congress of Mechanical Engineering. Unidade: EP
Assuntos: SUBMERSÍVEIS NÃO TRIPULADOS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SAITO, Milton Yukio Godoy e TAKASE, Fábio Kawaoka e MARUYAMA, Newton. Uuv task definition using metaprogramming. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/41be79c5-c949-4ac7-87e3-e58023111986/Takase-2007-UUV%20TASK%20DEFINITION%20USING.pdf. Acesso em: 29 nov. 2025.
APA
Saito, M. Y. G., Takase, F. K., & Maruyama, N. (2007). Uuv task definition using metaprogramming. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/41be79c5-c949-4ac7-87e3-e58023111986/Takase-2007-UUV%20TASK%20DEFINITION%20USING.pdf
NLM
Saito MYG, Takase FK, Maruyama N. Uuv task definition using metaprogramming [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 29 ] Available from: https://repositorio.usp.br/directbitstream/41be79c5-c949-4ac7-87e3-e58023111986/Takase-2007-UUV%20TASK%20DEFINITION%20USING.pdf
Vancouver
Saito MYG, Takase FK, Maruyama N. Uuv task definition using metaprogramming [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 29 ] Available from: https://repositorio.usp.br/directbitstream/41be79c5-c949-4ac7-87e3-e58023111986/Takase-2007-UUV%20TASK%20DEFINITION%20USING.pdf
Trabalho de evento
Integrated tools environment for modeling and analysis of automated planning systems (2007)
Vaquero, Tiago Stegun; Sette, Fernando; Santos, Eston Almança dos; Silva, José Reinaldo
Fonte: Proceedings of COBEM. Nome do evento: International Congress of Mechanical Engineering. Unidade: EP
Assuntos: INTELIGÊNCIA ARTIFICIAL, SISTEMAS FLEXÍVEIS DE MANUFATURA, AUTOMAÇÃO INDUSTRIAL, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VAQUERO, Tiago Stegun et al. Integrated tools environment for modeling and analysis of automated planning systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf. Acesso em: 29 nov. 2025.
APA
Vaquero, T. S., Sette, F., Santos, E. A. dos, & Silva, J. R. (2007). Integrated tools environment for modeling and analysis of automated planning systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
NLM
Vaquero TS, Sette F, Santos EA dos, Silva JR. Integrated tools environment for modeling and analysis of automated planning systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 29 ] Available from: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
Vancouver
Vaquero TS, Sette F, Santos EA dos, Silva JR. Integrated tools environment for modeling and analysis of automated planning systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 29 ] Available from: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
Trabalho de evento
Degeneration methods in intelligent building control system design (2006)
Arakaki, Julio ; Miyagi, Paulo Eigi
Fonte: Information technology for balanced manufacturing systems. Nome do evento: International Conference on Information Technology for Balanced Automation Systems in Manufacture and Services. Unidade: EP
Assuntos: EDIFÍCIOS INTELIGENTES, CONTROLE AUTOMÁTICO, SISTEMAS DE CONTROLE, ARQUITETURA DE SOFTWARE, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAKAKI, Julio e MIYAGI, Paulo Eigi. Degeneration methods in intelligent building control system design. 2006, Anais.. New York: Springer, 2006. Disponível em: https://doi.org/10.1007/978-0-387-36594-7_50. Acesso em: 29 nov. 2025.
APA
Arakaki, J., & Miyagi, P. E. (2006). Degeneration methods in intelligent building control system design. In Information technology for balanced manufacturing systems. New York: Springer. doi:10.1007/978-0-387-36594-7_50
NLM
Arakaki J, Miyagi PE. Degeneration methods in intelligent building control system design [Internet]. Information technology for balanced manufacturing systems. 2006 ;[citado 2025 nov. 29 ] Available from: https://doi.org/10.1007/978-0-387-36594-7_50
Vancouver
Arakaki J, Miyagi PE. Degeneration methods in intelligent building control system design [Internet]. Information technology for balanced manufacturing systems. 2006 ;[citado 2025 nov. 29 ] Available from: https://doi.org/10.1007/978-0-387-36594-7_50
Relatorio tecnico
An and / or graph approach to the container loading problem (1993)
Morabito, R N; Arenales, Marcos Nereu
Unidade: ICMC
Assunto: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORABITO, R N e ARENALES, Marcos Nereu. An and / or graph approach to the container loading problem. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/0f77729c-f782-4a88-83ee-86f982d1e020/848315.pdf. Acesso em: 29 nov. 2025. , 1993
APA
Morabito, R. N., & Arenales, M. N. (1993). An and / or graph approach to the container loading problem. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/0f77729c-f782-4a88-83ee-86f982d1e020/848315.pdf
NLM
Morabito RN, Arenales MN. An and / or graph approach to the container loading problem [Internet]. 1993 ;[citado 2025 nov. 29 ] Available from: https://repositorio.usp.br/directbitstream/0f77729c-f782-4a88-83ee-86f982d1e020/848315.pdf
Vancouver
Morabito RN, Arenales MN. An and / or graph approach to the container loading problem [Internet]. 1993 ;[citado 2025 nov. 29 ] Available from: https://repositorio.usp.br/directbitstream/0f77729c-f782-4a88-83ee-86f982d1e020/848315.pdf

Unidades USP

ReP

Filtros

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Nome do evento