Abstract Learning Frameworks for Synthesis

We develop abstract learning frameworks (ALFs) for synthesis that embody the principles of CEGIS (counter-example based inductive synthesis) strategies that have become widely applicable in recent years. Our framework defines a general abstract framework of iterative learning, based on a hypothesis space that captures the synthesized objects, a sample space that forms the space on which induction is performed, and a concept space that abstractly defines the semantics of the learning process. We show that a variety of synthesis algorithms in current literature can be embedded in this general framework. While studying these embeddings, we also generalize some of the synthesis problems these instances are of, resulting in new ways of looking at synthesis problems using learning. We also investigate convergence issues for the general framework, and exhibit three recipes for convergence in finite time. The first two recipes generalize current techniques for convergence used by existing synthesis engines. The third technique is a more involved technique of which we know of no existing instantiation, and we instantiate it to concrete synthesis problems

Jogo educativo sobre drogas para cegos: construção e avaliação

Estudo realizado com o objetivo de construir e avaliar um jogo educativo sobre drogas psicoativas acessível a pessoas cegas, desenvolvido em três etapas: construção do jogo educativo, avaliação por três especialistas em educação especial e doze cegos. Foi construído um jogo de tabuleiro denominado Drogas: jogando limpo . Na Versão Alfa os especialistas fizeram sugestões em relação às e instruções e ao tabuleiro: textura das casas, peças do jogo e escrita em Braille. Na Versão Beta, procedeu-se à avaliação pelos cegos, os quais sugeriram alterações na textura das casas e colocação de velcro para fixação do pino no tabuleiro. Passou-se, então, à Versão Gama, jogada pelas últimas três duplas de cegos e considerada adequada. Na avaliação dos juízes, o jogo revelou-se adequado, pois permite o acesso à informação sobre drogas psicoativas de maneira lúdica

Topographical analysis of the subependymal zone neurogenic niche

