956 resultados para Formal specification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Recently there has been a great deal of work on noncommutative algebraic cryptography. This involves the use of noncommutative algebraic objects as the platforms for encryption systems. Most of this work, such as the Anshel-Anshel-Goldfeld scheme, the Ko-Lee scheme and the Baumslag-Fine-Xu Modular group scheme use nonabelian groups as the basic algebraic object. Some of these encryption methods have been successful and some have been broken. It has been suggested that at this point further pure group theoretic research, with an eye towards cryptographic applications, is necessary.In the present study we attempt to extend the class of noncommutative algebraic objects to be used in cryptography. In particular we explore several different methods to use a formal power series ring R && x1; :::; xn && in noncommuting variables x1; :::; xn as a base to develop cryptosystems. Although R can be any ring we have in mind formal power series rings over the rationals Q. We use in particular a result of Magnus that a finitely generated free group F has a faithful representation in a quotient of the formal power series ring in noncommuting variables.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

MicroRNAs (miRNAs) have been shown to play important roles in both brain development and the regulation of adult neural cell functions. However, a systematic analysis of brain miRNA functions has been hindered by a lack of comprehensive information regarding the distribution of miRNAs in neuronal versus glial cells. To address this issue, we performed microarray analyses of miRNA expression in the four principal cell types of the CNS (neurons, astrocytes, oligodendrocytes, and microglia) using primary cultures from postnatal d 1 rat cortex. These analyses revealed that neural miRNA expression is highly cell-type specific, with 116 of the 351 miRNAs examined being differentially expressed fivefold or more across the four cell types. We also demonstrate that individual neuron-enriched or neuron-diminished RNAs had a significant impact on the specification of neuronal phenotype: overexpression of the neuron-enriched miRNAs miR-376a and miR-434 increased the differentiation of neural stem cells into neurons, whereas the opposite effect was observed for the glia-enriched miRNAs miR-223, miR-146a, miR-19, and miR-32. In addition, glia-enriched miRNAs were shown to inhibit aberrant glial expression of neuronal proteins and phenotypes, as exemplified by miR-146a, which inhibited neuroligin 1-dependent synaptogenesis. This study identifies new nervous system functions of specific miRNAs, reveals the global extent to which the brain may use differential miRNA expression to regulate neural cell-type-specific phenotypes, and provides an important data resource that defines the compartmentalization of brain miRNAs across different cell types.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we study formal deformations of Poisson structures, especially for three families of Poisson varieties in dimensions two and three. For these families of Poisson structures, using an explicit basis of the second Poisson cohomology space, we solve the deformation equations at each step and obtain a large family of formal deformations for each Poisson structure which we consider. With the help of an explicit formula, we show that this family contains, modulo equivalence, all possible formal eformations. We show moreover that, when the Poisson structure is generic, all members of the family are non-equivalent.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Non-formal education programmes are active in a number of developing countries. These programmes offer vulnerable students an opportunity to pursue their education although they were excluded for various reasons from the formal education systems. This paper examines the impact of two programmes (one in Mauritius, and one in Thailand) on their participants’ aspirations towards learning. We develop a methodology to measure the perception of students regarding their learning experience. More than a third of them, for example, believe that there is no barrier to their education. Most acknowledge the role of their teachers in raising their aspirations towards their educational achievement. When compared to male students, female students seem to value more the role of their education.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A review article of the The New England Journal of Medicine refers that almost a century ago, Abraham Flexner, a research scholar at the Carnegie Foundation for the Advancement of Teaching, undertook an assessment of medical education in 155 medical schools in operation in the United States and Canada. Flexner’s report emphasized the nonscientific approach of American medical schools to preparation for the profession, which contrasted with the university-based system of medical education in Germany. At the core of Flexner’s view was the notion that formal analytic reasoning, the kind of thinking integral to the natural sciences, should hold pride of place in the intellectual training of physicians. This idea was pioneered at Harvard University, the University of Michigan, and the University of Pennsylvania in the 1880s, but was most fully expressed in the educational program at Johns Hopkins University, which Flexner regarded as the ideal for medical education. (...)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Northern Ireland Framework Specification for the Degree in Social Work

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Notch proteins are cell surface receptors that mediate developmental cell specification events. To explore the function of murine Notch1, an essential portion of the gene was flanked with loxP sites and inactivation induced via interferon-regulated Cre recombinase. Mice with a neonatally induced loss of Notch1 function were transiently growth retarded and had a severe deficiency in thymocyte development. Competitive repopulation of lethally irradiated wild-type hosts with wild-type- and Notch1-deficient bone marrow revealed a cell autonomous blockage in T cell development at an early stage, before expression of T cell lineage markers. Notch1-deficient bone marrow did, however, contribute normally to all other hematopoietic lineages. These findings suggest that Notch1 plays an obligatory and selective role in T cell lineage induction.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L'educació formal necessita de noves eines d'aprenentatge que s'ajustin a la revolució que ha sofert la nostra societat, i una d'elles pot ser l'aplicació de les TIC a la difusió del patrimoni museològic. Com construir aquest discurs museogràfic i l'anàlisi de diferents exemples ja existents en la xarxa, conformen aquest treball.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The activities described here form part of an extensive programme in place in the Região Arqueológica de Central, state of Bahia, Brazil. After malacological and socio-environmental surveys in the area, a strategy comprising formal and non-formal education with an emphasis on schistosomiasis prevention was developed, introduced, and evaluated. Interviews were conducted of 142 students and 11 teachers, totalling 11 classes at six primary schools. On the basis of those interviews, four display cases and seven panels were prepared. In addition a table was set up where students could participate directly on the subject, drawing and recognising the factors involved in the schistosomiasis cycle. The exhibition was held at the Museu Arqueológico de Central. The endeavours of this paper underline the importance of health education as well as exhibitions to disease prevention activities.