388 research outputs found
Towards automated verification of layered graph transformation specifications
No full textGraph transformation systems have recently become more and more popular as a general formal modelling language. It is a suitable formalism for modelling different systems like distributed and complex systems. However, modelling must be complemented with proper analysis capabilities to let the user understand how designed models behave and whether stated requirements are fulfilled and model checking has proven to be a viable solution for this purpose. The authors propose an efficient solution for model checking attributed typed and layered graph transformation systems. Layered graph transformation systems are a powerful formalism to formally model different systems like hierarchical systems. In our proposal, AGG layered graph transformation specifications are translated to Bandera intermediate representation (BIR) – the input language of a Bogor model checker – and then Bogor verifies the model against some interesting properties defined by combining LTL (linear temporal logic) and special graph rules. The experimental results are encouraging and show that in most cases our proposal improves existing approaches, in terms of both performance and expressiveness
An efficient solution for model checking graph transformation Systems
No full textThis paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are amenable to check interesting properties expressed as combinations of LTL (Linear Temporal Logic) and graph transformation rules. The first experimental results are encouraging and show that in most cases our proposal improves existing approaches, both in terms of performance and expressiveness
FIGURE 1 in Phylogenetic relationships within the genus Staurois (Anura, Ranidae) based on 16S rRNA sequences
No full textFIGURE 1. Picture of Staurois from Borneo, Brunei and the Philippines: a) Staurois nubilus from Palawan (photo: Rafe Brown); b) S. natator from Mindanao (photo: Rafe Brown); c) S. guttatus from Kalimantan (photo: Umilaela Arifin); d) S. tuberilinguis from Sabah (photo: Biofagri Rahmayuningtyas); e) S. parvus from Brunei (photo: Maxmilian Dehling); and f) S. latopalmatus from Kalimantan (photo: Umilaela Arifin)Published as part of Arifin, Umilaela, Iskandar, Djoko T., Bickford, David P., Brown, Rafe M., Meier, Rudolf & Kutty, Sujatha Narayanan, 2011, Phylogenetic relationships within the genus Staurois (Anura, Ranidae) based on 16S rRNA sequences, pp. 39-52 in Zootaxa 2744 (1) on page 40, DOI: 10.11646/zootaxa.2744.1.3, http://zenodo.org/record/529140
Карл-Филипп Рейф как лингвист и переводчик/ Carl Philipp Rafe as a linguist and translator
No full textInternational audienceThe report focuses on the linguistic heritage of K.-F. Rafe (1792-1872), French-speaking Swiss, who lived in Russia for more than twenty years. It consists of a number of Russian grammar, he compiled; many two- and many-speaking dictionaries, as well as translations into French of works linguists, particularly N.I. Grech, A.S. Shishkov, A.K. Vostokov. Rafe merits before Russian linguistics were associated mainly with his two-volume dictionary of Russian language published under the title "The etymological lexicon of Russian or Russian-French dictionary" (SPb., 1835-1836), as well as educational "parallel language dictionary of Russian, French, German and English ". Rafe studied of this dictionary the compilation and publication of which for several decades, from the forties to the sixties of the 19th century, being already outside of Russia. in the name Rafe survived thanks to Louis Leger, its founder, who reissued Reyfovu grammar in 1878, partly reworked by expanding it. Appeal to the texts of all the works Rafe, their complex consideration reveals a close connection between them, to discover the logic of the linguistic and didactic ideas of the author and, in general, to reassess his work as an independent linguist
Participação de a-adrenoceptores do núcleo mediano da rafe no controle da resposta ingestiva em ratos saciados
No full textDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Biológicas, Programa de Pós-Graduação em Neurociências, Florianópolis, 2014.O presente estudo avaliou a participação de a-adrenoceptores do núcleo mediano da rafe (NMR) de ratos saciados, nas variáveis de ingestão de alimentos e água e comportamentos não ingestivos. Os animais controle foram tratados com salina (SAL) ou adrenalina (ADR), injetados no NMR sete minutos após a injeção do veículo utilizado para solubilizar os antagonistas, propilenoglicol (PLG) ou SAL. Os animais dos grupos experimentais foram tratados com um antagonista de a-adrenoceptores, prazosina (a1, 20 ou 40nmol) ou ioimbina (a2, 20 ou 40nmol) ou fentolamina (a não seletivo, 20 ou 40nmol), seguido, sete minutos após, pela injeção de ADR ou SAL. Os comportamentos foram registrados durante 30 minutos. Os resultados indicam que a injeção de ADR, assim como o bloqueio de receptores a1 resulta em hiperfagia, por outro lado, o bloqueio de a2 ou de a1 e a2 simultaneamente não altera o comportamento ingestivo. O pré-tratamento do núcleo mediano da rafe com a prazosina, seguida da injeção de ADR, não foi capaz de causar um incremento na quantidade de alimento ingerido após cada um separadamente, embora a maior dose (40nmol) tenha reduzido a latência para iniciar o comportamento ingestivo. O pré-tratamento com a ioimbina ou com a fentolamina, seguido de ADR, bloqueou o comportamento ingestivo induzido pela ADR sozinha. O presente estudo reforça a ideia de que existe uma ativação tônica de a1-adrenoceptores no NMR, que ativa uma influência inibitória (provavelmente neurônios serotonérgicos) em áreas que controlam a ingestão de alimentos. A ADR, ao ativar receptores a2, leva a uma queda na disponibilidade de catecolamina endógena na sinapse, o que reduz a liberação de 5-HT e leva à hiperfagia.Abstract : The present study evaluated the involvement of a-adrenoceptors of the median raphe nucleus (MRN) in satiated rats, in the variables of food and water intake and non ingestive behaviours. Control animals were treated with saline (SAL) or adrenaline (ADR), injected into the MRN seven minutes after the injection of the vehicle used to solubilize the antagonists, propylene glycol (PLG) or SAL. The animals of the experimental groups were treated with an a-adrenoceptor antagonist, prazosin (a1, 20 or 40nmol) or yohimbine (a2, 20 or 40nmol) or phentolamine (non-selective a, 20 or 40nmol), followed (seven minutes after) by the injection of ADR or SAL. The behaviours were recorded for 30 minutes. The results indicate that the injection of ADR and the blockade of a1 receptors result in hyperphagia, on the other hand, blocking a2 or a1 and a2 simultaneously does not change feeding behaviour. Pretreatment of the MRN with prazosin, followed by the injection of ADR was not able to cause an increase in the amount of food ingested by each one, while the highest dose (40nmol) reduced the latency to start feeding. Pretreatment with phentolamine or yohimbine, followed by ADR blocks feeding induced by ADR itself. The present study reinforces the idea that there is a tonic activation of a1-adrenoceptors in the MRN, which activates an inhibitory influence (probably serotonergic neurons) in areas that control food intake. ADR activates a2 receptors, resulting in a decrease in the availability of endogenous catecholamines at the synapse, which reduces the release of 5-HT and leads to hyperphagia
An Efficient Solution for Model Checking Graph Transformation Systems
No full textAbstractThis paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are amenable to check interesting properties expressed as combinations of LTL (Linear Temporal Logic) and graph transformation rules. The first experimental results are encouraging and show that in most cases our proposal improves existing approaches, both in terms of performance and expressiveness
Taxonomic revision of the semi-aquatic skink Parvoscincus leucospilos (Reptilia: Squamata: Scincidae), with description of three new species
No full textSiler, Cameron D., Linkem, Charles W., Cobb, Kerry, Watters, Jessa L., Cummings, Sean T., Diesmos, Arvin C., Brown, Rafe M. (2014): Taxonomic revision of the semi-aquatic skink Parvoscincus leucospilos (Reptilia: Squamata: Scincidae), with description of three new species. Zootaxa 3847 (3): 388-412, DOI: 10.11646/zootaxa.3847.3.
Phylogenetic relationships and biogeographic range evolution in cat-eyed snakes, Boiga (Serpentes: Colubridae)
No full textWeinell, Jeffrey L, Barley, Anthony J, Siler, Cameron D, Orlov, Nikolai L, Ananjeva, Natalia B, Oaks, Jamie R, Burbrink, Frank T, Brown, Rafe M (2021): Phylogenetic relationships and biogeographic range evolution in cat-eyed snakes, Boiga (Serpentes: Colubridae). Zoological Journal of the Linnean Society 192 (1): 169-184, DOI: 10.1093/zoolinnean/zlaa090, URL: https://academic.oup.com/zoolinnean/article/192/1/169/589297
(Serpentes: Colubridae)
No full textWeinell, Jeffrey L, Barley, Anthony J, Siler, Cameron D, Orlov, Nikolai L, Ananjeva, Natalia B, Oaks, Jamie R, Burbrink, Frank T, Brown, Rafe M (2021): Phylogenetic relationships and biogeographic range evolution in cat-eyed snakes, Boiga (Serpentes: Colubridae). Zoological Journal of the Linnean Society 192 (1): 169-184, DOI: 10.1093/zoolinnean/zlaa090, URL: https://academic.oup.com/zoolinnean/article/192/1/169/589297
- …
