basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

CD4+CD25+Foxp3+ regulatory T cells: from basic research to potential therapeutic use.

Regulatory T cells control immune responses to self- and foreign-antigens and play a major role in maintaining the balance between immunity and tolerance. This article reviews recent key developments in the field of CD4+CD25+Foxp3+ regulatory T (TREG) cells. It presents their characteristics and describes their range of activity and mechanisms of action. Some models of diseases triggered by the imbalance between TREG cells and effector pathogenic T cells are described and their potential therapeutic applications in humans are outlined.

Protected Species – Research Permits and the Value of Basic Research

The complexities involved in obtaining permits for field research using protected species continue to increase. In October 1988, Congress amended the Marine Mammal Protection Act (MMPA) to increase the documentation required to obtain a scientific research permit (PL 100-711). Applicants for scientific research permits must now submit “information indicating that the taking is required to further a bona fide scientific purpose and does not involve unnecessary duplication of research.”

Highlights of the XXI annual meeting of the Brazilian Society of Protozoology, the XXXII annual meeting on Basic Research in Chagas' disease & an international symposium on vesicle trafficking in parasitic Protozoa – 7 to 9 November 2005, Caxambu, Minas Gerais, Brazil

This report focuses on the 2005 Annual meeting held in Caxambu, Minas Gerais, Brazil that was convened and organized by the Brazilian Society of Protozoology http://www.sbpz.org.br/. This is an annual event and details of these meetings can be found on the Society's website. Within the space available it has been impossible to cover all the important and fascinating contributions and what is presented are our personal views of the meetings scientific highlights and new developments. The contents undoubtedly reflect each author's scientific interests and expertise. Fuller details of the round tables, seminars and posters can be consulted on line at http://www.sbpz.org.br/livroderesumos2005.php.

Human papillomavirus (HPV) and associated diseases: between applied diagnostic and basic research

Human Papillomavirus (HPV) is the cause of cervical cancers (among these, adenocarcinoma, AdCa) and is associated to a subgroup of oropharyngeal carcinomas (OPSCCs). Even if the risk for cancer development is linked to the infection by some viral genotypes, mainly HPV16 and 18, viral DNA alone seems not to be sufficient for diagnosis. Moreover, the role of the virus in OPSCCs has not been totally clarified yet. In the first part of the thesis, the performances concerning viral genotyping in clinical cervical samples of a new pyrosequencing-based test and a well-known hybridization-based assay have been compared. Similar results between the methods have been obtained. However, the former showed advantages in detecting intratype variants, higher specificity and a broader spectrum of detectable HPV types. The second part deals with the evaluation of virological markers (genotyping, viral oncoproteins expression, viral load, physical state and CpG methylation of HPV16 genome) in the diagnosis/prognosis of cervical AdCa and HPV-associated OPSCCs. HPV16 has been confirmed the most prevalent genotype in both the populations. Interestingly, the mean methylation frequency of viral DNA at the early promoter showed the tendency to be associated to invasion for cervical AdCa and to a worse prognosis for OPSCCs, suggesting a promising role as diagnostic/prognostic biomarker. The experiments of the third part were performed at the DKFZ in Heidelberg (Germany) and dealt with the analysis of the response to IFN-k transfection in HPV16-positive cervical cancer and head&neck carcinoma cell lines to evaluate its potential role as new treatment. After 24h, we observed increased IFN-b expression which lead to the up-regulation of genes involved in the antigens presentation pathway (MHC class I and immunoproteasome) and antiviral response as well, in particular in cervical cancer cell lines. This fact suggested also the presence of different HPV-mediated carcinogenic pathways between the two anatomical districts.

Models with Plants, Microorganisms and Viruses for Basic Research in Homeopathy

Most criticism about homeopathy concerns the lack of a scientific basis and theoretical models. In order to be accepted as a valid part of medical practice, a wellstructured research strategy for homeopathy is needed. This is often hampered by methodological problems as well as by gross underinvestment in the required academic resources. Fundamental research could make important contributions to our understanding of the homeopathic and high dilutions mechanisms of action. Since the pioneering works of Kolisko on wheat germination (Kolisko, 1923) and Junker on growth of microorganisms (paramecium, yeast, fungi) (Junker, 1928), a number of experiments have been performed either with healthy organisms (various physiological aspects of growth) or with artificially diseased organisms, which may react more markedly to homeopathic treatments than healthy ones. In the latter case, the preliminary stress may be either abiotic, e.g. heavy metals, or biotic, e.g. fungal and viral pathogens or nematode infection. Research has also been carried out into the applicability of homeopathic principles to crop growth and disease control (agrohomeopathy): because of the extreme dilutions used, the environmental impact is low and such treatments are well suited to the holistic approach of sustainable agriculture (Betti et al., 2006). Unfortunately, as Scofield reported in an extensive critical review (Scofield, 1984), there is little firm evidence to support the reliability of the reported results, due to poor experimental methodology and inadequate statistical analysis. Moreover, since there is no agricultural homeopathic pharmacopoeia, much work is required to find suitable remedies, potencies and dose levels.