925 resultados para ayers of formal neurons, separability principles
Resumo:
In Brazil, the consumption of Sida carpinifolia by livestock has been associated with neurological diseases linked to lysosomal storage disorders. This paper describes the pathological findings in two caprine fetuses from dams that were experimentally poisoned with S. carpinifolia. The goats were orally dosed with 10 and 13g/kg of a paste of green chopped S. carpinifolia for 30 days and were observed for an additional 15 days period after the last dosage with the plant; thereafter they were euthanized and necropsied. The dams showed only slight clinical signs. The study also includes the findings in one bovine fetus from a naturally S. carpinifolia poisoned cow which showed mild incoordination, generalized tremors, staggering, and frequent falls. The cow was euthanized and necropsied. While there were no significant histopathological changes in the goats, in the cow vacuolation of Purkinje neurons of the cerebellum, pancreatic acinar cells, and thyroid follicular cells were observed. The main microscopic changes observed in the caprine and bovine fetuses were vacuolation in the epithelium of renal tubules, thyroid follicular cells, and Purkinje neurons of the cerebellum. Transmission electron microscopy of sections from CNS of the cow and its fetus revealed vacuoles containing fine granular material surrounded by membrane. Lectin-histochemistry of CNS sections from goat fetuses marked lightly to sWGA lectins, WGA, and Con-A.
Resumo:
Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability of the simulated/verified systems is not thoroughly ensured. To address these challenges, the use of formal techniques to reason about network system development is growing, while at the same time, the mathematical background necessary for using formal techniques is a barrier for network designers to efficiently employ them. Thus, these techniques are not vastly used for developing networked systems. The objective of this thesis is to propose formal approaches for the development of reliable networked systems, by taking efficiency into account. With respect to reliability, we propose the architectural development of correct-by-construction networked system models. With respect to efficiency, we propose reusable network architectures as well as network development. At the core of our development methodology, we employ the abstraction and refinement techniques for the development and analysis of networked systems. We evaluate our proposal by employing the proposed architectures to a pervasive class of dynamic networks, i.e., wireless sensor network architectures as well as to a pervasive class of static networks, i.e., network-on-chip architectures. The ultimate goal of our research is to put forward the idea of building libraries of pre-proved rules for the efficient modelling, development, and analysis of networked systems. We take into account both qualitative and quantitative analysis of networks via varied formal tool support, using a theorem prover the Rodin platform and a statistical model checker the SMC-Uppaal.
Resumo:
TRIZ is one of the well-known tools, based on analytical methods for creative problem solving. This thesis suggests adapted version of contradiction matrix, a powerful tool of TRIZ and few principles based on concept of original TRIZ. It is believed that the proposed version would aid in problem solving, especially those encountered in chemical process industries with unit operations. In addition, this thesis would help fresh process engineers to recognize importance of various available methods for creative problem solving and learn TRIZ method of creative problem solving. This thesis work mainly provides idea on how to modify TRIZ based method according to ones requirements to fit in particular niche area and solve problems efficiently in creative way. Here in this case, the contradiction matrix developed is based on review of common problems encountered in chemical process industry, particularly in unit operations and resolutions are based on approaches used in past to handle those issues.
Resumo:
This applied linguistic study in the field of second language acquisition investigated the assessment practices of class teachers as well as the challenges and visions of language assessment in bilingual content instruction (CLIL) at primary level in Finnish basic education. Furthermore, pupils’ and their parents’ perceptions of language assessment and LangPerform computer simulations as an alternative, modern assessment method in CLIL contexts were examined. The study was conducted for descriptive and developmental purposes in three phases: 1) a CLIL assessment survey; 2) simulation 1; and 3) simulation 2. All phases had a varying number of participants. The population of this mixed methods study were CLIL class teachers, their pupils and the pupils’ parents. The sampling was multi-staged and based on probability and random sampling. The data were triangulated. Altogether 42 CLIL class teachers nationwide, 109 pupils from the 3rd, 4th and 5th grade as well as 99 parents from two research schools in South-Western Finland participated in the CLIL assessment survey followed by an audio-recorded theme interview of volunteers (10 teachers, 20 pupils and 7 parents). The simulation experimentations 1 and 2 produced 146 pupil and 39 parental questionnaires as well as video interviews of volunteered pupils. The data were analysed both quantitatively using percentages and numerical frequencies and qualitatively employing thematic content analysis. Based on the data, language assessment in primary CLIL is not an established practice. It largely appears to be infrequent, incidental, implicit and based on impressions rather than evidence or the curriculum. The most used assessment methods were teacher observation, bilingual tests and dialogic interaction, and the least used were portfolios, simulations and peer assessment. Although language assessment was generally perceived as important by teachers, a fifth of them did not gather assessment information systematically, and 38% scarcely gave linguistic feedback to pupils. Both pupils and parents wished to receive more information on CLIL language issues; 91% of pupils claimed to receive feedback rarely or occasionally, and 63% of them wished to get more information on their linguistic coping in CLIL subjects. Of the parents, 76% wished to receive more information on the English proficiency of their children and their linguistic development. This may be a response to indirect feedback practices identified in this study. There are several challenges related to assessment; the most notable is the lack of a CLIL curriculum, language objectives and common ground principles of assessment. Three diverse approaches to language in CLIL that appear to affect teachers’ views on language assessment were identified: instrumental (language as a tool), dual (language as a tool and object of learning) and eclectic (miscellaneous views, e.g. affective factors prioritised). LangPerform computer simulations seem to be perceived as an appropriate alternative assessment method in CLIL. It is strongly recommended that the fundamentals for assessment (curricula and language objectives) and a mutual assessment scheme should be determined and stakeholders’ knowledge base of CLIL strengthened. The principles of adequate assessment in primary CLIL are identified as well as several appropriate assessment methods suggested.
Resumo:
Initially identified as stress activated protein kinases (SAPKs), the c-Jun Nterminal kinases (JNKs) are currently accepted as potent regulators of various physiologically important cellular events. Named after their competence to phosphorylate transcription factor c-Jun in response to UVtreatment, JNKs play a key role in cell proliferation, cell death or cell migration. Interestingly, these functions are crucial for proper brain formation. The family consists of three JNK isoforms, JNK1, JNK2 and JNK3. Unlike brain specific JNK3 isoform, JNK1 and JNK2 are ubiquitously expressed. It is estimated that ten splice variants exist. However, the detailed cellular functions of these remain undetermined. In addition, physiological conditions keep the activities of JNK2 and JNK3 low in comparison with JNK1, whereas cellular stress raises the activity of these isoforms dramatically. Importantly, JNK1 activity is constitutively high in neurons, yet it does not stimulate cell death. This suggests a valuable role for JNK1 in brain development, but also as an important mediator of cell wellbeing. The aim of this thesis was to characterize the functional relationship between JNK1 and SCG10. We found that SCG10 is a bona fide target for JNK. By employing differential centrifugation we showed that SCG10 co-localized with active JNK, MKK7 and JIP1 in a fraction containing endosomes and Golgi vesicles. Investigation of JNK knockout tissues using phosphospecific antibodies recognizing JNK-specific phosphorylation sites on SCG10 (Ser 62/Ser 73) showed that phosphorylation of endogenous SCG10 was dramatically decreased in Jnk1-/- brains. Moreover, we found that JNK and SCG10 co-express during early embryonic days in brain regions that undergo extensive neuronal migration. Our study revealed that selective inhibition of JNK in the cytoplasm significantly increased both the frequency of exit from the multipolar stage and radial migration rate. However, as a consequence, it led to ill-defined cellular organization. Furthermore, we found that multipolar exit and radial migration in Jnk1 deficient mice can be connected to changes in phosphorylation state of SCG10. Also, the expression of a pseudo-phosphorylated mutant form of SCG10, mimicking the JNK1- phopshorylated form, brings migration rate back to normal in Jnk1 knockout mouse embryos. Furthermore, we investigated the role of SCG10 and JNK in regulation of Golgi apparatus (GA) biogenesis and whether pathological JNK action could be discernible by its deregulation. We found that SCG10 maintains GA integrity as with the absence of SCG10 neurons present more compact fragmented GA structure, as shown by the knockdown approach. Interestingly, neurons isolated from Jnk1-/- mice show similar characteristics. Block of ER to GA is believed to be involved in development of Parkinson's disease. Hence, by using a pharmacological approach (Brefeldin A treatment), we showed that GA recovery is delayed upon removal of the drug in Jnk1-/- neurons to an extent similar to the shRNA SCG10-treated cells. Finally, we investigated the role of the JNK1-SCG10 duo in the maintenance of GA biogenesis following excitotoxic insult. Although the GA underwent fragmentation in response to NMDA treatment, we observed a substantial delay in GA disintegration in neurons lacking either JNK1 or SCG10.
Resumo:
Several glutamate receptor (GluR) subunits have been characterized during the past few years. In the present study, subunit-specific antisera were used to determine the distribution of the AMPA-type glutamate receptor subunits GluR1-4 in retinorecipient areas of the chick brain. Six white leghorn chicks (Gallus gallus, 7-15 days old, unknown sex) were deeply anesthetized and perfused with 4% buffered paraformaldehyde and brain sections were stained using immunoperoxidase techniques. The AMPA-type glutamate receptor subunits GluR1, GluR2/3 and GluR4 were present in several retinorecipient areas, with varying degrees of colocalization. For example, perikarya in layers 2, 3, and 5 of the optic tectum contained GluR1, whereas GluR2/3 subunits appeared mainly in neurons of layer 13. The GluR4 subunit was only detected in a few cells of the tectal layer 13. GluR1 and GluR2/3 were observed in neurons of the nucleus geniculatus lateralis ventralis, whereas GluR4 was only present in its neuropil. Somata in the accessory optic nucleus appeared to contain GluR2/3 and GluR4, whereas GluR1 was the dominant subunit in the neuropil of this nucleus. These results suggest that different subpopulations of visual neurons might express different combinations of AMPA-type GluR subunits, which in turn might generate different synaptic responses to glutamate derived from retinal ganglion cell axons
Resumo:
Neurons which release atrial natriuretic peptide (ANPergic neurons) have their cell bodies in the paraventricular nucleus and in a region extending rostrally and ventrally to the anteroventral third ventricular (AV3V) region with axons which project to the median eminence and neural lobe of the pituitary gland. These neurons act to inhibit water and salt intake by blocking the action of angiotensin II. They also act, after their release into hypophyseal portal vessels, to inhibit stress-induced ACTH release, to augment prolactin release, and to inhibit the release of LHRH and growth hormone-releasing hormone. Stimulation of neurons in the AV3V region causes natriuresis and an increase in circulating ANP, whereas lesions in the AV3V region and caudally in the median eminence or neural lobe decrease resting ANP release and the response to blood volume expansion. The ANP neurons play a crucial role in blood volume expansion-induced release of ANP and natriuresis since this response can be blocked by intraventricular (3V) injection of antisera directed against the peptide. Blood volume expansion activates baroreceptor input via the carotid, aortic and renal baroreceptors, which provides stimulation of noradrenergic neurons in the locus coeruleus and possibly also serotonergic neurons in the raphe nuclei. These project to the hypothalamus to activate cholinergic neurons which then stimulate the ANPergic neurons. The ANP neurons stimulate the oxytocinergic neurons in the paraventricular and supraoptic nuclei to release oxytocin from the neural lobe which circulates to the atria to stimulate the release of ANP. ANP causes a rapid reduction in effective circulating blood volume by releasing cyclic GMP which dilates peripheral vessels and also acts within the heart to slow its rate and atrial force of contraction. The released ANP circulates to the kidney where it acts through cyclic GMP to produce natriuresis and a return to normal blood volume
Resumo:
To assess relationships between neuropeptide-binding sites and receptor proteins in rat brain, the distribution of radioautographically labeled somatostatin and neurotensin-binding sites was compared to that of immunolabeled sst2A and NTRH receptor subtypes, respectively. By light microscopy, immunoreactive sst2A receptors were either confined to neuronal perikarya and dendrites or diffusely distributed in tissue. By electron microscopy, areas expressing somatodendritic sst2A receptors displayed only low proportions of membrane-associated, as compared to intracellular, receptors. Conversely, regions displaying diffuse sst2A labeling exhibited higher proportions of membrane-associated than intracellular receptors. Furthermore, the former showed only low levels of radioautographically labeled somatostatin-binding sites whereas the latter contained high densities of somatostatin-binding suggesting that membrane-associated receptors are preferentially recognized by the radioligand. In the case of NTRH receptors, there was a close correspondence between the light microscopic distribution of NTRH immunoreactivity and that of labeled neurotensin-binding sites. Within the substantia nigra, the bulk of immuno- and autoradiographically labeled receptors were associated with the cell bodies and dendrites of presumptive DA neurons. By electron microscopy, both markers were detected inside as well as on the surface of labeled neurons. At the level of the plasma membrane, their distribution was highly correlated and characterized by a lack of enrichment at the level of synaptic junctions and by a homogeneous distribution along the remaining neuronal surface, in conformity with the hypothesis of an extra-synaptic action of this neuropeptide. Inside labeled dendrites, there was a proportionally higher content of immunoreactive than radiolabeled receptors. Some of the immunolabeled receptors not recognized by the radioligand were found in endosome-like organelles suggesting that, as in the case of sst2A receptors, they may have undergone endocytosis subsequent to binding to the endogenous peptide
Resumo:
The submucous plexus of the normal small and large intestine of Calomys callosus was studied by NADH and AChE histochemical techniques and by transmission and scanning electron microscopy. The plexus contains (mean ± SD) 7,488 ± 293 neurons/cm2 in the duodenum, 5,611 ± 836 in the jejunum, 2,741 ± 360 in the ileum, 3,067 ± 179 in the cecum, and 3,817 ± 256 in the proximal colon. No ganglia or nerve cell bodies were seen in the esophagus, stomach, distal colon or rectum. The neurons are pear-shaped with a round or oval nucleus and the neuronal cell profile areas were larger in the large intestine than in the small intestine. Most of the neurons display intense AChE activity in the cytoplasm. AChE-positive nerve fibers are present in a primary meshwork of large nerve bundles and in a secondary meshwork of finer nerve bundles. At the ultrastructural level, the ganglia are irregular in shape and covered with fibroblast-like cells. The nucleoplasm of the neurons is finely granular with a few condensations of chromatin attached to the nuclear envelope. In the neuropil numerous varicosities filled with vesicles of different size and electron densities are seen. The pre- and post-synaptic membrane thickenings are asymmetric. Characteristic glial cells with oval nuclei and few organelles are numerous. These data provide a detailed description of this submucosal meshwork.
Resumo:
Neurons in the rostral and caudal parts of the ventrolateral medulla (VLM) play a pivotal role in the regulation of sympathetic vasomotor activity and blood pressure. Studies in several species, including humans, have shown that these regions contain a high density of AT1 receptors specifically associated with neurons that regulate the sympathetic vasomotor outflow, or the secretion of vasopressin from the hypothalamus. It is well established that specific activation of AT1 receptors by application of exogenous angiotensin II in the rostral and caudal VLM excites sympathoexcitatory and sympathoinhibitory neurons, respectively, but the physiological role of these receptors in the normal synaptic regulation of VLM neurons is not known. In this paper we review studies which have defined the effects of specific activation or blockade of these receptors on cardiovascular function, and discuss what these findings tell us with regard to the physiological role of AT1 receptors in the VLM in the tonic and phasic regulation of sympathetic vasomotor activity and blood pressure.
Resumo:
Astroglial cells derived from lateral and medial midbrain sectors differ in their abilities to support neuritic growth of midbrain neurons in cocultures. These different properties of the two types of cells may be related to the composition of their extracellular matrix. We have studied the synthesis and secretion of sulfated glycosaminoglycans (GAGs) by the two cell types under control conditions and ß-D-xyloside-stimulated conditions, that stimulate the ability to synthesize and release GAGs. We have confirmed that both cell types synthesize and secrete heparan sulfate and chondroitin sulfate. Only slight differences were observed between the proportions of the two GAGs produced by the two types of cells after a 24-h labeling period. However, a marked difference was observed between the GAGs produced by the astroglial cells derived from lateral and medial midbrain sectors. The medial cells, which contain derivatives of the tectal and tegmental midline radial glia, synthesized and secreted ~2.3 times more chondroitin sulfate than lateral cells. The synthesis of heparan sulfate was only slightly modified by the addition of ß-D-xyloside. Overall, these results indicate that astroglial cells derived from the two midbrain sectors have marked differences in their capacity to synthesize chondroitin sulfate. Under in vivo conditions or a long period of in vitro culture, they may produce extracellular matrix at concentrations which may differentially affect neuritic growth.
Resumo:
Neonatal handling has long-lasting effects on behavior and stress reactivity. The purpose of the present study was to investigate the effect of neonatal handling on the number of dopaminergic neurons in the hypothalamic nuclei of adult male rats as part of a series of studies that could explain the long-lasting effects of neonatal stimulation. Two groups of Wistar rats were studied: nonhandled (pups were left undisturbed, control) and handled (pups were handled for 1 min once a day during the first 10 days of life). At 75-80 days, the males were anesthetized and the brains were processed for immunohistochemistry. An anti-tyrosine hydroxylase antibody and the avidin-biotin-peroxidase method were used. Tyrosine hydroxylase-immunoreactive (TH-IR) neurons were counted bilaterally in the arcuate, paraventricular and periventricular nuclei of the hypothalamus in 30-µm sections at 120-µm intervals. Neonatal handling did not change the number of TH-IR neurons in the arcuate (1021 ± 206, N = 6; 1020 ± 150, N = 6; nonhandled and handled, respectively), paraventricular (584 ± 85, N = 8; 682 ± 62, N = 9) or periventricular (743 ± 118, N = 7; 990 ± 158, N = 7) nuclei of the hypothalamus. The absence of an effect on the number of dopaminergic cells in the hypothalamus indicates that the reduction in the amount of neurons induced by neonatal handling, as shown by other studies, is not a general phenomenon in the brain.
Resumo:
Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.
Resumo:
The pharmacokinetics of scorpion venom and its toxins has been investigated in experimental models using adult animals, although, severe scorpion accidents are associated more frequently with children. We compared the effect of age on the pharmacokinetics of tityustoxin, one of the most active principles of Tityus serrulatus venom, in young male/female rats (21-22 days old, N = 5-8) and in adult male rats (150-160 days old, N = 5-8). Tityustoxin (6 µg) labeled with 99mTechnetium was administered subcutaneously to young and adult rats. The plasma concentration vs time data were subjected to non-compartmental pharmacokinetic analysis to obtain estimates of various pharmacokinetic parameters such as total body clearance (CL/F), distribution volume (Vd/F), area under the curve (AUC), and mean residence time. The data were analyzed with and without considering body weight. The data without correction for body weight showed a higher Cmax (62.30 ± 7.07 vs 12.71 ± 2.11 ng/ml, P < 0.05) and AUC (296.49 ± 21.09 vs 55.96 ± 5.41 ng h-1 ml-1, P < 0.05) and lower Tmax (0.64 ± 0.19 vs 2.44 ± 0.49 h, P < 0.05) in young rats. Furthermore, Vd/F (0.15 vs 0.42 l/kg) and CL/F (0.02 ± 0.001 vs 0.11 ± 0.01 l h-1 kg-1, P < 0.05) were lower in young rats. However, when the data were reanalyzed taking body weight into consideration, the Cmax (40.43 ± 3.25 vs 78.21 ± 11.23 ng kg-1 ml-1, P < 0.05) and AUC (182.27 ± 11.74 vs 344.62 ± 32.11 ng h-1 ml-1, P < 0.05) were lower in young rats. The clearance (0.03 ± 0.002 vs 0.02 ± 0.002 l h-1 kg-1, P < 0.05) and Vd/F (0.210 vs 0.067 l/kg) were higher in young rats. The raw data (not adjusted for body weight) strongly suggest that age plays a pivotal role in the disposition of tityustoxin. Furthermore, our results also indicate that the differences in the severity of symptoms observed in children and adults after scorpion envenomation can be explained in part by differences in the pharmacokinetics of the toxin.
Resumo:
Nitric oxide (NO), a free radical gas produced endogenously from the amino acid L-arginine by NO synthase (NOS), has important functions in modulating vasopressin and oxytocin secretion from the hypothalamo-neurohypophyseal system. NO production is stimulated during increased functional activity of magnocellular neurons, in parallel with plastic changes of the supraoptic nucleus (SON) and paraventricular nucleus. Electrophysiological data recorded from the SON of hypothalamic slices indicate that NO inhibits firing of phasic and non-phasic neurons, while L-NAME, an NOS inhibitor, increases their activity. Results from measurement of neurohypophyseal hormones are more variable. Overall, however, it appears that NO, tonically produced in the forebrain, inhibits vasopressin and oxytocin secretion during normovolemic, isosmotic conditions. During osmotic stimulation, dehydration, hypovolemia and hemorrhage, as well as high plasma levels of angiotensin II, NO inhibition of vasopressin neurons is removed, while that of oxytocin neurons is enhanced. This produces a preferential release of vasopressin over oxytocin important for correction of fluid imbalance. During late pregnancy and throughout lactation, fluid homeostasis is altered and expression of NOS in the SON is down- and up-regulated, respectively, in parallel with plastic changes of the magnocellular system. NO inhibition of magnocellular neurons involves GABA and prostaglandin synthesis and the signal-transduction mechanism is independent of the cGMP-pathway. Plasma hormone levels are unaffected by icv 1H-[1, 2, 4]oxadiazolo-[4,3-a]quinoxalin-1-one (a soluble guanylyl cyclase inhibitor) or 8-Br-cGMP administered to conscious rats. Moreover, cGMP does not increase in homogenates of the neural lobe and in microdialysates of the SON when NO synthesis is enhanced during osmotic stimulation. Among alternative signal-transduction pathways, nitrosylation of target proteins affecting activity of ion channels is considered.