ReP USP - Resultado da busca

Relatorio tecnico
Notes on measuring inconsistency in probabilistic logic (2014)
De Bona, Glauber ; Finger, Marcelo
Unidades: IME, EP
Assuntos: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, LÓGICA MATEMÁTICA APLICADA, PROBABILIDADE
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf
Relatorio tecnico
Uma conjectura refutada sobre satisfazibilidade probabilística (2009)
Finger, Marcelo ; De Bona, Glauber
Unidades: IME, EP
Assunto: PROGRAMAÇÃO MATEMÁTICA
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 probabilística. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf. Acesso em: 03 nov. 2024. , 2009
APA
Finger, M., & De Bona, G. (2009). Uma conjectura refutada sobre satisfazibilidade probabilí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 probabilística [Internet]. 2009 ;[citado 2024 nov. 03 ] 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 probabilística [Internet]. 2009 ;[citado 2024 nov. 03 ] 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
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf
Trabalho de evento
Combinações de lógicas modais não-normais (2003)
Fajardo, Augusto Rogério dos Santos; Finger, Marcelo
Fonte: Alguns Tabalhos do IME-USP para o 10o. SIICUSP. Nome do evento: Simpósio Internacional de Iniciação Científica da USP. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FAJARDO, Augusto Rogério dos Santos e FINGER, Marcelo. Combinações de lógicas modais não-normais. 2003, Anais.. São Paulo: IME-USP, 2003. . Acesso em: 03 nov. 2024.
APA
Fajardo, A. R. dos S., & Finger, M. (2003). Combinações de lógicas modais não-normais. In Alguns Tabalhos do IME-USP para o 10o. SIICUSP. São Paulo: IME-USP.
NLM
Fajardo AR dos S, Finger M. Combinações de lógicas modais não-normais. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 nov. 03 ]
Vancouver
Fajardo AR dos S, Finger M. Combinações de lógicas modais não-normais. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 nov. 03 ]
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)
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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)
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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
Assuntos: CIÊNCIA DA COMPUTAÇÃO, LÓGICA
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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
Assuntos: CIÊNCIA DA COMPUTAÇÃO, CIÊNCIA DA COMPUTAÇÃO
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] 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
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: 03 nov. 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 nov. 03 ] 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 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos