Pulsar da Medusa: um experimento de criação cênica e estudo da expressividade do corpo-voz a partir dos fatores do movimento de Rudolf Laban

Pós-graduação em Artes - IA

Pulsar da Medusa: um experimento de criação cênica e estudo da expressividade do corpo-voz a partir dos fatores do movimento de Rudolf Laban

Pós-graduação em Artes - IA

Analysis of MLL2 gene in the first Brazilian family with Kabuki syndrome

Most patients with Kabuki syndrome (KS) are the only person in their family with the condition. However, familial cases of KS have been described showing evidence that this syndrome can be inherited as a dominant trait with variable expressivity. We report on two related individuals with facial findings characteristic of KS. The proposita had arched eyebrows, long and upward slanting palpebral fissures, cleft lip and palate, retromicrognathia, brachydactyly of hands and feet, stubby fingers, nail hypoplasia, and prominent finger pads. Her mother had eyebrows with dispersed lateral half, long and upward slanting palpebral fissures, retrognathia, abnormal and posteriorly rotated ears, prominent finger pads, brachydactyly of feet, learning difficulties, and psychomotor development delay. DNA sequencing revealed a novel missense mutation in the MLL2 gene in both the proposita and her mother. The mutation (p.R5432Q) was found in the exon 51, within the SET domain of the gene, which confers methyltransferase activity on the protein. Therefore, the epigenetic and transcriptional regulatory properties of this protein may be altered and this suggests that the mutation is the cause of phenotype observed in both the patient and her mother. The clinical signs and the molecular evidence in this family further support the notion that KS is an autosomal dominant condition with variable expressivity. To our knowledge this is the first report of a Brazilian family with recurrence of this syndrome. (C) 2012 Wiley Periodicals, Inc.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Sindrome di Buschke-Ollendorff: clinica e genetica

Buschke Ollendorff syndrome (BOS) is a rare autosomal dominant genodermatosis, with high penetrance and variable expressivity, characterized by the association of connective tissue naevi and osteopoikilosis. Both cutaneous and osseous manifestations are usually asymptomatic. The disease is caused by a loss-of-function mutation in the gene LEMD3, that is located on chromosome 12q13. Differential diagnosis mainly includes pseudoxantoma elasticum, morphea, lipoid proteinosis, papular elastorrhexis, juvenile elastoma, papular mucinosis. The 2 cases of BOS here reported are an example of segmental type 2 autosomal dominant genodermatosis, that is due to the loss of heterozygosity occurring at an early developmental stage in a heterozygous patient, causing a segmental homozygosity. Such patients usually have pronounced segmental lesions in the first years of life and later develop disseminated symmetrical lesions.

Facetten emotionaler Expressivität auf Fragebogenebene

Der Dimensionierung emotionaler Expressivität auf Fragebogenebene wurde in zwei Untersuchungen nachgegangen. Gross und John (1998) untersuchten die Items bestehender Fragebogen auf ihre dimensionale Struktur hin und ermittelten die fünf Facetten positive und negative Expressivität, Impulsstärke, Darstellungsfähigkeit (expressive confidence) und Verstellungstendenz (masking), wobei die drei erstgenannten in einem hierarchischen Modell einen engeren Zusammenhang mit einander aufwiesen (Kern-Expressivität) als die beiden anderen. Untersuchung 1 ging den Fragen nach, ob sich die gleichen Dimensionen auch mit deutschen Adaptationen der Fragebogen finden lassen, und ob sich die dimensionale Struktur ändert, wenn weitere Fragebogen aus dem Bereich der Expressivität hinzugenommen werden. Die Dimensionen von Gross und John (1998) konnten nur zum Teil repliziert werden. Dies und die Ergebnisse des erweiterten Itempools führten zur Formulierung eines modifizierten (erweiterten) Modells der Facetten emotionaler Expressivität. In Untersuchung 2 wurden Items für einen Fragebogen zu Facetten emotionaler Expressivität (FFEE) formuliert, welche die im modifizierten Modell spezifizierten Dimensionen erheben sollten. Die drei postulierten übergeordneten Bereiche Kern-Expressivität, soziale Expressivität und kognitive Expressivität konnten auch empirisch gefunden werden. Darüber hinaus differenzierten sich die negativen Items der Kern-Expressivität stärker als die positiven. Die Zusammenhänge mit externen Expressivitäts-Fragebogen, den globalen Persönlichkeitsmerkmalen Extraversion und Neurotizismus und den Angstbewältigungsdimensionen Vigilanz und kognitive Vermeidung bestätigten die Validität des FFEE. Theoretische Implikationen und Ansatzpunkte für weitere Forschungen wurden diskutiert.

