Organizadores: Eduardo Abreu, Giuseppe Romanazzi e Maicon Correa (IMECC-Unicamp)

Resumo: A análise numérica e métodos computacionais para a aproximação de modelos estacionários e de evolução, governados por sistemas de equações diferenciais parciais não lineares e leis de conservação, suplementados por condições iniciais e/ou de contorno, cada vez mais têm se mostrado, por si só, como genuínas áreas de pesquisa. Tais áreas, em muito, complementam a teoria matemática e a experimentação de campo e de laboratório para a compreensão de diversos fenômenos nas ciências pura e aplicada para atender a natural demanda do mundo contemporâneo. Com efeito, modelos em equações diferenciais parciais fornecem uma descrição quantitativa para muitos modelos centrais em física, biológica, ciências sociais, engenharias envolvendo diversas escalas de tempo e espaço, desde a nanociência, em estudos de como manipular a matéria nos níveis molecular e atômico até escala de  campo envolvendo modelos hidrodinâmicos e relacionados, tais como, previsão do tempo, produção de petróleo, gerenciamento de recursos hídricos e fluxos não-newtonianos em processos industriais e de alta tecnologia, dentre várias outras aplicações relevantes. Esse Minissimpósio visa estabelecer, e fortalecer, possíveis colaborações entre os grupos de pesquisas existentes em análise numérica e dinâmica de fluidos computacional atuando no Brasil, além de proporcionar um bom ambiente de discussão sobre os recentes esforços dos participantes, seus projetos e seus desafios.

Programação resumida

(Acesse este link para mais informações)

DATA: 18 de setembro • Horário: 15:15h -17:15h • Local: IMECC – Sala 121

Coordenador: Eduardo Abreu

Palestras:

• Jose Alberto Cuminato (ICMC/USP), Asymptotic and numerical study of the planar stick-slip flow for viscoelastic fluids.

• Fabricio Simeoni de Sousa (ICMC/USP), New developments in the Multiscale Robin Coupled method for flows in porous media. 

• Maicon Correa (IMECC/UNICAMP), Métodos de Elementos Finitos Mistos-Híbridos em Malhas Quadrilaterais com Aplicações em Meios Porosos e em Elasticidade Linear.           

DATA: 19 de setembro • Horário: 15:15h – 17:15h • Local: IMECC – Sala 121

Coordenador: Maicon Correa

Palestras:

• Sandra Malta (LNCC/MCTIC), Métodos de Elementos Finitos Estabilizados Aplicados a Problemas com Propriedades Descontínuas.

• Giuseppe Romanazzi (IMECC/UNICAMP), Análise Numérica de Métodos Multiescala e Homogeneização na simulação das primeiras fases de Carcinogênese no Cólon.

• Eduardo Abreu (IMECC/UNICAMP), Modeling, approximation and numerical simulation of nonlinear two-phase pseudo-parabolic Buckley-Leverett flow problems with dynamic capillary pressure in heterogeneous porous media.

Organizador: Leandro Bezerra de Lima (UFMS)

Resumo: Neste minissimpósio o principal objetivo é divulgar algumas técnicas utilizadas no estudo de códigos quânticos corretores de erros, importante área da informação quântica.

Programação resumida

(Acesse este link para mais informações)

DATA: 19 de setembro • Horário:  15:15h – 17:15h • Local: IMECC – Auditório

Coordenador: Leandro Bezerra de Lima

Palestras:

• Waldir Silva Soares Junior (UTFPR), Códigos Coloridos Poligonais.

• Douglas Frederico Guimarães Santiago (UFVJM), Códigos Quânticos CWS.

• Renato Portugal (LNCC), Quantum-Walk-Based Algorithms and the Element k-Distincness problem.

• José Euclides Gomes da Silva (UFCA), Quantum mechanics on minimal surfaces.
         

DATA: 20 de setembro • Horário:  15:15h – 17:15h • Local: IMECC – Auditório

Coordenador: Leandro Bezerra de Lima

Palestras:

• Wanessa Carla Gazzoni (UNISAL), O Emaranhamento Quântico e Descrição Matemática a partir de Códigos Corretores de Erros Clássicos.

• Leandro Bezerra de Lima (UFMS), Caracterização de Códigos Quânticos de Subespaços na Grassmanniana.

• Clarice Dias Albuquerque (UFCA), Computação Quântica Topológica.

