956 resultados para Formal specification
Resumo:
This article seeks to explain the pattern of delegation to independent regulatory agencies in Western Europe. Two types of arguments are advanced to explain variations in the formal independence of regulators. Firstly, the need for governments to increase their credible commitment capacity may lead them to delegate regulation to an agency that is partly beyond their direct control. Secondly, delegation may be a response to the political uncertainty problem, which arises when governments are afraid of being replaced by another coalition with different preferences, which could decide to change existing policy choices. In addition, veto players may constitute a functional equivalent of delegation, since they influence policy stability and therefore tend to mitigate both the credibility and the political uncertainty problems. These arguments are consistent with the results of the empirical analysis of the formal independence of regulators in seventeen countries and seven sectors.
Resumo:
Recently many OER activities have been getting popular, and users who access those content for informal learning are increasing. Most popular OER must be OCW, which has been proposed and promoted by MIT since 2001. In Japan OCW has been penetrating gradually since 2005. However in terms of formal learning utilization ICT technology has not been so popular yet in Japanese higher education field. In this paper two case studies, one is formal e-Learning using OCW, and the other is portal site of open contents from universities are described
Resumo:
El presente trabajo ha consistido en elaborar el material didáctico para la educación ambiental no formal de los ciudadanos de Nicaragua, con nivel escolar equivalente a sexto grado. Este material en un futuro cercano será la base del programa de alfabetización ambiental “Yo, Sí Puedo Cuidar el Ambiente”,coordinado por la “Red Universitaria Yo, Sí Puedo” en distintas partes de Nicaragua. El resultado del proyecto es una cartilla destinada al alumno y una Guía Metodológica para el educador. Para la realización de este proyecto ha sido necesaria una estancia de tres meses y medio para la recopilación de información y la elaboración de material didáctico. El principal objetivo del material elaborado es contribuir en la sensibilización y la formación de valotres ambientales de los participantes, mejorando asi su calidad de vida y su entorno
Resumo:
A dimensional analysis of the classical equations related to the dynamics of vector-borne infections is presented. It is provided a formal notation to complete the expressions for the Ross' Threshold Theorem, the Macdonald's basic reproduction "rate" and sporozoite "rate", Garret-Jones' vectorial capacity and Dietz-Molineaux-Thomas' force of infection. The analysis was intended to provide a formal notation that complete the classical equations proposed by these authors.
Resumo:
This file contains the ontology of patterns of educational settings, as part of the formal framework for specifying, reusing and implementing educational settings. Furthermore, it includes the set of rules that extend the ontology of educational scenarios as well as a brief description of the level of patters of such ontological framework.
Resumo:
This file includes the ontology of patterns of educational settings adapted to a given organization as part of a formal framework for specifying, reusing and implementing educational settings. It includes a description of such an ontology.
Resumo:
The development of T cells from pluripotent stem cells involves a coordinated series of lineage-commitment steps. Common lymphoid precursors in the fetal liver or adult bone marrow must first choose between a T, B or NK cell fate. Committed T cell precursors in the thymus then differentiate into cells committed to the alphabeta or gammadelta lineages. Recent advances have been made in our understanding of the mechanisms underlying T cell fate specification and alphabeta/gammadelta lineage divergence.
Resumo:
O idoso fragilizado, mantido em seu domicílio, requer cuidados específicos, os quais são realizados muitas vezes por pessoas contratadas, pelas famílias, sem necessariamente terem formação específica e são comumente denominadas cuidadores formais. Frente o aumento da oferta de trabalho destas pessoas e a escassez de literatura sobre seu perfil, desenvolvemos um estudo com 41 anunciantes que ofereceram seus serviços em dois jornais de maior circulação no município de Campinas, São Paulo, com os seguintes objetivos: 1. caracterizar estes cuidadores e 2. verificar as atividades propostas para a assistência ao idoso. No presente trabalho são apresentados os dados referentes as características dos cuidadores quanto: ao sexo, a idade, a formação e experiência anterior, disponibilidade de horário e remuneração exigida.
Resumo:
O idoso fragilizado, mantido em seu domicílio, requer cuidados específicos, os quais são realizados muitas vezes por pessoas contratadas pela família para tal, denominadas cuidadores formais. Frente o aumento da oferta de trabalho destas pessoas e a escassez de literatura nacional sobre seu perfiL, desenvolvemos um estudo com 41 pessoas que ofereceram seus serviços através de anúncios em dois jornais de maior circulação no município de Campinas, São Paulo. Tal estudo teve por objetivos: 1. caracterizar estes cuidadores (este objetivo foi contemplado com um artigo publicado anteriormente) e 2. verificar as atividades propostas para a assistência ao idoso. No presente trabalho serão apresentados os dados referentes ao segundo objetivo.
Resumo:
ABSTRACT : The development of the retina is a very complex process, occurring through the progressive restriction of cell fates, from pluripotent cell populations to complex tissues and organs. In all vertebrate species analyzed so far, retinal differentiation starts with the generation of retinal ganglion cells (RGC)s. One of the documented key essential events in the specification of RGCs is the expression of ATHS, an atonal homolog encoding a bHLH transcription factor. Despite the putative role of master regulator of RGC differentiation, the mechanism of integrating its functions into a coherent program underlying the production of this subclass of retinal neurons has not yet been elucidated. By using chromatin immunoprecipitation combined with microarray (ChIP-on-chip) we have screened for ATH5 direct targets in the developing chick retina at two consecutive periods: E3.5 (stage HH22) and E6 (stage HH30), covering the stages of progenitor proliferation, neuroepithelium patterning, RGC specification, cell cycle exit and early neuronal differentiation. In parallel, complementary analysis with Affymetrix expression microarrays was conducted. We compared RGCs versus retina to see if the targets correspond to genes preferentially expressed in RGCs. We also precociously overexpressed ATH5 in the retina of individual embryo, and contralateral retina vas used as a control. Our integrated approach allowed us to establish a compendium of ATH5-targets and enabled us to position ATH5 in the transcription network underlying neurogenesis in the retina. Malattia Leventinese (ML) is an autosomal, dominant retinal dystrophy characterized by extracellular, amorphous deposits known as drusen, between the retinal pigment epithelium (RPE) and Bruch's membrane. On the genetic level, it has been associated with a single missense mutation (R345W) in a widely expressed gene with unknown function called EFEMP1. We determined expression patterns of the EFEMP1 gene in normal and ML human retinas. Our data shown that the upregulation of EFEMP1 is not specific to ML eye, except for the region of the ciliary body. We also analyzed the cell compartmentalization of different versions of the protein (both wild type and mutant). Our studies indicate that both abnormal expression of the EFEMP1 gene and mutation and accumulation of EFEMP 1 protein (inside or outside the cells) might contribute to the ML pathology. Résumé : 1er partie : L'ontogenèse de la rétine est un processus complexe au cours duquel des cellules progénitrices sont engagée, par vagues successives, dans des lignées où elles vont d'abord être déterminées puis vont se différencier pour finalement construire un tissu rétinien composé de cinq classes de neurones (les photorécepteurs, les cellules horizontales, bipolaires, amacrines et ganglionnaires) et d'une seule de cellules gliales (les cellules de Muller). Chez tous les vertébrés, la neurogenèse rétinienne est d'abord marquée par la production des cellules ganglionnaires (RGCs). La production de cette classe de neurone est liée à l'expression du gène ATH5 qui est un homologue du gène atonal chez la Drosophile et qui code pour un facteur de transcription de la famille des protéines basic Helix-Loop-Helix (bHLH). Malgré le rôle central que joue ATH5 dans la production des RGCs, le mécanisme qui intègre la fonction de cette protéine dans le programme de détermination neuronale et ceci en relation avec le développement de la rétine n'est pas encore élucidé. Grâce à une technologie qui permet de combiner la sélection de fragments de chromatine liant ATH5 et la recherche de séquences grâce à des puces d'ADN non-codants (ChIP-on-chip), nous avons recherché des cibles potentielles de la protéine ATH5 dans la rétine en développement. Nous avons conduit cette recherche à deux stades de développement de manière à englober la phase de prolifération cellulaire, la détermination des RGCs, la sortie du cycle cellulaire ainsi que les premières étapes de la différentiation de ces neurones. Des expériences complémentaires nous ont permis de définir les patrons d'expression des gènes sélectionnés ainsi que l'activité promotrice des éléments de régulation identifiés lors de notre criblage. Ces approches expérimentales diverses et complémentaires nous ont permis de répertorier des gènes cibles de la protéine ATH5 et d'établir ainsi des liens fonctionnels entre des voies métaboliques dont nous ne soupçonnions pas jusqu'alors qu'elles puissent être associées à la production d'une classe de neurones centraux. 2ème partie : Malattia Leventinese (ML) est une maladie génétique qui engendre une dystrophie de la rétine. Elle se caractérise par l'accumulation de dépôt amorphe entre l'épithélium pigmentaire et la membrane de Bruch et connu sous le nom de drusen. Cette maladie est liée à une simple mutation non-sens (R345W) dans un gène dénommé EFEMP1 qui est exprimé dans de nombreux tissus mais dont la fonction reste mal définie. Une étude détaillée de l'expression de ce gène dans des rétines humaines a révélé une expression à un niveau élevé du gène EFEMP1 dans divers tissus de l'oeil ML mais également dans des yeux contrôles. Alors que l'accumulation d'ARN messager EFEMP1 dans les cellules de l'épithélium pigmentaire n'est pas spécifique à ML, l'expression de ce gène dans le corps cilié n'a été observée que dans l'oeil ML. Nous avons également comparé la sécrétion de la protéine sauvage avec celle porteuse de la mutation. En résumé, notre étude révèle que le niveau élevé d'expression du gène EFEMP1 ainsi que l'accumulation de la protéine dans certains compartiments cellulaires pourraient contribuer au développement de pathologies rétiniennes liées à ML.
Resumo:
Background: During early steps of embryonic development the hindbrain undergoes a regionalization process along the anterior-posterior (AP) axis that leads to a metameric organization in a series of rhombomeres (r). Refinement of the AP identities within the hindbrain requires the establishment of local signaling centers, which emit signals that pattern territories in their vicinity. Previous results demonstrated that the transcription factor vHnf1 confers caudal identity to the hindbrain inducing Krox20 in r5 and MafB/Kreisler in r5 and r6, through FGF signaling [1].Results: We show that in the chick hindbrain, Fgf3 is transcriptionally activated as early as 30 min after mvHnf1 electroporation, suggesting that it is a direct target of this transcription factor. We also analyzed the expression profiles of FGF activity readouts, such as MKP3 and Pea3, and showed that both are expressed within the hindbrain at early stages of embryonic development. In addition, MKP3 is induced upon overexpression of mFgf3 or mvHnf1 in the hindbrain, confirming vHnf1 is upstream FGF signaling. Finally, we addressed the question of which of the FGF-responding intracellular pathways were active and involved in the regulation of Krox20 and MafB in the hindbrain. While Ras-ERK1/2 activity is necessary for MKP3, Krox20 and MafB induction, PI3K-Akt is not involved in that process.Conclusion: Based on these observations we propose that vHnf1 acts directly through FGF3, and promotes caudal hindbrain identity by activating MafB and Krox20 via the Ras-ERK1/2 intracellular pathway.
Resumo:
This study investigates the development of fluency in 30 advanced L2 learners of English over a period of 15 months. In order to measure fluency, several temporal variables and hesitation phenomena are analyzed and compared. Oral competence is assessed by means of an oral interview carried out by the learners. Data collection takes place at three different times: before (T1) and after (T2) a six-month period of FI (80 hours) in the home university, and after a three-month SA term (T3). The data is analyzed quantitatively. Developmental gains in fluency are measured for the whole period, adopting a view of complementarity between the two learning contexts. From these results, a group of high fluency speakers is identified. Correlations between fluency gains and individual and contextual variables are executed and a more qualitative analysis is performed for high fluency speakers' performance and behavior. Results show an overall development of students' oral fluency during a period of 15 months favored by the combination of a period of FI at home followed by a 3-months SA.
Resumo:
This paper proposes a method to conduct inference in panel VAR models with cross unit interdependencies and time variations in the coefficients. The approach can be used to obtain multi-unit forecasts and leading indicators and to conduct policy analysis in a multiunit setups. The framework of analysis is Bayesian and MCMC methods are used to estimate the posterior distribution of the features of interest. The model is reparametrized to resemble an observable index model and specification searches are discussed. As an example, we construct leading indicators for inflation and GDP growth in the Euro area using G-7 information.