An architecture for scaling ontology networks

Constructing ontology networks typically occurs at design time at the hands of knowledge engineers who assemble their components statically. There are, however, use cases where ontology networks need to be assembled upon request and processed at runtime, without altering the stored ontologies and without tampering with one another. These are what we call "virtual [ontology] networks", and keeping track of how an ontology changes in each virtual network is called "multiplexing". Issues may arise from the connectivity of ontology networks. In many cases, simple flat import schemes will not work, because many ontology managers can cause property assertions to be erroneously interpreted as annotations and ignored by reasoners. Also, multiple virtual networks should optimize their cumulative memory footprint, and where they cannot, this should occur for very limited periods of time. We claim that these problems should be handled by the software that serves these ontology networks, rather than by ontology engineering methodologies. We propose a method that spreads multiple virtual networks across a 3-tier structure, and can reduce the amount of erroneously interpreted axioms, under certain raw statement distributions across the ontologies. We assumed OWL as the core language handled by semantic applications in the framework at hand, due to the greater availability of reasoners and rule engines. We also verified that, in common OWL ontology management software, OWL axiom interpretation occurs in the worst case scenario of pre-order visit. To measure the effectiveness and space-efficiency of our solution, a Java and RESTful implementation was produced within an Apache project. We verified that a 3-tier structure can accommodate reasonably complex ontology networks better, in terms of the expressivity OWL axiom interpretation, than flat-tree import schemes can. We measured both the memory overhead of the additional components we put on top of traditional ontology networks, and the framework's caching capabilities.

Probabilistic Recursion Theory and Implicit Computational Complexity

In this thesis we provide a characterization of probabilistic computation in itself, from a recursion-theoretical perspective, without reducing it to deterministic computation. More specifically, we show that probabilistic computable functions, i.e., those functions which are computed by Probabilistic Turing Machines (PTM), can be characterized by a natural generalization of Kleene's partial recursive functions which includes, among initial functions, one that returns identity or successor with probability 1/2. We then prove the equi-expressivity of the obtained algebra and the class of functions computed by PTMs. In the the second part of the thesis we investigate the relations existing between our recursion-theoretical framework and sub-recursive classes, in the spirit of Implicit Computational Complexity. More precisely, endowing predicative recurrence with a random base function is proved to lead to a characterization of polynomial-time computable probabilistic functions.

Genetic analysis of syndactyly in German Holstein cattle

Congenital syndactyly with a variable number of affected feet was observed in eight black and white German Holstein calves. Analysis of the pedigree data revealed that all affected individuals could be traced back to a single founder. The pedigree was consistent with monogenic autosomal recessive inheritance and variable expressivity. Bovine syndactyly or "mulefoot" has been previously shown to map on the telomeric end of bovine chromosome 15 and we performed PCR genotyping of microsatellite markers spanning 27 cM of this chromosomal region to test the new cases for genetic linkage with the phenotype. The haplotype segregation confirmed the suggested inheritance pattern of the mulefoot mutation in this family and markers RM004, BM848 and BMS820 showed significant linkage to the phenotype. The results confirmed the chromosomal location of the mulefoot gene in this pedigree. Furthermore the study demonstrated that although marker testing has been available for nearly a decade the use of mulefoot carriers in cattle breeding remains uncontrolled. The presented family provides a resource for positional cloning of the causative mutation.

Linkage mapping of ovine microphthalmia to chromosome 23, the sheep orthologue of human chromosome 18

