Knowledge-based Chord Embeddings

This thesis develops AI methods as a contribution to computational musicology, an interdisciplinary field that studies music with computers. In systematic musicology a composition is defined as the combination of harmony, melody and rhythm. According to de La Borde, harmony alone "merits the name of composition". This thesis focuses on analysing the harmony from a computational perspective. We concentrate on symbolic music representation and address the problem of formally representing chord progressions in western music compositions. Informally, chords are sets of pitches played simultaneously, and chord progressions constitute the harmony of a composition. Our approach combines ML techniques with knowledge-based techniques. We design and implement the Modal Harmony ontology (MHO), using OWL. It formalises one of the most important theories in western music: the Modal Harmony Theory. We propose and experiment with different types of embedding methods to encode chords, inspired by NLP and adapted to the music domain, using both statistical (extensional) knowledge by relying on a huge dataset of chord annotations (ChoCo), intensional knowledge by relying on MHO and a combination of the two. The methods are evaluated on two musicologically relevant tasks: chord classification and music structure segmentation. The former is verified by comparing the results of the Odd One Out algorithm to the classification obtained with MHO. Good performances (accuracy: 0.86) are achieved. We feed a RNN for the latter, using our embeddings. Results show that the best performance (F1: 0.6) is achieved with embeddings that combine both approaches. Our method outpeforms the state of the art (F1 = 0.42) for symbolic music structure segmentation. It is worth noticing that embeddings based only on MHO almost equal the best performance (F1 = 0.58). We remark that those embeddings only require the ontology as an input as opposed to other approaches that rely on large datasets.

An Integrated Framework To Improve The Concept Of Resource Specialisation.

Resource specialisation, although a fundamental component of ecological theory, is employed in disparate ways. Most definitions derive from simple counts of resource species. We build on recent advances in ecophylogenetics and null model analysis to propose a concept of specialisation that comprises affinities among resources as well as their co-occurrence with consumers. In the distance-based specialisation index (DSI), specialisation is measured as relatedness (phylogenetic or otherwise) of resources, scaled by the null expectation of random use of locally available resources. Thus, specialists use significantly clustered sets of resources, whereas generalists use over-dispersed resources. Intermediate species are classed as indiscriminate consumers. The effectiveness of this approach was assessed with differentially restricted null models, applied to a data set of 168 herbivorous insect species and their hosts. Incorporation of plant relatedness and relative abundance greatly improved specialisation measures compared to taxon counts or simpler null models, which overestimate the fraction of specialists, a problem compounded by insufficient sampling effort. This framework disambiguates the concept of specialisation with an explicit measure applicable to any mode of affinity among resource classes, and is also linked to ecological and evolutionary processes. This will enable a more rigorous deployment of ecological specialisation in empirical and theoretical studies.

A simple and effective inverse projection scheme for void distribution control in topology optimization

The ability to control both the minimum size of holes and the minimum size of structural members are essential requirements in the topology optimization design process for manufacturing. This paper addresses both requirements by means of a unified approach involving mesh-independent projection techniques. An inverse projection is developed to control the minimum hole size while a standard direct projection scheme is used to control the minimum length of structural members. In addition, a heuristic scheme combining both contrasting requirements simultaneously is discussed. Two topology optimization implementations are contributed: one in which the projection (either inverse or direct) is used at each iteration; and the other in which a two-phase scheme is explored. In the first phase, the compliance minimization is carried out without any projection until convergence. In the second phase, the chosen projection scheme is applied iteratively until a solution is obtained while satisfying either the minimum member size or minimum hole size. Examples demonstrate the various features of the projection-based techniques presented.

Methylation patterns revealed by MSAP profiling in genetically stable somatic embryogenic cultures of Ocotea catharinensis (Lauraceae)

Ocotea catharinensis is a rare tree species indigenous to the Atlantic rainforest of South America. In spite of its value as a hardwood species, it is in danger of extinction. The species erratically produces seeds showing irregular flowering and slow growth. Therefore, plants are not easily replaced. Tissue culture-based techniques are commonly used for obtaining living material for tree propagation and in vitro preservation. Therefore, a high-frequency somatic embryogenic system was developed for the species. In the present work, the genetic fidelity of cell aggregates and somatic embryos at various stages of in vitro development of O. catharinensis was investigated using RAPD and AFLP markers. Both analyses confirmed the absence of genetic variation in all developmental stages of O. catharinensis embryogenic cultures, verifying that the in vitro system is genetically stable. The cultures were also analyzed for their methylation profiles at 5`-CCGG-3` sites by identifying methylation-sensitive amplification polymorphisms. Some of these markers differentiated cell aggregates from embryo bodies. The sequencing of ten MSAP markers revealed that four sequences showed significant similarity to genes encoding plant proteins. Particularly, the predicted amino acid sequence of the fragment designated as OcEaggHMttc155 was similar to the enzyme 1-aminocyclopropane-1-carboxylate oxidase (ACO), which is involved in the biosynthesis of ethylene, and its expression was reported to occur from the beginning to the intermediate stages of plant embryo development. Here, we suggest that this enzyme is possibly involved in the control of the earliest stages of somatic embryogenesis of O. catharinensis, and an approach to study ACO expression during somatic embryogenesis is proposed.

Frequency of concurrent autoimmune disorders in patients with autoimmune hepatitis - Effect of age, gender, and genetic background

Background: Concurrent autoimmune disorders (CAIDs) have been shown to occur in 22% to 34% of the patients with autoimmune hepatitis (AIH). Their presence has been linked to female gender, older age, and to certain HLA antigens, namely HLA-A11. DRB1*04, and DRB4*01. Aims: To assess the frequency and nature of CAID in Brazilian patients with AIH types 1 (AIH-1) and 2 (AIH-2) and to investigate the influence of age, gender, and genetic background in their occurrence. Patients and Methods: The presence and nature of CAID was studied in 143 patients [117 females, median age 11 (1.3 to 69)] with AIH-1 (n = 125) and AIH-2 (n = 28). HLA typing and tumor necrosis factor a gene promoter and exon I cytotoxic T lymphocyte associated antigen 4 (CTLA-4) gene polymorphisms were determined by polymerase chain reaction-based techniques. Results: The frequency of CAID was similar in patients with AIH-1 (14%) and AIH-2 (18%), but their nature was shown to vary. Arthritis was seen in half of the patients (n = 8) with CAID and AIH-1 and in none of those with AIH-2. Subjects with AIH-1 and CAID were shown to be older [24 (1.3 to 6 1) vs. 11 (1.3 to 69) y P = 0.02] and to have more often circulating antinuclear antibody (76% vs. 40%, P = 0.008) and less frequently antiactin antibodies (33% vs. 75%, P = 0.008) when compared with their counterparts without CAID. No particular HLA-DR and DQ alleles, as well as tumor necrosis factor a and CTLA-4 genotypes, were associated with CAID. Conclusions: The nature, but not the frequency, of CAID was shown to vary in AIH-1 and AIH-2. In subjects with AIH-1, CAID was linked to older subjects and to the presence of antinuclear antibody. No predisposition to CAID was associated to HLA-DRB1*04 or DDB4*01 alleles. The observed lower frequency of CAID could be attributed to the lower age of disease onset in Brazilians and to differences in HLA-encoded susceptibility to AIH-1 observed in South America.

Molecular diversity of Brazilian strains of porcine circovirus type 2 (PCV-2)

Porcine circovirus 2 (PCV-2) is associated with a broad range of syndromes. In this study, eight pig tissue samples from two Brazilian states were analyzed using six PCR primer pairs amplifying a 1705-bp fragment of the PCV-2 genome. The NJ distance-based method was used for the phylogenetic analysis with the eight field strains herein, 15 GenBank sequences and using PCV-1 as an out-group. This yielded two major clusters (A and B) for this viral species, with the Brazilian strains segregating with European and Asian sequences. Nucleotide identity was 99.7 to 100% among the sequences. This information can be used in further studies of pathogenesis related to PCV-2 in Brazil. (C) 2007 Elsevier Ltd. All rights reserved.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

