.png)
.png)
Accessibility Tools
Paulo Costa Carvalho, orientado pelo Prof. Valmir Carneiro Barbosa teve sua tese de doutorado, defendida em 2010, escolhida para receber Menção Honrosa no Prêmio Capes de Teses, Edição 2011, na área de Ciência da Computação.
Os prêmios serão entregues, em cerimônia na Sede da Capes, em Brasília, no dia 11 de Julho.
A tese de Paulo Costa Carvalho intitula-se Um Ambiente Computacional para Proteômica e pode ser vista através deste link.
O PESC representará o Rio de Janeiro no XX Concurso de Teses e Dissertações, CTD/SBC no XXVII Congresso da SBC, 03 e 04 de julho de 2007. O CTD 2007 seleciona e premia as melhores teses de doutorado e dissertações de mestrado da área de Computação do país concluídos, i.e., defendidos aprovados, no período de 1o de janeiro de 2006 a 31 de dezembro de 2006. A divulgação acontece através da apresentação dos trabalhos no Workshop de Teses e Dissertações e da publicação dos mesmos nos anais do Congresso em CD. No Workshop de Teses e Dissertações serão escolhidos os vencedores. Este ano foram selecionados para o Workshop de Teses e Dissertações 6 Teses de Doutorado e 10 Dissertações de Mestrado. Apenas uma Tese de Doutorado e uma Dissertação de Mestrado do Rio de Janeiro foram selecionadas, ambas da linha de Algoritmos e Combinatória do PESC.
Veja a lista de todos dos selecionados em
http://www.sbc.de9.ime.eb.br/br/index.php?view=ctd&from=eventos&lang=br
A linha de pesquisa em Otimização está disponibilizando gratuitamente aos interessados uma implementação do algoritmo Simplex fases 1 e 2 para Programação Linear (PL).
Esta implementação foi desenvolvida pelo mestrando Leizer de Lima Pinto sob a orientação do Professor Cláudio Bornstein com fins didáticos, em 2005/2006.
No desenvolvimento do SPLINT foi utilizada a linguagem de programação PHP, a qual nos permite criar páginas dinâmicas para a internet. Trata-se de um software interativo que visa facilitar o aprendizado do usuário no que concerne à mecânica do algoritmo. Além disso, possibilita alterações de alguns procedimentos cuja eficiência poderá ser testada pelo usuário. O usuário deverá tomar várias decisões, as quais são analisadas pelo SPLINT. As decisões erradas são computadas e o número de erros é exibido no final da resolução.
