Sesquiterpenos e outros constituintes das folhas de Pterodon pubescens Benth (Leguminosae)

In addition to β-sitosterol, stigmasterol, phaeophitin A, luteolin, kaempferol, quercetin, (+)-catechin, quercetin-3-O-α-L-rhamnopyranoside, rutin, and p-hydroxy-benzoic acid, six known sesquiterpenes, namely (rel)-2β,6β-epoxy-5β-hydroxy-isodaucane, oplopanone, 1β,6α-dihydroxy-4(15)-eudesmene, caryophyllene oxide, α-cadinol, and spathulenol, were isolated from the leaves of Pterodon pubescens (Leguminosae) growing in the Cerrado of Mato Grosso do Sul, Brazil. The (rel)-2β,6β-epoxy-5β-hydroxy-isodaucane corresponds to the correct structure of homalomenol D. The sesquiterpene oplopanone, which bears a modified cadinane skeleton, is being reported for the first time in this genus. The structures of the compounds were determined on the basis of spectral data (MS, IR, and NMR-1D and 2D) and subsequent comparison with data reported in the literature.

Comparison Structure Analysis

This study presents an automatic, computer-aided analytical method called Comparison Structure Analysis (CSA), which can be applied to different dimensions of music. The aim of CSA is first and foremost practical: to produce dynamic and understandable representations of musical properties by evaluating the prevalence of a chosen musical data structure through a musical piece. Such a comparison structure may refer to a mathematical vector, a set, a matrix or another type of data structure and even a combination of data structures. CSA depends on an abstract systematic segmentation that allows for a statistical or mathematical survey of the data. To choose a comparison structure is to tune the apparatus to be sensitive to an exclusive set of musical properties. CSA settles somewhere between traditional music analysis and computer aided music information retrieval (MIR). Theoretically defined musical entities, such as pitch-class sets, set-classes and particular rhythm patterns are detected in compositions using pattern extraction and pattern comparison algorithms that are typical within the field of MIR. In principle, the idea of comparison structure analysis can be applied to any time-series type data and, in the music analytical context, to polyphonic as well as homophonic music. Tonal trends, set-class similarities, invertible counterpoints, voice-leading similarities, short-term modulations, rhythmic similarities and multiparametric changes in musical texture were studied. Since CSA allows for a highly accurate classification of compositions, its methods may be applicable to symbolic music information retrieval as well. The strength of CSA relies especially on the possibility to make comparisons between the observations concerning different musical parameters and to combine it with statistical and perhaps other music analytical methods. The results of CSA are dependent on the competence of the similarity measure. New similarity measures for tonal stability, rhythmic and set-class similarity measurements were proposed. The most advanced results were attained by employing the automated function generation – comparable with the so-called genetic programming – to search for an optimal model for set-class similarity measurements. However, the results of CSA seem to agree strongly, independent of the type of similarity function employed in the analysis.

Morfologia das células intersticiais de ovários policísticos de ratas: um estudo experimental

OBJETIVOS: Avaliar a histomorfometria das células intersticiais dos ovários, bem como analisar a concentração sanguínea de esteroides sexuais de ratas portadoras de ovários policísticos induzidos pela luz contínua. MÉTODOS: Vinte ratas foram divididas em dois grupos: ratas na fase de estro (GCtrl ) e ratas portadoras de ovários policísticos induzidos pela iluminação contínua (GOP). Os animais do GCtrl permaneceram com período de luz das 7:00 s 19:00 horas, e os animais do GOP, com iluminação contínua (400 Lux), durante um período de 60 dias. Ao final desse período todos os animais foram anestesiados, foi coletado o sangue, para determinação dos níveis séricos de estradiol (E2), progesterona (P4) e testosterona (T), seguido da retirada dos ovários que foram fixados em formol a 10% e processados para inclusão em parafina. Cortes histológicos com 5 µm corados pela hematoxilina e eosina foram utilizados para análise histomorfométrica. As análises morfológicas, contagem de cistos, determinação da concentração e do volume nuclear das células intersticiais foram realizadas com o auxílio de microscópio de luz adaptado a uma câmera de alta resolução (AxioCam), cujas imagens foram transmitidas e analisadas em computador com software AxioVision Rel 4.8 (Carl Zeiss). Os dados obtidos foram submetidos ao teste t de Student (p<0,05). RESULTADOS: A morfologia mostrou a presença de cistos nos ovários pertencentes ao Grupo OP e de corpos lúteos no GCtrl, mostrando ainda evidências da origem das células intersticiais a partir das células da teca interna desses cistos. Com relação aos níveis hormonais o GOP apresentou níveis séricos de estradiol (pg/mL) aumentados em relação ao GCtrl (GOP=124,9±4,2>GCtrl=73,2±6,5; p<0,05), o mesmo ocorrendo com os níveis de testosterona (pg/mL) (GOP=116,9±4,6>GCtrl=80,6±3,9; p<0,05). Entretanto os níveis de progesterona (ng/mL) foram mais elevados no GCtrl em relação ao GOP (GCtrl=16,3±2,0>GOP=4,2±1,5; p<0,05). A morfometria mostrou haver aumento significante do volume nuclear no grupo GOP (GOP=102,1±5,2>GCtrl=63,6±16,5; p<0,05), assim como da área ocupada (%) pelas células intersticiais (GOP=24,4±6,9>GCtrl=6,9±3,2; p<0,05) em relação aos animais do GCtrl. CONCLUSÃO: As células intersticiais do ovário policístico da rata provavelmente provêm dos cistos ovarianos devido degeneração das células da granulosa e diferenciação das células da teca interna. As elevações dos níveis séricos de testosterona e de estradiol provavelmente provêm do aumento significativo da atividade celular e da área ocupada pelas células intersticiais.

