Especialistas Seniores em Covid-19 com atuação no Brasil

Marcelo Finger

Possui graduação em Engenharia Eletronica pela Universidade de São Paulo (1988), mestrado em Foundations of Advanced Information Technology - Imperial College of Science, Technology and Medicine (1990) e doutorado em PhD in Computing - Imperial College of Science and Technology, University of London (1994). Foi professor visitante em departamentos de Ciência da Computação na Universitée Paul Sabatier - Toulouse (2011) e na Cornell University (2012-2013). Atualmente é professor titular da Universidade de São Paulo. É editor das revistas: South American Journal of Logic, São Paulo Journal of Mathematical Sciences e editor convidado da Theoretical Computer Science e da Anals of Mathematics in Artificial Intelligence. Tem experiência na área de Ciência da Computação, com ênfase em Lógica, Raciocínio Lógico-Probabilístico, Linguística Computacional, e tem atuado como pesquisador principal nos seguintes temas: logica, inteligência artificial, Humanidades Digitais e linguistica computacional. (Texto informado pelo autor)

https://lattes.cnpq.br/0620986273710878 (03/09/2021)

Rótulo/Grupo:

Bolsa CNPq: Nível 1C

Período de análise:

Endereço: Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação. rua do matao, 1010 Butantan 05508-090 - Sao Paulo, SP - Brasil Telefone: (011) 30916135 URL da Homepage: https://www.ime.usp.br/~mfinger

Grande área: Ciências Exatas e da Terra

