William Ferreira

Learn More
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this papes we build upon John Reppy's reduction semantics for CML by constructing a compositional operational semantics for a fragment of CML, based on higher-order process algebra. We use this to build a semantic theory for CML,(More)
We investigate a language obtained by extending the typed call-by-value λ calculus with the communication constructs of CCS. The language contains two interrelated syntactic classes, processes and expressions. The former are defined using the CCS constructs of choice, parallelism, and action prefixing of expressions, where these expressions come from a(More)
We describe a further simplification of a dipstick assay for the detection of antibodies to phenolic glycolipid I of Mycobacterium leprae by using whole blood and evaluated the assay performance in the leprosy endemic area of Amazonas in Brazil. The agreement with the 'gold' standard ELISA was 94.9% (kappa value = 0.87). This simple assay may be useful to(More)
Antibiotic therapy in hematologic patients, often weak and susceptible to a wide range of infections, particularly nosocomial infections derived from long hospitalization periods, is a challenging issue. This paper presents ESBL-producing strains isolated from such hematologic patients treated at the Amazon Hematology and Hemotherapy Foundation (HEMOAM) in(More)
  • A. V. Corro, W. Ferreira, K. Tenenblat, K. TENENBLAT
  • 2003
We provide a method to obtain linear Weingarten surfaces from a given such surface, by imposing a one parameter algebraic condition on a Ribaucour transformation. Our main result extends classical results for surfaces of constant Gaussian or mean curvature. By applying the theory to the cylinder, we obtain a two-parameter family of complete linear(More)
  • 1