• Reginaldo Palazzo Junior (Unicamp), Introdução aos Códigos Quânticos Holográficos.

Organizador: Luis Menasché Schechter (UFRJ)

Resumo: O estudo de Matemática é muito importante para o desenvolvimento de diversas aplicações e ferramentas em Ciência da Computação. Em particular, neste minissimpósio, composto por quatro palestras, nosso objetivo é mostrar a enorme utilidade do estudo de Álgebra Linear para a área de Computação. A Álgebra Linear é o alicerce para várias aplicações computacionais, em um leque grande de diversidade. Por exemplo, ela é importante para aplicações relacionadas a comunicações em redes de computadores, aplicações relacionadas à Computação Gráfica e processamento de imagens e aplicações relacionadas à simulação computacional de fenômenos químicos, físicos ou biológicos ou de Engenharia, onde a eficiência computacional do processamento de matrizes pode ser utilizada de modo a obter resultados com nível de aproximação muito bom e com baixo tempo de processamento. Neste minissimpósio, buscamos apresentar um leque bem diverso de exemplos de aplicações de Álgebra Linear à Ciência da Computação.

Programação resumida

(Acesse este link para mais informações)

DATA: 18 de setembro • Horário:  15:15h – 17:15h • Local: IMECC - Sala 326

Coordenador: Luis Menasché Schechter

Palestras:

• Luziane Ferreira de Mendonça (UFRJ), Aplicações de Álgebra Linear em Processamento de Imagens.

• Charles Figueredo de Barros (UFSJ), Códigos Corretores de Erros.

• Luis Menasché Schechter (UFRJ), Criptografia Baseada em Reticulados.

• Juliana Vianna Valério (UFRJ), Análise de Estabilidade de Escoamentos Viscosos.

Organizadores: Edson Donizete de Carvalho (Unesp-Ilha Solteira) e Antônio Aparecido de Andrade (Unesp-São José do Rio Preto)

Resumo: Neste minissimpósio, temos como objetivo de divulgar novas técnicas utilizadas no estudo da construção de reticulados algébricos obtidos via corpos de números, enfocando o estudo do empacotamento de esferas em espaços euclidianos, visando sempre determinar aqueles de maior densidade de centro, através das técnicas geométricas e, também, das técnicas algébricas.

Programação resumida

(Acesse este link para mais informações)

DATA: 18 de setembro • Horário:  15:15h – 17:15h • Local: IMECC - Auditório

Palestras:

• Antonio Aparecido de Andrade (Ibilce-Unesp, São José do Rio Preto), Construções de reticulados algébricos via polinômios.

• Edson Donizete de Carvalho (Unesp, Ilha Solteira), Modulação Codificada 8-QAM via o reticulado D-2.

• Agnaldo José Ferrari (Unesp, Bauru), Construção do reticulado hexagonal via o método de Krüskemper.

• Robson Ricardo de Araujo (Departamento de Matemática, IMECC-Unicamp), Reticulados algébricos via corpos de números abelianos de grau primo.         

DATA: 19 de setembro • Horário:  9:15h – 11:15h • Local: IMECC – Sala 151

Palestras:

• Carina Alves (Departamento de Matemática, Igce-Unesp, Rio Claro), Alguns resultados sobre reticulados bem arredondados.

• Grasiele Cristiane Jorge (Unifesp, São José dos Campos), Códigos na métrica p-Lee.

• Cintya Wink de Oliveira Benedito (Campus Experimental de São João da Boa Vista, Unesp, São João da Boa Vista), Estratégias de codificação para redes 5G.

• João Eloir Strapasson (Faculdade de Ciências Aplicadas, Unicamp, Limeira), Algoritmo heurístico para obtenção de elemento totalmente positivo em corpos totalmente reais.

Organizadores: Douglas Gonçalves (UFSC), Rosiane de Freitas (UFAM) e Cristiano Torezzan (Unicamp)