The anammox case - A new experimental manifesto for microbiological eco-physiology

The anaerobic ammonium oxidation process is a new process for ammonia removal from wastewater. It is also a new microbial physiology that was previously believed to be impossible. The identification of Candidatus Brocadia anammoxidans and its relatives as the responsible bacteria was only possible with the development of a new experimental approach. That approach is the focus of this paper. The approach is a modernisation of the Winogradsky/Beyerinck strategy of selective enrichment and is based on the introduction of the molecular toolbox and modern bioreactor engineering to microbial ecology. It consists of five steps: (1) postulation of an ecological niche based on thermodynamic considerations and macro-ecological field data; (2) engineering of this niche into a laboratory bioreactor for enrichment culture; (3) black-box physiological characterisation of the enrichment culture as a whole; (4) phylogenetic characterisation of the enriched community using molecular tools; (5) physical separation of the dominant members of the enrichment culture using gradient centrifugation and the identification of the species of interest in accordance with Koch's postulates; (6) verification of the in situ importance of these species in the actual ecosystems. The power of this approach is illustrated with a case study: the identification of the planctomycetes responsible for anaerobic ammonium oxidation. We argue that this was impossible using molecular ecology or conventional 'cultivation based techniques' alone. We suggest that the approach might also be used for the microbiological study of many interesting microbes such as anaerobic methane oxidisers.

Rastreio neonatal dos défices do ciclo da ureia em Portugal

Os défices do ciclo da ureia são um grupo de doenças hereditárias do metabolismo caracterizadas fundamentalmente por uma acumulação de amónia. Clinicamente o espectro é muito alargado, com formas de apresentação no período neonatal até situações mais moderadas de apresentação tardia em adultos. O tratamento é fundamentalmente de base nutricional e traduz-se numa redução significativa da mortalidade e morbilidade. Com a introdução da espectrometria de massa nos laboratórios de rastreio neonatal em meados dos anos 90, passou a ser possível quantificar alguns intermediários do ciclo, o que associado à existência de um intervalo livre e um tratamento eficaz, permitiu o rastreio de algumas das doenças deste grupo. Em 2004 iniciou-se em Portugal o rastreio dos défices do ciclo da ureia, tendo-se rastreado até ao presente, 988 687 recém-nascidos e identificado 19 casos positivos. Recentes desenvolvimentos técnicos vieram possibilitar a quantificação de novos marcadores, mais concretamente do ácido orótico, o que abre a possibilidade de rastrear o défice em ornitina transcarbamilase, o défice do ciclo da ureia mais frequente. Os autores apresentam a situação atual do rastreio dos défices do ciclo da ureia e as perspetivas em virtude dos novos desenvolvimentos técnicos.

Fungal and microbial volatile organic compounds exposure assessment in a waste sorting plant

In the management of solid waste, pollutants over a wide range are released with different routes of exposure for workers. The potential for synergism among the pollutants raises concerns about potential adverse health effects, and there are still many uncertainties involved in exposure assessment. In this study, conventional (culture-based) and molecular real-time polymerase chain reaction (RTPCR) methodologies were used to assess fungal air contamination in a waste-sorting plant which focused on the presence of three potential pathogenic/toxigenic fungal species: Aspergillus flavus, A. fumigatus, and Stachybotrys chartarum. In addition, microbial volatile organic compounds (MVOC) were measured by photoionization detection. For all analysis, samplings were performed at five different workstations inside the facilities and also outdoors as a reference. Penicillium sp. were the most common species found at all plant locations. Pathogenic/toxigenic species (A. fumigatus and S. chartarum) were detected at two different workstations by RTPCR but not by culture-based techniques. MVOC concentration indoors ranged between 0 and 8.9 ppm (average 5.3 ± 3.16 ppm). Our results illustrated the advantage of combining both conventional and molecular methodologies in fungal exposure assessment. Together with MVOC analyses in indoor air, data obtained allow for a more precise evaluation of potential health risks associated with bioaerosol exposure. Consequently, with this knowledge, strategies may be developed for effective protection of the workers.

