Resultados da busca por Autor

141

Abundance and richness of Arctiinae moths throughout the night in a Cerrado area

por Moreno,Carolina

Publicado em 2021

Outros Autores: “...Barbosa,Ângela S....”
Acessar documento

Artigo

142

Comparative Study of the Stridulatorium Sulcus, Buccula and Rostrum of Nymphs of Triatoma klugi Carcavallo et al, Triatoma vandae Carcavallo et al and Triatoma williami Galvão et a...

por Silva, Maria B. A.

Publicado em 2010

Outros Autores: “...Barbosa, Helene S....”
Acessar documento

Artigo

143

Schistosomiasis Control Based on Repeated Chemotherapy in a Rural Village of the Sugar-Cane Zone in Northeast Brazil

por Pieri, Otávio S.

Publicado em 1998

Outros Autores: “...Barbosa, Constança S....”
Acessar documento

Artigo

144

Trypanosoma cruzi recognition by macrophages and muscle cells: perspectives after a 15-year study

por Araujo-Jorge, Tania C.

Publicado em 1992

Outros Autores: “...Barbosa, Helene S....”
Acessar documento

Artigo

145

Quantum tree-based planning

por Sequeira, Andre

Publicado em 2021

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

146

Proof theory for hybrid(ised) logics

por Neves, Renato

Publicado em 2016

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

147

Fuzzy automata as coalgebras

por Liu, Ai

Publicado em 2021

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

148

A single complete relational rule for coalgebraic refinement

por Rodrigues, César J.

Publicado em 2009

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

149

Continuity as a computational effect

por Neves, Renato

Publicado em 2016

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

150

A logic for the stepwise development of reactive systems

por Madeira, Alexandre Leite Castro

Publicado em 2018

Outros Autores: “...Barbosa, Luís S....”
Acessar documento

Artigo

151

From algebras to objects: generation and composition

por Cruz, A. Miguel

Publicado em 2005

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

152

A semantics and a logic for Fuzzy Arden Syntax

por Gomes, Leandro Rafael Moreira

Publicado em 2021

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

153

Refinement in hybridised institutions

por Madeira, Alexandre Leite Castro

Publicado em 2015

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

154

Towards a coordination model for interactive systems

por Barbosa, Marco António

Publicado em 2007

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

155

A component-based framework for certification of components in a cloud of HPC services

por de Oliveira Dantas, Allberson Bruno

Publicado em 2020

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

156

Traveled Distance Estimation Algorithm for Indoor Localization

por Terra, Rui

Publicado em 2014

Outros Autores: “...Barbosa, Ramiro S....”
Acessar documento

Artigo

157

Neural control of an autonomous robot

por Pinto, Adriano

Publicado em 2014

Outros Autores: “...Barbosa, Ramiro S....”
Acessar documento

Artigo

158

Using fractional derivatives for the joint ontrol of hexapod robots

por Silva, Manuel F.

Publicado em 2008

Outros Autores: “...Barbosa, Ramiro S....”
Acessar documento

Artigo

159

Complex-order dynamics in hexapod locomotion

por Silva, Manuel F.

Publicado em 2006

Outros Autores: “...Barbosa, Ramiro S....”
Acessar documento

Artigo

160

SHACC: a functional prototyper for a component calculus

por Martins, André

Publicado em 2011

Outros Autores: “...Barbosa, Luís S....”
Acessar documento

Artigo