Resumo: Geometria de Distâncias (GD) é uma área da matemática com raízes no teorema de Heron, posteriormente generalizado por Cayley e Menger -- resultados interessantes que estão relacionados à conjectura de Euler, sobre a rigidez dos poliedros, e ao trabalho de Maxwell em diagramas de força. Desenvolvimentos recentes que tiveram impacto considerável em aplicações são o teorema de Schoenberg, sobre a relação entre matrizes de distâncias Euclideanas e matrizes semidefinidas positivas, e o lema de Johnson-Lindenstrauss, que é um dos pilares da análise de bancos de dados de imagens em grande escala. GD é particularmente útil como um modelo de inferência para dados incompletos ou ruidosos, o que a torna uma ferramenta importante para a ciência dos dados. Aplicações em engenharia aparecem em redes sem fio, bioinformática, robótica, controle, arquitetura, dentre outras. GD também é aplicada em "compressed sensing", completamento matricial de posto reduzido e realização de grafos. Devido a sua vasta aplicabilidade, geometria de distâncias envolve uma ampla gama de disciplinas e diversas áreas do conhecimento.

Este minissimpósio visa atrair e fomentar a interação entre pesquisadores interessados em Geometria de Distâncias e temáticas correlatas, como otimização e teoria de grafos, cujo interesse de pesquisa envolva problemas onde o conceito de distância é um elemento importante, na definição, modelagem ou estratégia de resolução. Devido a forte relação da área com otimização, computação e pesquisa operacional, a Geometria de Distâncias já reúne um bom grupo de pesquisadores brasileiros, alguns dos quais serão palestrantes deste evento. Esperamos portanto reunir no CNMAC-2018 pesquisadores, professores e alunos interessados na fascinante área de Geometria de Distâncias.

Programação resumida

(Acesse este link para mais informações)

DATA: 18 de setembro • Horário:  15:15h – 17:15h • Local: IMECC – Sala 225

Palestras:

• Douglas Gonçalves (UFSC), Rosiane de Freitas (UFAM) e Cristiano Torezzan (Unicamp), Abertura.

• Rosiane de Freitas (UFAM), Sobre o DGP, realizações de grafos em Rn e colorações.

• Michael Souza (UFC), Advances in iBP.

• Felipe Fidalgo (UFSC), Uma estratégia para a resolução de um DDGP usando partição em problemas menores.

DATA: 19 de setembro • Horário:  15:15h – 17:15h • Local: IMECC – Sala 225

Palestras:

• Germando Abud de Rezende (UFU), O Grafo de K-incidência e o path-DDGP.

• Jorge Ferreira Alencar Lima (IFSULDEMINAS), Sobre o número de soluções de um DDGP.

• Cristiano Torezzan (Unicamp) e Nilson M. Moreira (Unicamp), Preenchimento de matrizes de posto reduzido: algoritmo e aplicações.

• Douglas Gonçalves (UFSC), Uma versão de iBP sem discretização de intervalos.

Organizadores: Rubens Sampaio (PUC-Rio) e Roberta Lima (PUC-Rio)

Resumo: Recent developments in computational and sensing resources provide us the ability to infer about physical phenomena with increasingly detailed resolutions and to better characterize the interplay between experimentally observed cause and effect.  In many problems of interest, this interplay is best described in a non-deterministic framework, permitting the description of experimental errors and inaccuracies, modeling errors and inadequacies, as well as numerical approximations. These uncertainties conspire, with interpretation and analysis tools, to affect the predictive power of accumulated knowledge.

This minisymposium will bring together current research efforts attempting to characterize and manage uncertainties in various stages of the prediction process and also, to allow the visualization of uncertainties and the parameter sensibility in order to help the decision-making process. In particular, research in the following areas will be highlighted: 1. Experimental data representation; 2. Data assimilation and inverse analysis; 3. Uncertainty propagation; 4. Non-deterministic computational modeling; 5. Optimization and design under uncertainty; 6. Visualization of uncertainties; 7. Stochastic modeling; 8. Surrogate models; 9. Model-order reductions; 10. Small probability events; 11. Application examples and case studies; 12. Bayesian inference; 13. Stochastic Differential Equations.

Programação resumida

(Acesse este link para mais informações)

DATA: 19 de setembro • Horário:  15:15h – 17:15h • Local: IMECC – Sala 326

Palestras:

• Roberta Lima (PUC-Rio), Electromechanical System with Random dry-friction.

• Haroldo Campos Velho (INPE), Predictability for na Atmospheric Global Circulation Model Addressed by ensemble prediction with inicial condition determined with neural network.

• Younes Aoues e Leila Kalij (INSA-Rouen, França), Time-variant reliability formulation for design optimization under vibration fatigue.

• Eduardo Souza de Cursi (INSA-Rouen, França), Estatísticas para objetos em dimensão infinita: aplicação a famílias de curvas.

