OS RELEVOS CALCÁRIOS DA REGIÃO CENTRAL DO BARROCAL ALGARVIO (SUL DE PORTUGAL) - UM MODELO TECTÓNICO The limestones reliefs of the Algarve Barrocal (south Portugal) – a tectonic model

Several Mesozoic limestone elevations of E-W elongated shape rise up in the central region of the Algarve Barrocal (Portuguese southwestern margin). Tectonic geomorphology suggests that these reliefs correspond to right lateral strike-slip contractional duplexes of a large, NW-SE trending, shear zone, with a pronounced topographic expression, whose southern boundary, located southeast of the Serra de Monchique hill, is defined by the São Marcos–Quarteira Fault Zone

Experiences on teaching alloy with an automated assessment platform

This paper presents Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances (including dynamic ones developed with the Electrum extension), to be used mainly in an educational context. By introducing secret paragraphs and commands in the models, Alloy4Fun allows the distribution and automated assessment of simple specification challenges, a mechanism that enables students to learn the language at their own pace. Alloy4Fun stores all versions of shared and analyzed models, as well as derivation trees that depict how they evolved over time: this wealth of information can be mined by researchers or tutors to identify, for example, learning breakdowns in the class or typical mistakes made by Alloy users. Alloy4Fun has been used in formal methods graduate courses for two years and for the latest edition we present results regarding its adoption by the students, as well as preliminary insights regarding the most common bottlenecks when learning Alloy (and Electrum).We would like to thank Daniel Jackson for the helpful comments and suggestions about the design of Alloy4Fun. This work is financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project UIDB/50014/2020. The third and forth authors were financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-016826. The second author was also supported by the FCT sabbatical grant with reference SFRH/BSAB/143106/2018

Avaliação da qualidade de matérias-primas de ruibarbo utilizadas em formulações farmacêuticas

As plantas denominadas de ruibarbo sintetizam antraquinonas e taninos, que são responsáveis pelos efeitos laxante e adstringente, respectivamente. Análises da qualidade de cinco matérias-primas de ruibarbo foram realizadas a fim de detectar adulterações. As reações para antraquinonas e taninos foram positivas. Os constituintes rapônticos foram observados na amostra de Rheum palmatum (2). As medidas de cinzas totais para Rheum palmatum (2) e Ferraria cathartica estão acima do esperado. Conforme resultados, as amostras de Rheum palmatum (2) e Ferraria cathartica devem estar adulteradas

Biochemical parameters of silver catfish (Rhamdia quelen) after transport with eugenol or essential oil of Lippia alba added to the water

The transport of live fish is a routine practice in aquaculture and constitutes a considerable source of stress to the animals. The addition of anesthetic to the water used for fish transport can prevent or mitigate the deleterious effects of transport stress. This study investigated the effects of the addition of eugenol (EUG) (1.5 or 3.0 mu L L-1) and essential oil of Lippia alba (EOL) (10 or 20 mu L L-1) on metabolic parameters (glycogen, lactate and total protein levels) in liver and muscle, acetylcholinesterase activity (AChE) in muscle and brain, and the levels of protein carbonyl (PC), thiobarbituric acid reactive substances (TBARS) and nonprotein thiol groups (NPSH) and activity of glutathione-S-transferase in the liver of silver catfish (Rhamdia quelen; Quoy and Gaimard, 1824) transported for four hours in plastic bags (loading density of 169.2 g L-1). The addition of various concentrations of EUG (1.5 or 3.0 mu L L-1) and EOL (10 or 20 mu L L-1) to the transport water is advisable for the transportation of silver catfish, since both concentrations of these substances increased the levels of NPSH antioxidant and decreased the TBARS levels in the liver. In addition, the lower liver levels of glycogen and lactate in these groups and lower AChE activity in the brain (EOL 10 or 20 mu L L-1) compared to the control group indicate that the energetic metabolism and neurotransmission were lower after administration of anesthetics, contributing to the maintenance of homeostasis and sedation status.Fundacao de Amparo a Pesquisa do Estado do Rio Grande do Sul (FAPERGS/PRONEX) [10/0016-8]; Conselho Nacional de Pesquisa e Desenvolvimento Cientifico (CNPq) [470964/2009-0]; Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior (CAPES); CNPqinfo:eu-repo/semantics/publishedVersio