ReP USP - Resultado da busca

Trabalho de evento
Pretrained audio neural networks for speech emotion recognition in Portuguese (2022)
Gauy, Marcelo Matheus ; Finger, Marcelo
Source: Proceedings. Conference titles: First Workshop on Automatic Speech Recognition for Spontaneous and Prepared Speech Speech emotion recognition in Portuguese (SER 2022). Unidade: IME
Subjects: REDES NEURAIS, LÍNGUA PORTUGUESA, RECONHECIMENTO DA FALA, COMPUTAÇÃO APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GAUY, Marcelo Matheus e FINGER, Marcelo. Pretrained audio neural networks for speech emotion recognition in Portuguese. 2022, Anais.. Aachen: CEUR-WS, 2022. Disponível em: http://ceur-ws.org/Vol-3175/paper03.pdf. Acesso em: 06 nov. 2024.
APA
Gauy, M. M., & Finger, M. (2022). Pretrained audio neural networks for speech emotion recognition in Portuguese. In Proceedings. Aachen: CEUR-WS. Recuperado de http://ceur-ws.org/Vol-3175/paper03.pdf
NLM
Gauy MM, Finger M. Pretrained audio neural networks for speech emotion recognition in Portuguese [Internet]. Proceedings. 2022 ;[citado 2024 nov. 06 ] Available from: http://ceur-ws.org/Vol-3175/paper03.pdf
Vancouver
Gauy MM, Finger M. Pretrained audio neural networks for speech emotion recognition in Portuguese [Internet]. Proceedings. 2022 ;[citado 2024 nov. 06 ] Available from: http://ceur-ws.org/Vol-3175/paper03.pdf
Artigo de periodico
Coherence of probabilistic constraints on Nash equilibria (2022)
Preto, Sandro ; Fermé, Eduardo ; Finger, Marcelo
Source: Journal of the Brazilian Computer Society. Unidade: IME
Subjects: TEORIA DOS JOGOS, PROGRAMAÇÃO ESTOCÁSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FERMÉ, Eduardo e FINGER, Marcelo. Coherence of probabilistic constraints on Nash equilibria. Journal of the Brazilian Computer Society, v. 28, n. 1, p. 38-51, 2022Tradução . . Disponível em: https://doi.org/10.5753/jbcs.2022.2434. Acesso em: 06 nov. 2024.
APA
Preto, S., Fermé, E., & Finger, M. (2022). Coherence of probabilistic constraints on Nash equilibria. Journal of the Brazilian Computer Society, 28( 1), 38-51. doi:10.5753/jbcs.2022.2434
NLM
Preto S, Fermé E, Finger M. Coherence of probabilistic constraints on Nash equilibria [Internet]. Journal of the Brazilian Computer Society. 2022 ; 28( 1): 38-51.[citado 2024 nov. 06 ] Available from: https://doi.org/10.5753/jbcs.2022.2434
Vancouver
Preto S, Fermé E, Finger M. Coherence of probabilistic constraints on Nash equilibria [Internet]. Journal of the Brazilian Computer Society. 2022 ; 28( 1): 38-51.[citado 2024 nov. 06 ] Available from: https://doi.org/10.5753/jbcs.2022.2434
Trabalho de evento-anais periodico
Ontocloud: a clinical information ontology based data integration system (2013)
Patrão, Diogo F. C; Brentani, Helena; Finger, Marcelo ; Wassermann, Renata
Source: CEUR Workshop Proceedings. Conference titles: Seminar on Ontology Research in Brazil - ONTOBRAS. Unidades: IME, FM
Subjects: ONTOLOGIAS, BANCO DE DADOS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PATRÃO, Diogo F. C et al. Ontocloud: a clinical information ontology based data integration system. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-1041/ontobras-2013_paper36.pdf. Acesso em: 06 nov. 2024. , 2013
APA
Patrão, D. F. C., Brentani, H., Finger, M., & Wassermann, R. (2013). Ontocloud: a clinical information ontology based data integration system. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-1041/ontobras-2013_paper36.pdf
NLM
Patrão DFC, Brentani H, Finger M, Wassermann R. Ontocloud: a clinical information ontology based data integration system [Internet]. CEUR Workshop Proceedings. 2013 ; 1041 118-129.[citado 2024 nov. 06 ] Available from: http://ceur-ws.org/Vol-1041/ontobras-2013_paper36.pdf
Vancouver
Patrão DFC, Brentani H, Finger M, Wassermann R. Ontocloud: a clinical information ontology based data integration system [Internet]. CEUR Workshop Proceedings. 2013 ; 1041 118-129.[citado 2024 nov. 06 ] Available from: http://ceur-ws.org/Vol-1041/ontobras-2013_paper36.pdf
Monografia/livro-ed/org
Advances in Artificial Intelligence: SBIA 2012 (2012)
Barros, Leliane Nunes de (Editor) ; Finger, Marcelo (Editor) ; Pozo, Aurora T (Editor); Gimenez-Hugo, Gustavo A (Editor); Castilho, Marcos (Editor)
Conference titles: Brazilian Symposium on Artificial Intelligence. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Advances in Artificial Intelligence: SBIA 2012. . Berlin: Springer. Disponível em: https://doi.org/10.1007/978-3-642-34459-6. Acesso em: 06 nov. 2024. , 2012
APA
Advances in Artificial Intelligence: SBIA 2012. (2012). Advances in Artificial Intelligence: SBIA 2012. Berlin: Springer. doi:10.1007/978-3-642-34459-6
NLM
Advances in Artificial Intelligence: SBIA 2012 [Internet]. 2012 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-642-34459-6
Vancouver
Advances in Artificial Intelligence: SBIA 2012 [Internet]. 2012 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-642-34459-6
Trabalho de evento-anais periodico
Satisfiability in EL with sets of probabilistic ABoxes (2011)
Finger, Marcelo ; Wassermann, Renata ; Cozman, Fabio Gagliardi
Source: CEUR Workshop Proceedings. Conference titles: International Workshop on Description Logics - DL. Unidades: IME, EP
Subjects: LÓGICA FORMAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata e COZMAN, Fabio Gagliardi. Satisfiability in EL with sets of probabilistic ABoxes. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-745/paper_14.pdf. Acesso em: 06 nov. 2024. , 2011
APA
Finger, M., Wassermann, R., & Cozman, F. G. (2011). Satisfiability in EL with sets of probabilistic ABoxes. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-745/paper_14.pdf
NLM
Finger M, Wassermann R, Cozman FG. Satisfiability in EL with sets of probabilistic ABoxes [Internet]. CEUR Workshop Proceedings. 2011 ; 745 1-11.[citado 2024 nov. 06 ] Available from: http://ceur-ws.org/Vol-745/paper_14.pdf
Vancouver
Finger M, Wassermann R, Cozman FG. Satisfiability in EL with sets of probabilistic ABoxes [Internet]. CEUR Workshop Proceedings. 2011 ; 745 1-11.[citado 2024 nov. 06 ] Available from: http://ceur-ws.org/Vol-745/paper_14.pdf
Trabalho de evento
A logic based algorithm for solving probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA FORMAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. A logic based algorithm for solving probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_46. Acesso em: 06 nov. 2024.
APA
Finger, M., & De Bona, G. (2010). A logic based algorithm for solving probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_46
NLM
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Vancouver
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Trabalho de evento
Entailment multipliers: an algebraic characterization of validity for classical and modal logics (2010)
Finger, Marcelo ; Hernandes, Maruricio S. C
Source: Proceedings. Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e HERNANDES, Maruricio S. C. Entailment multipliers: an algebraic characterization of validity for classical and modal logics. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-13824-9_1. Acesso em: 06 nov. 2024.
APA
Finger, M., & Hernandes, M. S. C. (2010). Entailment multipliers: an algebraic characterization of validity for classical and modal logics. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-13824-9_1
NLM
Finger M, Hernandes MSC. Entailment multipliers: an algebraic characterization of validity for classical and modal logics [Internet]. Proceedings. 2010 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-642-13824-9_1
Vancouver
Finger M, Hernandes MSC. Entailment multipliers: an algebraic characterization of validity for classical and modal logics [Internet]. Proceedings. 2010 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-642-13824-9_1
Trabalho de evento
A refuted conjecture on probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: IME, EP
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. A refuted conjecture on probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_30. Acesso em: 06 nov. 2024.
APA
Finger, M., & De Bona, G. (2010). A refuted conjecture on probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_30
NLM
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Vancouver
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Trabalho de evento
Revising specifications with CTL properties using bounded model checking (2008)
Finger, Marcelo ; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: REPRESENTAÇÃO DE CONHECIMENTO, REVISÃO DE CRENÇAS, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Revising specifications with CTL properties using bounded model checking. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-88190-2_21. Acesso em: 06 nov. 2024.
APA
Finger, M., & Wassermann, R. (2008). Revising specifications with CTL properties using bounded model checking. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-88190-2_21
NLM
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
Vancouver
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
Trabalho de evento
Comparing two Markov methods for part-of-speech tagging of portuguese (2006)
Kepler, Fábio Natanael; Finger, Marcelo
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, PROCESSOS DE MARKOV, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KEPLER, Fábio Natanael e FINGER, Marcelo. Comparing two Markov methods for part-of-speech tagging of portuguese. 2006, Anais.. Berlin: Springer, 2006. Disponível em: https://doi.org/10.1007/11874850_52. Acesso em: 06 nov. 2024.
APA
Kepler, F. N., & Finger, M. (2006). Comparing two Markov methods for part-of-speech tagging of portuguese. In Proceedings. Berlin: Springer. doi:10.1007/11874850_52
NLM
Kepler FN, Finger M. Comparing two Markov methods for part-of-speech tagging of portuguese [Internet]. Proceedings. 2006 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/11874850_52
Vancouver
Kepler FN, Finger M. Comparing two Markov methods for part-of-speech tagging of portuguese [Internet]. Proceedings. 2006 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/11874850_52
Trabalho de evento
Part-of-speech tagging of portuguese based on variable length Markov chains (2006)
Kepler, Fábio Natanael ; Finger, Marcelo
Source: Proceedings. Conference titles: International Workshop on Computational Processing of the Portuguese Language - PROPOR. Unidade: IME
Subjects: RECONHECIMENTO DA FALA, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KEPLER, Fábio Natanael e FINGER, Marcelo. Part-of-speech tagging of portuguese based on variable length Markov chains. 2006, Anais.. Berlin: Springer, 2006. Disponível em: https://doi.org/10.1007/11751984_32. Acesso em: 06 nov. 2024.
APA
Kepler, F. N., & Finger, M. (2006). Part-of-speech tagging of portuguese based on variable length Markov chains. In Proceedings. Berlin: Springer. doi:10.1007/11751984_32
NLM
Kepler FN, Finger M. Part-of-speech tagging of portuguese based on variable length Markov chains [Internet]. Proceedings. 2006 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/11751984_32
Vancouver
Kepler FN, Finger M. Part-of-speech tagging of portuguese based on variable length Markov chains [Internet]. Proceedings. 2006 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/11751984_32
Trabalho de evento
Polynomial approximations of full propositional logic via limited bivalence (2004)
Finger, Marcelo
Source: Proceedings. Conference titles: European Workshop on Logics in Artificial Intelligence - JELIA. Unidade: IME
Subjects: APROXIMAÇÃO POR POLINÔMIOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Polynomial approximations of full propositional logic via limited bivalence. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-30227-8_44. Acesso em: 06 nov. 2024.
APA
Finger, M. (2004). Polynomial approximations of full propositional logic via limited bivalence. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-30227-8_44
NLM
Finger M. Polynomial approximations of full propositional logic via limited bivalence [Internet]. Proceedings. 2004 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-540-30227-8_44
Vancouver
Finger M. Polynomial approximations of full propositional logic via limited bivalence [Internet]. Proceedings. 2004 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-540-30227-8_44
Trabalho de evento
Towards polynomial approximations of full propositional logic (2004)
Finger, Marcelo
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: APROXIMAÇÃO POR POLINÔMIOS, LÓGICA
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. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_2. Acesso em: 06 nov. 2024.
APA
Finger, M. (2004). Towards polynomial approximations of full propositional logic. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_2
NLM
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
Vancouver
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
Trabalho de evento
Logics for approximate reasoning: approximating classical logic “from above” (2002)
Finger, Marcelo ; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Logics for approximate reasoning: approximating classical logic “from above”. 2002, Anais.. Berlin: Springer, 2002. Disponível em: https://doi.org/10.1007/3-540-36127-8_3. Acesso em: 06 nov. 2024.
APA
Finger, M., & Wassermann, R. (2002). Logics for approximate reasoning: approximating classical logic “from above”. In Proceedings. Berlin: Springer. doi:10.1007/3-540-36127-8_3
NLM
Finger M, Wassermann R. Logics for approximate reasoning: approximating classical logic “from above” [Internet]. Proceedings. 2002 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/3-540-36127-8_3
Vancouver
Finger M, Wassermann R. Logics for approximate reasoning: approximating classical logic “from above” [Internet]. Proceedings. 2002 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/3-540-36127-8_3
Trabalho de evento
Sharing resource-sensitive knowledge using combinator logics (2000)
Finger, Marcelo ; Vasconcelos, Wamberto
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e VASCONCELOS, Wamberto. Sharing resource-sensitive knowledge using combinator logics. 2000, Anais.. Berlin: Springer, 2000. Disponível em: https://doi.org/10.1007/3-540-44399-1_21. Acesso em: 06 nov. 2024.
APA
Finger, M., & Vasconcelos, W. (2000). Sharing resource-sensitive knowledge using combinator logics. In Proceedings. Berlin: Springer. doi:10.1007/3-540-44399-1_21
NLM
Finger M, Vasconcelos W. Sharing resource-sensitive knowledge using combinator logics [Internet]. Proceedings. 2000 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/3-540-44399-1_21
Vancouver
Finger M, Vasconcelos W. Sharing resource-sensitive knowledge using combinator logics [Internet]. Proceedings. 2000 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/3-540-44399-1_21
Trabalho de evento
Computational solutions for structural constraints: learning structural permissions in categorial grammar (1998)
Finger, Marcelo
Source: Proceedings. Conference titles: International Conference on Logical Aspects of Computational Linguistics - LACL. Unidade: IME
Assunto: LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Computational solutions for structural constraints: learning structural permissions in categorial grammar. 1998, Anais.. Berlin: Springer, 1998. Disponível em: https://doi.org/10.1007/3-540-45738-0_2. Acesso em: 06 nov. 2024.
APA
Finger, M. (1998). Computational solutions for structural constraints: learning structural permissions in categorial grammar. In Proceedings. Berlin: Springer. doi:10.1007/3-540-45738-0_2
NLM
Finger M. Computational solutions for structural constraints: learning structural permissions in categorial grammar [Internet]. Proceedings. 1998 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/3-540-45738-0_2
Vancouver
Finger M. Computational solutions for structural constraints: learning structural permissions in categorial grammar [Internet]. Proceedings. 1998 ;[citado 2024 nov. 06 ] Available from: https://doi.org/10.1007/3-540-45738-0_2

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Conference titles

Funding Agencies

Non normalized affiliation