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 report two ciprofloxacin and ofloxacin-resistant Neisseria gonorrhoeae strains that were isolated from the urethral discharge of male patients at the sexually transmitted diseases outpatient clinic of the Alfredo da Matta Foundation (Manaus, state of Amazonas, Brazil). The gonococci displayed minimal inhibitory concentrations (> 32.00 µg/mL) and three(More)
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)
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)