DATA: 20 de setembro • Horário: 9:15h – 11:15h • Local: IMECC – Sala 326

Palestras:

• Daniel Castello (UFRJ), Calibração de Modelos de Cabos de Linha de Transmissão.

• Thiago Ritto (UFRJ), Uncertainties in the dynamical response and stability of rotating systems: modeling, simulation and lab experiments.

• Rubens Sampaio (PUC-Rio), Some remarks about the onset of uncertainties, the quest for atoms, and the birth of stochastic differential equations.

Organizadores: Abimael Loula (LNCC), Cristiane Faria (UERJ), Omar Durán (LabMec-Unicamp), Philippe Devloo (Unicamp), Thiago Quinelato (LamMec-Unicamp)

Programação resumida

(Acesse este link para mais informações)

DATA: 19 de setembro • Horário: 9:15h – 11:15h • Local: IMECC - Auditório

Palestras:

• Chongmin Son (University of New South Wales, Australia), Integrating Geometric modelling with numerical simulation: the scaled boundary finite element approach.

• Antonio Tadeu de Azevedo Gomes (LNCC), Desafios na implementação de métodos mistos e híbridos: aspectos de estruturação e paralelização de código.

• Cristiane Faria (UERJ), Stabilized Hybrid Descontinuous Galerkin Methods for the Heat Problem.

• Philippe R. B. Devloo (FEC, Unicamp), On a Multiscale Approximation of Darcy Flow with Fracture Networks.

DATA: 20 de setembro • Horário: 9:15h – 11:15h • Local: IMECC – Auditório

Palestras:

• Igor Mozolevski (UFSC), Estimativas a posteriori de erro em métodos de Galerkin descontínuo no tempo e espaço para aproximação de problemas parabólicos.

• Marcio Murad (LNCC), A New Sequential Method for Three-Phase Immiscible Flow in Poroelastic Media.

• Frédéric Valentin (LNCC), Multiscale Hybrid-Mixed Methods for Fluids.

• Sônia Gomes (IMECC-Unicamp), Enriched Approximation Space Configurations for Mixed Finite Element Methods: Darcy’s, Stokes and Elasticity Problems.

Organizadores: Vinícius Viana Luiz Albani (UFSC) e Xu Yang (UFAL)

Resumo: Devido ao crescente aumento da complexidade nas interações entre agentes dos mercado financeiro e da economia real, modelos matemáticos e  econométricos cada vez mais sofisticados têm se tornado necessários em análise de risco, no desenho de estratégias de alocação de recursos e na precificação de contratos derivativos. Esse minissimpósio têm como objetivo apresentar alguns trabalhos recentes nesta área.

Programação resumida

(Acesse este link para mais informações)

DATA: 19 de setembro • Horário: 15:15h – 17:15h • Local: IMECC – Sala 325

Palestras:

• Vinícius V. L. Albani (UFSC), Calibration of Jump-Diffusion Parameters in Mathematical Finance.

• Yuri F. Saporito (EMAp–FGV–RJ), Stochastic Control and Differential Games with Path-Dependent Controls.

• Xu Yang (UFAL), Na EnKF Approach of Calibration of Local Volatility Surface.

DATA: 20 de setembro • Horário: 15:15h – 17:15h • Local: IMECC – Sala 325

Palestras:

• Rodrigo Targino (EMAp–FGV–RJ), Prediction of volatility surface using a multivariate non-Gaussian framework and SABR parametrization.

• Jorge Passamani Zubelli (LAMCA-IMPA), Inverse problems for local and stochastic volatility in financial markets; A data driven approach.

• David Evangelista (KAUST), Optimal inventory management and order book management.

Organizadores: Vinícius Viana Luiz Albani (UFSC) e Antonio Carlos Gardel Leitão (UFSC)

Resumo: The aim of this minisymposium is to present some recent developments of the theory and practice of inverse problems, giving special attention to applications in different areas, such as, Heat Transfer, Elasticity, Wave Scattering, Mathematical Finance, and Tomographic Imaging.

Programação resumida

(Acesse este link para mais informações)

DATA: 20 de setembro • Horário: 9:15h – 11:15h • Local: IMECC – Sala 125

Palestras:

• Wagner Barbosa Muniz (UFSC), Low frequency electromagnetic imaging of buried inhomogeneities.

