ReP USP - Resultado da busca

Trabalho de evento-anais periodico
On structuring functional programs with monoidal profunctors (2022)
Oliveira, Alexandre Garcia de; Jaskelioff, Mauro; Melo, Ana Cristina Vieira de
Fonte: Electronic Proceedings in Theoretical Computer Science. Nome do evento: Workshop on Mathematically Structured Functional Programming - MSFP. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Alexandre Garcia de e JASKELIOFF, Mauro e MELO, Ana Cristina Vieira de. On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7. Acesso em: 14 nov. 2024. , 2022
APA
Oliveira, A. G. de, Jaskelioff, M., & Melo, A. C. V. de. (2022). On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
NLM
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2024 nov. 14 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
Vancouver
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2024 nov. 14 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
Artigo de periodico
A domain engineering for interactive learning modules (2012)
Dalmon, Danilo Leite; Brandão, Leônidas de Oliveira ; Brandão, Anarosa Alves Franco ; Isotani, Seiji
Fonte: Journal of Research and Practice in Information Technology. Unidades: IME, EP, ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SOFTWARES, FRAMEWORKS, MODELOS DE APRENDIZAGEM, TECNOLOGIA EDUCACIONAL, SISTEMAS COLABORATIVOS, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DALMON, Danilo Leite et al. A domain engineering for interactive learning modules. Journal of Research and Practice in Information Technology, v. 44, n. 3, p. 309-330, 2012Tradução . . Disponível em: file:///C:/Users/2677490/Downloads/paper_jrpit_JRPIT44.3.309_spl_ilm_DalmonBrandaoEtAl.pdf. Acesso em: 14 nov. 2024.
APA
Dalmon, D. L., Brandão, L. de O., Brandão, A. A. F., & Isotani, S. (2012). A domain engineering for interactive learning modules. Journal of Research and Practice in Information Technology, 44( 3), 309-330. Recuperado de file:///C:/Users/2677490/Downloads/paper_jrpit_JRPIT44.3.309_spl_ilm_DalmonBrandaoEtAl.pdf
NLM
Dalmon DL, Brandão L de O, Brandão AAF, Isotani S. A domain engineering for interactive learning modules [Internet]. Journal of Research and Practice in Information Technology. 2012 ; 44( 3): 309-330.[citado 2024 nov. 14 ] Available from: file:///C:/Users/2677490/Downloads/paper_jrpit_JRPIT44.3.309_spl_ilm_DalmonBrandaoEtAl.pdf
Vancouver
Dalmon DL, Brandão L de O, Brandão AAF, Isotani S. A domain engineering for interactive learning modules [Internet]. Journal of Research and Practice in Information Technology. 2012 ; 44( 3): 309-330.[citado 2024 nov. 14 ] Available from: file:///C:/Users/2677490/Downloads/paper_jrpit_JRPIT44.3.309_spl_ilm_DalmonBrandaoEtAl.pdf
Trabalho de evento
Classical and quantum satisfiability (2012)
Araújo, Anderson de; Finger, Marcelo
Fonte: Proceedings. Nome do evento: Workshop on Logical and Semantic Frameworks with Applications - EPTCS. Unidade: IME
Assuntos: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO, Anderson de e FINGER, Marcelo. Classical and quantum satisfiability. 2012, Anais.. Sydney: EPTCS, 2012. Disponível em: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf. Acesso em: 14 nov. 2024.
APA
Araújo, A. de, & Finger, M. (2012). Classical and quantum satisfiability. In Proceedings. Sydney: EPTCS. Recuperado de http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
NLM
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2024 nov. 14 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
Vancouver
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2024 nov. 14 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
Tese (Doutorado)
Representations of infinite-dimensional Lie algebras (2007)
Wilson, Benjamin John; Futorny, Vyacheslav (Orientador) ; Molev, Alexander (Orientador)
Unidade: IME
Assunto: ÁLGEBRAS DE LIE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WILSON, Benjamin John. Representations of infinite-dimensional Lie algebras. 2007. Tese (Doutorado) – Universidade de São Paulo, Sydney, 2007. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-123438/. Acesso em: 14 nov. 2024.
APA
Wilson, B. J. (2007). Representations of infinite-dimensional Lie algebras (Tese (Doutorado). Universidade de São Paulo, Sydney. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-123438/
NLM
Wilson BJ. Representations of infinite-dimensional Lie algebras [Internet]. 2007 ;[citado 2024 nov. 14 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-123438/
Vancouver
Wilson BJ. Representations of infinite-dimensional Lie algebras [Internet]. 2007 ;[citado 2024 nov. 14 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-123438/
Artigo de periodico
Equivalence of certain categories of modules for quantized affine Lie algebras (2000)
Futorny, Vyacheslav ; Melville, Duncan J
Fonte: Journal of the Australian Mathematical Society. Unidade: IME
Assuntos: GRUPOS QUÂNTICOS, ÁLGEBRAS DE LIE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FUTORNY, Vyacheslav e MELVILLE, Duncan J. Equivalence of certain categories of modules for quantized affine Lie algebras. Journal of the Australian Mathematical Society, v. 69, n. 2, p. 162-175, 2000Tradução . . Disponível em: https://doi.org/10.1017/S1446788700002159. Acesso em: 14 nov. 2024.
APA
Futorny, V., & Melville, D. J. (2000). Equivalence of certain categories of modules for quantized affine Lie algebras. Journal of the Australian Mathematical Society, 69( 2), 162-175. doi:10.1017/S1446788700002159
NLM
Futorny V, Melville DJ. Equivalence of certain categories of modules for quantized affine Lie algebras [Internet]. Journal of the Australian Mathematical Society. 2000 ; 69( 2): 162-175.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1017/S1446788700002159
Vancouver
Futorny V, Melville DJ. Equivalence of certain categories of modules for quantized affine Lie algebras [Internet]. Journal of the Australian Mathematical Society. 2000 ; 69( 2): 162-175.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1017/S1446788700002159
Artigo de periodico
Influence diagnostics in proper dispersion models (1996)
Paula, Gilberto Alvarenga
Fonte: Australian Journal of Statistics. Unidade: IME
Assunto: MODELOS LINEARES GENERALIZADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAULA, Gilberto Alvarenga. Influence diagnostics in proper dispersion models. Australian Journal of Statistics, v. 38, n. 3, p. 307-316, 1996Tradução . . Disponível em: https://doi.org/10.1111/j.1467-842X.1996.tb00685.x. Acesso em: 14 nov. 2024.
APA
Paula, G. A. (1996). Influence diagnostics in proper dispersion models. Australian Journal of Statistics, 38( 3), 307-316. doi:10.1111/j.1467-842X.1996.tb00685.x
NLM
Paula GA. Influence diagnostics in proper dispersion models [Internet]. Australian Journal of Statistics. 1996 ; 38( 3): 307-316.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1111/j.1467-842X.1996.tb00685.x
Vancouver
Paula GA. Influence diagnostics in proper dispersion models [Internet]. Australian Journal of Statistics. 1996 ; 38( 3): 307-316.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1111/j.1467-842X.1996.tb00685.x
Artigo de periodico
Prediction of the finite population distribution function under gaussian superpopulation models (1993)
Bolfarine, Heleno ; Sandoval, Monica Carneiro
Fonte: Australian Journal of Mathematics. Unidade: IME
Assunto: INFERÊNCIA ESTATÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BOLFARINE, Heleno e SANDOVAL, Monica Carneiro. Prediction of the finite population distribution function under gaussian superpopulation models. Australian Journal of Mathematics, v. 35, n. 2 , p. 195-204, 1993Tradução . . Disponível em: https://doi.org/10.1111/j.1467-842X.1993.tb01325.x. Acesso em: 14 nov. 2024.
APA
Bolfarine, H., & Sandoval, M. C. (1993). Prediction of the finite population distribution function under gaussian superpopulation models. Australian Journal of Mathematics, 35( 2 ), 195-204. doi:10.1111/j.1467-842X.1993.tb01325.x
NLM
Bolfarine H, Sandoval MC. Prediction of the finite population distribution function under gaussian superpopulation models [Internet]. Australian Journal of Mathematics. 1993 ; 35( 2 ): 195-204.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1111/j.1467-842X.1993.tb01325.x
Vancouver
Bolfarine H, Sandoval MC. Prediction of the finite population distribution function under gaussian superpopulation models [Internet]. Australian Journal of Mathematics. 1993 ; 35( 2 ): 195-204.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1111/j.1467-842X.1993.tb01325.x

Unidades USP

ReP

Filtros

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Agência de fomento