Invariance for Single Curved Manifold Pedro Machado Manh˜aes de Castro Centro de Inform´atica (CIn) Universidade Federal de Pernambuco (UFPE) Recife, Brasil www.cin.ufpe.br/∼pmmc

Source URL: www.decom.ufop.br

Universidade Federal de Pernambuco Centro de Inform´atica P´os-gradua¸c˜ao em Ciˆencia da Computa¸c˜ao MODULAR REASONING FOR SOFTWARE

Source URL: twiki.cin.ufpe.br

Universidade de Pernambuco Pró-reitora de Pós-Graduação, Pesquisa e Inovação Coordenação Geral de Pós-Graduação

Source URL: www.upe.br

Marcelo d’Amorim Assistant Professor, Computer Science Department Federal University of Pernambuco (UFPE), Recife, Brazil Address Universidade Federal de Pernambuco - UFPE - CIn Av. Jornalista Anibal Fernandes, S/N

Source URL: www.cin.ufpe.br

ASPECTOS DA SIMBIOSE MICORRÍZICA ARBUSCULAR Uided Maaze Tiburcio Cavalcante Bruno Tomio Goto Leonor Costa Maia Universidade Federal de Pernambuco, Recife, Pernambuco.

Source URL: inct.florabrasil.net

Maximal surfaces with planar lines of curvature Maria Luiza Leite Dep. of Mathematics, Universidade Federal de Pernambuco, Recife, Brazil Abstract

Source URL: xtsunxet.usc.es

• Minimal surfaces
• Surfaces
• Differential geometry of surfaces
• Differential geometry
• Curvature
• Catenoid
• Enneper surface
• Computer representation of surfaces
• Principal curvature
• Associate family
• Mean curvature

Procedimento Eficiente Para Análise De Seções Em Concreto Armado Usando O Modelo De Treliça Com Amolecimento Jordlly R. B. Silva1, Bernardo Horowitz2 1 Universidade Federal de Pernambuco / Departamento de Engenharia

Source URL: www.abpe.org.br

Report for the year 2015 and future activities SOLAS Brazil compiled by:Leticia C. da Cunha (Brazlian SOLAS Representative, Universidade do Estado do Rio de Janeiro), Frédéric K. Bonou (Universidade Federal de Pernambu

Source URL: www.solas-int.org

• Oceanography
• States of Brazil
• Chemical oceanography
• Effects of global warming
• Biological oceanography
• Ocean acidification
• Solas
• Partnership for Observation of the Global Oceans
• Sea
• Rio de Janeiro
• Pernambuco
• Brazilian Navy

Report for the year 2015 and future activities SOLAS Brazil compiled by:Leticia C. da Cunha (Brazlian SOLAS Representative, Universidade do Estado do Rio de Janeiro), Frédéric K. Bonou (Universidade Federal de Pernambu

Source URL: solas-int.org

• Oceanography
• States of Brazil
• Chemical oceanography
• Effects of global warming
• Biological oceanography
• Ocean acidification
• Solas
• Partnership for Observation of the Global Oceans
• Rio de Janeiro
• Sea
• Pernambuco
• Brazilian Navy

Universidade de Pernambuco Escola Polit´ecnica de Pernambuco Departamento de Sistemas e Computa¸c˜ao P´os-gradua¸c˜ao em Engenharia da Computa¸c˜ao

Source URL: www.cin.ufpe.br