[BOOK][B] Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

C Braga, PC Ölveczky - 2016 - books.google.com
… Many colleagues and friends contributed to FACS 2015. We … who submitted their work to
FACS 2015. We are grateful to the … his assistance in organizing FACS 2015, and acknowledge …

Interaction of Mycobacterium leprae with the HaCaT human keratinocyte cell line: new frontiers in the cellular immunology of leprosy

ECD Lyrio, IC Campos‐Souza… - Experimental …, 2015 - Wiley Online Library
… ; and drug resistance still occurs in many countries including Brazil, India and Africa 3, 4. Major
FACS analysis The FACS procedure used in our laboratory was performed as previously …

Formal Aspects of Component Software

C Braga, PC Ölveczky - 2016 - Springer
… Fluminense, Niterói, Brazil, during October 14–16, 2015. … authors who submitted their work
to FACS 2015. We are grateful to … his assistance in organizing FACS 2015, and acknowledge …

[PDF][PDF] CUrriCulum Vitae Of Andrea MOriChetta

A Morichetta - Education, 2013 - amministrazionetrasparente.unicam …
… In Formal Aspects of Component Software - 12th International Conference, FACS 2015,
Niterói, Brazil, October f4-f6, 20f5, Revised Selected Papers, pages 66–85, 2015. …

Impaired circulating angiogenic cells mobilization and metalloproteinase‐9 activity after dynamic exercise in early metabolic syndrome

NG Rocha, ARK Sales, LA Penedo… - BioMed Research …, 2015 - Wiley Online Library
… Cells were washed three times with phosphate buffer solution and fixed with FACS Lysing
solution (BD Biosciences; Franklin Lakes, NJ, USA). The respective isotypes (FITC, PE, and …

[HTML][HTML] A single dose of inactivated hepatitis A vaccine promotes HAV-specific memory cellular response similar to that induced by a natural infection

JG Melgaco, LN Morgado, MA Santiago, JM de Oliveira… - Vaccine, 2015 - Elsevier
… (a) FACS plots showing central memory TCD4 cells after HAF-… FACS plots showing central
memory TCD8 cells after HAF-… Fluminense, Niterói, Rio de Janeiro, Brazil who participated as …

[PDF][PDF] Finite Combinatory Logic extended by a Boolean Query Language for Composition Synthesis

A Dudenhefner, F Laarmann, J Rehof… - … Conference on Types … - types2023.webs.upv.es
Introduction. In the 90s Dezani-Ciancaglini and Hindley presented combinatory logic [25] as
a Hilbert-style calculus with intersection types [13]. This inspired the line of work [22, 23, 15, …

A Human Type 5 Adenovirus-Based Trypanosoma cruzi Therapeutic Vaccine Re-programs Immune Response and Reverses Chronic Cardiomyopathy

IR Pereira, G Vilar-Pereira, V Marques… - PLoS …, 2015 - journals.plos.org
… The percentage of specific cell lysis was measured 20 hours later using FACS (R1-gated).
Range of percentages of specific lysis is shown for each experimental group. (D) Percentages …

Domestic feline contribution in the transmission of Sporothrix in Rio de Janeiro State, Brazil: a comparison between infected and non-infected populations

PA Macêdo-Sales, SRLS Souto, CA Destefani… - BMC veterinary …, 2018 - Springer
… The northern region of the capital and Grande Niterói showed a similar frequency of
colonized animals (47.6 and 50%, respectively). In these regions, cats with colonized nails …

Combinatory synthesis of classes using feature grammars

J Bessai, B Düdder, GT Heineman, J Rehof - … , FACS 2015, Niterói, Brazil …, 2016 - Springer
We describe a method for automatically transforming feature grammars into type-specifications
which are subsequently used to synthesize a code-generator for a product of a given …