PURPOSE: To characterize the phenotype and map the locus responsible for autosomal recessive inherited ovine microphthalmia (OMO) in sheep. METHODS: Microphthalmia-affected lambs and their available relatives were collected in a field, and experimental matings were performed to obtain affected and normal lambs for detailed necropsy and histologic examinations. The matings resulted in 18 sheep families with 48 cases of microphthalmia. A comparative candidate gene approach was used to map the disease locus within the sheep genome. Initially, 27 loci responsible for the microphthalmia-anophthalmia phenotypes in humans or mice were selected to test for comparative linkage. Fifty flanking markers that were predicted from comparative genomic analysis to be closely linked to these genes were tested for linkage to the disease locus. After observation of statistical evidence for linkage, a confirmatory fine mapping strategy was applied by further genotyping of 43 microsatellites. RESULTS: The clinical and pathologic examinations showed slightly variable expressivity of isolated bilateral microphthalmia. The anterior eye chamber was small or absent, and a white mass admixed with cystic spaces extended from the papilla to the anterior eye chamber, while no recognizable vitreous body or lens was found within the affected eyes. Significant linkage to a single candidate region was identified at sheep chromosome 23. Fine mapping and haplotype analysis assigned the candidate region to a critical interval of 12.4 cM. This ovine chromosome segment encompasses an ancestral chromosomal breakpoint corresponding to two orthologue segments of human chromosomes 18, short and long arms. For the examined animals, we excluded the complete coding region and adjacent intronic regions of ovine TGIF1 to harbor disease-causing mutations. CONCLUSIONS: This is the first genetic localization for hereditary ovine isolated microphthalmia. It seems unlikely that a mutation in the TGIF1 gene is responsible for this disorder. The studied sheep represent a valuable large animal model for similar human ocular phenotypes.

A non-coding genomic duplication at the HMX1 locus is associated with crop ears in highland cattle.

Highland cattle with congenital crop ears have notches of variable size on the tips of both ears. In some cases, cartilage deformation can be seen and occasionally the external ears are shortened. We collected 40 cases and 80 controls across Switzerland. Pedigree data analysis confirmed a monogenic autosomal dominant mode of inheritance with variable expressivity. All affected animals could be traced back to a single common ancestor. A genome-wide association study was performed and the causative mutation was mapped to a 4 Mb interval on bovine chromosome 6. The H6 family homeobox 1 (HMX1) gene was selected as a positional and functional candidate gene. By whole genome re-sequencing of an affected Highland cattle, we detected 6 non-synonymous coding sequence variants and two variants in an ultra-conserved element at the HMX1 locus with respect to the reference genome. Of these 8 variants, only a non-coding 76 bp genomic duplication (g.106720058_106720133dup) located in the conserved region was perfectly associated with crop ears. The identified copy number variation probably results in HMX1 misregulation and possible gain-of-function. Our findings confirm the role of HMX1 during the development of the external ear. As it is sometimes difficult to phenotypically diagnose Highland cattle with slight ear notches, genetic testing can now be used to improve selection against this undesired trait.

Adolescent Meaning Making of Past Experience

This study examined the meaning making processes of self-defining memories in adolescents, as well as how they co-construct the narratives of these events with their parents. The sample consisted of 53 students, aged 12-14, who came in for recorded laboratory sessions to discuss self-defining memories with their parents. These sessions were later coded on levels of meaning making and co-construction. These codes were, then, analyzed with the adolescents’ questionnaire scores regarding friendship quality, internalizing, and externalizing behaviors. The data revealed that adolescents and parents were both rated higher for more complex levels of meaning making and that those rated higher for more complex meaning making abilities had better friendship qualities. The implications of these findings were discussed in terms of their importance for parents supporting their children’s emotional expressivity, narrative abilities, and meaning making strategies.

Identification and evaluation of candidate genes for inherited retinal -degenerative diseases

