SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

Boletim de novas aquisições – Agosto 2019

Livros comprados

COMPUTAÇÃO

GOODFELLOW, I.; BENGIO, Y.; COURVILLE, A. Deep learning. Cambridge: The MIT Press, 2016. 68T35.01 G651dL

KOENDERINK, J.J. Color for the sciences. Cambridge: The MIT Press, 2010. 68U15.05 K78cs

VELHO, J.A (Org.). Tratado de computação forense. Campinas: Millennium, 2016. 68M10.15 T776

MATEMÁTICA

CARVALHO, A.M.P. Os estágios nos cursos de licenciatura. São Paulo: Cengage, 2012. 02B15 C331ec

HILSDORF, M.L.S. História da educação brasileira: leituras. São Paulo: Cengage Learning, 2003. 02A61 H655he JACOBS, B. Categorical logic and type theory. Amsterdam: Elsevier, 2001. 03-02 J17cL

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

JECH, T. Set theory. Berlin: Springer, 2003. 04-01 J44st MACHADO, N.J. Cidadania e educação. 4.ed. São Paulo: Escrituras, 2002. 02A80 M149ca MASETTO, M.T. O professor na hora da verdade: a prática docente no ensino superior. São Paulo: Avercamp, 2010. 02A03 M365ph MELLO, R.R.; BRAGA, F.M.; GABASSA, V. Comunidades de aprendizagem. São Carlos: EduFSCAR, 2012. 02A03 M527ca PERRENOUD, P. Avaliação: da excelência à regulação das aprendizagens entre duas lógicas. Porto Alegre: Artmed, 2007. 02A03 P455ae

MATEMÁTICA APLICADA E ESTATÍSTICA

ADAMS, N.; COHEN, E. Statistical data science. London: World Scientific, 2018. 62A01 A216sd

LAAN, M.J.; ROSE, S. Targeted learning in data science. Switzerland: Springer, 2018. 62A01 L111tL

MARASINGHE, M.G.; KOEHLER, K.J. Statistical data analysis using SAS. Switzerland: Springer, 2018. 62A01 M311sd.2

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

SKRONDAL, A.; RABE-HESKETH, S. Generalized latent variable modeling. Boca Raton: Chapman & Hall, 2004. 62A01 S629gL

OUTROS

APPOLINÁRIO, F. Metodologia da ciência: filosofia e prática da pesquisa. São Paulo: Cengage Learning, 2016. 00-00 A652mc.2

TESES

AGUIAR NETO, Fernando Soares de. Pre-processing approaches for collaborative filtering based on hierarchical clustering. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2018.

AMORIM, Flaviana Moreira de Souza. Modelos matemáticos para planejamento da produção em indústrias de embalagens de vidros. Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

APPROBATO, Davi Carlos Uehara. Distância, na matemática e no cotidiano. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

ARRUDA, Rodolfo Augusto da Silva. Modelagem de propensão ao atrito no setor de telecomunicações. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

BARBOSA, Marco Auirélio Lopes. A data structure for spanning tree optimization problems. Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação, Universidade de São

Paulo, São Carlos, 2019.

BEDIA, Elizbeth Chipa. Conectividade do grafo aleatório de Erdös-Rényi, e de uma variante com conexões locais. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de

Computação, Universidade de São Paulo, São Carlos, 2016.

BENITES, Yury Rojas. A distribuição normal-valor extremo generalizado para a modelagem de dados limitados. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

BRITO, Lucas Augusto Vieira. Modelo de classificação multivariável para identificação de enchentes: um estudo empírico no sistema de monitoramento de rios e-noe. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

BUFFO, Camila Molina. Análise da utilização do software Geogebra nas dissertações do PROFMAT para elaboração de uma proposta de atividade para o ensino médio com o auxílio do Geogebra. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

CASAGRANDE, Marcelo Henrique. Comparação de métodos de estimação para problemas com colinearidade e/ou alta dimensionalidade (p > n ). Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São

Paulo, São Carlos, 2016.

CAVALARO, Lucas Leite. Um procedimento para seleção de variáveis em modelos lineares generalizados duplos.

Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

CAZZOLATO, Mirela Teixeira. Conquering knowledge from images: improving image mining with region-based analysis and associated information. Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação, Universidade de São