Morfologia dos cardiomiócitos e quantificação do colágeno no miocárdio de ratas tratadas com isoflavonas ou estrogênios

OBJETIVOS: Avaliar a morfologia dos cardiomiócitos e quantificar o colágeno presente no miocárdio de ratas tratadas com extrato concentrado de soja ou 17β-estradiol (E2). MÉTODOS: Vinte e oito ratas foram divididas em quatro grupos: GCtrl - fase de estro; GOvx - ovariectomizadas (Ovx); GIso - Ovx tratadas com extrato de soja (150 mg/kg, por dia); GE2 - Ovx tratadas com E2 (10 µg/kg, por dia). As drogas e o veículo (0,2 mL de propilenoglicol) foram administrados após 30 dias da realização da ovariectomia, por 30 dias consecutivos. No último dia os animais foram anestesiados, o coração retirado, mergulhado em formaldeído a 10%, e fragmentos dos ventrículos submetidos a processamento histológico, sendo os cortes corados pela hematoxilina e eosina ou pelo picrosirius-red. As análises histomorfométricas (contagem, volume nuclear e quantificação do colágeno) foram realizadas em microscópio de luz e software AxioVision Rel. 4.2, sendo o colágeno determinado pelo programa Imagelab 2000. Os dados foram submetidos ao teste de ANOVA complementado pelo teste de Tukey (p<0,05). RESULTADOS: Notamos maior quantidade de núcleos de cardiomiócitos nos animais dos grupos Ovx e Iso do que no GE2 e GCtrl (GOvx=121,7±20,2=GIso=92,8±15,4>GE2=70,5±14,8=GCtrl=66,3±9,6; p<0,05), sendo o volume nuclear maior nos animais do grupo Ctrl e E2 (GE2=35,7±4,8=GCtrl=29,9±3,6>GIso=26,5±4,5=GOvx=22,4±2,9; p<0,05). Com relação ao colágeno notamos maior concentração no grupo Ovx (GOvx=5,4±0,1>GCtrl=4,0±0,1=GIso=4,4±0,08=GE2=4,3±0,5; p<0,05). CONCLUSÕES: Os estrogênios previnem a diminuição do volume nuclear dos cardiomiócitos e a deposição de colágeno entre as fibras musculares cardíacas. Já a administração de isoflavonas previne somente a deposição de colágeno, o que pode preservar as propriedades mecânicas das fibras cardíacas.

Aspectos morfológicos da uretra de ratas após eletroestimulação do assoalho pélvico

OBJETIVO: Avaliar os efeitos da eletroestimulação (ES) do assoalho pélvico na uretra de ratas. MÉTODOS: Quarenta ratas adultas foram distribuídas, randomicamente, em quatro grupos com dez animais cada: Ctrl - sem intervenção; Sham - não foi submetido a ES, recebeu um eletrodo dentro da vagina; Exp6 - submetido a seis sessões de ES do assoalho pélvico; e Exp12 - submetido a 12 sessões de ES do assoalho pélvico. Ao final do experimento, todos os animais foram anestesiados, e o terço médio da uretra foi retirado, fixado em líquido de Bouin e processado para estudo histomorfométrico. Alguns cortes foram corados pela hematoxilina e eosina, para descrição morfológica e morfométrica, e outros, pelo picrosirius red, para avaliação do colágeno total. As espessuras da camada muscular e do epitélio foram obtidas, nos 4 quadrantes da uretra, pela realização de 20 medições em cada animal. O número de vasos sanguíneos presentes na lâmina própria foi obtido nos quatro quadrantes, em uma área de 10³ mm² por quadrante, sendo as imagens obtidas pelo programa de análise de imagens AxioVision® REL 4.3 (Carl Zeiss). A proporção de colágeno e de fibras musculares foi obtida de duas imagens por quadrante, de cada lâmina da uretra corada pelo picrosirius red, com auxílio do programa Imagelab®. Os dados foram submetidos à análise de variância (ANOVA) e ao teste de comparações múltiplas de Tukey-Kramer (p<0,05). RESULTADOS: A morfometria do colágeno, número de vasos sanguíneos e espessura do epitélio não mostraram alterações significantes. No entanto, a espessura do tecido muscular periuretral mostrou aumento significante no grupo Exp12 em relação aos outros grupos (Exp12*>Exp6==Ctrl==Sham; *p<0,05). CONCLUSÃO: A eletroestimulação funcional prolongada do assoalho pélvico induziu aumento na espessura da camada muscular periuretral em ratas.