Área: Ciência da Computação

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (21)
1. Finger, Marcelo. Inteligência Artificial e os rumos do processamento do português brasileiro. ESTUDOS AVANÇADOS (ONLINE). v. 35, p. 51-72, issn: 1806-9592, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Finger, Marcelo; Preto, Sandro. Probably Partially True: Satisfiability for -ukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. JOURNAL OF AUTOMATED REASONING. v. 1, p. 1-20, issn: 0168-7433, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. Preto, Sandro ; Finger, Marcelo. An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. v. 351, p. 167-186, issn: 1571-0661, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. Finger, Marcelo. Quantitative Logic Reasoning. arXiv e-prints. v. 1905.05665, p. 1-40, issn: 1905-0566, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. OLEYNIK, M. ; PATRAO, D. F. C. ; Finger, M.. Automated Classification of Semi-structured Pathology Reports into {ICD-O} using {SVM} in Portuguese. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS. v. 1, p. 1, issn: 0926-9630, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. Finger, Marcelo; GODO, LLUIS ; PRADE, HENRI ; QI, GUILIN. Advances in Weighted Logics for Artificial Intelligence. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. v. 88, p. 385-386, issn: 0888-613X, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. OLEYNIK, M. ; PATRÃO, Diogo F. C. ; FINGER, M.. Automated Classification of Semi-Structured Pathology Reports into ICD-O Using SVM in Portuguese. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS. v. 235, p. 256-260, issn: 0926-9630, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8. Finger, Marcelo; De Bona, Glauber. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence. v. 1, p. 1-30, issn: 1012-2443, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9. De Bona, Glauber ; Finger, Marcelo. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence (General Ed.). v. 227, p. 140-164, issn: 0004-3702, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10. BONA, GLAUBER DE ; COZMAN, FABIO G. ; Finger, Marcelo. Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society (Impresso). v. 21, p. 11, issn: 0104-6500, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11. Finger, Marcelo; KESNER, DELIA. Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). Theoretical Computer Science. v. 606, p. 1, issn: 0304-3975, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12. OLEYNIK, M. ; PATRÃO, Diogo F. C. ; FINGER, M.. Automated Classification of Pathology Reports. STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS. v. 216, p. 1040, issn: 0926-9630, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13. De Bona, Glauber ; COZMAN, FABIO GAGLIARDI ; Finger, Marcelo. Towards classifying propositional probabilistic logics. Journal of Applied Logic. v. 12, p. 349-368, issn: 1570-8683, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14. ARRUDA, A. ; Finger, M. Completeness for cut-based abduction. Logic Journal of the IGPL (Print). v. 21, p. 1, issn: 1367-0751, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15. Finger, Marcelo; REIS, POLIANA. On the Predictability of Classical Propositional Logic. Information. v. 4, p. 60-74, issn: 2078-2489, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16. D'Agostino, Marcello ; Finger, Marcelo ; Gabbay, Dov. Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science. v. 480, p. 43-68, issn: 0304-3975, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17. Finger, Marcelo. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL (Print). v. 20, p. 370-387, issn: 1367-0751, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18. Araújo, Anderson de ; Finger, Marcelo. Classical and quantum satisfiability. Electronic Proceedings in Theoretical Computer Science. v. 81, p. 79-84, issn: 2075-2180, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19. Finger, M. Analytic Methods for the Logic of Proofs. Journal of Logic and Computation (Print). v. 20, p. 167-188, issn: 0955-792X, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20. Finger, Marcelo; BEZERRA, G. C. ; Danilo Mateus Rubio Conde. Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and Computation. Practice & Experience. v. 22, p. 295-313, issn: 1532-0626, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21. da Silva e Silva, Francisco José ; Kon, Fabio ; Goldman, Alfredo ; Finger, Marcelo ; de Camargo, Raphael Y. ; Filho, Fernando Castor ; Costa, Fábio M.. Application execution management on the InteGrade opportunistic grid middleware. Journal of Parallel and Distributed Computing (Print). v. 70, p. 573-583, issn: 0743-7315, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Livros publicados/organizados ou edições (1)
1. Finger, Marcelo; DIXON, C. (Org.). Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 1 ed. Springer, 2017. v. 1, .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Capítulos de livros publicados (9)
1. Finger, Marcelo. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do ?oba-oba?. Em: Fabio G. Cozman GuilhermeAry Plonski Hugo Neri. (Org.). Inteligência Artificial: Avanços e Tendências. 1ed.São Paulo. : Universidade de São Paulo/INSTITUTO DE ESTUDOS AVANÇADOS. 2021.p. 95-109.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Finger, Marcelo; ALUISIO, S. M. ; SPAZZAPAN, E. A. ; BERTI, L. C. ; CAMARGO NETO, A. C. ; CANDIDO JR, A. ; CASANOVA, E. ; FERNANDES-SVARTMAN, F. ; FERREIRA, R. ; FERNANDES JR, R. ; GOLDMAN, A. ; GRIS, L. R. ; LEYTON, P. ; LEVIN, A. S. ; MARTINS, M. ; QUEIROZ, M. G. ; QUIRINO, J. H. ; MEDEIROS, B. R. ; SABINO, E. C. ; SILVA, D.. Detecting Respiratory Insufficiency by Voice Analysis: The SPIRA Project. Em: Emma Otta; Patrícia Ferreira Monticelli. (Org.). Acoustic communication: an interdisciplinary approach. 1ed.São Paulo. : Universidade de São Paulo. 2021.p. 164.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. Finger, Marcelo. Logic in Times of Big Data. Em: J. Acacio de Barros and Décio Kraus. (Org.). A True Polymath -- A Tribute to Francisco Antonio Doria. 1ed.Rickmansworth. : College Publications. 2020.p. 184-198.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. de Souza, Jackson José ; Finger, Marcelo. Robust Ranking of Brazilian Supreme Court Decisions. Lecture Notes in Computer Science. 1ed. Em: . : Springer International Publishing. 2020.p. 581-594.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. Finger, Marcelo. Extending ??++ with Linear Constraints on the Probability of Axioms. In: Lutz C., Sattler U., Tinelli C., Turhan AY., Wolter F. (Org.). Description Logic, Theory Combination, and All That. Lecture Notes in Computer Science, vol 11560.. 1ed. Em: . : Springer. 2019.v. 11560, p. 286-300.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. Finger, M.; De Bona, Glauber ; THIMM, M. ; POTYKA, N.. Inconsistency Measurement in Probabilistic Logic. Em: John Grant; Maria Vanina Martinez. (Org.). Measuring Inconsistency in Information. Studies in Logic Volume 73. 1ed. : College Publicatioins. 2018.p. 235-269.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. Finger, Marcelo; Preto, Sandro. Probably Half True: Probabilistic Satisfiability over ¿ukasiewicz Infinitely-Valued Logic. Lecture Notes in Computer Science. 1ed. Em: . : Springer International Publishing. 2018.p. 194-210.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8. Finger, Marcelo. Quantitative Logic Reasoning. Trends in Logic. 1ed. Em: . : Springer International Publishing. 2018.p. 241-271.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9. Araujo, A ; Finger, Marcelo. On the logical relativity of quantum computability. Em: Jean-Yves Béziau; Marcelo Esteban Coniglio. (Org.). Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday.. London. : College Publications. 2011.p. 65-72.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Textos em jornais de notícias/revistas (3)
1. Finger, Marcelo. Ciência da Computação e Sociedade:Imensidão, Precisão e Humanização. Revista de Sistemas de Informação da FSMA, 19 dez. 2911, .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Finger, Marcelo. Não Vai Set Tão Fácil. Exame CEO (Inteligência Artificial), São Paulo, p. 16-19, 01 maio 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. FERRAZ JUNIOR, T. S. ; MARANHAO, J. ; Finger, Marcelo. O desafio do WhatsApp ao Leviatã. Folha de São Paulo, Folha de São Paulo -- Opinião, 16 ago. 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Trabalhos completos publicados em anais de congressos (33)
1. CAMARGO, AUGUSTO ; CARVALHO, WESLEY ; PERESSIM, FELIPE ; BARZILAY, ALAN ; Finger, Marcelo. Text-to-hashtag Generation using Seq2Seq Learning. Em: Brazilian eScience Workshop, p. 121, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. CASANOVA, EDRESSON ; CANDIDO JR., ARNALDO ; FERNANDES JR., RICARDO CORSO ; Finger, Marcelo ; GRIS, LUCAS RAFAEL STEFANEL ; PONTI, MOACIR ANTONELLI ; PINTO DA SILVA, DANIEL PEIXOTO. Transfer Learning and Data Augmentation Techniques to the COVID-19 Identification Tasks in ComParE 2021. Em: Interspeech 2021, p. 446, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. CASANOVA, EDRESSON ; GRIS, LUCAS ; CAMARGO, AUGUSTO ; DA SILVA, DANIEL ; GAZZOLA, MURILO ; SABINO, ESTER ; LEVIN, ANNA ; CANDIDO JR, ARNALDO ; ALUISIO, SANDRA ; Finger, Marcelo. Deep Learning against COVID-19: Respiratory Insufficiency Detection in Brazilian Portuguese Speech. Em: Findings of the Association for Computational Linguistics: ACLIJCNLP 2021, p. 625, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. Preto, Sandro ; Finger, Marcelo. An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. Em: 15th International Workshop on Logical and Semantic Frameworks, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. Finger, Marcelo. Detecting Respiratory Insufficiency by Voice Analysis. Em: Acoustic Communication: An Interdisciplinary Approach, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. SOUZA, J. J. ; Finger, Marcelo. Robust Ranking of Brazilian Supreme Court Decisions. Em: BRACIS 2020 -- Brazilian Conference on Intelligent Systems, p. 581-594, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. SALVATORE, F. ; PRETO, S. ; Finger, Marcelo ; HIRATA JR, R.. Using neural models to perform inference. Em: Fourteenth International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI-19, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8. SALVATORE, FELIPE ; Finger, Marcelo ; HIRATA JR, ROBERTO. A logical-based corpus for cross-lingual evaluation. Em: Proceedings of the 2nd Workshop on Deep Learning Approaches for LowResource NLP (DeepLo 2019), p. 22, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9. Finger, Marcelo; PRETO, S.. Probably Half True: Probabilistic Satisfiability over ?ukasiewicz Infinitely-Valued Logic. Em: International Joint Conference on Automated Reasoning IJCAR 2018, v. 10900, p. 194-210, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10. Finger, Marcelo; De Bona, Glauber. Algorithms for Deciding Counting Quantifiers over Unary Predicates. Em: Thirty-First AAAI Conference on Artificial Intelligence, p. 3878-3884, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11. Finger, Marcelo; LUZ, F. F.. Semantic Parsing Natural Language into SPARQL: an LSTM Enconder-Decoder Neural Net Approach. Em: ENIAC 207 - Encontro Nacional de Inteligência Artificial e Computacional, p. 1-12, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12. De Bona, Glauber ; Finger, Marcelo ; RIBEIRO, M. M. ; SANTOS, Y. D. ; WASSERMANN, R.. Consolidating Probabilistic Knowledge Bases via Belief Contraction. Em: KR2016 - 15th International Conference on Principles of Knowledge Representation and Reasoning, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13. SERRAS, F. ; Finger, Marcelo. Previsão da Temática de Notícias Futuras: Implementação do Algoritmo PROPHET aos dados de um Jornal de Grande Circulação. Em: ENIAC2016 - Encontro Nacional de Inteligência Artificial e Computacional, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14. MORAIS, E. M. ; De Bona, Glauber ; Finger, Marcelo. Non-Markovian Logic-Probabilistic Modeling and Inference. Em: IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence WL4AI-2015, p. 48-55, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15. OLEYNIK, M. ; Finger, Marcelo ; PATRAO, D. F. C.. Automated Classification of Pathology Reports. Em: MEDINFO 2015, v. 216, p. 1040-1040, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16. ARRUDA, A. ; Finger, Marcelo. Abdução para a Lógica Probabilística (PSAT). Em: Encontro Brasileiro de Lógica, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17. Finger, Marcelo; GOMES, C. ; LE BRAS, R. ; SELMAN, B.. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. Em: SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing, p. 1-16, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18. PATRAO, D. F. C. ; BRENTANI, H. ; Finger, Marcelo ; WASSERMANN, R.. Ontocloud?a Clinical Information Ontology Based Data Integration System. Em: Ontobras, p. 118-129, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19. MORAIS, E. M. ; Finger, Marcelo. Probabilistic Answer Set Programming. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20. De Bona, Glauber ; Finger, Marcelo ; COZMAN, F. G.. Generalized Probabilistic Satisfiability. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21. Colen, William ; Finger, Marcelo. Improving CoGrOO: the Brazilian Portuguese Grammar Checker. Em: STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22. OLEYNIK, M. ; Finger, M ; PATRAO, D. F. C.. Information Retrieval from Clinical Reports. Em: Workshop on Knowledge Extraction from Text at NIPS 2013, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23. Finger, M; De Bona, Glauber. Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. Em: IJCAI 2011, p. 528-533, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24. Finger, M; Cozman, F ; WASSERMANN, R.. Satisfiability in EL with Sets of Probabilistic ABoxes. Em: 24th International Workshop on Description Logics (DL 2011), p. 1, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25. Finger, M; Araujo, A. Classical and quantum satisfiability. Em: LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks, p. 1, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26. Finger, M; PATRAO, D. F. C. ; Filocomo, Fabio. Resolução da Heterogeneidade na Identificação de Pacientes. Em: STIL 2011 : 8th Brazilian Symposium in Information and Human Language Technology, p. 1, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27. Finger, Marcelo; Araujo, A. A formal system for quantum communication environments. Em: ENIA 2011, p. 1-11, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28. Finger, Marcelo; Firmo, Fabio. Previsão de Utilização de Recursos por Aplicações no InterGrade. Em: VIII Workshop em Clouds, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29. Finger, Marcelo; Mauricio S. C. Hernandes. Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. Em: WoLLIC 2010 -- Workshop Logic, v. 6188, p. 1-18, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30. De Bona, Glauber ; Finger, Marcelo. A Refuted Conjecture on Probabilistic Satisfiability. Em: SBIA2010 -- Brazilian Symposium on Artificial Intelligence, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31. Finger, Marcelo; KEPLER, F. N.. Variable-Length Markov Models and Ambiguous Words in Portuguese. Em: NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas, p. 15-23, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32. J. M. Nicoladelli ; JOÃO LUIZ LUGUESI ; Silva, M.E.C. ; BERNARD, J. ; Finger, Marcelo. ASA-CALCPRO: MÉTODOS DE INFERÊNCIA ATRAVÉS DE AMBIENTES DE SUPORTE AO ALUNO. Em: V CONGRESSO INTERNACIONAL DE ENSINO DA MATEMÁTICA, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
33. Finger, Marcelo; De Bona, Glauber. A Logic Based Algorithm for Solving Probabilistic Satisfiability. Em: IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence, v. 6433, p. 453-462, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Resumos expandidos publicados em anais de congressos (3)
1. PRETO, S. ; Finger, Marcelo. Representing Rational McNaughton Functions via MODSAT Relativisation. Em: EBL 2019 -- Brazilian Logic Conference, 2019, João Pessoa. EBL 2019 -- Brazilian Logic Conference, p. 1-5, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Finger, Marcelo. Sparse Models: a tractable fragment for SAT, MAXSAT and PSAT. Em: EBL 2019 -- Brazilian Logic Conference, 2019, João Pessoa. EBL 2019 -- Brazilian Logic Conference, p. 1-5, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. De Bona, Glauber ; COZMAN, F. G. ; Finger, M. Towards classifying propositional probabilistic logics. Em: progic 2013: The Sixth Workshop on Combining Probability and Logic, 2013, Munich. progic 2013: The Sixth Workshop on Combining Probability and Logic, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Resumos publicados em anais de congressos (5)
1. Finger, Marcelo. A System for Precocious Detection of Respiratory Insufficiency via Audio. Em: First Virtual Workshop on Automatic Diagnostics of COVID-19 Sounds, 2020, Cambridge. UK. First Virtual Workshop on Automatic Diagnostics of COVID-19 Sounds, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Arruda, A. M. ; Finger, Marcelo. Completude para a Abdução Baseada em Corte. Em: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, p. 61-62, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. Mauricio Hernandes ; Finger, Marcelo. A characterization for quantum logic semantic consequence as algebraic multipliers. Em: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, p. 46-47, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. Juliana Bueno ; Finger, Marcelo. Probabilistic modal logic. Em: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, p. 8-9, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. Finger, Marcelo; Colen, William ; Menezes, Carlos. Using Apache UIMA annotators for Brazilian Portuguese. Em: PROPOR 2010: International Conference on Computational Processing of the Portuguese Language, 2010, Porto Alegre. PROPOR 2010 Demos: International Conference on Computational Processing of the Portuguese Language. Porto Alegre: PUCRS, p. 1-2, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Artigos aceitos para publicação (0)
Apresentações de trabalho (2)
1. Finger, Marcelo. Artificial intelligence symposium: where do we stand in the substitution of physicians by machines. 2019. Apresentação de Trabalho/Conferência ou palestra
2. Finger, Marcelo; De Bona, Glauber. A Defeated Conjecture on Probabilistic Satisfiability. 2010. Apresentação de Trabalho/Conferência ou palestra
Demais tipos de produção bibliográfica (4)
1. Finger, Marcelo. Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. Ithaca: ArXiv. 2019. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. LUZ, F. F. ; Finger, Marcelo. Semantic Parsing Natural Language into {SPARQL:} Improving Target Language Representation with Neural Attention. Computing Research Repository -- ArXiv. 2018. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. LUZ, F. F. ; Finger, Marcelo. Semantic Parsing: Syntactic assurance to target sentence using {LSTM} Encoder CFG-Decoder. Computing Research Repository -- ArXiv. 2018. Relatório Técnico
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. Finger, Marcelo; FERNANDEZ, M.. Preface of Proceedings of the 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. LSFA), 2014. (Prefácio, Pósfacio/Prefácio
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Produção técnica

Programas de computador com registro de patente (0)
Programas de computador sem registro de patente (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (2)
1. Finger, Marcelo. O que é que se leva quando se compra 'Inteligência Artificial'. 2018. Curso de curta duração ministrado/Outra
  [ busca Google | busca Bing ]
2. FERNANDEZ, M. ; Finger, Marcelo. Proceedings of 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. Editoração/Anais
  [ busca Google | busca Bing ]

Produção artística

Total de produção artística (1)
1. Finger, Marcelo. BandPro 2010 - Apresentação sobre Graduação em Ciência da Computação. 2010.
  [ busca Google | busca Bing ]

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (1)
1. Sandro Márcio da Silva Preto. Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2021.
  Orientador: Marcelo Finger.
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (2)
1. Anderson de Araújo. Satisfatibilidade Quantica. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2012.
  Supervisor: Marcelo Finger.
2. Juliana Bueno. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2010.
  Supervisor: Marcelo Finger.
Tese de doutorado (7)

Sandro Márcio da Silva Preto. Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Marcelo Finger.
Felipe Salvatore. Analysing Natural Language Inference from a Rigorous Point of View. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Marcelo Finger.
Fabiano Ferreira Luz. Deep Neural Semantic Parsing: Translating from Natural Language into SPARQL. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Marcelo Finger.
Eduardo Menezes de Morais. Independência parcial no problema da satisfazibilidade probabilística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Marcelo Finger.
Glauber De Bona. Medindo inconsistência em bases de conhecimento probabilístico. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Marcelo Finger.
Alexandre Matos Arruda. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
Fabio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Marcelo Finger.
Dissertação de mestrado (13)

Bruno Leme. Classificação automática de documentos de características econômicas de defesa jurídica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Marcelo Finger.
Felipe Ribas Serras. Algoritmos baseados em atenção neural para a automação da classificação multirrótulo de acórdãos jurídicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Marcelo Finger.
Thiago Ildeu Albuquerque Lira. Modelos Neurais para Regressão em Séries Temporais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Marcelo Finger.
Rayssa Küllian Martins. A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do Aprendizado de Máquina para português. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marcelo Finger.
Bruno Vercelino da Hora. Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Finger.
William Daniel Colen de Moura Silva. Aprimorando o Corretor Gramatical CoGrOO. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Finger.
Michel Oleynik. Extração de Informações de Narrativas Clínicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Finger.
Poliana Magalhães Reis. Análise da distribuição do número de operações de resolvedores SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
Eduardo Menezes de Morais. Avaliação dos componentes afetivos deflagrados em cursos de formação para alunos da educação básica através de uma abordagem psicométrica. Dissertação (Mestrado em Química Biológica) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientadores: Andrea Thompson Da Poian, Marcelo Finger.
Rodrigo Zaccara. Anotação e classificação automática de entidades nomeadas em notícias esportivas em Português Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
Wesley Sidel. Reconhecimento de Entidades Mencionadas em Português utilizando Aprendizado de Máquina. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
Glauber de Bona. Satisfatibilidade Probabilística. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Marcelo Finger.
Mauricio Simões Camilo Hernandes. Multiplicadores Algébricos de Validade Lógica. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Marcelo Finger.
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (3)

Mayara Cassia de Melo. Análise Computacional das Decisões de Tribunais Superiores Brasileiros. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Marcelo Finger.
Alessandro Calò. Extração de informações jurídicas públicas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
Steven Tsukamoto. Algoritmo Multin ??vel de Deteção de Comunidades em Redes Complexas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
Iniciação científica (1)

Mikail de Freitas. Resolvedores SAT. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (3)

2020-Atual. C4AI -- Centro de Inteligencia Artificial/Center for Artificial Intelligence
Descrição: Centro de Engenharia IBM-Fapesp proc 2019/07665-4 (Pesquisador Principal e coordenador da área de processamento de linguagem natural). Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (20) . Integrantes: Marcelo Finger - Integrante / Fabio Gagliardi Cozman - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Marcelo Finger.
2020-Atual. Projeto SPIRA: Sistema de deteccao Precoce de Insuficiencia Respiratoria por meio de analise de Audio
Descrição: O objetivo deste estudo é desenvolver uma ferramenta que possa detectar precocemente as pessoas com insuficiência respiratória devido a COVID-19 usando dados de fala. Para tanto iremos coletar registros em áudio de pessoas infectadas bem como de pessoas normais, a fim de explorar diferenças associadas à saturação de O$_2$ e à frequência respiratória que permitam distinguir os dois grupos. A ferramenta de classificação automática proposta será baseada em técnicas de inteligência artificial, processamento de sinais e aprendizado de máquina, e servirá inicialmente para facilitar a triagem de pacientes que precisam procurar auxílio médico-hospitalar. Numa segunda etapa, a ferramenta poderá ajudar sistemas de telemedicina a monitorar pacientes de forma contínua, permitindo o acompanhamento da evolução de pacientes internados.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (3) / Doutorado: (4) . Integrantes: Marcelo Finger - Coordenador / Alfredo Goldman - Integrante / Sandra Maria Aluísio - Integrante / Marcelo Gomes de Queiroz - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Marcelo Finger.
2011-2011. Professor visitante na Universidade de Toulouse (IRIT), Franca
Descrição: DEZEMBRO DE 2011. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Finger - Coordenador.
Membro: Marcelo Finger.

Prêmios e títulos

Total de prêmios e títulos (6)

Stefan Steidl Computational Paralinguistics Award, COVID-19 Cough Sub-Challenge Prize, INTERSPEECH.. 2021.
Membro: Marcelo Finger.
Best Paper Award, 2nd Place, Eniac 2017, Brazilian Computer Society.. 2017.
Membro: Marcelo Finger.
Menção Honrosa no Prêmio melhor artigo ENIAC 2016, Sociedade Brasileira de Computação.. 2016.
Membro: Marcelo Finger.
Melhor Dissertação de Mestrado em Inteligência Artificial -- aluno: Glauber De Bona, CTDIA / CEIA/ SBC.. 2012.
Membro: Marcelo Finger.
Prêmio Voo Livre, categoria Desenvolvimento, Encontro Nacional do BrOffice.org ver:https://ccsl.ime.usp.br/pt-br/news/10/04/27/membro-do-ccsl-rece.. 2010.
Membro: Marcelo Finger.
Prêmio da Delegação Européia pela participação no Sétimo Programa Quadro, Delegação da União Européia no Brasil.. 2010.
Membro: Marcelo Finger.

Participação em eventos

Total de participação em eventos (15)

AAAI. Counting Quantifiers. 2017. (Congresso).
FroCoS 2017.Frocos 2017: 11th Symposiun on Frontiers of Combining Systems. 2017. (Simpósio).
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE. Quantitative Logic Reasoning. 2016. (Congresso).
XLV Escola de Verão MAT-UnB.Raciocínio Probabilístico sobre Inconsistência. 2016. (Seminário).
XLIII Escola de Verão do MAT-UnB.Lógica Probabilística: Fundamentos e Aplicações à Inteligência Artificial.. 2014. (Encontro).
I Seminário Internaciona, em Humanidades Digitais.Interface entre Ciêntistas da Computação e Linguistas. 2013. (Seminário).
SAT 2013. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. 2013. (Congresso).
X Workshop de Verão em Matemática.Quantitative Logic Reasoning. 2012. (Oficina).
EBL - Brazilian Logic Symposium.Completude para a Abdução Baseada em Corte. 2011. (Simpósio).
IJCAI - International Joint Copnference of Artificial Intelligence. Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.. 2011. (Congresso).
LSFA 2011.Classical and Quantum Satisfiability. 2011. (Oficina).
M4M - Methods for Modalities. A modal view of probabilistic logic. 2011. (Congresso).
IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence. IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence. 2010. (Congresso).
SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence.SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence. 2010. (Simpósio).
Wollic 2010. Wollic 2010 -- 17th Workshop on Logic, Language, Information and Computation. 2010. (Congresso).

Organização de eventos

Total de organização de eventos (7)

Finger, Marcelo. Frocos 2017: 11th Symposiun on Frontiers of Combining Systems. 2017. (Congresso).. . 0.
GODO, L. ; Finger, Marcelo ; PRADE, H. ; QI, G.. IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence WL4AI-2015. 2015. Congresso
Finger, Marcelo; SOUSA, M. C. P.. DHandES2014: 1st Workshop on Digital Humanities and e-Science. 2014. Congresso
FERNANDEZ, M. ; Finger, Marcelo. LSFA 2013 - 7th Workshop on Logical and Semantic Frameworks, with Applications -- Chair of Programme Committee. 2013. Congresso
Finger, Marcelo; BARROS, L. N.. SBIA2012 - 21st Brazilian Symposium on Artificial Intelligence - Chair of the Programme Committee. 2012. Congresso
FINGER, M.. CLE 30 anos/ XV EBL (Encontro Brasileiro de Lógica)/ XIV SLALM (Simpósio Latino Americano de Lógica Matemática). 2008. (Congresso).. . 0.
FINGER, M.. Workshop "Semantics and Meaning" SeMe-2005. 2005. (Congresso).. . 0.

Lista de colaborações

Colaborações endôgenas (1)

Marcelo Finger ⇔ Fabio Kon (1.0)
da Silva e Silva, Francisco José ; Kon, Fabio ; Goldman, Alfredo ; Finger, Marcelo ; de Camargo, Raphael Y. ; Filho, Fernando Castor ; Costa, Fábio M.. Application execution management on the InteGrade opportunistic grid middleware. Journal of Parallel and Distributed Computing (Print). v. 70, p. 573-583, issn: 0743-7315, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

(*) Relatório criado com produções desde 2010 até 2021
Data de processamento: 06/11/2021 15:22:05

Relatório gerado por scriptLattes V8.11. Os resultados estão sujeitos a falhas devido a inconsistências no preenchimento dos CVs Lattes. E-mail de contato: henriquimicosp@gmail.com