Paulo, São Carlos, 2019.

CONSOLE, Rafael de Carvalho Ceregatti de. A Bayesian nonparametric approach for the two-sample problem. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

COSTA, João Guilherme Cavalcanti. The Vehicle Routing

Problem with Drones. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

COSTA, Reinaldo Viana da. Dos números naturais aos números

reais. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

COSTA, Renata Soares da. Modelos multiestado com fragilidade. Dissertação (Mestrado). Instituto de Ciências

Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2016.

CUNHA, Bruna Carolina Rodrigues da. ESPIM: um modelo para guiar o desenvolvimento de sistemas de intervenção a distância. Tese (Doutorado). Instituto de Ciências Matemáticas e de

Computação, Universidade de São Paulo, São Carlos, 2019.

D’ANDREA, Amanda Morales Eudes. Família Kumaraswamy-G para analisar dados de sobrevivência de longa duração. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de

Computação, Universidade de São Paulo, São Carlos, 2015.

DIAZ, Margarita Diaz. Structural testing criteria for concurrent programs considering loop execution. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade

de São Paulo, São Carlos, 2019.

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

FEITOSA, Cirdêmia Costa. Modelagem de dados de sistemas reparáveis com fragilidade. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015.

FERNANDES, Victor Vinícius. Contribuições sobre o envelope simulado na análise de diagnóstico em modelos de regressão. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

FERREIRA, Ricardo Felipe. Cadeias estocásticas de memória ilimitada com aplicação na neurociência.Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação,

Universidade de São Paulo, São Carlos, 2019.

FLORENCIO, Mariele Parteli. Tempo de espera para a ocorrência de palavras em ensaios de Markov. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade

de São Paulo, São Carlos, 2016.

FRANCISCO, Alex Paulo. Deformações geométricas de curvas no plano Minkowski. Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação, Universidade de São

Paulo, São Carlos, 2019.

FRESSATO, Eduardo Pereira. Incorporação de metadados semânticos para recomendação no cenário de partida fria.

Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

FUZETO, Ricardo. Uma linha de produtos de software orientada a serviços para sistemas de auxílio à visitação de museus. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

GONÇALVES, André Gomes Ventura. Homologia simplicial e a característica de Euler-Poincaré. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

LEÃO, Jeremias da Silva. Modeling based on a

reparameterized Birnbaum-Saunders distribution for analysis

of survival data. Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação,

Universidade de São Paulo, São Carlos, 2017.

LOPES, Lucas Pereira. Essays on bivariate option pricing via copula and heteroscedasticity models: a classical and bayesian approach. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015.

LOURENÇO, Felipe Guilmo. Otimização de comprovação fiscal para operação de fim específico exportação de commodities no Brasil. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

MAIORANO, Alexandre Cristovão. Modelagem conjunta de dados longitudinais e de sobrevivência para avaliação de desfechos clínicos do parto. Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação, Universidade de São

Paulo, São Carlos, 2018.

MARCOLINO, Anderson da Silva. Uma infraestrutura de apoio ao desenvolvimento de aplicações educacionais móveis para o ensino e aprendizagem de fundamentos de programação.Tese (Doutorado). Instituto de Ciências

Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

MARQUES, Gabriel. Estudo de uma configuração de asa

voadora usando o software de CFD OpenFOAM . Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019

MASITÉLI, Vanessa. A abordagem de martingais para o estudo de ocorrência de palavras em ensaios independentes. Dissertação (Mestrado). Instituto de Ciências

Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2017.

MASSERA FILHO, Carlos Alberto de Magalhães. Guaranteed cost model predictive control approaches for linear systems subject to multiplicative uncertainties with applications to autonomous vehicles. Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação, Universidade

de São Paulo, São Carlos, 2019.

MERIGHE, Liliam Carsava. On properties about local cohomology modules, finiteness of torsion and extension functors, and integral closure relative to Artinian modules. Tese (Doutorado). Instituto de Ciências Matemáticas e de

Computação, Universidade de São Paulo, São Carlos, 2019.

MIRANDA, Gisele Helena Barboni. Spatially explicit modeling on networks: understanding patterns & describing processes.Tese (Doutorado). Instituto de Ciências Matemáticas e

