Menu

Filtros : "RELATORIO TECNICO" "IME" "FINGER, MARCELO" Limpar

Filtros

Refine with date range

  • 1

1 - 12 (12 records)

  • Relatorio tecnico

    Notes on measuring inconsistency in probabilistic logic (2014)

    De Bona, Glauber ; Finger, Marcelo

    Unidades: IME, EP

    Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, LÓGICA MATEMÁTICA APLICADA, PROBABILIDADE

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DE BONA, Glauber e FINGER, Marcelo. Notes on measuring inconsistency in probabilistic logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf. Acesso em: 05 ago. 2024. , 2014

    • APA

      De Bona, G., & Finger, M. (2014). Notes on measuring inconsistency in probabilistic logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf

    • NLM

      De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf

    • Vancouver

      De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf

  • Relatorio tecnico

    Caracterização da independência condicional em lógica modal (2010)

    Arruda, Alexandre Matos; Finger, Marcelo

    Unidade: IME

    Assunto: LÓGICA MODAL

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ARRUDA, Alexandre Matos e FINGER, Marcelo. Caracterização da independência condicional em lógica modal. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf. Acesso em: 05 ago. 2024. , 2010

    • APA

      Arruda, A. M., & Finger, M. (2010). Caracterização da independência condicional em lógica modal. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf

    • NLM

      Arruda AM, Finger M. Caracterização da independência condicional em lógica modal [Internet]. 2010 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf

    • Vancouver

      Arruda AM, Finger M. Caracterização da independência condicional em lógica modal [Internet]. 2010 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf

  • Relatorio tecnico

    Uma conjectura refutada sobre satisfazibilidade probabiliística (2009)

    Finger, Marcelo ; De Bona, Glauber

    Unidades: IME, EP

    Assunto: PROGRAMAÇÃO MATEMÁTICA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e DE BONA, Glauber. Uma conjectura refutada sobre satisfazibilidade probabiliística. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf. Acesso em: 05 ago. 2024. , 2009

    • APA

      Finger, M., & De Bona, G. (2009). Uma conjectura refutada sobre satisfazibilidade probabiliística. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf

    • NLM

      Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabiliística [Internet]. 2009 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf

    • Vancouver

      Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabiliística [Internet]. 2009 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf

  • Relatorio tecnico

    Towards polynomial approximations of full propositional logic (2004)

    Finger, Marcelo

    Unidade: IME

    Assunto: CÁLCULO PROPOSICIONAL

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Towards polynomial approximations of full propositional logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf. Acesso em: 05 ago. 2024. , 2004

    • APA

      Finger, M. (2004). Towards polynomial approximations of full propositional logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf

    • NLM

      Finger M. Towards polynomial approximations of full propositional logic [Internet]. 2004 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf

    • Vancouver

      Finger M. Towards polynomial approximations of full propositional logic [Internet]. 2004 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf

  • Relatorio tecnico

    Integrade: rumo a um sistema de computação em grade para aproveitamento de recursos ociosos em máquinas compartilhadas (2002)

    Goldchleger, Andrei; Kon, Fábio ; Goldman, Alfredo ; Finger, Marcelo ; Song, Siang Wun

    Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS (ARQUITETURA DE COMPUTADORES)

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GOLDCHLEGER, Andrei et al. Integrade: rumo a um sistema de computação em grade para aproveitamento de recursos ociosos em máquinas compartilhadas. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/607d9092-7966-4487-8f46-cb6cf8ea8b47/1282809.pdf. Acesso em: 05 ago. 2024. , 2002

    • APA

      Goldchleger, A., Kon, F., Goldman, A., Finger, M., & Song, S. W. (2002). Integrade: rumo a um sistema de computação em grade para aproveitamento de recursos ociosos em máquinas compartilhadas. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/607d9092-7966-4487-8f46-cb6cf8ea8b47/1282809.pdf

    • NLM

      Goldchleger A, Kon F, Goldman A, Finger M, Song SW. Integrade: rumo a um sistema de computação em grade para aproveitamento de recursos ociosos em máquinas compartilhadas [Internet]. 2002 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/607d9092-7966-4487-8f46-cb6cf8ea8b47/1282809.pdf

    • Vancouver

      Goldchleger A, Kon F, Goldman A, Finger M, Song SW. Integrade: rumo a um sistema de computação em grade para aproveitamento de recursos ociosos em máquinas compartilhadas [Internet]. 2002 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/607d9092-7966-4487-8f46-cb6cf8ea8b47/1282809.pdf

  • Relatorio tecnico

    Banco de dados obsolescentes e uma proposta de implementaçao (2001)

    Finger, Marcelo ; Cezar, Fernando Antonio Mac Cracken

    Unidade: IME

    Assunto: BANCO DE DADOS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e CEZAR, Fernando Antonio Mac Cracken. Banco de dados obsolescentes e uma proposta de implementaçao. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/48422949-c738-4b4e-aa06-a7a53a238268/1217274.pdf. Acesso em: 05 ago. 2024. , 2001

    • APA

      Finger, M., & Cezar, F. A. M. C. (2001). Banco de dados obsolescentes e uma proposta de implementaçao. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/48422949-c738-4b4e-aa06-a7a53a238268/1217274.pdf

    • NLM

      Finger M, Cezar FAMC. Banco de dados obsolescentes e uma proposta de implementaçao [Internet]. 2001 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/48422949-c738-4b4e-aa06-a7a53a238268/1217274.pdf

    • Vancouver

      Finger M, Cezar FAMC. Banco de dados obsolescentes e uma proposta de implementaçao [Internet]. 2001 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/48422949-c738-4b4e-aa06-a7a53a238268/1217274.pdf

  • Relatorio tecnico

    O significado de "aqui" em sistemas transacionais móveis (2001)

    Nassu, Eugênio Akihiro; Finger, Marcelo

    Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS (ARQUITETURA DE COMPUTADORES)

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      NASSU, Eugênio Akihiro e FINGER, Marcelo. O significado de "aqui" em sistemas transacionais móveis. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/c0f754a7-8297-4dcc-a2cc-f5bcf7981cd3/1228973.pdf. Acesso em: 05 ago. 2024. , 2001

    • APA

      Nassu, E. A., & Finger, M. (2001). O significado de "aqui" em sistemas transacionais móveis. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/c0f754a7-8297-4dcc-a2cc-f5bcf7981cd3/1228973.pdf

    • NLM

      Nassu EA, Finger M. O significado de "aqui" em sistemas transacionais móveis [Internet]. 2001 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/c0f754a7-8297-4dcc-a2cc-f5bcf7981cd3/1228973.pdf

    • Vancouver

      Nassu EA, Finger M. O significado de "aqui" em sistemas transacionais móveis [Internet]. 2001 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/c0f754a7-8297-4dcc-a2cc-f5bcf7981cd3/1228973.pdf

  • Relatorio tecnico

    Tableaux for approximate reasoning (2001)

    Finger, Marcelo ; Wassermann, Renata

    Unidade: IME

    Subjects: CIÊNCIA DA COMPUTAÇÃO, LÓGICA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e WASSERMANN, Renata. Tableaux for approximate reasoning. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/23102ae3-f25b-4320-aecd-c935f62eebe2/1195808.pdf. Acesso em: 05 ago. 2024. , 2001

    • APA

      Finger, M., & Wassermann, R. (2001). Tableaux for approximate reasoning. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/23102ae3-f25b-4320-aecd-c935f62eebe2/1195808.pdf

    • NLM

      Finger M, Wassermann R. Tableaux for approximate reasoning [Internet]. 2001 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/23102ae3-f25b-4320-aecd-c935f62eebe2/1195808.pdf

    • Vancouver

      Finger M, Wassermann R. Tableaux for approximate reasoning [Internet]. 2001 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/23102ae3-f25b-4320-aecd-c935f62eebe2/1195808.pdf

  • Relatorio tecnico

    Sharing resource-sensitive knowledge using combinator logics (2000)

    Finger, Marcelo ; Vasconcelos, Wamberto Weber Miranda Peixoto de

    Unidade: IME

    Subjects: CIÊNCIA DA COMPUTAÇÃO, CIÊNCIA DA COMPUTAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e VASCONCELOS, Wamberto Weber Miranda Peixoto de. Sharing resource-sensitive knowledge using combinator logics. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/4bae70b7-b5ce-4cf3-b7d5-b7b976f46a7d/1078592.pdf. Acesso em: 05 ago. 2024. , 2000

    • APA

      Finger, M., & Vasconcelos, W. W. M. P. de. (2000). Sharing resource-sensitive knowledge using combinator logics. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/4bae70b7-b5ce-4cf3-b7d5-b7b976f46a7d/1078592.pdf

    • NLM

      Finger M, Vasconcelos WWMP de. Sharing resource-sensitive knowledge using combinator logics [Internet]. 2000 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/4bae70b7-b5ce-4cf3-b7d5-b7b976f46a7d/1078592.pdf

    • Vancouver

      Finger M, Vasconcelos WWMP de. Sharing resource-sensitive knowledge using combinator logics [Internet]. 2000 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/4bae70b7-b5ce-4cf3-b7d5-b7b976f46a7d/1078592.pdf

  • Relatorio tecnico

    Notes on the logical reconstruction of temporal databases (1997)

    Finger, Marcelo

    Unidade: IME

    Assunto: BANCO DE DADOS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Notes on the logical reconstruction of temporal databases. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/2655f374-da34-4ebf-96c9-364aa6e9e83e/975357.pdf. Acesso em: 05 ago. 2024. , 1997

    • APA

      Finger, M. (1997). Notes on the logical reconstruction of temporal databases. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/2655f374-da34-4ebf-96c9-364aa6e9e83e/975357.pdf

    • NLM

      Finger M. Notes on the logical reconstruction of temporal databases [Internet]. 1997 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/2655f374-da34-4ebf-96c9-364aa6e9e83e/975357.pdf

    • Vancouver

      Finger M. Notes on the logical reconstruction of temporal databases [Internet]. 1997 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/2655f374-da34-4ebf-96c9-364aa6e9e83e/975357.pdf

  • Relatorio tecnico

    Computing list combinator solutions for structural equations (1997)

    Finger, Marcelo

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Computing list combinator solutions for structural equations. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/a0db3aaf-a9e0-43c4-b461-28c8d2e410ef/975398.pdf. Acesso em: 05 ago. 2024. , 1997

    • APA

      Finger, M. (1997). Computing list combinator solutions for structural equations. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/a0db3aaf-a9e0-43c4-b461-28c8d2e410ef/975398.pdf

    • NLM

      Finger M. Computing list combinator solutions for structural equations [Internet]. 1997 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/a0db3aaf-a9e0-43c4-b461-28c8d2e410ef/975398.pdf

    • Vancouver

      Finger M. Computing list combinator solutions for structural equations [Internet]. 1997 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/a0db3aaf-a9e0-43c4-b461-28c8d2e410ef/975398.pdf

  • Relatorio tecnico

    Notes on complex combinators and structurally-free theorem proving (1996)

    Finger, Marcelo

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Notes on complex combinators and structurally-free theorem proving. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf. Acesso em: 05 ago. 2024. , 1996

    • APA

      Finger, M. (1996). Notes on complex combinators and structurally-free theorem proving. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf

    • NLM

      Finger M. Notes on complex combinators and structurally-free theorem proving [Internet]. 1996 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf

    • Vancouver

      Finger M. Notes on complex combinators and structurally-free theorem proving [Internet]. 1996 ;[citado 2024 ago. 05 ] Available from: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf
  • 1

1 - 12 (12 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024