Although more than 100 genes associated with inherited retinal disease have been mapped to chromosomal locations, less than half of these genes have been cloned. This text includes identification and evaluation of candidate genes for three autosomal dominant forms of inherited retinal degeneration: atypical vitelliform macular dystrophy (VMD1), cone-rod dystrophy (CORD), and retinitis pigmentosa (RP). ^ VMD1 is a disorder characterized by complete penetrance but extremely variable expressivity, and includes macular or peripheral retinal lesions and peripappilary abnormalitites. In 1984, linkage was reported between VMD1 and soluble glutamate-pyruvate transaminase GPT); however, placement of GPT to 8q24 on linkage maps had been debated, and VMD1 did not show linkage to microsatellite markers in that region. This study excluded linkage between the loci by cloning GPT, identifying the nucleotide substitution associated with the GPT sozymes, and by assaying VMD1 family samples with an RFLP designed to detect the substitution. In addition, linkage of VMD1 to the known dominant macular degeneration loci was excluded. ^ CORD is characterized by early onset of color-vision deficiency, and decreased visual acuity, However, this retinal degeneration progresses to no light perception, severe macular lesion, and “bone-spicule” accumulations in the peripheral retina. In this study, the disorder in a large Texan family was mapped to the CORD2 locus of 19q13, and a mutation in the retina/pineal-specific cone-rod homeobox gene (CRX) was identified as the disease cause. In addition, mutations in CRX were associated with significantly different retinal disease phenotypes, including retinitis pigmentosa and Leber congenital amaurosis. ^ Many of the mutations leading to inherited retinal disorders have been identified in genes like CRX, which are expressed predominantly in the retina and pineal gland. Therefore, a combination of database analysis and laboratory investigation was used to identify 26 novel retina/pineal-specific expressed sequence tag (EST) clusters as candidate genes for inherited retinal disorders. Eight of these genes were mapped into the candidate regions of inherited retinal degeneration loci. ^ Two of the eight clusters mapped into the retinitis pigmentosa RP13 candidate region of 17p13, and were both determined to represent a single gene that is highly expressed in photoreceptors. This gene, the Ah receptor-interacting like protein-1 (AIPL1), was cloned, characterized, and screened for mutations in RP13 patient DNA samples. ^

Dense Map Inference with User-Defined Priors: From Priorlets to Scan Eigenvariations

When mapping is formulated in a Bayesian framework, the need of specifying a prior for the environment arises naturally. However, so far, the use of a particular structure prior has been coupled to working with a particular representation. We describe a system that supports inference with multiple priors while keeping the same dense representation. The priors are rigorously described by the user in a domain-specific language. Even though we work very close to the measurement space, we are able to represent structure constraints with the same expressivity as methods based on geometric primitives. This approach allows the intrinsic degrees of freedom of the environment’s shape to be recovered. Experiments with simulated and real data sets will be presented

Guiding functional connectivity estimation by structural connectivity in MEG: an application to discrimination of mild cognitive impaired conditions

Whole brain resting state connectivity is a promising biomarker that might help to obtain an early diagnosis in many neurological diseases, such as dementia. Inferring resting-state connectivity is often based on correlations, which are sensitive to indirect connections, leading to an inaccurate representation of the real backbone of the network. The precision matrix is a better representation for whole brain connectivity, as it considers only direct connections. The network structure can be estimated using the graphical lasso (GL), which achieves sparsity through l1-regularization on the precision matrix. In this paper, we propose a structural connectivity adaptive version of the GL, where weaker anatomical connections are represented as stronger penalties on the corre- sponding functional connections. We applied beamformer source reconstruction to the resting state MEG record- ings of 81 subjects, where 29 were healthy controls, 22 were single-domain amnestic Mild Cognitive Impaired (MCI), and 30 were multiple-domain amnestic MCI. An atlas-based anatomical parcellation of 66 regions was ob- tained for each subject, and time series were assigned to each of the regions. The fiber densities between the re- gions, obtained with deterministic tractography from diffusion-weighted MRI, were used to define the anatomical connectivity. Precision matrices were obtained with the region specific time series in five different frequency bands. We compared our method with the traditional GL and a functional adaptive version of the GL, in terms of log-likelihood and classification accuracies between the three groups. We conclude that introduc- ing an anatomical prior improves the expressivity of the model and, in most cases, leads to a better classification between groups.