ReP USP - Resultado da busca

Artigo de periodico
Intra-annual stable isotopes in the tree rings of Hymenaea courbaril as a proxy for hydroclimate variations in southern Amazonia (2024)
Guimarães, Karollyne Silva; Marimon, Beatriz Schwantes ; Locosselli, Giuliano Maselli ; Brienen, Roel ; Cintra, Bruno Barcante Ladvocat ; Boom, Arnoud ; Araújo, Igor; Marimon Junior, Ben-Hur ; Ceccantini, Gregorio Cardoso Tápias ; Cruz, Wesley Jonatar A. da; Phillips, Oliver L
Source: Dendrochronologia. Unidades: CENA, IB
Subjects: ÁRVORES, ISÓTOPOS, OXIGÊNIO, CARBONO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUIMARÃES, Karollyne Silva et al. Intra-annual stable isotopes in the tree rings of Hymenaea courbaril as a proxy for hydroclimate variations in southern Amazonia. Dendrochronologia, v. 83, p. 1-11, 2024Tradução . . Disponível em: https://doi.org/10.1016/j.dendro.2023.126151. Acesso em: 20 out. 2024.
APA
Guimarães, K. S., Marimon, B. S., Locosselli, G. M., Brienen, R., Cintra, B. B. L., Boom, A., et al. (2024). Intra-annual stable isotopes in the tree rings of Hymenaea courbaril as a proxy for hydroclimate variations in southern Amazonia. Dendrochronologia, 83, 1-11. doi:10.1016/j.dendro.2023.126151
NLM
Guimarães KS, Marimon BS, Locosselli GM, Brienen R, Cintra BBL, Boom A, Araújo I, Marimon Junior B-H, Ceccantini GCT, Cruz WJA da, Phillips OL. Intra-annual stable isotopes in the tree rings of Hymenaea courbaril as a proxy for hydroclimate variations in southern Amazonia [Internet]. Dendrochronologia. 2024 ; 83 1-11.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.dendro.2023.126151
Vancouver
Guimarães KS, Marimon BS, Locosselli GM, Brienen R, Cintra BBL, Boom A, Araújo I, Marimon Junior B-H, Ceccantini GCT, Cruz WJA da, Phillips OL. Intra-annual stable isotopes in the tree rings of Hymenaea courbaril as a proxy for hydroclimate variations in southern Amazonia [Internet]. Dendrochronologia. 2024 ; 83 1-11.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.dendro.2023.126151
Artigo de periodico
Exploiting multi-signal calibration to circumvent matrix effects in flow injection analysis (2024)
Soares, Sâmara ; Rocha, Fábio Rodrigo Piovezani
Source: Microchemical Journal. Unidade: CENA
Subjects: ANÁLISE EM FLUXO CONTÍNUO, QUÍMICA ANALÍTICA, ESPECTROMETRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOARES, Sâmara e ROCHA, Fábio Rodrigo Piovezani. Exploiting multi-signal calibration to circumvent matrix effects in flow injection analysis. Microchemical Journal, v. 199, p. 1-7, 2024Tradução . . Disponível em: https://doi.org/10.1016/j.microc.2024.110082. Acesso em: 20 out. 2024.
APA
Soares, S., & Rocha, F. R. P. (2024). Exploiting multi-signal calibration to circumvent matrix effects in flow injection analysis. Microchemical Journal, 199, 1-7. doi:10.1016/j.microc.2024.110082
NLM
Soares S, Rocha FRP. Exploiting multi-signal calibration to circumvent matrix effects in flow injection analysis [Internet]. Microchemical Journal. 2024 ; 199 1-7.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.microc.2024.110082
Vancouver
Soares S, Rocha FRP. Exploiting multi-signal calibration to circumvent matrix effects in flow injection analysis [Internet]. Microchemical Journal. 2024 ; 199 1-7.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.microc.2024.110082
Trabalho de evento-anais periodico
Effects of initial state fluctuations on the mean transverse momentum (2021)
Gardim, Fernando G.; Giacalone, Giuliano; Luzum, Matthew ; Ollitrault, Jean-Yves
Source: Nuclear Physics A. Conference titles: International Conference on Ultrarelativistic Nucleus-Nucleus Collisions. Unidade: IF
Subjects: FÍSICA NUCLEAR, COLISÕES DE ÍONS PESADOS RELATIVÍSTICOS, LHC, HÁDRONS, ENTROPIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GARDIM, Fernando G. et al. Effects of initial state fluctuations on the mean transverse momentum. Nuclear Physics A. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.nuclphysa.2020.121999. Acesso em: 20 out. 2024. , 2021
APA
Gardim, F. G., Giacalone, G., Luzum, M., & Ollitrault, J. -Y. (2021). Effects of initial state fluctuations on the mean transverse momentum. Nuclear Physics A. Amsterdam: Elsevier. doi:10.1016/j.nuclphysa.2020.121999
NLM
Gardim FG, Giacalone G, Luzum M, Ollitrault J-Y. Effects of initial state fluctuations on the mean transverse momentum [Internet]. Nuclear Physics A. 2021 ; 1005[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.nuclphysa.2020.121999
Vancouver
Gardim FG, Giacalone G, Luzum M, Ollitrault J-Y. Effects of initial state fluctuations on the mean transverse momentum [Internet]. Nuclear Physics A. 2021 ; 1005[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.nuclphysa.2020.121999
Parte de monografia/livro
Multidimensional sensors: classification, nanoprobes, and microfluidics (2020)
Nicoliche, Caroline Y. Nakiri; Oliveira Junior, Osvaldo Novais de ; Lima, Renato S.
Source: Handbook on Miniaturization in Analytical Chemistry: Application of Nanotechnology. Unidade: IFSC
Subjects: NANOTECNOLOGIA, SENSOR, FILMES FINOS, POLÍMEROS (MATERIAIS)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NICOLICHE, Caroline Y. Nakiri e OLIVEIRA JUNIOR, Osvaldo Novais de e LIMA, Renato S. Multidimensional sensors: classification, nanoprobes, and microfluidics. Handbook on Miniaturization in Analytical Chemistry: Application of Nanotechnology. Tradução . Amsterdam: Elsevier, 2020. p. 364 . Disponível em: https://doi.org/10.1016/B978-0-12-819763-9.00009-X. Acesso em: 20 out. 2024.
APA
Nicoliche, C. Y. N., Oliveira Junior, O. N. de, & Lima, R. S. (2020). Multidimensional sensors: classification, nanoprobes, and microfluidics. In Handbook on Miniaturization in Analytical Chemistry: Application of Nanotechnology (p. 364 ). Amsterdam: Elsevier. doi:10.1016/B978-0-12-819763-9.00009-X
NLM
Nicoliche CYN, Oliveira Junior ON de, Lima RS. Multidimensional sensors: classification, nanoprobes, and microfluidics [Internet]. In: Handbook on Miniaturization in Analytical Chemistry: Application of Nanotechnology. Amsterdam: Elsevier; 2020. p. 364 .[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/B978-0-12-819763-9.00009-X
Vancouver
Nicoliche CYN, Oliveira Junior ON de, Lima RS. Multidimensional sensors: classification, nanoprobes, and microfluidics [Internet]. In: Handbook on Miniaturization in Analytical Chemistry: Application of Nanotechnology. Amsterdam: Elsevier; 2020. p. 364 .[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/B978-0-12-819763-9.00009-X
Parte de monografia/livro
First-order hyperpolarizability of organic molecules: hyper-Rayleigh scattering and applications (2020)
Vivas, Marcelo G.; Silva, Daniel Luiz; Mendonça, Cleber Renato ; De Boni, Leonardo
Source: Molecular and Laser Spectroscopy. Unidade: IFSC
Subjects: PROPRIEDADES DOS MATERIAIS, ÓPTICA NÃO LINEAR, FOTÔNICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VIVAS, Marcelo G. et al. First-order hyperpolarizability of organic molecules: hyper-Rayleigh scattering and applications. Molecular and Laser Spectroscopy. Tradução . Amsterdam: Elsevier, 2020. p. 704 . Disponível em: https://doi.org/10.1016/B978-0-12-818870-5.00008-3. Acesso em: 20 out. 2024.
APA
Vivas, M. G., Silva, D. L., Mendonça, C. R., & De Boni, L. (2020). First-order hyperpolarizability of organic molecules: hyper-Rayleigh scattering and applications. In Molecular and Laser Spectroscopy (p. 704 ). Amsterdam: Elsevier. doi:10.1016/B978-0-12-818870-5.00008-3
NLM
Vivas MG, Silva DL, Mendonça CR, De Boni L. First-order hyperpolarizability of organic molecules: hyper-Rayleigh scattering and applications [Internet]. In: Molecular and Laser Spectroscopy. Amsterdam: Elsevier; 2020. p. 704 .[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/B978-0-12-818870-5.00008-3
Vancouver
Vivas MG, Silva DL, Mendonça CR, De Boni L. First-order hyperpolarizability of organic molecules: hyper-Rayleigh scattering and applications [Internet]. In: Molecular and Laser Spectroscopy. Amsterdam: Elsevier; 2020. p. 704 .[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/B978-0-12-818870-5.00008-3
Trabalho de evento-anais periodico
A simple PLS-based approach for the construction of compact surrogate models (2018)
Graciano, José Eduardo Alves ; Giudici, Reinaldo ; Alves, Rita Maria de Brito ; Chachuat, Benoît
Source: Computer Aided Chemical Engineering. Conference titles: International Symposium on Process Systems Engineering (PSE 2018). Unidade: EP
Subjects: GÁS NATURAL, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GRACIANO, José Eduardo Alves et al. A simple PLS-based approach for the construction of compact surrogate models. Computer Aided Chemical Engineering. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/B978-0-444-64241-7.50065-3. Acesso em: 20 out. 2024. , 2018
APA
Graciano, J. E. A., Giudici, R., Alves, R. M. de B., & Chachuat, B. (2018). A simple PLS-based approach for the construction of compact surrogate models. Computer Aided Chemical Engineering. Amsterdam: Elsevier. doi:10.1016/B978-0-444-64241-7.50065-3
NLM
Graciano JEA, Giudici R, Alves RM de B, Chachuat B. A simple PLS-based approach for the construction of compact surrogate models [Internet]. Computer Aided Chemical Engineering. 2018 ; 44 421-426.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/B978-0-444-64241-7.50065-3
Vancouver
Graciano JEA, Giudici R, Alves RM de B, Chachuat B. A simple PLS-based approach for the construction of compact surrogate models [Internet]. Computer Aided Chemical Engineering. 2018 ; 44 421-426.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/B978-0-444-64241-7.50065-3
Parte de monografia/livro
Cambuci - Campomanesia phaea (O. Berg.) Landrum (2018)
Tokairin, Tatiane de O; Bremer Neto, Horst; Jacomino, Angelo Pedro
Source: Exotic Fruits: reference guide. Unidade: ESALQ
Subjects: CAMBUCI, FRUTICULTURA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TOKAIRIN, Tatiane de O e BREMER NETO, Horst e JACOMINO, Angelo Pedro. Cambuci - Campomanesia phaea (O. Berg.) Landrum. Exotic Fruits: reference guide. Tradução . Amsterdam: Elsevier, 2018. p. 490 il. Disponível em: https://www.sciencedirect.com/book/9780128031384/exotic-fruits. Acesso em: 20 out. 2024.
APA
Tokairin, T. de O., Bremer Neto, H., & Jacomino, A. P. (2018). Cambuci - Campomanesia phaea (O. Berg.) Landrum. In Exotic Fruits: reference guide (p. 490 il). Amsterdam: Elsevier. Recuperado de https://www.sciencedirect.com/book/9780128031384/exotic-fruits
NLM
Tokairin T de O, Bremer Neto H, Jacomino AP. Cambuci - Campomanesia phaea (O. Berg.) Landrum [Internet]. In: Exotic Fruits: reference guide. Amsterdam: Elsevier; 2018. p. 490 il.[citado 2024 out. 20 ] Available from: https://www.sciencedirect.com/book/9780128031384/exotic-fruits
Vancouver
Tokairin T de O, Bremer Neto H, Jacomino AP. Cambuci - Campomanesia phaea (O. Berg.) Landrum [Internet]. In: Exotic Fruits: reference guide. Amsterdam: Elsevier; 2018. p. 490 il.[citado 2024 out. 20 ] Available from: https://www.sciencedirect.com/book/9780128031384/exotic-fruits
Parte de monografia/livro
Uvaia - Eugenia pyriformis Cambess (2018)
Jacomino, Angelo Pedro; Silva, Aline P. G. da; Freitas, Thais P. de; Morais, Verônica S. de Paula
Source: Exotic Fruits: reference guide. Unidade: ESALQ
Assunto: UVAIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JACOMINO, Angelo Pedro et al. Uvaia - Eugenia pyriformis Cambess. Exotic Fruits: reference guide. Tradução . Amsterdam: Elsevier, 2018. p. 490 il. Disponível em: https://www.sciencedirect.com/book/9780128031384/exotic-fruits. Acesso em: 20 out. 2024.
APA
Jacomino, A. P., Silva, A. P. G. da, Freitas, T. P. de, & Morais, V. S. de P. (2018). Uvaia - Eugenia pyriformis Cambess. In Exotic Fruits: reference guide (p. 490 il). Amsterdam: Elsevier. Recuperado de https://www.sciencedirect.com/book/9780128031384/exotic-fruits
NLM
Jacomino AP, Silva APG da, Freitas TP de, Morais VS de P. Uvaia - Eugenia pyriformis Cambess [Internet]. In: Exotic Fruits: reference guide. Amsterdam: Elsevier; 2018. p. 490 il.[citado 2024 out. 20 ] Available from: https://www.sciencedirect.com/book/9780128031384/exotic-fruits
Vancouver
Jacomino AP, Silva APG da, Freitas TP de, Morais VS de P. Uvaia - Eugenia pyriformis Cambess [Internet]. In: Exotic Fruits: reference guide. Amsterdam: Elsevier; 2018. p. 490 il.[citado 2024 out. 20 ] Available from: https://www.sciencedirect.com/book/9780128031384/exotic-fruits
Trabalho de evento-anais periodico
Lifecycle management of product-service systems: a preliminary investigation of a white goods manufacturer (2017)
Sousa-Zomer, Thayla Tavares ; Magalhães, Lucas de Almeida ; Zancul, Eduardo de Senzi ; Miguel, Paulo Augusto Cauchick
Source: Procedia CIRP. Conference titles: CIRP IPSS Conference: Circular Perspectives on Product/Service-Systems. Unidade: EP
Subjects: SISTEMA PRODUTO-SERVIÇO (PSS), CLEAN PRODUCTION, ECONOMIA CIRCULAR, CICLO DE VIDA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA-ZOMER, Thayla Tavares et al. Lifecycle management of product-service systems: a preliminary investigation of a white goods manufacturer. Procedia CIRP. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.procir.2017.03.041. Acesso em: 20 out. 2024. , 2017
APA
Sousa-Zomer, T. T., Magalhães, L. de A., Zancul, E. de S., & Miguel, P. A. C. (2017). Lifecycle management of product-service systems: a preliminary investigation of a white goods manufacturer. Procedia CIRP. Amsterdam: Elsevier. doi:10.1016/j.procir.2017.03.041
NLM
Sousa-Zomer TT, Magalhães L de A, Zancul E de S, Miguel PAC. Lifecycle management of product-service systems: a preliminary investigation of a white goods manufacturer [Internet]. Procedia CIRP. 2017 ; 64 31-36.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.procir.2017.03.041
Vancouver
Sousa-Zomer TT, Magalhães L de A, Zancul E de S, Miguel PAC. Lifecycle management of product-service systems: a preliminary investigation of a white goods manufacturer [Internet]. Procedia CIRP. 2017 ; 64 31-36.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.procir.2017.03.041
Trabalho de evento-anais periodico
Measurement of characteristic to total spectrum ratio of Tungsten x-ray spectra for the validation of the modified TBC model (2014)
Lopez Gonzales, A. H.; Tomal, A.; Costa, P. R.
Source: ISSSD 2014: Proceedings. Conference titles: XIV International Symposium on Solid State Dosimetry. Unidade: IF
Subjects: MEDICINA NUCLEAR, FÍSICA MÉDICA, ESPECTROSCOPIA DE RAIO X
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOPEZ GONZALES, A. H. e TOMAL, A. e COSTA, P. R. Measurement of characteristic to total spectrum ratio of Tungsten x-ray spectra for the validation of the modified TBC model. ISSSD 2014: Proceedings. Amsterdam: Elsevier. Disponível em: https://inis.iaea.org/collection/NCLCollectionStore/_Public/45/099/45099969.pdf. Acesso em: 20 out. 2024. , 2014
APA
Lopez Gonzales, A. H., Tomal, A., & Costa, P. R. (2014). Measurement of characteristic to total spectrum ratio of Tungsten x-ray spectra for the validation of the modified TBC model. ISSSD 2014: Proceedings. Amsterdam: Elsevier. Recuperado de https://inis.iaea.org/collection/NCLCollectionStore/_Public/45/099/45099969.pdf
NLM
Lopez Gonzales AH, Tomal A, Costa PR. Measurement of characteristic to total spectrum ratio of Tungsten x-ray spectra for the validation of the modified TBC model [Internet]. ISSSD 2014: Proceedings. 2014 ; 100 of Applied radiation and isotopes 11 .[citado 2024 out. 20 ] Available from: https://inis.iaea.org/collection/NCLCollectionStore/_Public/45/099/45099969.pdf
Vancouver
Lopez Gonzales AH, Tomal A, Costa PR. Measurement of characteristic to total spectrum ratio of Tungsten x-ray spectra for the validation of the modified TBC model [Internet]. ISSSD 2014: Proceedings. 2014 ; 100 of Applied radiation and isotopes 11 .[citado 2024 out. 20 ] Available from: https://inis.iaea.org/collection/NCLCollectionStore/_Public/45/099/45099969.pdf
Trabalho de evento-anais periodico
Transmission properties of Barite Mortar using x-ray spectra measured with CdTe detector (2014)
Santos, Josilene C.; Tomal, Alessandra; Mariano, Leandro; Costa, P. R.
Source: ISSSD 2014: Proceedings. Conference titles: XIV International Symposium on Solid State Dosimetry. Unidade: IF
Subjects: MEDICINA NUCLEAR, FÍSICA MÉDICA, ESPECTROSCOPIA DE RAIO X, DOSAGEM DE RADIAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Josilene C. et al. Transmission properties of Barite Mortar using x-ray spectra measured with CdTe detector. ISSSD 2014: Proceedings. Amsterdam: Elsevier. Disponível em: https://inis.iaea.org/collection/NCLCollectionStore/_Public/45/099/45099965.pdf. Acesso em: 20 out. 2024. , 2014
APA
Santos, J. C., Tomal, A., Mariano, L., & Costa, P. R. (2014). Transmission properties of Barite Mortar using x-ray spectra measured with CdTe detector. ISSSD 2014: Proceedings. Amsterdam: Elsevier. Recuperado de https://inis.iaea.org/collection/NCLCollectionStore/_Public/45/099/45099965.pdf
NLM
Santos JC, Tomal A, Mariano L, Costa PR. Transmission properties of Barite Mortar using x-ray spectra measured with CdTe detector [Internet]. ISSSD 2014: Proceedings. 2014 ; 100 of Applied radiation and isotopes 11 .[citado 2024 out. 20 ] Available from: https://inis.iaea.org/collection/NCLCollectionStore/_Public/45/099/45099965.pdf
Vancouver
Santos JC, Tomal A, Mariano L, Costa PR. Transmission properties of Barite Mortar using x-ray spectra measured with CdTe detector [Internet]. ISSSD 2014: Proceedings. 2014 ; 100 of Applied radiation and isotopes 11 .[citado 2024 out. 20 ] Available from: https://inis.iaea.org/collection/NCLCollectionStore/_Public/45/099/45099965.pdf
Trabalho de evento-anais periodico
Selfish square packing (2011)
Fernandes, Cristina Gomes ; Ferreira, Carlos Eduardo ; Miyazawa, Flavio Keidi; Wakabayashi, Yoshiko
Source: Electronic Notes in Discrete Mathematics. Conference titles: Latin-American Algorithms, Graphs and Optimization Symposium - LAGOS. Unidade: IME
Assunto: ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERNANDES, Cristina Gomes et al. Selfish square packing. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.endm.2011.05.063. Acesso em: 20 out. 2024. , 2011
APA
Fernandes, C. G., Ferreira, C. E., Miyazawa, F. K., & Wakabayashi, Y. (2011). Selfish square packing. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier. doi:10.1016/j.endm.2011.05.063
NLM
Fernandes CG, Ferreira CE, Miyazawa FK, Wakabayashi Y. Selfish square packing [Internet]. Electronic Notes in Discrete Mathematics. 2011 ; 37 369-374.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.endm.2011.05.063
Vancouver
Fernandes CG, Ferreira CE, Miyazawa FK, Wakabayashi Y. Selfish square packing [Internet]. Electronic Notes in Discrete Mathematics. 2011 ; 37 369-374.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.endm.2011.05.063
Trabalho de evento-anais periodico
Towards an efficient prover for the C1 paraconsistent logic (2009)
Neto, Adolfo ; Kaestner, Celso A. A.; Finger, Marcelo
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME
Subjects: LÓGICA FORMAL, WEB SEMÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NETO, Adolfo e KAESTNER, Celso A. A. e FINGER, Marcelo. Towards an efficient prover for the C1 paraconsistent logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.11.007. Acesso em: 20 out. 2024. , 2009
APA
Neto, A., Kaestner, C. A. A., & Finger, M. (2009). Towards an efficient prover for the C1 paraconsistent logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.11.007
NLM
Neto A, Kaestner CAA, Finger M. Towards an efficient prover for the C1 paraconsistent logic [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 256 87-102.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.11.007
Vancouver
Neto A, Kaestner CAA, Finger M. Towards an efficient prover for the C1 paraconsistent logic [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 256 87-102.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.11.007
Trabalho de evento-anais periodico
Model checking merged program traces (2009)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: JAVA, MODELOS DE PROCESSO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.05.047. Acesso em: 20 out. 2024. , 2009
APA
Silva, P. S. da, & Melo, A. C. V. de. (2009). Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.05.047
NLM
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
Vancouver
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
Trabalho de evento-anais periodico
Using abduction to compute efficient proofs (2009)
Finger, Marcelo
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME
Assunto: LÓGICA FORMAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.07.047. Acesso em: 20 out. 2024. , 2009
APA
Finger, M. (2009). Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.07.047
NLM
Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047
Vancouver
Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047
Trabalho de evento-anais periodico
Approximations of Modal Logic K (2006)
Rabello, Guilherme de Souza; Finger, Marcelo
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidades: IME, IF
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RABELLO, Guilherme de Souza e FINGER, Marcelo. Approximations of Modal Logic K. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2005.04.040. Acesso em: 20 out. 2024. , 2006
APA
Rabello, G. de S., & Finger, M. (2006). Approximations of Modal Logic K. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2005.04.040
NLM
Rabello G de S, Finger M. Approximations of Modal Logic K [Internet]. Electronic Notes in Theoretical Computer Science. 2006 ; 14 171-184.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.entcs.2005.04.040
Vancouver
Rabello G de S, Finger M. Approximations of Modal Logic K [Internet]. Electronic Notes in Theoretical Computer Science. 2006 ; 14 171-184.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.entcs.2005.04.040
Trabalho de evento-anais periodico
The 3-colored Ramsey number of odd cycles (2005)
Kohayakawa, Yoshiharu ; Simonovits, Maklós; Skokan, Jozef
Source: Electronic Notes in Discrete Mathematics. Conference titles: Brazilian Symposium on Graphs, Algorithms and Combinatorics - GRACO. Unidade: IME
Assunto: COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOHAYAKAWA, Yoshiharu e SIMONOVITS, Maklós e SKOKAN, Jozef. The 3-colored Ramsey number of odd cycles. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.endm.2005.05.053. Acesso em: 20 out. 2024. , 2005
APA
Kohayakawa, Y., Simonovits, M., & Skokan, J. (2005). The 3-colored Ramsey number of odd cycles. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier. doi:10.1016/j.endm.2005.05.053
NLM
Kohayakawa Y, Simonovits M, Skokan J. The 3-colored Ramsey number of odd cycles [Internet]. Electronic Notes in Discrete Mathematics. 2005 ; 19 397-402.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.endm.2005.05.053
Vancouver
Kohayakawa Y, Simonovits M, Skokan J. The 3-colored Ramsey number of odd cycles [Internet]. Electronic Notes in Discrete Mathematics. 2005 ; 19 397-402.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.endm.2005.05.053
Trabalho de evento-anais periodico
An all-substrings common subsequence algorithm (2005)
Alves, Carlos Eduardo Rodrigues; Cáceres, Edson Norberto; Song, Siang Wun
Source: Electronic Notes in Discrete Mathematics. Conference titles: Brazilian Symposium on Graphs, Algorithms and Combinatorics - GRACO. Unidade: IME
Assunto: ANÁLISE DE ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVES, Carlos Eduardo Rodrigues e CÁCERES, Edson Norberto e SONG, Siang Wun. An all-substrings common subsequence algorithm. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.endm.2005.05.019. Acesso em: 20 out. 2024. , 2005
APA
Alves, C. E. R., Cáceres, E. N., & Song, S. W. (2005). An all-substrings common subsequence algorithm. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier. doi:10.1016/j.endm.2005.05.019
NLM
Alves CER, Cáceres EN, Song SW. An all-substrings common subsequence algorithm [Internet]. Electronic Notes in Discrete Mathematics. 2005 ; 19 133-139.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.endm.2005.05.019
Vancouver
Alves CER, Cáceres EN, Song SW. An all-substrings common subsequence algorithm [Internet]. Electronic Notes in Discrete Mathematics. 2005 ; 19 133-139.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/j.endm.2005.05.019
Trabalho de evento-anais periodico
Comparing different real-time optimization strategies for the FCC catalytic converter (2000)
Zanin, Antônio Carlos ; Gouvêa, Míriam Tvrzská de ; Odloak, Darci
Source: IFAC proceedings volumes. Conference titles: International Symposium on Advanced Control of Chemical Processes. Unidade: EP
Subjects: CONTROLE (TEORIA DE SISTEMAS E CONTROLE) (APLICAÇÕES), TRATAMENTO DE ÁGUAS RESIDUÁRIAS, CONTROLE PREDITIVO, CONTROLE DE PROCESSOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ZANIN, Antônio Carlos e GOUVÊA, Míriam Tvrzská de e ODLOAK, Darci. Comparing different real-time optimization strategies for the FCC catalytic converter. IFAC proceedings volumes. Oxford: Elsevier. Disponível em: https://doi.org/10.1016/S1474-6670(17)38634-2. Acesso em: 20 out. 2024. , 2000
APA
Zanin, A. C., Gouvêa, M. T. de, & Odloak, D. (2000). Comparing different real-time optimization strategies for the FCC catalytic converter. IFAC proceedings volumes. Oxford: Elsevier. doi:10.1016/S1474-6670(17)38634-2
NLM
Zanin AC, Gouvêa MT de, Odloak D. Comparing different real-time optimization strategies for the FCC catalytic converter [Internet]. IFAC proceedings volumes. 2000 ; 33( Ju 2000): 779-784.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/S1474-6670(17)38634-2
Vancouver
Zanin AC, Gouvêa MT de, Odloak D. Comparing different real-time optimization strategies for the FCC catalytic converter [Internet]. IFAC proceedings volumes. 2000 ; 33( Ju 2000): 779-784.[citado 2024 out. 20 ] Available from: https://doi.org/10.1016/S1474-6670(17)38634-2

USP Schools

ReP

Filtros

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Conference titles

Funding Agencies

Normalized affiliation

Non normalized affiliation

Countries of institutions of collaboration