Encontrados 10 documentos, a visualizar página 1 de 1

Ordenado por Data

Logic training through algorithmic problem solving

Ferreira, João Fernando; Mendes, Alexandra; Cunha, Alcino; Baquero, Carlos; Silva, Paulo; Barbosa, L. S.; Oliveira, José Nuno Fonseca

Available for individual study only. ; Although much of mathematics is algorithmic in nature, the skills needed to formulate and solve algorithmic problems do not form an integral part of mathematics education. In particular, logic, which is central to algorithm development, is rarely taught explicitly at preuniversity level, under the justification that it is implicit in mathematics and therefore does not nee...


Combinação de anlodipino e enalaprila em pacientes hipertensos com doença coron...

Rienzo,Marcos; Saraiva,José Francisco Kerr; Nogueira,Paulo Roberto; Gomes,Everli Pinheiro de Souza Gonçalves; Moretti,Miguel Antonio

FUNDAMENTO: Pacientes (pts) com doença coronariana (DAC) estável podem se beneficiar de menor pressão arterial (PA), conforme estudos recentes. OBJETIVO: Avaliar a eficácia e a tolerabilidade da combinação fixa anlodipino + enalaprila, comparada a anlodipino na normalização da PA diastólica (PAD) (< 85 mmHg), em pts com DAC e HAS. MÉTODOS: Estudo duplo-cego, randomizado, com dois grupos de pts com PAD > 90 e <1...

Data: 2009   |   Origem: OASIS br

Saúde cardiovascular do homem brasileiro: visão da Sociedade Brasileira de Card...

Chagas,Antonio Carlos Palandri; Zilli,Emilio César; Ferreira,João Fernando Monteiro; Moretti,Miguel Antonio; Ramos,Rui Fernando

Data: 2009   |   Origem: OASIS br

Which mathematics for the Information Society?

Ferreira, João Fernando; Mendes, Alexandra; Backhouse, Roland; Barbosa, L. S.

MathIS is a new project that aims to reinvigorate secondary- school mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discover...


Isquemia silenciosa na doença coronariana estável em vigência de tratamento med...

Ferreira,João Fernando Monteiro; César,Luiz Antonio Machado; Gruppi,César J.; Giorgi,Dante M. A.; Hueb,Whady A.; Mansur,Antonio P.; Ramires,José A. F.

FUNDAMENTO: Existem poucos dados sobre comportamento da isquemia miocárdica às atividades habituais na vigência da medicação em pacientes com doença coronariana. OBJETIVO: Estudar mecanismo gerador da isquemia miocárdica avaliando-se o comportamento da pressão arterial e da freqüência cardíaca em pacientes com doença aterosclerótica estável, medicados e com evidência de isquemia. MÉTODOS: Cinqüenta pacientes (4...

Data: 2007   |   Origem: OASIS br

JaSkel: a java skeleton-based framework for structured cluster and grid computing

Ferreira, João Fernando; Sobral, João Luís Ferreira; Proença, Alberto José

This paper presents JaSkel, a skeleton-based framework to develop parallel and grid applications. The framework provides a set of Java abstract classes as a skeleton catalogue, which implements recurring parallel interaction paradigms. This approach aims to improve code efficiency and portability. It also helps to structure scalable applications through the refinement and composition of skeletons. Evaluation re...


Cubozoa e Scyphozoa (Cnidaria: Medusozoa) de águas costeiras do Brasil

Morandini,André C.; Ascher,Denise; Stampar,Sergio N.; Ferreira,João Fernando V.

As espécies de Cubozoa e Scyphozoa costeiras que ocorrem no Brasil são descritas, com base em espécimes de coleções de museus e exemplares recém-coletados. Chaves de identificação e um glossário também são apresentados. As espécies descritas são: Aurelia sp.; Cassiopea xamachana Bigelow, 1892; Chiropsalmus quadrumanus (Müller, 1859); Chrysaora lactea Eschscholtz, 1829; Drymonema dalmatinum Haeckel, 1880; Linuch...

Data: 2005   |   Origem: OASIS br

Parc#: parallel computing with c# in .net

Ferreira, João Fernando; Sobral, João Luís Ferreira

This paper describes experiments with the development of a parallel computing platform on top of a compatible C# implementation: the Mono project. This implementation has the advantage of running on both Windows and UNIX platforms and has reached a stable state. This paper presents performance results obtained and compares these results with implementations in Java/RMI. The results show that the Mono network pe...


Diretrizes de doença coronariana crônica angina estável

Mansur,Antonio de Pádua; Armaganijan,Dikran; Amino,José Geraldo; Sousa,Antônio Carlos; Simão,Antonio Felipe; Brito,Augusto Xavier de; Caramelli,Bruno

Data: 2004   |   Origem: OASIS br

Does a circadian variation occur in myocardial ischemia over 48 hours in patien...

César,Luiz Antônio Machado; Ferreira,João Fernando Monteiro; Grupi,César J.; Pamplona,David; Moretti,Miguel A.; Pferfmann,Elcio; Ramires,José A. F.

OBJECTIVE: To study the incidence of and variation in myocardial ischemia over 48 hours in patients with unstable angina. METHODS: Thirty-nine patients with unstable angina underwent long-term electrocardiography for 48 hours. The number of events and the period of time of ischemia (in minutes) were analyzed for the 48 hours, in two periods of 24 hours, and in periods of 4 hours. RESULTS: We analyzed 1755.8 hou...

Data: 2000   |   Origem: OASIS br

10 Resultados

Texto Pesquisado

Refinar resultados

Autor











Data








Tipo de Documento




Recurso



Assunto















    Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento União Europeia