A Rights Expression Language for Federated Repositories

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Geologian popularisointi internet-ympäristössä: ”Vekaran virtuaalinen geologiapolku” ja ”Rakennegeologiaa”

Tämä Pro gradu -tutkielma on keskittynyt geopopularisoidun sisällön tuottamiseen internet-ympäristöön. Suomenkielisen geologisen tiedon yleistajuistaminen on nähty edelleen kehitettävänä ja tarpeellisena työnä. Tietotekniikka luo jatkuvasti uusia mahdollisuuksia myös geologisen tiedon välittämiseksi suurelle yleisölle esimerkiksi animaatioiden, videoiden ja 360° pallopanoraamakuvien avulla. Geologiassa popularisoimisen erityisenä haasteena on esittää esimerkiksi kallioperässä esiintyviä kolmiulotteisia rakenteita. Pro gradu -tutkielman yhteydessä tehtiin suurelle yleisölle suunnattu yleistajuistettu geologinen aineisto luomalla ”Vekaran virtuaalinen geologiapolku”. Työ julkaistiin marraskuussa 2015 Metsähallituksen selkameri.fi -sivustolla välilehdellä ”Opastetut kierrokset”. Virtuaalinen geologiapolku toteutettiin käyttämällä 360° pallopanoraamakuvia. Lisäksi tuotettiin ”Rakennegeologiaa” sisältökokonaisuus geologia.fi -internetportaaliin tukemaan virtuaalista geologiapolkua ja täydentämään geologia.fi -sivuston muuta geologista sisältöä. ”Rakennegeologiaa” -sisältö julkaistiin geologia.fi -sivustolla osiossa ”Perusgeologiaa” tammikuussa 2016. Tutkielmassa tarkastellaan geologisen popularisoidun tiedon esittämistä internet-ympäristössä sekä tieteen yleistajuistamisen yleisten periaatteiden mukaan että pedagogisesta näkökulmasta. Tutkielmassa esitellään lisäksi muutamia aiempia geopopularisointihankkeita. Kummatkin internet-sivustoille laaditut sisällöt on esitetty tutkielmassa kokonaisuudessaan. Aineistona käytettiin kenttähavaintoja, tieteen yleistajuistamiseen keskittyvää kirjallisuutta sekä geologian oppiainetta pedagogisesta näkökulmasta lähestyviä artikkeleita, geologian perusteoksia ja internet-sivustoja. Sisältöjen piirrokset ovat tutkielman kirjoittajan laatimia. Valokuvat ovat joko omia tai Turun yliopiston geologian opetuksessa käytettyjä. Metsähallituksen työntekijä Anssi Riihiaho on ottanut virtuaalisen luontopolun pohjana olevat pallopanoraamakuvat. Tutkielman lopussa arvioidaan tuotettujen sisältöjen onnistumista sekä annetaan suosituksia vastaaviin tuleviin hankkeisiin. Työn voidaan katsoa olevan jatkoa Ari Brozinskin vuonna 2008 valmistuneelle pro gradu -tutkielmalle: Geologisen tiedon esittäminen Internet-ympäristössä, esimerkkitapaus geologia.fi.

Notas sobre a "carência de fundamentação" na filosofia de Theodor W. Adorno

Habermas relê Adorno e Horkheimer à luz do seu próprio modelo, isto é, do "paradigma lingüístico" que substitui a práxis transformadora pela argumentação. Assim, Habermas não percebe que, em Adorno, a competência comunicativa subordina-se a algo essencialmente diferente, a um impulso emancipatório. As características deste a priori transcendental racionalmente mediado devem ser buscadas não na Dialética do esclarecimento, mas em Minima moralia.

La Pipe cassée // Poême

Titre pris au départ. - Contient aussi (p. 49-73) : "Les quatres // Bouquets Poissards". - Daté d'après le filigrane. - Rel. parchemin vert

Anthologie latine.

Acquis entre 1752 et 1753 du fils de Jean-Baptiste Lantin de Dijon, parent de Claude Saumaise, parmi les mss. de Cl. Saumaise vendus à l'abbé Sallier pour la Bibliothèque du roi pour le prix global de 600 livres; cf. B.n.F., département des Manuscrits, Archives Modernes 492bis, registre des acquisitions du département des Manuscrits 1806-1820, f. 55-59, et Archives Ancien Régime 65, f. 313-314 et 349 "In f°. Codex pmembranaceus quo continentur epigrammata et poematia vetera, eadem pleraque quae edita sunt Lugduni anno 1616 apud Jacobum Chovet. Auctores in hac collectione recensiti sunt (...)"; cf. Delisle, Cab. des mss., I, 362 (éd. du catalogue des mss. de Saumaise) et 426; — ex-libris "Cl. Salmasii" (1)

Armorial flamand et lorrain, avec blasons coloriés.

Contient : Traités de blason ; le second est du XVe siècle ; Description des armes portées par divers seigneurs français (XVIe siècle)