• Alexandre Kawano (USP), Identification of Dynamic Forces and Reliability evaluation of complex structures using data concerning the displacement of points in a small region.

• Helcio R. B. Orlande (COPPE-UFRJ), Problema Inverso para Estimativa da Geração Metabólica de Energia no Rim.

• Haroldo F. de Campos Velho (LABAC - INPE), Inverse solutions with epidemic genetic algorithm for aerospace engineeering problems.

DATA: 21 de setembro • Horário: 9:15h – 11:15h • Local: IMECC – Sala 125

Palestras:

• Fabio Júnior Margotti (UFSC), Inexact Newton regularization combined with gradiente methods in Banach Spaces.

• Jorge Passamani Zubelli (LAMCA-IMPA), On Some Inverse Problems in Mathematical Finance.

• Jemy Valle  (LNCC), Solução numérica de problemas inversos no modelo de Hodgkin e Huxley.

• Williams Lima  (UFPA), Structural Similarity Measures for Joint Inversion of Multiple Geophysical Datasets.

Organizador: Marcelo Terra Cunha (IMECC-Unicamp)

Resumo: The minisymposium is open to any topic of quantum theory with a mathematical taste. The specific flavour will be given by the speakers and the organizer. It is somehow biased to foundations and contextuality, but not completely.

Programação resumida

(Acesse este link para mais informações)

DATA: 19 de setembro • Horário: 9:15h – 11:15h • Local: IMECC – Sala 223

Palestras:

• Shane Mansfield (Université Paris-Diderot, Paris VII, França), Quantum advantage and contextuality of transformations.

• Bárbara Amaral (UFSJ, Brasil), Resource Theory of Contextuality and Nonlocality.

• Ernesto Galvão  (UFF, Brasil), Photonic Identity Testing.

• Jan-Ake Larsson (Linkoping University, Suécia), Efficient simulation of some computer quantum algorithms.

DATA: 20 de setembro • Horário: 9:15h – 11:15h • Local: IMECC – Sala 223

Palestras:

• Leonardo Guerini (IFT-Unesp / ICTP-SAIFR, Brasil), Simulability properties of quantum measurements.

• Jacques Pienaar (IIP-UFRN, Brazil), Time symmetry in quantum causal models.

• Samson Abramsky (Oxford University, UK), The Mathematics of Contextuality.

• Roberto Imbuzeiro Oliveira (IMPA, Brasil), Small violations of Bell inequalities for multipartite.

Organizadores: Mateus Bernardes (UTFPR) e Luiz Mariano Carvalho (UERJ).

Resumo: A produção científica nacional aumentou de forma consistente nos últimos anos. Acompanhando esse crescimento, as publicaçoes da SBMAC têm conseguido melhorar em qualidade, regularidade e abrangência, entre outros parâmetros.

Os objetivos desse minissimpósio são:

1. Aumentar o conhecimento dos alunos e jovens pesquisadores sobre o processo de submissão nas publicações da SBMAC;

2. Incrementar as informações sobre "Integridade em Pesquisa, Ética na Ciência e em Publicações";

3. Discutir a criação de uma publicação específica para Ensino de Matemática Aplicada e Computação Científica no âmbito da SBMAC.

Programação resumida

DATA: 20 de setembro • Horário: 15:15h – 17:15h • Local: IMECC – Sala 226

Palestras:

• Fabrício Simeoni (ICMC-USP e editor executivo da TEMA), Submissão de Artigos Científicos.

• Eduardo de Cursi (Insa-Rouen-França e  editor-chefe da CoAM), Balanço e Perspectivas da Computational and Applied Mathematics.

• Mateus Bernardes (UTFPR e editor-chefe dos Proceedings), Uma Oficina Sobre Plágio.

• Luiz Mariano Carvalho (UERJ), Mesa redonda sobre uma publicação de "Ensino de Matemática Aplicada e Computacional" da SBMAC, com João Frederico C. A. Meyer (Joni, Unicamp) e  Victor Giraldo (UFRJ).

Organizador: Marcelo Terra Cunha (IMECC-Unicamp)

Programação Resumida

DATA: 19 de setembro • Horário: 15:15h • Local: IMECC - Sala 151

Palestras:

• Elizabeth Wegner Karas (UFPR)

• Roberto Oliveira (IMPA/CAPES)

• Joerg Schleicher (Unicamp)

• Carlos Hoppen (UFRGS)