Instituto de Matemática e Estatística da USP

Softwares sem registro de patente


Número total de itens: 171

2023

1.   Finger, Marcelo. Coluna na Rádio Eldorado: Inteligência Artificial nas Ondas do Rádio. 2023.
2.   PAULA, G. A.. ssym: package for Fitting Semiparametric Symmetric and Log-Symmetric Regression Models. 2023.
3.   VANEGAS, L. H. ; RONDON, L. M. ; PAULA, G. A.. glmtoolbox: package with Set of Tools to Data Analysis using Generalized Linear Models. 2023.

2022

1.   BRANDÃO, LEÔNIDAS DE OLIVEIRA; BRANDÃO, ANAROSA ALVES FRANCO ; NASCIMENTO, M. D.. iVProg4all: introdução à programação inclusiva. 2022.
2.   BRANDÃO, LEÔNIDAS; DUBOC, A. P. M.. Alfabetiza: jogo para alfabetização inicial. 2022.
3.   CANTELLI, E.; MARRAFON, V. H. ; BENEDUZI, G. . Chimera. 2022.
4.   CARDOZO, C. A. ; PAULA, G. A. ; VANEGAS, L. H.. sglg: package for Fitting Semiparametric Generalized Log-Gamma Regression Models. 2022.
5.   Maluf, Y. S. ; Queiroz, F. F. ; Ferrari, S. L. P. robustbetareg: an R package for fit robust beta regression. 2022.
6.   PAULA, G.A.; EL-DASH, N. ; IGLECIAS, W.. Pesquisas eleitorais são importantes, mas precisam ser analisadas com cautela. 2022. (Programa de rádio ou. 2022.

2021

1.   QUEIROZ, F. F.; Ferrari, S. L. P. PLreg: an R package for modelling bounded continuous data. 2021.

2020

1.   A. Goldman. Hub USP de Inovação. 2020.
2.   Bernardes, J ; LEONARDI, F. ; Severino, M.T.F. ; Sousa, A. R.. 'Desatando nós': método identifica e prevê mudanças na curva de casos de Covid-19. 2020. (Programa de rádio ou. 2020.
3.   CANTELLI, E.; BENEDUZI, G. . Kraken. 2020.
4.   Carvalho, Rone ; LEONARDI, F.. A matemática e a pandemia. 2020. (Programa de rádio ou. 2020.
5.   Gamerman, D. ; LEONARDI, F. ; Bastos, L. ; Cunha, A.. Propagação de epidemias. 2020. (Programa de rádio ou TV/Mesa. 2020.
6.   LEONARDI, F.; Bühlmann, P.. Regchange: um pacote R para estimação de pontos de mudanças num modelo de regressão lineal em alta dimensão. 2020.
7.   LEONARDI, F.; Oliveira, R.I.. Conhecendo as áreas de pesquisa em Matemática - Probabilidade e Estatística. 2020. (Programa de rádio ou TV/Mesa. 2020.
8.   LEONARDI, F.; Severino, M.T.F.. Grupo de pesquisa em Estatística Computacional e Aprendizagem. 2020. 2020.
9.   OLIVEIRA, A. A. A. M. ; HIRATA JR., R. . INACITY. 2020.
10.   PINHEIRO, E. ; PEREIRA, G. ; STANKUS, L. ; CARLOS, G. ; MANZO, R. ; KON, FABIO ; Paulo Meirelles . HealthDashboard. 2020.

2019

1.   ABUD, L. M. E. ; BRAGHETTO, K. R. ; CORDEIRO, R. . Sistema Florestas. 2019.
2.   Finger, Marcelo. Como evitar a bolha dos algoritmos na internet?. 2019. (Programa de rádio ou. 2019.
3.   Finger, Marcelo. Google lança nova ferramenta de busca para dados científicos. 2019. (Programa de rádio ou. 2019.
4.   Finger, Marcelo. 'Robôs não têm um detector de coerência', diz pesquisador. 2019. (Programa de rádio ou. 2019.
5.   Finger, Marcelo. Brasil precisa debater ética e direitos humanos em IA. 2019. (Programa de rádio ou. 2019.
6.   Finger, Marcelo. Jornal Nacional -- Serie de reportagem sobre Intelugência Artificial. 2019.
7.   Finger, Marcelo. Band News: Aqui tem vaga -- Inteligencia Artificial. 2019.
8.   LEONARDI, F. Entrevista para a revista Leia-Agora/Colégio Poliedro. 2019. (Programa de rádio ou. 2019.
9.   LEONARDI, F. Editora da página da SLAPEM-Sociedade Bernoulli. 2019. 2019.
10.   LEONARDI, F.. mrfse: Markov random field structure estimator. 2019.
11.   MAGANO, F. C. ; BRAGHETTO, K. R. . Dataflow-Mapper. 2019.
12.   MELLO, T. ; LEONARDI, F.. Segmentr - Segment data with maximum likelihood. 2019.
13.   PEIXOTO, P. S.; MARCONDES, DIEGO. MDYN - Mobile Dynamics - https://github.com/pedrospeixoto/mdyn. 2019.
14.   SCATTONE, F. F. ; BRAGHETTO, K. R. . CEP-Worker. 2019.

2018

1.   Bevilacqua, Joyce S. Análise da série temporal do espalhamento da dengue para uma determinada localidade. 2018.
2.   BRANDÃO, LEÔNIDAS; FELIX, I. M. ; Souza, Lucas Mendonça de. iVProg: Programaçao Visual interativa na Internet. 2018.
3.   Finger, Marcelo. LIPSAT: Probabilistic Satisfiability over Lukasiewicz Infinitely valued Logic. 2018.
4.   Finger, Marcelo. O Mundo Mediado por Algoritmos. 2018. (Programa de rádio ou. 2018.
5.   Finger, Marcelo. Inteligência artificial não substituirá o professor, diz especialista Marcelo Finger afirmou também que noções sobre sistemas de computação devem ser ensinadas desde a infância, no começo do aprendizado. 2018. (Programa de rádio ou. 2018.
6.   Finger, Marcelo. Você sabe (de verdade) o que é big data?. 2018. (Programa de rádio ou. 2018.

2017

1.   Bevilacqua, Joyce S. Filtro e consolidação da base de dados brutos dos dados brasileiros de notificações da dengue. 2017.
2.   FINGER, M. CQU-SAT: a SAT-solver for Counting Quantifiers over Unary Predicates. 2017.
3.   Finger, M; COZMAN, F. G.. Inteligência artificial à brasileira. 2017. (Programa de rádio ou. 2017.
4.   Finger, Marcelo. Inteligência artificial precisa ser debatida por toda a sociedade, recomenda professor da USP. 2017. (Programa de rádio ou. 2017.
5.   WATANABE, E. N. ; BRAGHETTO, K. R.. Scientific Workflows on Clouds (SciWonC). 2017.

2016

1.   CANTELLI, E.; Trevisan, J. . SpeX. 2016.
2.   Ivana Soares Bandeira ; Valério Ramos Batista ; Antonio Elias Fabris. EV: A First Version of the Surface Evolver with a Human-Computer Interface. 2016.
3.   Mascarenhas, W.F. Moore: Interval arithmetic in modern C++. 2016.

2015

1.   GARCIA, Claudia I. ; FERNÁNDEZ, J. C. G. . Bernstein. 2015.
2.   HANAZUMI, S. ; MELO, Ana C. V. de. MCDC-JPF: casos de teste MCDC para propriedaes padrão. 2015.

2014

1.   ARAUJO, L. V. ; CHAIM, M. L. ; NUNES, F. L. S. ; LAURETTO, M. S. ; MACEDO, A. C. O. ; GONCALVES, E. F.. Ágora ­ Sistema Online de Eleições e Consultas. 2014.
2.   BRAGHETTO, K. R.; Vargas, C.D. ; ROCHA, E. ; RIBAS, C. ; MORAES, L. C. ; NASCIMENTO, A. S. ; MORI, Y. ; SANTOS, C. R. N. ; OLAZAR, M. R.. NES - Neuroscience Experiments System. 2014.
3.   BRANDÃO, L. O.; Faria, T. ; Nomura, Gabriel Eiji. iVProgH5: Programação Visual Interativa na Internet. 2014.
4.   BRANDÃO, L. O.; RIBEIRO, R. S.. iVProg2: Programação Visual Interativa na Internet. 2014.
5.   Fabris, A.E.; Nascimento, M. Z. ; Ramos Batista, V.. TML: A Programme for Plantation Lines on Driverless Tractors. 2014.
6.   HANAZUMI, S. ; Corina S. Pasareanu ; de Melo, Ana C. V.. LTL2JPF - geração de propriedades padrão. 2014.
7.   Martins, Alexandre Locci ; de Melo, Ana C. V.. WebMCDC - geração de requisitos de teste MCDC. 2014.
8.   MAUÁ, D. D. kPu: A local search solver for limited memory influence diagrams. 2014.
9.   MAUÁ, D. D. iHMM: A C++ library for inference in hidden Markov models with imprecise parameters. 2014.
10.   MEIRELLES, Paulo. Portal do Software Público Brasileiro. 2014.
11.   MELO, Ana C. V. de. SimSpace - Simulador de eventos espaciais. 2014.
12.   POLPO, A.; DE CAMPOS, C.P. ; PEREIRA, C. A. DE B.. Quor: Quantile Ordering, version 0.1. 2014.
13.   Polpo, A.; DE CAMPOS, C.P. ; Sinha, D. ; Lipsitz, Stuart ; Lin, Jianchang. TBSSurvival: Transform-both-sides model for reliability analysis, version 1.2. 2014.

2013

1.   Fabris, A.E.; Ramos Batista, V.. A programme to determine the exact interior of any connected digital picture. 2013.
2.   Fernandez, C. A. ; MELO, Ana C. V. de. SWPDC: o Software Piloto Embarcado no Payload Data Handling Computer - versão Java. 2013.
3.   Finger, Marcelo. Inteligência artificial é tema de estudo de Marcelo Finger. 2013. (Programa de rádio ou. 2013.
4.   LEONARDI, F. L'Oréal For Women In Science Brasil 2013 - Dra. Florencia G. Leonardi by Multimedia Deluxe. 2013. (Programa de rádio ou. 2013.
5.   PEIXOTO, P. S. iModel - Icosahedral grid tools for geosphysical fluid dynamics modelling - https://github.com/pedrospeixoto/iModel. 2013.
6.   SANTOS, B. ; Pereira, Carlos A. B. ; Polpo, A. . binreg. 2013.

2012

1.   AGUILAR, F. D. J. ; Hirata, Nina S. T.. ExpressMatch (http://code.google.com/p/express-match/). 2012.
2.   FERREIRA, J. E. ; COLLI, E.. Colmeia - Sistema de Informação de Bibliotecas. 2012.
3.   Finger, Marcelo. Em busca do computador inteligente. 2012. (Programa de rádio ou. 2012.
4.   Hirata, Nina S. T. TRIOS -- Training Image Operators from Samples (http://trioslib.sourceforge.net/). 2012.
5.   LAURETTO, M. S.; MARANHAO, J.A.. fbstHWE: Straighforward multiallelic significance test for the Hardy-Weinberg equilibrium law. 2012.
6.   Leiva, V. ; BARROS, Michelli ; PAULA, G. A.. gbs: package for Generalized Birnbaum-Saunders Distributions. 2012.
7.   NAGASAKI, MASAO ; FUJITA, A. ; Miyano, Satoru . XiP. 2012.
8.   POLPO, A.; de Campos, C. P. ; Sinha, D. ; Lipsitz, S. ; Lin, J. . TBSSurvival. 2012.
9.   Polpo, A.; PEREIRA, C. A. B. . MedOr. 2012.
10.   Polpo, Adriano ; Pereira, C.A.B.. MedOr: Median Ordering Statistical R package. 2012.

2011

1.   BRAGHETTO, K. R.. BP2SAN. 2011.
2.   De Bona, Glauber ; Finger, Marcelo. PSAT resolvedor de Satisfatibilidade Probabilística. 2011.
3.   FERREIRA, J. E.; DUARTE G. L. ; LIMA, A. M. ; KAMAURA, L. T. ; MULLER, R. ; CINTHO, M.. DIDB - Diagnostics Interview Database. 2011.
4.   MEIRELLES, Paulo; TERCEIRO, A. ; MORAIS, C. . Mezuro. 2011.
5.   Peixoto, Pedro S.; Montanher, Tiago. ExStat - Excel Statistics Calculator. 2011.

2010

1.   ARAÚJO, L. V. ; FERREIRA, J. E. ; SABINO, E. C. . HIV Dag. 2010.
2.   ARAÚJO, L. V. ; FERREIRA, J. E. ; Ortega, M. CEGH System: GENETIC TESTING MANAGEMENT IN HUMAN GENOME INFORMATION SYSTEMS. 2010.
3.   FERREIRA, J. E.; KAMAURA, L. T. ; MULLER, R. ; COLLI, E. . Colmeia. 2010.
4.   Nagasaki, M. ; Fujita, André ; Miyano, Satoru . MACPAK. 2010.

2009

1.   Andrade, R. ; BIRGIN, E. G. ; Martínez, L. ; MARTÍNEZ, J. M.. PACKMOL: A package for building initial configurations for molecular dynamics simulations. 2009.
2.   B. Klava ; HIRATA, N. S. T.. SegmentIt (http://segmentit.sourceforge.net/). 2009.
3.   BERBERT, Juliana Militão; MARTINEZ, Alexandre Souto. Stochastic Tourist Walk in One Dimension. 2009.
4.   BRANDÃO, L. O.; Eisenmann, Alexandre Luís Kundrát. iComb: Combinatória Interativa na Internet. 2009.
5.   BRANDÃO, L. O.; Reginaldo Rideaki Kamiya. iVProg: Programação Visual Interativa na Internet. 2009.
6.   BRANDÃO, L. O.; RODRIGUES, P. A.. iTarefa: Tarefas Interativas - componente Moodle para Módulos de Aprendizagem Interativa. 2009.
7.   LAURETTO, M. S.; Pereira, C. A de B.. Full Bayesian Significance Test for some Dirichlet Models in Contingency Tables. 2009.
8.   MEIRELLES, Paulo; MORAIS, C. . Kalibro. 2009.
9.   MEIRELLES, Paulo; MORAIS, C. . Kalibro. 2009.
10.   Perciano, Talita ; Hirata Jr., Roberto ; CESAR JUNIOR, R. M. . A Plant Root Simulator. 2009.
11.   TERCEIRO, A. ; MEIRELLES, Paulo ; MIRANDA, J. M. ; COSTA, J. . Analizo. 2009.

2008

1.   Braga, Jr, J.R. ; FINGER, M. ; GOLDCHLEGER, A. ; GOLDMAN, A. ; KON, F. ; VIDAL, A. T. C.. InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines . 2008.
2.   BRANDÃO, L. O. iHanoi: Torres de Hanói Interativa na Internet. 2008.
3.   BRANDÃO, L. O.; RODRIGUES, P. A.. iTarefa: Tarefas interativas na Internet (versão para Moodle 2.X). 2008.
4.   CLARO, M. ; LEANDRO, J. J. G. ; CESAR JUNIOR, R. M.. Shape analysis and recognition. 2008.
5.   Flores, Rodrigo ; Hirata Jr., Roberto ; DIAS, R. A. . Geneplot. 2008.
6.   LEONARDI, F.. Página pessoal. 2008. 2008.
7.   LOPES, Fabrício Martins ; MARTINS JR, D C ; CESAR JUNIOR, R. M. . DimReduction project. 2008.
8.   MELO, Ana C. V. de; NUNES, Paulo Roberto de Araújo França ; HANAZUMI, S.. OConGraX - Object Control-Flow Graphs with Exceptions. 2008.
9.   MELO, Ana C. V. de; SILVEIRA, Paulo. GenAutoWS - Automatic Generation of Web Services Test Data. 2008.
10.   NOMA, A. ; CONSULARO, L. A. ; CESAR JUNIOR, R. M.. Interactive image segmentation: graph matching. 2008.

2007

1.   FUJITA, A.; SATO, João Ricardo ; FERREIRA, Carlos Eduardo ; SOGAYAR, Mari Cleide. GEDI. 2007.
2.   MELO, Ana C. V. de; ANDRADE, André Gustavo de. Hydra - Cooperation among formal verification tools for pi-calculus. 2007.
3.   MELO, Ana C. V. de; GAKIYA, Luciana Setsuko ; MELLO, Cláudia de Oliveira. Reuse ++ : Automatic Classification and Searching of Components with Exception Handling Mechanisms. 2007.
4.   MELO, Ana C. V. de; XAVIER, Kleber da Silva. JPFex - Java PathFinder with Exceptions. 2007.
5.   Otranto, G. ; Gomes, T. R. ; GUBITOSO, M. D. ; BARRERA, Junior . Strategy Soccer. 2007.
6.   Schouery, Rafael, C. S. ; HIRATA JR., R. ; SETZER, V. W.. HIPO - Computador Hipotético. 2007.
7.   SECA NETO, A. G. S. ; FINGER, M.. KEMS - Um provador de teoremas multi-estratégia baseado no método de tabelaux KE. 2007.
8.   SILVA, J. ; SOARES, J. V. B. ; LEANDRO, J. J. G. ; CESAR JUNIOR, R. M. ; JELINEK, H. ; TOZETTE, Emerson. Human-machine integration for vessel segmentation. 2007.

2006

1.   CHALCO, J M ; CESAR JUNIOR, R. M. . ScriptLattes. 2006.
2.   FERREIRA, J. E.; OIKAWA, M. K. ; DURHAM, A. M. ; PORTILLO,, H. A. . ClinMalDB. 2006.
3.   LEONARDI, F. SPST (Sparse Probabilistic Suffix Trees). 2006.
4.   MELO, Ana C. V. de; AMORIM, Marcelo M. VTUBAINA - A Tool for Up-to Bisimulation and Automata Integration Automatization. 2006.
5.   MELO, Ana C. V. de; MELLO, Cláudia de Oliveira. Reuse + : Automatic Classification and Searching of Java Classes. 2006.
6.   MELO, Ana C. V. de; NUNES, Paulo Roberto de Araújo França. OConGra - Objects Control-Flow Graphs. 2006.

2005

1.   BIRGIN, E. G.; MARTÍNEZ, J. M.. Projeto TANGO: Trustrable Algorithms dor Nonlinear General Optimization. 2005.
2.   BRAGHETTO, K. R.; FERREIRA, J. E. . NavigationPlanTool. 2005.
3.   BRANDÃO, L. O. iCG: Compilador/Emulador via Intenet. 2005.
4.   BRANDÃO, L. O.; PRADO, R.. iGraf: sistema interativo para funções via Internet. 2005.
5.   DIAS, R. A. ; HIRATA JR., R. . A dotNet Grid Computer. 2005.
6.   Endo, L. C. Y. ; Morimoto, C. H. ; Fabris, A.E.. JEcoSys - a framework for interactive plants simulation. 2005.
7.   FERREIRA, J. E.; ARAÚJO, L. V. ; SABINO, E. C. ; ULIANA, R. ; DADARIO, A. . DBCollHIV. 2005.
8.   MEIRELLES, Paulo; ALMEIDA, André Gustado Duarte de. Sistema de Chamados do TCE-RN. 2005.
9.   MEIRELLES, Paulo; ALMEIDA, André Gustavo Duarte de. Sistema de Biblioteca do TCE-RN. 2005.
10.   MEIRELLES, Paulo; ALMEIDA, André Gustavo Duarte de. STTU Escola (Log Tecnologia). 2005.
11.   MEIRELLES, Paulo; DANTAS, Renato Roque ; DUARTE, Severiano ; NUNES, Wilson ; MELO, Paulo Roberto de Oliveira. SIAI Análise (TCE-RN). 2005.
12.   MEIRELLES, Paulo; MELO, Paulo Roberto de Oliveira ; ALMEIDA, André Gustavo Duarte de. SIAI - Sistema Integrado de Auditória Informatizada 2005 (TCE-RN). 2005.
13.   Zanella, C. E. F. ; Fabris, A.E.. Simulação para o desenvolvimento de vegetais com L-Systems. 2005.

2004

1.   BERBERT, Juliana Militão. Página Pós-Graduação EERP-USP. 2004.
2.   BERBERT, Juliana Militão. Página Web do Projeto Observatório de Recursos Humanos em Saúde - EERP-USP. 2004.
3.   BRANDÃO, L. O.; MOURA, Janine Gomes. Sistema de Aprendizagem pela Web. 2004.
4.   COELHO, S. P.; PRADO, Thiago Mendonça Do ; FUSCO, C. A.. versão acadêmica de software para encriptação de mensagens pelo método de chave pública RSA. 2004.
5.   LAGO, N. P.; KON, FABIO. Distributed Real-Time Audio Processor on Linux Clusters (DLADSPA). 2004.
6.   MEIRELLES, Paulo. Sistama de Patrimônio do TCE-RN. 2004.
7.   MEIRELLES, Paulo. Sistema de Controle de Acesso do TCE-RN. 2004.
8.   MEIRELLES, Paulo. Sistema de Cálculo de Pessoal do TCE-RN. 2004.
9.   MEIRELLES, Paulo; ALMEIDA, André Gustavo Duarte de. Sistema de Controle de Frotas do TCE-RN. 2004.
10.   MEIRELLES, Paulo; MELO, Paulo Roberto de Oliveira ; NUNES, Wilson. SIAI - Sistema Integrado de Auditória Informatizada 2004 (TCE-RN). 2004.
11.   STERN, J. M.; WHITTLE, M. R. ; NAKANO, F. ; PEREIRA, C. A. B.. PATER - Análise Estatística de Exames Genéticos de Paternidade. 2004.

2003

1.   A.E. Fabris. A global signal propagation program for the modeling of plants. 2003.
2.   BERBERT, Juliana Militão. Página Web do Centro de Informática de Ribeirão Preto - CIRP/USP. 2003.
3.   Endo, L. C. Y. ; Morimoto, C. H. ; Fabris, A.E.. Real time animation of underbrushes. 2003.
4.   FERNANDEZS, P. J. ; STERN, J. M. ; PEREIRA, C. A. B. ; LAURETTO, M. S.. OptiMedia - Otimizador de alocação para mídia impressa. 2003.
5.   MEIRELLES, Paulo; ALMEIDA, André Gustavo de. GRAFSOFT (CSM). 2003.
6.   MEIRELLES, Paulo; ALMEIDA, André Gustavo de. SIGEM (CSM). 2003.

2002

1.   BRANDÃO, L. O.. iHanói. 2002.
2.   BRANDÃO, L. O.; SEHARA, R. H. ; PIESIGILLI, F.. iGeom - geometria interativa na internet. 2002.
3.   FERREIRA, C. E.; SOARES, José Augusto Ramos ; MORIMOTO, Carlos Hitoshi. Panda: sistema de entrega eletrônica de trabalhos. 2002.
4.   MASCARENHAS, W. F.. GeoCAD Divisor. 2002.
5.   MASCARENHAS, W. F.. GeoCAD Temático. 2002.
6.   MASCARENHAS, W. F. Campinas Geophysics Library. 2002.
7.   STERN, J. M. Software para o Sistema Brasileiro de Clearing. 2002.

2001

1.   CASTANHO, André Casado ; CESAR JUNIOR, R. M.. HTMatLab - HTML Toolbox para MATLAB. 2001.
2.   FERREIRA, J. E. Posto Fiscal Eletrônico. 2001.
3.   MASCARENHAS, W. F.. GeoCAD Gauss. 2001.
4.   MASCARENHAS, W. F.. GeoCAD Mercator. 2001.
5.   MASCARENHAS, W. F.. GeoCAD Autonível. 2001.
6.   MASCARENHAS, W. F. Motor de cálculo do RPC (Results and position Control). 2001.

2000

1.   A.E. Fabris; Assis, M.M.O. ; A.R. Forrest. Parallelization of filling algorithms on distributed memory machines using the point containment paradigm. 2000.
2.   CESAR JUNIOR, R. M. Multiscale Shape Analysis (MSA) Matlab Toolbox. 2000.
3.   MASCARENHAS, W. F.. GeoCAD Tools. 2000.
4.   MASCARENHAS, W. F.. GeoCAD Legal. 2000.
5.   MORIMOTO, C. H.; FERREIRA, Carlos Eduardo ; SOARES, José Augusto. Panda - Sistema de Acompanhamento Didático. 2000.


(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 25/02/2025 19:39:45