Direct multisearch for multiobjective optimization

In practical applications of optimization it is common to have several conflicting objective functions to optimize. Frequently, these functions are subject to noise or can be of black-box type, preventing the use of derivative-based techniques. We propose a novel multiobjective derivative-free methodology, calling it direct multisearch (DMS), which does not aggregate any of the objective functions. Our framework is inspired by the search/poll paradigm of direct-search methods of directional type and uses the concept of Pareto dominance to maintain a list of nondominated points (from which the new iterates or poll centers are chosen). The aim of our method is to generate as many points in the Pareto front as possible from the polling procedure itself, while keeping the whole framework general enough to accommodate other disseminating strategies, in particular, when using the (here also) optional search step. DMS generalizes to multiobjective optimization (MOO) all direct-search methods of directional type. We prove under the common assumptions used in direct search for single objective optimization that at least one limit point of the sequence of iterates generated by DMS lies in (a stationary form of) the Pareto front. However, extensive computational experience has shown that our methodology has an impressive capability of generating the whole Pareto front, even without using a search step. Two by-products of this paper are (i) the development of a collection of test problems for MOO and (ii) the extension of performance and data profiles to MOO, allowing a comparison of several solvers on a large set of test problems, in terms of their efficiency and robustness to determine Pareto fronts.

Neighbour list optimization for real LTE radio network

With the increasing complexity of current networks, it became evident the need for Self-Organizing Networks (SON), which aims to automate most of the associated radio planning and optimization tasks. Within SON, this paper aims to optimize the Neighbour Cell List (NCL) for Long Term Evolution (LTE) evolved NodeBs (eNBs). An algorithm composed by three decisions were were developed: distance-based, Radio Frequency (RF) measurement-based and Handover (HO) stats-based. The distance-based decision, proposes a new NCL taking account the eNB location and interference tiers, based in the quadrants method. The last two algorithms consider signal strength measurements and HO statistics, respectively; they also define a ranking to each eNB and neighbour relation addition/removal based on user defined constraints. The algorithms were developed and implemented over an already existent radio network optimization professional tool. Several case studies were produced using real data from a Portuguese LTE mobile operator. © 2014 IEEE.

Multiple sequence alignment correction using constraints

Trabalho apresentado no âmbito do European Master in Computational Logics, como requisito parcial para obtenção do grau de Mestre em Computational Logics

New analytical methodologies for doping control – detection of anabolic androgenic steroids in human urine

Dissertation submitted to Faculdade de Ciências e Tecnologia - Universidade Nova de Lisboa in fulfilment of the requirements for the degree of Doctor of Philosophy (Biochemistry - Biotechnology)

Antigenic and genetic characterization of the first rabies virus isolated from the bat Eumops perotis in Brazil

Although the main transmitters of rabies in Brazil are dogs and vampire bats, the role of other species such as insectivorous and frugivorous bats deserves special attention, as the rabies virus has been isolated from 36 bat species. This study describes the first isolation of the rabies virus from the insectivorous bat Eumops perotis. The infected animal was found in the city of Ribeirão Preto, São Paulo. The virus was identified by immunofluorescence antibody test (FAT) in central nervous system (CNS) samples, and the isolation was carried out in N2A cell culture and adult mice. The sample was submitted to antigenic typing using a panel of monoclonal antibodies (CDC/Atlanta/USA). The DNA sequence of the nucleoprotein gene located between nucleotides 102 and 1385 was aligned with homologous sequences from GenBank using the CLUSTAL/W method, and the alignment was used to build a neighbor-joining distance-based phylogenetic tree with the K-2-P model. CNS was negative by FAT, and only one mouse died after inoculation with a suspension from the bat's CNS. Antigenic typing gave a result that was not compatible with the patterns defined by the panel. Phylogenetic analysis showed that the virus isolated segregated into the same cluster related to other viruses isolated from insectivorous bats belonging to genus Nyctinomops ssp. (98.8% nucleotide identity with each other).