Populations of Triatomas infestans with different susceptibility to pyrethroid insecticides were reported have distinct evolutionary and epidemiological characteristics. We aimed at evaluating metacyclogenesis parasite load as measures vector competence feeding/defecation patterns vectorial capacity estimates a group resistant (“R”) susceptible (“S”) T. infestans. Third instar nymphs each fed o...

Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We sketch the relation with two established vectorial lambda-calculi. Then we study the problems arising from the addition of a fixed point combinator and how to m...

A method to evaluate the physical realizability of an arbitrary three-dimensional vectorial field distribution in the focal area is proposed. A parameter that measures the similarity between the designed (target) field and the physically achievable beam is provided. This analysis is carried out within the framework of the closest electromagnetic field to a given vectorial function, and the proc...

The two most important criteria for vectorial Boolean functions used as S-boxes in block ci-phers are differential uniformity and nonlinearity. Previous work in this field has focused onlyon nonlinearity and a different criterion, autocorrelation. In this paper, we describe the resultsof experiments in using simulated annealing, memetic algorithms, and ant colony optimisation to...

We show that the vectorial μ-calculus model checking problem over arbitrary graphs reduces to the vectorial, existential μ-calculus model checking problem over S5 graphs. We also draw some consequences of this fact. Moreover, we give a proof that satisfiability of μ-calculus in S5 is NP -complete, and by using S5 graphs we give a new proof that the satisfiability problem of the existential μ-ca...

The essential purpose of this paper is to describe a framework, in a simple and complete way, which enables the concurrent visualization of audio/video streaming combined with its corresponding synchronous cooperative vectorial information. The architecture presented uses Java JMF API, which offers a simple, robust, extendable, multi-platform solution. It also requires no direct maintenance as ...

Efficient vectorial processes such as the transduction of bioenergy and signals are characteristics that strikingly distinguish living systems from inanimate materials. Recent developments in biophysical and biochemical techniques have provided new information about the structure, dynamics and interaction of biomolecules involved in vectorial life processes at multiple length and temporal scale...

We show that a hyperbolic system with a mathematical entropy can be discretized with vectorial lattice Boltzmann schemes using the methodology of kinetic representation of the dual entropy. We test this approach for the shallow water equations in one and two spatial dimensions. We obtain interesting results for a shock tube, reflection of a shock wave and non-stationary two-dimensional propagat...

We show that the vectorial μ-calculus model checking problem over arbitrary graphs reduces to the vectorial, existential μ-calculus model checking problem over S5 graphs. We also draw some consequences of this fact. Moreover, we give a proof that satisfiability of μ-calculus in S5 is NP -complete, and by using S5 graphs we give a new proof that the satisfiability problem of the existential μ-ca...