Using Aspect-Oriented Programming in the Development of a Multi-strategy Theorem Prover

At the first stage of the measurements results analysis, the gear wheel cast surface image was compared with the casting mould 3D-CAD model (fig.. Next, the measurements results

Using the data entered, the materials characteristics built in the database system, and the knowledge base on changes in prop- erties due to additional treatment, the

social assistance. The protection of jobs within some enterprises, cooperatives, forms of economical associations, constitute an efficient social policy, totally different from

Ousasse apontar algumas hipóteses para a solução desse problema público a partir do exposto dos autores usados como base para fundamentação teórica, da análise dos dados

The probability of attending school four our group of interest in this region increased by 6.5 percentage points after the expansion of the Bolsa Família program in 2007 and

We included trials that evaluated breast cancer screening with mammography, self examination, or clinical examination; colorectal cancer screening with sigmoidoscopy or

Você poderia dizer que a razão maior do porque pessoas procuram um trabalho vocal é porque eles querem “cantar” – e esse desejo de cantar, vem também porque frequente-

Nesses textos, bem como em alguns contos de Fialho (ainda que de forma diversa), o confinamento urbano origina um imaginário de degradação que só a transformação do limite