The emerging model for the adult subependymal zone (SEZ) cell population indicates that neuronal diversity is not generated from a uniform pool of stem cells but rather from diverse and spatially confined stem cell populations. Hence, when analysing SEZ proliferation, the topography along the anterior-posterior and dorsal-ventral axes must be taken into account. However, to date, no studies have assessed SEZ proliferation according to topographical specificities and, additionally, SEZ studies in animal models of neurological/psychiatric disorders often fail to clearly specify the SEZ coordinates. This may render difficult the comparison between studies and yield contradictory results. More so, by focusing in a single spatial dimension of the SEZ, relevant findings might pass unnoticed. In this study we characterized the neural stem cell/progenitor population and its proliferation rates throughout the rat SEZ anterior-posterior and dorsal-ventral axes. We found that SEZ proliferation decreases along the anterior-posterior axis and that proliferative rates vary considerably according to the position in the dorsal-ventral axis. These were associated with relevant gradients in the neuroblasts and in the neural stem cell populations throughout the dorsal-ventral axis. In addition, we observed spatially dependent differences in BrdU/Ki67 ratios that suggest a high variability in the proliferation rate and cell cycle length throughout the SEZ; in accordance, estimation of the cell cycle length of the neuroblasts revealed shorter cell cycles at the dorsolateral SEZ. These findings highlight the need to establish standardized procedures of SEZ analysis. Herein we propose an anatomical division of the SEZ that should be considered in future studies addressing proliferation in this neural stem cell niche.Fundação para a Ciência e a Tecnologia (FCT

Age of Child, More than HPV Type, Is Associated with Clinical Course in Recurrent Respiratory Papillomatosis

Background: RRP is a devastating disease in which papillomas in the airway cause hoarseness and breathing difficulty. The disease is caused by human papillomavirus (HPV), 6 or 11 and is very variable. Patients undergo multiple surgeries to maintain a patent airway and in order to communicate vocally. Several small studies have been published in which most have noted that HPV 11 is associated with a more aggressive course. Methodology/Principal Findings: Papilloma biopsies were taken from patients undergoing surgical treatment of RRP and were subjected to HPV typing. 118 patients with juvenile-onset RRP with a least 1 year of clinical data and infected with a single HPV type were analyzed. HPV 11 was encountered in 40% of the patients. By our definition, most of the patients in the sample (81%) had run an aggressive course. The odds of a patient with HPV 11 running an aggressive course were 3.9 times higher that that of patients with HPV 6 (Fisher's exact p=0.017). However, clinical course was more closely associated with age of the patient (at diagnosis and at the time of the current surgery) than with HPV type. Patients with HPV 11 were diagnosed at a younger age (2.4y) than were those with HPV 6 (3.4y) (p=0.014). Both by multiple linear regression and by multiple logistics regression HPV type was only weakly associated with metrics of disease course when simultaneously accounting for age. Conclusions/Significance Abstract: The course of RRP is variable and a quarter of the variability can be accounted for by the age of the patient. HPV 11 is more closely associated with a younger age at diagnosis than it is associated with an aggressive clinical course. These data suggest that there are factors other than HPV type and age of the patient that determine disease course. © 2008 Buchinsky et al

Long-Distance Signals Are Required for Morphogenesis of the Regenerating Xenopus Tadpole Tail, as Shown by Femtosecond-Laser Ablation

tadpoles has recently emerged as an important model for these studies; we explored the role of the spinal cord during tadpole tail regeneration.Using ultrafast lasers to ablate cells, and Geometric Morphometrics to quantitatively analyze regenerate morphology, we explored the influence of different cell populations. For at least twenty-four hours after amputation (hpa), laser-induced damage to the dorsal midline affected the morphology of the regenerated tail; damage induced 48 hpa or later did not. Targeting different positions along the anterior-posterior (AP) axis caused different shape changes in the regenerate. Interestingly, damaging two positions affected regenerate morphology in a qualitatively different way than did damaging either position alone. Quantitative comparison of regenerate shapes provided strong evidence against a gradient and for the existence of position-specific morphogenetic information along the entire AP axis.We infer that there is a conduit of morphology-influencing information that requires a continuous dorsal midline, particularly an undamaged spinal cord. Contrary to expectation, this information is not in a gradient and it is not localized to the regeneration bud. We present a model of morphogenetic information flow from tissue undamaged by amputation and conclude that studies of information coming from far outside the amputation plane and regeneration bud will be critical for understanding regeneration and for translating fundamental understanding into biomedical approaches

Extensive Transcriptional Regulation of Chromatin Modifiers during Human Neurodevelopment

Epigenetic changes, including histone modifications or chromatin remodeling are regulated by a large number of human genes. We developed a strategy to study the coordinate regulation of such genes, and to compare different cell populations or tissues. A set of 150 genes, comprising different classes of epigenetic modifiers was compiled. This new tool was used initially to characterize changes during the differentiation of human embryonic stem cells (hESC) to central nervous system neuroectoderm progenitors (NEP). qPCR analysis showed that more than 60% of the examined transcripts were regulated, and >10% of them had a >5-fold increased expression. For comparison, we differentiated hESC to neural crest progenitors (NCP), a distinct peripheral nervous system progenitor population. Some epigenetic modifiers were regulated into the same direction in NEP and NCP, but also distinct differences were observed. For instance, the remodeling ATPase SMARCA2 was up-regulated >30-fold in NCP, while it remained unchanged in NEP; up-regulation of the ATP-dependent chromatin remodeler CHD7 was increased in NEP, while it was down-regulated in NCP. To compare the neural precursor profiles with those of mature neurons, we analyzed the epigenetic modifiers in human cortical tissue. This resulted in the identification of 30 regulations shared between all cell types, such as the histone methyltransferase SETD7. We also identified new markers for post-mitotic neurons, like the arginine methyl transferase PRMT8 and the methyl transferase EZH1. Our findings suggest a hitherto unexpected extent of regulation, and a cell type-dependent specificity of epigenetic modifiers in neurodifferentiation

Unfertilized Xenopus Eggs Die by Bad-Dependent Apoptosis under the Control of Cdk1 and JNK

Ovulated eggs possess maternal apoptotic execution machinery that is inhibited for a limited time. The fertilized eggs switch off this time bomb whereas aged unfertilized eggs and parthenogenetically activated eggs fail to stop the timer and die. To investigate the nature of the molecular clock that triggers the egg decision of committing suicide, we introduce here Xenopus eggs as an in vivo system for studying the death of unfertilized eggs. We report that after ovulation, a number of eggs remains in the female body where they die by apoptosis. Similarly, ovulated unfertilized eggs recovered in the external medium die within 72 h. We showed that the death process depends on both cytochrome c release and caspase activation. The apoptotic machinery is turned on during meiotic maturation, before fertilization. The death pathway is independent of ERK but relies on activating Bad phosphorylation through the control of both kinases Cdk1 and JNK. In conclusion, the default fate of an unfertilized Xenopus egg is to die by a mitochondrial dependent apoptosis activated during meiotic maturation