Paulo Augusto Silva Veloso
Paulo Augusto Silva Veloso, Brazilian computer scientist and logician (Porto Alegre 18 April 1944 – With S.R. M. Veloso, P. Viana, R. Freitas, M. Benevides & C. Delgado introduced modal logical systems for the precise treatment of assertions involving some versions of vague notions (2010) With A.E.M. Carlini, M.A. Casanova & A.L. Furtado introduced a formalism to specify interactive storytelling genres in the context of digital entertainment (2010) With R. Freitas, S.R.M. Veloso & P. Viana gave a formal presentation of a logical system for graph relational calculus and proved that graph relational language has the same expressive power as a first-order positive fragment (2009) With S.R.M. Veloso & L.B. Vana introduced deductive systems for logics of generally (2008) With S.R.M. Veloso introduced a stepwise approach for computing symbolic diagrams (2008) With S.R.M. Veloso introduced the idea of functional interpretation for generally logics (2004) With S.R.M. Veloso showed ultrafilter logic can be faithfully embedded into coherent functions (2004) and compatible predicates (2005) With R. Freitas, J.P. Viana, M.R.F. Benevides & S.R.M. Veloso showed that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (2003) With T.S.E. Maibaum & M.R. Sadler proved the basic results for abstract data types (2005) With S.R.M. Veloso introduced the ideas of special functions in logics for generally (2002) Established that ultrafilter logic has more expressive power than classical first-order logic (2000) Showed that every fork algebra of relations can be represented by a Cartesian one (1997) Established the independence of the fork axioms (1997) Showed that finite fork algebras are essentially Boolean algebras (1996) Gave a new, simpler proof of the modularization theorem for logical specifications (1993) With R.C.B. Martins, C.J. P. Lucena & D.D. Cowan presented a new programming method, the data transform programming method (1984) With A.M. Sette & W.A. Carnielli introduced new formal perspectives to the question of default reasoning based on the notion of ultrafilters
Paul Andries Van der Byl
Paul Andries Van der Byl (Bijl), South African mycologist and plant pathologist (Natvellei, Stellenbosch, Western Cape Province 25 May 1888 – Stellenbosch, Western Cape Province 25 July 1939) Authored some 60 publications Described at least 64 new fungal species specially plant parasitic fungi On a fungus, Ovulariopsis papayae n.sp. – which causes powdery mildew on the leaves of the pawpaw plant (Carica papaya Linn.). Trans. Roy. Soc. South Africa 9:187-9, 1921 A fungus, Gibellula haygarthis, spec. nov., on a spider of the family Lycosidae. Trans. Royal Soc. South Africa 10:149-50, 1922 HONORS Vanderbylia Reid 1973 (Fungi)
Pablo Valenzuela Valdés
Pablo de Tarso Rafael Antonio Valenzuela Valdés, Chilean biomedical researcher and manager (Santiago de Chile 13 June 1941 – With biochemist William Rutter & Edward Penhoet the biotechnology company Chiron Corporation in United States (1981) Co-discovered the hepatitis C virus Sequenced the hepatitis B, AIDS, delta hepatitis and salmon’s infectious pancreatic necrosis viruses Sequenced totally Piscirickettsia salmonis genome DEVELOPED The world’s first recombinant vaccine (against hepatitis B virus) in 1981 Blood banking tests The first blood test for hepatitis C virus New technologies for expression of recombinant viral antigens A number of viral antigens used in vaccines and blood diagnostic tests A new technology for production of foreign proteins in yeasts such as human insulin and human growth factor Probes and monoclonal antibodies for detecting pathogens in salmon eggs Vaccines for salmon aquiculture Technologies for diagnosis and control for a number of viruses that attack grapevines Over 40 patents HONOURS Doctor Honoris Causa, Université du Bordeaux (2005) Lifetime Achievement Award, Bay Bio Association of California (USA) 2013 Gold Medal, World Intellectual Property Organization (2015)
Oswaldo Vital Brazil
Oswaldo Vital Brazil, Brazilian pharmacologist and toxinologist (São Paulo 02 March 1912 –Campinas, São Paulo State 26 October 2008) Son of physician Vital Brazil Gained international recognition on action mechanisms of venoms and toxins from snakes, spiders and scorpions First application in man of anti Ctenus serum Imunização por via intradérmica e por via sub-cutânea pelo soro antictenus. Método de dosagem e primeira aplicação no homem. Anais Paul. Med. Cir. 60(5):555-63, 1950 Obtained, purified and clarified the chemical structure of beeberine (1946-7) Isolated chondrocurare from Chondrodendrum platyphyllum (1942) used as muscle relaxant Demonstrated pharmacological basis of venom actions from snakes Micrurus sp. and Crotalus sp. Discovered that 3,4 diaminopyridine is able to inhibit dessensitization phenomenon (1983) With A. P. Corrado discovered neuromuscular action of antibiotics and the blocking mechanism of streptomycin in high doses (1957) With J. Prado-Franceschi, M.G. Lomba and N.F. Heluany discovered convulxine a new toxin from rattle snake venom (1967) With A. Barrio described an apparatus for obtaining bird spider venom employing electrical shock With M. Lomba, J.C. Barberio & J. Kieffer. A biosynthetic method for labeling snake venoms. Intern. Conference Radioactive Isotope in Pharmacol. (1969)
Orlando Eugenio Villamayor
Orlando Eugenio Villamayor, Argentine mathematician (Buenos Aires 22 June 1923 – Paris, France 22 February 1998) Formulated algebraic theory of quadratic forms and Clifford algebras for projective modules of finite type (with Artibano Micali) Introduced the concept of V-rings With K.R. Mount introduced the concept of Jacobian extension of ideals (1974) Authored Nuevo planteo de la ecuación dinâmica de los gases (1949) EPONYMY Karoubi-Villamayor K algebraic functors Karoubi-Villamayor K groups Hattori-Villamayor-Zelinsky sequences Villamayor algebras Villamayor theorem (1954) Villamayor lemma Villamayor-Zelinsky map
Nelson Vaz
Nelson Monteiro Vaz, Brazilian immunologist and science philosopher (Niterói, Rio de Janeiro State 28 September 1936 – Regarded as a world pioneer in tolerance induction With Chang & B.B. Levine proposed the molecular structure of antigen-antibody complexes involved in mast cells degranuation (1970) Advanced the study of oral tolerance for his original contributions to mucosae immunology (1970s) With Bernard Levine devised a method of inducing prolonged intense IgE responses in mice (1970s) Characterized the MHC-related autosomic dominant genes involved in recognition of immunogenicity First to show the MHC involvement in the reactivity to heterologous proteins With B.B. Levine. Immune responsiveness of mice to low doses of antigen. Relationship to histocompatibility (H-2) type. Science 168:852-6, 1970 With E.M. Vaz & B.B. Levine. Relationship H2 genotype and immune responsiveness to low doses of ovalbumin in the mouse. J. Immunol. 104:1572-8, 1970 With E.M. Vaz & B.B. Levine. Persistent formation of reagin in mine injected with low doses of ovalbumin. Immunol. 21:11-6, 1971 Proposed the relationship between IgE synthesis and oligoclonal expansions of T cells (first in 1974; revised later) With Maia, Hanson & Lynch showed that the tolerance induced orally is a carrier-specific T-cell effect (1977) Studied the bystander suppression phenomenon (1981) 10 years before the term was coined Obtained the first evidences which brain is influenced by allergic reactions and vice-versa (1990s) With J.S. Menezes, M. Russo, A.M.C. Faria et al. showed that exposure to food proteins after weaning has a physiological role in the maturation of immune system both locally and systematically (2003) With G.C. Ramos, C.M. Rodrigues, G.M. Azevedo et al. demonstrated that inhibitory effects of parenteral injection of tlerated antigens are much more general than suggested (2003) With J.S. Menezes, M.C. Andrade, B. Senra et al. demonstrated the role of elemental diets in modulating immunological activities in mice (2006) With H. Maturana & F. Varela reformulated the international scientific thinking in this field Enunciated a theory about diseases based on operating mode of own organism With I. Mota, W. Dias da Silva and O.G. Bier, published Imunologia Básica e Aplicada (Fundamentals of Immunology), translated into English and German (1973)