ReP USP - Resultado da busca

Trabalho de evento
Verification of automated systems using invariants (2014)
Salmon, Arianna Zoila Oliveira; Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo
Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP
Subjects: REDES DE PETRI, ANÁLISE DE REQUISITOS, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALMON, Arianna Zoila Oliveira e DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Verification of automated systems using invariants. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf. Acesso em: 06 ago. 2024.
APA
Salmon, A. Z. O., Del Foyo, P. M. G., & Silva, J. R. (2014). Verification of automated systems using invariants. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
NLM
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 ago. 06 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
Vancouver
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 ago. 06 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
Trabalho de evento
Bayesian network supervision on fault tolerant fuel cells (2006)
Martínez Riascos, Luis Alberto; Cozman, Fabio Gagliardi ; Miyagi, Paulo Eigi ; Simões, Marcelo Godoy
Source: IAS 2006: proceedings.. Conference titles: IEEE Industry Applications Conference Annual Meeting. Unidade: EP
Subjects: REDES DE PETRI, ALGORITMOS, ANÁLISE DE RISCO, CÉLULAS A COMBUSTÍVEL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTÍNEZ RIASCOS, Luis Alberto et al. Bayesian network supervision on fault tolerant fuel cells. 2006, Anais.. Piscataway: IEEE, 2006. Disponível em: https://doi.org/10.1109/ias.2006.256655. Acesso em: 06 ago. 2024.
APA
Martínez Riascos, L. A., Cozman, F. G., Miyagi, P. E., & Simões, M. G. (2006). Bayesian network supervision on fault tolerant fuel cells. In IAS 2006: proceedings.. Piscataway: IEEE. doi:10.1109/ias.2006.256655
NLM
Martínez Riascos LA, Cozman FG, Miyagi PE, Simões MG. Bayesian network supervision on fault tolerant fuel cells [Internet]. IAS 2006: proceedings. 2006 ;[citado 2024 ago. 06 ] Available from: https://doi.org/10.1109/ias.2006.256655
Vancouver
Martínez Riascos LA, Cozman FG, Miyagi PE, Simões MG. Bayesian network supervision on fault tolerant fuel cells [Internet]. IAS 2006: proceedings. 2006 ;[citado 2024 ago. 06 ] Available from: https://doi.org/10.1109/ias.2006.256655
Trabalho de evento
Binarization algorithms for approximate updating in credal nets (2006)
Antonucci, Alessandro; Zaffalon, Marco; Ide, Jaime Shinsuke; Cozman, Fabio Gagliardi
Source: STAIRS 2006: proceedings. Conference titles: European Starting AI Research Symposium. Unidade: EP
Subjects: REDES DE PETRI, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANTONUCCI, Alessandro et al. Binarization algorithms for approximate updating in credal nets. 2006, Anais.. Amsterdam: IOS Press, 2006. Disponível em: https://repositorio.usp.br/directbitstream/78ffc2b3-614c-49ef-a068-202fb0e119d9/Cozman-2006-Binarization%20algorithms%20for%20approximate.pdf. Acesso em: 06 ago. 2024.
APA
Antonucci, A., Zaffalon, M., Ide, J. S., & Cozman, F. G. (2006). Binarization algorithms for approximate updating in credal nets. In STAIRS 2006: proceedings. Amsterdam: IOS Press. Recuperado de https://repositorio.usp.br/directbitstream/78ffc2b3-614c-49ef-a068-202fb0e119d9/Cozman-2006-Binarization%20algorithms%20for%20approximate.pdf
NLM
Antonucci A, Zaffalon M, Ide JS, Cozman FG. Binarization algorithms for approximate updating in credal nets [Internet]. STAIRS 2006: proceedings. 2006 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/78ffc2b3-614c-49ef-a068-202fb0e119d9/Cozman-2006-Binarization%20algorithms%20for%20approximate.pdf
Vancouver
Antonucci A, Zaffalon M, Ide JS, Cozman FG. Binarization algorithms for approximate updating in credal nets [Internet]. STAIRS 2006: proceedings. 2006 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/78ffc2b3-614c-49ef-a068-202fb0e119d9/Cozman-2006-Binarization%20algorithms%20for%20approximate.pdf
Trabalho de evento
Bayesian network classifiers for short period country risk forecasting (2006)
Ide, Jaime Shinsuke; Colla, Ernesto Coutinho; Cozman, Fabio Gagliardi
Source: Anais. Conference titles: Simpósio Brasileiro de Engenharia de Software. Unidade: EP
Subjects: REDES DE PETRI, ALGORITMOS, ANÁLISE DE RISCO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IDE, Jaime Shinsuke e COLLA, Ernesto Coutinho e COZMAN, Fabio Gagliardi. Bayesian network classifiers for short period country risk forecasting. 2006, Anais.. Florianópolis: Sociedade Brasileira de Computação, 2006. Disponível em: https://repositorio.usp.br/directbitstream/9e796a65-a2cc-4bc6-b429-c5e62d6ca437/Cozman-2006-Bayesian%20network%20classifiers%20for%20short%20period%20country%20risk%20forecasting.pdf. Acesso em: 06 ago. 2024.
APA
Ide, J. S., Colla, E. C., & Cozman, F. G. (2006). Bayesian network classifiers for short period country risk forecasting. In Anais. Florianópolis: Sociedade Brasileira de Computação. Recuperado de https://repositorio.usp.br/directbitstream/9e796a65-a2cc-4bc6-b429-c5e62d6ca437/Cozman-2006-Bayesian%20network%20classifiers%20for%20short%20period%20country%20risk%20forecasting.pdf
NLM
Ide JS, Colla EC, Cozman FG. Bayesian network classifiers for short period country risk forecasting [Internet]. Anais. 2006 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/9e796a65-a2cc-4bc6-b429-c5e62d6ca437/Cozman-2006-Bayesian%20network%20classifiers%20for%20short%20period%20country%20risk%20forecasting.pdf
Vancouver
Ide JS, Colla EC, Cozman FG. Bayesian network classifiers for short period country risk forecasting [Internet]. Anais. 2006 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/9e796a65-a2cc-4bc6-b429-c5e62d6ca437/Cozman-2006-Bayesian%20network%20classifiers%20for%20short%20period%20country%20risk%20forecasting.pdf
Trabalho de evento
Systematization of the project of the production system control (2003)
Nakamoto, Francisco Yastami ; Miyagi, Paulo Eigi ; Santos Filho, Diolino Jose dos
Source: ISIE'2003. Conference titles: IEEE International Symposium on Industrial Electronics. Unidade: EP
Subjects: REDES DE PETRI, SISTEMAS DE CONTROLE, SISTEMAS DE PRODUÇÃO, ALGORITMOS, CONTROLE AUTOMÁTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAMOTO, Francisco Yastami e MIYAGI, Paulo Eigi e SANTOS FILHO, Diolino Jose dos. Systematization of the project of the production system control. 2003, Anais.. Piscataway: IEEE, 2003. Disponível em: https://repositorio.usp.br/directbitstream/498346f4-8e8e-4c04-95dc-beac4cacd0f7/SantosF%C2%BA-2003-Systematization%20of%20the%20Project%20of%20the%20Production.pdf. Acesso em: 06 ago. 2024.
APA
Nakamoto, F. Y., Miyagi, P. E., & Santos Filho, D. J. dos. (2003). Systematization of the project of the production system control. In ISIE'2003. Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/498346f4-8e8e-4c04-95dc-beac4cacd0f7/SantosF%C2%BA-2003-Systematization%20of%20the%20Project%20of%20the%20Production.pdf
NLM
Nakamoto FY, Miyagi PE, Santos Filho DJ dos. Systematization of the project of the production system control [Internet]. ISIE'2003. 2003 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/498346f4-8e8e-4c04-95dc-beac4cacd0f7/SantosF%C2%BA-2003-Systematization%20of%20the%20Project%20of%20the%20Production.pdf
Vancouver
Nakamoto FY, Miyagi PE, Santos Filho DJ dos. Systematization of the project of the production system control [Internet]. ISIE'2003. 2003 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/498346f4-8e8e-4c04-95dc-beac4cacd0f7/SantosF%C2%BA-2003-Systematization%20of%20the%20Project%20of%20the%20Production.pdf
Trabalho de evento
Petri Net's execution algorithm for applications in manufacturing systems control (2003)
Alves, Gustavo Ribeiro; Costa, João Dias da; Armellini, Fabiano; Miyagi, Paulo Eigi ; Santos Filho, Diolino Jose dos
Source: ISIE'2003. Conference titles: IEEE International Symposium on Industrial Electronics. Unidade: EP
Subjects: REDES DE PETRI, SISTEMAS DE MANUFATURAS, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVES, Gustavo Ribeiro et al. Petri Net's execution algorithm for applications in manufacturing systems control. 2003, Anais.. Piscataway: IEEE, 2003. Disponível em: https://repositorio.usp.br/directbitstream/3eeb3710-a9fa-4ad3-b73c-00a9d0b03701/Miyagi-2003-Petri%20Net%E2%80%99s%20execution%20algorithm%20for%20applications.pdf. Acesso em: 06 ago. 2024.
APA
Alves, G. R., Costa, J. D. da, Armellini, F., Miyagi, P. E., & Santos Filho, D. J. dos. (2003). Petri Net's execution algorithm for applications in manufacturing systems control. In ISIE'2003. Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/3eeb3710-a9fa-4ad3-b73c-00a9d0b03701/Miyagi-2003-Petri%20Net%E2%80%99s%20execution%20algorithm%20for%20applications.pdf
NLM
Alves GR, Costa JD da, Armellini F, Miyagi PE, Santos Filho DJ dos. Petri Net's execution algorithm for applications in manufacturing systems control [Internet]. ISIE'2003. 2003 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/3eeb3710-a9fa-4ad3-b73c-00a9d0b03701/Miyagi-2003-Petri%20Net%E2%80%99s%20execution%20algorithm%20for%20applications.pdf
Vancouver
Alves GR, Costa JD da, Armellini F, Miyagi PE, Santos Filho DJ dos. Petri Net's execution algorithm for applications in manufacturing systems control [Internet]. ISIE'2003. 2003 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/3eeb3710-a9fa-4ad3-b73c-00a9d0b03701/Miyagi-2003-Petri%20Net%E2%80%99s%20execution%20algorithm%20for%20applications.pdf

USP Schools

ReP

Filtros

Authors

Subjects