de Computação, Universidade de São Paulo, São Carlos, 2019.

MIZAEL, Joel dos Reis. Logaritmo, história e aplicações. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

NAKASSIMA, Guilherme Kenji. Robustez da estabilidade assintótica e aproximações de soluções via wavelets. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

OLIVEIRA, Karina Bindandi Emboaba de. Modelos de difusão de inovação em grafos. Tese (Doutorado). Instituto de Ciências

Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

PACÍFICO, Thiago Maurício. O princípio das gavetas de Dirichlet: problemas e aplicações. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade

de São Paulo, São Carlos, 2019..

PALAZZO, Camila Cristina Carvalho. Contribuições da história da matemática no ensino da relação entre a fração e a notação decimal. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

PRADO, Mario César Monteiro do. Multiplicidade exata de soluções de equações diferenciais via um método assistido por computador . Tese (Doutorado). Instituto de Ciências Matemáticas

e de Computação, Universidade de São Paulo, São Carlos, 2019.

RIBEIRO, Junior Rodrigues. Análise e melhoramento do método variacional para controle ótimo de sistemas lineares com saltos markovianos sem observação da variável de salto. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

RODRIGUES, Juliana Scudilio. Análise de diagnóstico em modelos de regressão ZAGA e ZAIG . Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade

de São Paulo, São Carlos, 2016.

ROMERO, Luiz Henrique. Controlador dinâmico para o problema linear quadrático com saltos não observados. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

ROUHANI, Sama. Reconhecimento de face e de prova de vida com Tensorflow para criação de um sistema de segurança voltado a residências e a ambientes de acesso restrito. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019

SANTOS, Laryssa Vieira dos. Metanálise para Modelos de Regressão. Dissertação (Mestrado). Instituto de Ciências

Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2016.

SANTOS, Rafael Joseph Pagliuca dos. Análise da rede de produtos comprados em conjunto no comércio eletrônico. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo São Carlos, 2019.

SCATALON, Lilian Passos. A framework for experimental studies on the integration of software testing into programming education. Tese (Doutorado). Instituto de Ciências

Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SHIMIZU, Tatiana Kisaki Oliveira. Penalized regression models for compositional data. Tese (Doutorado). Instituto de Ciências

Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2018.

SHIROZONO, Aimée. Modelos série de potência zero: modificado para séries temporais com dados de contagem .

Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SILVA, Alexandra Virgínia Valente da. Classificação baseada em regras para estudo da produtividade do algodão no estado do Mato Grosso. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

SILVA, Evelyny Barroso da. Contribuições em modelos de regressão com erro de medida multiplicativo. Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação,

Universidade de São Paulo, São Carlos, 2016.

SILVA, Gabriel Rodrigues da. Grupos e semigrupos.

Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SILVA, Robson Fernandes. Redes Bayesianas aplicada à predição de vendas em uma grande rede de fast-food brasileira. Dissertação (Mestrado). Instituto de Ciências

Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SILVA, Yuri Faleiros da. Equações diofantinas. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

SOUZA FILHO, Carlos Silveira de. O corpo dos números complexos e uma proposta de abordagem no ensino médio. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2019.

TAPIA, Cristel Ecaterin Vera. Processos de ramificação com aplicações em biologia. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São

Paulo, São Carlos, 2015.

TROJAHN, Tiago Henrique. Um método de segmentação de vídeo em cenas baseado em aprendizagem profunda. Tese (Doutorado). Instituto de Ciências Matemáticas e de Computação,

Universidade de São Paulo, São Carlos, 2019.

VAZ, Afonso Fernandes. Improved quantification under dataset shift. Dissertação (Mestrado). Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2017.

SERVIÇO DE BIBLIOTECA PROFESSOR ACHILLE BASSI

INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO | UNIVERSIDADE DE SÃO PAULO | AV. TRABALHADOR SÃO-CARLENSE, 400 ∙ CENTRO ∙ SÃO CARLOS/SP ∙ CEP 13566-590 ∙ BRASIL ∙ WWW.ICMC.USP.BR

ZUANETTI, Daiane Aparecida da. Efficient Bayesian methods for mixture models with genetic applications. Tese (Doutorado).

Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2016.