Programa detalhado
Competições
Olimpíada de Matemática:
Formação de equipes:
Cada equipe inscrita poderá ter de 2 a 4 integrantes.
Pré-requisitos para inscrições:
os participantes devem estar inscritos em curso de graduação.
Regras:
Cada equipe terá 4 horas para resolver os problemas propostos.
Cada equipe deve atuar de forma conjunta, ou seja, todos os membros devem trabalhar na resolução dos problemas.
Cada folha de resolução deve conter o nome e assinatua de todos os membros da equipe.
A prova deve ser escrita a lápis ou caneta azul ou preta.
Não é permitido o uso de aparelhos eletronicos como computadores, notebooks, tablets, celulares, etc
É necessária a apresentção de um documento com foto no ato da prova.
Local e horário:
à definir
Maratona de Computação:
A Maratona de Programação da UNIFESP é inspirada na Maratona de Programação da SBC, que faz parte da regional sul-americana da competição internacional ACM ICPC. A Maratona é destinada a alunos com interesse em programação e promove nos alunos a criatividade, a capacidade de trabalho em equipe, a habilidade de resolver problemas sob pressão e a capacidade de desenvolvimento de soluções computacionais corretas e eficientes em curto espaço de tempo.
Formação de equipes:
Cada equipe inscrita poderá ter até 3 integrantes.
Pré-requisitos para inscrições:
Para participar da Maratona de Programação da UNIFESP, você deverá estar inscrito na SeMaComp e na Maratona de Programação da UNIFESP. A inscrição nesta competição deverá ser feita através do link acima, informando os dados da sua equipe. Por questões de espaço, o limite de vagas será de 60 pessoas.
Aquecimento e prova:
Haverá uma hora de aquecimento com algumas questões no mesmo formato da prova para que os participantes possam testar o computador e o ambiente utilizado para submissão das soluções.
Regras:
A prova terá duração de 3 horas.
Será permitido apenas consulta a material impresso.
Não é permitido o acesso a conteúdos da Internet.
É proibida a comunicação entre participantes de diferentes equipes e com pessoas de fora da competição.
Um problema é considerado resolvido se o programa submetido pela equipe resolve corretamente todos os casos da entrada dentro do tempo limite de execução.
O time que resolver o maior número de problemas durante a competição será o vencedor. O segundo critério de classificação é por tempo corrigido, ou seja, entre duas equipes empatadas em número de problemas ganha aquela com o menor tempo corrigido. O tempo corrigido do time é dado pela soma dos tempos corrigidos somente dos problemas corretamente resolvidos pelo time. O tempo corrigido de um problema é dado pelo número de minutos decorridos desde o início da competição até o momento da primeira submissão correta somado com uma penalidade de 20 minutos por submissão incorreta feita anteriormente neste problema. Em caso de empate, será considerado vencedor o time cuja última submissão correta tenha sido feita mais cedo. Persistindo o empate, passará à penúltima submissão correta e assim por diante. Se persistir o empate a organização fará um sorteio entre os times envolvidos.
Local e horário:
à definir.
Linguagens aceitas:
C, C++ e Java.
Como se preparar:
Dicas para iniciantes (link para página da Maratona de Programação da SBC)
Existem diversas páginas com sistema de correção automática de problemas. O site URI Online Judge possui diversos problemas para pessoas de nível iniciante a avançado e fornece uma boa plataforma para pessoas que têm interesse de iniciar treinamentos para competições de programação.
Além de livros tradicionais de algoritmos também existem livros específicos para competições de programação que são muito úteis para alunos que querem aprender técnicas importantes para competições:
Programming Challenges, por Steven S. Skiena e Miguel A. Revilla.
Competitive Programming, por Steven Halim e Felix Halim. A primeira versão pode ser obtida gratuitamente.
Computação
Minicurso: "Hello World! - Primeiros passos com Arduino" - Prof. Dr. Fábio Faria, Mateus Sousa Franco e Grupo FORGERS - UNIFESP
Neste workshop será feita uma apresentação da plataforma Arduino bem como atividades práticas que visam a introdução de conceitos básicos, mas fundamentais para a utilização da plataforma em aplicações diversas como Robótica, Internet of Things, Automação Residencial, dentre outras.
Prof. Dr. Fábio Faria
Possui graduação em Ciencia da Computacao (Universidade Estadual Paulista "Júlio de Mesquita Filho" -- UNESP, 2007), Mestrado em Ciência da Computação (Universidade Estadual de Campinas -- UNICAMP, 2010) e Doutorado (Universidade Estadual de Campinas -- UNICAMP, 2014). Foi Pesquisador Visitante na University of South Florida, Tampa/Florida (04/2012 -- 04/2013) sob orientação do Prof. Dr. Sudeep Sarkar. De 03/2014 a 03/205, realizou pós-doutoramento no Instituto de Computação da Universidade de Campinas sob supervisão do professor Ricardo Torres. Atualmente é Professor Adjunto no Instituto de Ciência e Tecnologia da Universidade Federal de São Paulo. As áreas de pesquisas de maior interesse são Aprendizagem de Máquina, Processamento de Imagens, Mineração de Dados e Fusão de Informação.
Mateus Sousa Franco
Estudante do 5º ano de Engenharia de Computação da UNIFESP-SJC. Atualmente é Capitão da Divisão de Programação e Controle da Equipe de Robótica FORGERS. Tem interesse em assuntos relacionados a Sistemas Embarcados, Internet of Things, Robótica, Arquitetura de Computadores e Engenharia de Software em aplicações interdisciplinares.
Palestra: "Por que sequenciar um genoma? Os desafios biocomputacionais." - Estela Araújo Costa, Hugo Rody Vianna Silva e Alexandre Hild Aono- UNIFESP
Após as primeiras sequências de DNA obtidas e codificadas manualmente nos anos 60, o desenvolvimento de novas tecnologias de sequenciamento acompanhou a evolução dos computadores. Nas últimas duas décadas, milhões de gigabytes de sequências têm sido geradas por pesquisadores de todo o mundo e por conseguinte a computação tem se tornado cada vez mais fundamental para possibilitar a compreensão desses dados. Neste contexto surgiu a Bioinformática – um campo interdisciplinar que tem possibilitado avanços em ambas as áreas (biologia e ciência da computação). Dentre as contribuições da bioinformática estão o desenho de softwares e a identificação de genes e suas funções, tornando possível uma melhor compreensão de como os genomas são organizados, dentre outras inúmeras aplicações. No nosso caso em estudo, a bioinformática é uma grande aliada para auxiliar no entendimento de genomas complexos de plantas, visando auxiliar o melhoramento genético.
Estela Araújo Costa
Atualmente é pesquisadora pós-doutora na Unifesp - campus São José dos Campos-SP na área de Bioinformática. Possui doutorado em Genética e Biologia Molecular (2010-2015) pela Universidade Estadual de Campinas, graduada em Ciências Biológicas (bacharel e licenciatura) pela Universidade Estadual de Campinas (2006-2009). Tem experiência na área de Genética e Biologia Molecular; análise de genomas por sequenciamento de nova geração, e na busca por variações genéticas utilizando recursos bio-computacionais.
Hugo Rody Vianna Silva
Farmacêutico, Mestre e Doutor em Bioquímica, com experiência em estudos de evolução de genes/genomas. Atualmente é pesquisador de pós-doutorado no Instituto de Ciência e Tecnologia da Universidade Federal de São Paulo (ICT-Unifesp), sob supervisão do professor Reginaldo Kuroshu, e dedica-se a estudar retenção tendenciosa de genes duplicados em plantas poliplóides através de genômica comparativa.
Alexandre Hild Aono
Graduando em Ciência e Tecnologia na Universidade Federal de São Paulo, com experiência em Bioinformática na análise de variação genética de plantas poliplóides e manipulação de dados de sequenciamento de nova geração.
Palestra: "Gerenciamento de armazenamento hierárquico de dados provenientes de Ensaios em Voo na Embraer S.A." - Luís Antonio Jacob da Motta - EMBRAER S.A.
Luís Antonio Jacob da Motta
Técnico Eletrônico formado pelo C.T.I.G - Unesp (Guaratinguetá-SP) em 1998, Engenheiro Eletrétrico formado pela Unip (Araraquara-SP) em 2007 e pós-graduando em Desenvolvimento de Sistemas para Dispositivos Móveis pelo IFSP (São Carlos-SP) [2014-2016], atuando na divisão de Ensaios em Voo da Embraer S.A. desde 1999. Atuou nas áreas de Concepção e Projeto de Sistemas de Aquisição de Dados, Laboratório de Calibração de transdutores e atualmente trabalha no desenvolvimento de softwares para aquisição e processamento de dados para fins de Ensaio em Voo.
Palestra: "PyLife - Como Python pode mudar vidas" - Verônica Maria da Silva - PyLadies Vale
Exemplo de como a vida das pessoas podem mudar através de uma linguagem de programação.
Verônica Maria da Silva
Formada em Análise e Desenvolvimento de Sistemas, já trabalhou no Instituto Nacional de Pesquisas Espaciais e atualmente trabalha em uma empresa de desenvolvimento de software no Vale do Paraíba.
Matemática
Palestra: "Matemática aplicada a pesquisas sobre Desastres Naturais - perspectivas de colaboração" - Dr. Leonardo Bacelar Lima Santos - CEMADEN
Está em cadastro na SBMAC um Comitê Temático em Matemática Computacional aplicada a pesquisas em Desastres Naturais, contando com membros do Cemaden (Centro Nacional de Monitoramento e Alertas de Desastres Naturais) e da UNIFESP - vizinhos de Parque Tecnológico. Nesta palestra será apresentada a trajetória e perspectivas desse grupo, com destaque para as possibilidades de colaboração para pesquisa e oportunidades de bolsas.
Dr. Leonardo Bacelar Lima Santos
Pesquisador Adjunto do Centro Nacional de Monitoramento e Aleta de Desastres Naturais (CEMADEN). Doutorado em Computação Aplicada (CAP) pelo Instituto Nacional de Pesquisas Espaciais (INPE), na área de modelagem computacional e redes complexas espaciais aplicadas a questões de mobilidade urbana em contexto epidemiológico. Mestrado pela CAP na área de Problemas Inversos em Sistemas Térmicos e Dano Estrutural. Graduação em Bacharel em Física pela Universidade Federal da Bahia com ênfase em Física Estatística e Sistemas Complexos. Possui mais de 15 artigos completos publicados em periódicos, mais de 100 citações, mais de 20 artigos completos em congressos e diversos trabalhos apresentados em congressos de desastres naturais, matemática, computação, física, biologia e medicina. Experiência didática em graduação e pós-graduação, em disciplinas como Redes Complexas (na UNIFESP), Inteligência Artificial, Gestão de Projetos, Pessoas e Conhecimento. Professor associado à pós-graduação em Computação Aplicada do INPE. Coordenador do Comitê Temático "Matemática Computacional aplicada a Pesquisas sobre Desastres Naturais", em ciração no âmbito da SBMAC - Sociedade Brasileira de Matemática Aplicada e Computacional.
Palestra: "Modelagem de escoamentos de gases rarefeitos" - Dr. Jeronimo dos Santos Travelho - INPE
Características dos escoamentos de gases rarefeitos. Métodos de solução das equações de balanço para escoamentos de gases rarefeitos. Método de Monte Carlo.
Dr. Jeronimo dos Santos Travelho
possui graduação em Física pela Universidade de São Paulo(1974), mestrado em Engenharia e Tecnologia Espaciais pelo Instituto Nacional de Pesquisas Espaciais(1980) e doutorado em Aerospace Engineering pela Georgia Institute of Technology(1987). Atualmente é PESQUISADOR TITULAR III do Instituto Nacional de Pesquisas Espaciais. Tem experiência na área de Engenharia Aeroespacial, com ênfase em Propulsão Aeroespacial. Atuando principalmente nos seguintes temas:Combustão, Fuligem, Ion, Laser, Tomografia.
Estatística
Palestra: "Pensamento Estatístico: Por quê é tão importante?" - Doris S M Fontes - Presidente do CONRE-3
Doris S M Fontes
Bacharel em Estatística pelo IME-USP (82), atua na área de pesquisa de mercado desde 1983 e mantém uma empresa de consultoria desde 1987. Em 2004 foi nomeada pelo CONFE (Conselho Federal de Estatística) Coordenadora Geral do CONRE-3 (Conselho Regional de Estatística da 3ª Região – SP/PR/MT/MS); em 2010 foi eleita Presidente desta regional pelos seus estatísticos registrados, em 2014 exerceu o cargo de Vice-Presidente e, em 2015, foi reeleita Presidente. Tem atuado no fortalecimento da área da estatística no Brasil, realizando e participando de eventos para pesquisadores, profissionais e estudantes universitários e do ensino médio. Entre as ações de divulgação da nossa área incluem-se apoio às entidades governamentais e trabalho de esclarecimentos sobre as atribuições de nossos profissionais junto a empresas públicas e privadas. Trata-se de um trabalho voluntário, sem remuneração, com mandato até Dezembro de 2015.
Palestra: "Analytics como ferramenta de Eficiência e Inovação na Gestão Pública" - Josias Oliveira - STATSOFT
Ainda que a Gestão de Órgãos Públicos não ouse tanto como a Iniciativa Privada, é importante perceber que as áreas de aplicação de Analytics no Setor Público são muito semelhantes àquelas que existem em qualquer empresa: Finanças, Marketing, Relacionamento, Logística e muitas outras áreas. Com isso, é possível imaginar que assuntos, tais como: Produtividade, crescimento de Receita, redução de Despesas, eficiência na Gestão Pública, avaliação do Governo são temas que devem estar à mesa do Gestor Público a todo o tempo.
Nessa seção, iremos falar sobre aplicações de Analytics no Setor Público e apresentar alguns Cases que inspirem o uso de Ciência de Dados para aumentar a eficiência na Gestão Pública.
Macro-processos em Órgãos Públicos
Gerar valor analítico na tomada de decisão
O Ecossistema de Analytics
Cases de Sucesso
Projeto Preço de Referência – Secretaria da Fazenda do Rio Grande do Sul;
Projeto Eficiência no Orçamento da Saúde – Instituto de Previdência do Estado do Rio Grande do Sul;
Fraude em Benefícios da Previdência Social – DataPrev Brasília
Eficiência em Processos Jurídicos – Tribunal de Justiça de Florianópolis e Rio de Janeiro
Josias Oliveira
CEO – StatSoft South America, já colaborou com grandes empresas, sendo Gerente Geral de Modelagem Estatística – UOL PagSeguro e Gerente de Administração de Vendas e Inteligência de Mercado – AVON Cosmetics Inc. Tem formação em Bacharelado e Licenciatura em Matemática USP – Universidade de São Paulo, Mestrado em Estatística – UNICAMP – Universidade Estadual de Campinas e MBA Gestão de Negócios – FIA – Fundação Instituto de Administração.
Minicurso: "Introdução ao R/ Shiny" - Ricardo Manhães Savii e Profa. Dra. Camila Bertini Martins - UNIFESP
O objetivo desse minicurso é introduzir os conceitos e capacitar os participantes à explorar as funcionalidades do software R. O R é uma linguagem de programação muito utilizada para análises estatísticas e produção de gráficos. Este minicurso abrange aspectos básicos, com ênfase na compreensão da linguagem, na estruturação dos códigos e funções/pacotes utilizados no software. Dedicaremos um tempo para aprofundar conhecimentos no pacote Shiny, um framework de desenvolvimento de aplicativos web com o potêncial da linguagem R disponível. Material online: https://www.gitbook.com/book/ricoms/r-e-shiny-semacomp-2016/details
Profa. Dra. Camila Bertini Martins
Bacharel (2006) e Mestre (2009) em Estatística pela Universidade Federal de São Carlos e Doutora (2013) em Estatística pelo Instituto de Matemática e Estatística da Universidade de São Paulo. É professora adjunta no Instituto de Ciência e Tecnologia da Universidade Federal de São Paulo, Campus São José dos Campos. Tem experiência na área de Probabilidade e Estatística, com ênfase em Metanálise, Análise de Sobrevivência e Confiabilidade, Modelos de Regressão e Inferência Bayesiana.
Ricardo Manhães Savii
aluno da UNIFESP desde Janeiro de 2014 no curso Bacharelado em Ciência e Tecnologia. Em 2017 darei continuidade para o curso de Engenharia de Computação com previsão de fim em Dezembro de 2018. Atuou de Novembro de 2014 até Julho de 2016 como pesquisador bolsista na área de aprendizado de máquina e tem interesse de iniciar carreira em desenvolvimento de sistemas inteligentes e aplicar em mercado os conhecimento adquiridos na faculdade.
Palestra: "Marco legal de C&T" - Profa Dra Helena Bonciani Nader - Presidente do SBPC
presidente da sbpc sobre o marco legal de c&t.
Profa Dra Helena Bonciani Nader
Helena B. Nader possui título de bacharel em Ciências Biomédicas pela Universidade Federal de São Paulo (Unifesp) (1970), licenciatura em Biologia pela Universidade de São Paulo (1971), doutorado em Biologia Molecular pela Unifesp (1974), pós-doutorado na University of Southern California (1977) com bolsa da Fogarty (NIH). É professora titular da Unifesp (1989), bolsista de produtividade do CNPq (nível 1A), membro titular da Academia de Ciências de São Paulo (1989), da Academia Brasileira de Ciências (1999), e da World Academy of Science (TWAS) for the advancement of science in developing countries (2013). Recebeu diversas honrarias: Classe Comendador da Ordem Nacional do Mérito Científico (2002), Classe Grã-Cruz da Ordem Nacional do Mérito Científico (2008), Professor Honoris Causa da Universidade Federal do Rio Grande do Norte (2005), Prêmio Scopus 2007 (Elsevier/Capes), Medalha de Ouro Moacyr Alvaro (2012), Medalha Mérito Tamandaré (Marinha do Brasil) (2013), Ordem do Mérito Naval, classe Grã-Mestra, Marinha do Brasil (2015); Ordem do Mérito da Defesa, grau Oficial, Presidência da República (2016). Exerceu várias funções administrativas entre elas a Pró-Reitoria de Graduação 1999-2003) e de Pós-Graduação e Pesquisa da Unifesp (2007-2008). Foi membro e coordenadora do CABF do CNPq e adjunta do comitê de Biológicas II da CAPES, presidente da Sociedade Brasileira de Bioquímica e Biologia Molecular (SBBq, 2009-2010), vice-presidente da Sociedade Brasileira para o Progresso da Ciência (SBPC, 2007-2011). Atualmente, é presidente da SBPC (2011-2017), membro da coordenação de biológicas da Fapesp e do Conselho Superior da Capes. É assessora de diversos periódicos nacionais e internacionais. Professor visitante da Loyola Medical School (Chicago, USA), W. Alton Jones Cell Science Center (NY, USA), Istituto Scientifico G. Ronzoni (Milão, Itália) e Opocrin Research Laboratories (Modena, Itália). Seus trabalhos envolvem glicoquímica e glicobiologia estando voltados para o estudo da estrutura e função biológica de proteoglicanos, em especial de heparina e heparam sulfato, com especial ênfase a função desses compostos na hemostasia, no controle da divisão celular e na transformação celular.
Visita ao CEMADEN
Responsável Profa. Dra. Cláudia Aline
Mais detalhes em breve
O objetivo deste artigo é apresentar o sistema de controle e armazenagem de dados gerados durante a execução de Ensaios em Voo, utilizando o conceito de gerenciamento de armazenamento hierárquico HSM – Hierarchical Storage Management. Este sistema tem como propósito automatizar o processo de migração dos dados entre servidores e storages, minimizando custos e falhas na etapa de processamento de dados pós-voo às diversas áreas de engenharia da Embraer S.A..
Conhecimento matemático e o raciocínio estatístico têm sido peças fundamentais para o desenvolvimento da sociedade, das tecnologias que utilizamos, das pesquisas nos diversos campos. No Brasil o hábito do uso cotidiano das estatísticas e da contratação de mão de obra do estatístico ainda são tímidos. Como mudar?