Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

Predisposition assessment modelling

Dissertation submitted for obtaining the degree of Master in Environmental Engineering

Disclosing the caffeine dose to be administered that restores insulin sensitivity in prediabetes animal

The results discussed in this thesis originated the following communications in International and National congresses: Sacramento JF, Coelho JC, Melo BF, Guarino MP and Conde SV. (2014) Assessment of caffeine dose and time of administration required for resetting insulin sensitivity in high sucrose diet in rats. 50th Meeting of EASD (European Association for the study of Diabetes), 14-19 September, Vienna, Austria Coelho JC, Melo BF, Sacramento JF, Guarino MP and Conde SV (2014). Establishing the caffeine dose that chronically restores insulin sensitivity in animal model of prediabetes. Fundação Astrazeneca Innovate Competition, iMed conference 6.0®, 10-12 October, Lisboa, Portugal Also, during the last year I was involved in other ongoing projects that originated the following communications: Coelho JC, Melo BF, Sacramento JF, Ribeiro MJ, Guarino MP and Conde SV (2014). Are the effects of carotid sinus nerve resection on insulin sensitivity mediated by an increase in Glut4 expression in skeletal muscle?. XLIV Reunião Anual da Sociedade Portuguesa de Farmacologia, XXXII Reunião de Farmacologia Clínica e XIII Reunião de Toxicologia, 5-7 February, Coimbra, Portugal Sacramento JF, Rodrigues T, Coelho JC, Matafome P, Ribeiro MJ, Seiça RM, Guarino MP, Conde SV (2014). Elucidating the mechanism by which carotid sinus nerve resection restores insulin sensitivity in pre-diabetes animal models. International Society for Arterial Chemoreception (ISAC) XIX University of Leeds, 29th June - 3rd July, Leeds, United Kingdom

Plantarum Brasiliae icones et descriptiones hactenus ineditae :iussu et auspiciis Francisci Primi, imperatoris et regis augustissimi /auctore Ioanne Emanuele Pohl.

v.1-2

Plantarum Brasiliae icones et descriptiones hactenus ineditae :iussu et auspiciis Francisci Primi, imperatoris et regis augustissimi /auctore Ioanne Emanuele Pohl.

Plates

Caroli a Linné ... Systema naturae, per regna tria naturae : secundum classes, ordines, genera, species cum characteribus, differentiis, synonymis, locis.

v. 1, pt. 1

Caroli a Linné ... Systema naturae, per regna tria naturae : secundum classes, ordines, genera, species cum characteribus, differentiis, synonymis, locis.

v. 1, pt. 2

Caroli a Linné ... Systema naturae, per regna tria naturae : secundum classes, ordines, genera, species cum characteribus, differentiis, synonymis, locis.

v. 2

Caroli a Linné ... Systema naturae, per regna tria naturae : secundum classes, ordines, genera, species cum characteribus, differentiis, synonymis, locis.

v. 3

CAT (Curator Archiving Tool): improving access to web archives

PADICAT is the web archive created in 2005 in Catalonia (Spain ) by the Library of Catalonia (BC ) , the National Library of Catalonia , with the aim of collecting , processing and providing permanent access to the digital heritage of Catalonia . Its harvesting strategy is based on the hybrid model ( of massive harvesting . SPA top level domain ; selective compilation of the web site output of Catalan organizations; focused harvesting of public events) . The system provides open access to the whole collection , on the Internet . We consider necessary to complement the current search for new and visualization software with open source software tool, CAT ( Curator Archiving Tool) , composed by three modules aimed to effectively managing the processes of human cataloguing ; to publish directories where the digital resources and special collections ; and to offer statistical information of added value to end users. Within the framework of the International Internet Preservation Consortium meeting ( Vienna 2010) , the progress in the development of this new tool, and the philosophy that has motivated his design, are presented to the international community.

Migration of sharks into freshwater systems during the Miocene and implications for Alpine paleoelevation

Trace-element and isotopic compositions of fossilized shark teeth sampled from Miocene marine sediments of the north Alpine Molasse Basin, the Vienna Basin, and the Pannonian Basin generally show evidence of formation in a marine environment under conditions geochemically equivalent to the open ocean. In contrast, two of eight shark teeth from the Swiss Upper Marine Molasse locality of La Moliere have extremely low delta O-18 values (10.3% and 11.3%) and low Sr-87/Sr-86 ratios (0.707840 and 0.707812) compared to other teeth from this locality (21.1%,22.4%o and 0.708421-0.708630). The rare earth element (REE) abundances and patterns from La Moliere not only differ between dentine and enameloid of the same tooth, but also between different teeth, supporting variable conditions of diagenesis at this site. However, the REE patterns of enameloid from the ``exotic'' teeth analyzed for O and Sr isotopic compositions are similar to those of teeth that have O and Sr isotopic compositions typical of a marine setting at this site. Collectively, this suggests that the two ``exotic'' teeth were formed while the sharks frequented a freshwater environment with very low O-18-content and Sr isotopic composition controlled by Mesozoic calcareous rocks. This is consistent with a paleogeography of high-elevation (similar to 2300 m) Miocene Alps adjacent to a marginal sea.