Fairy, tadpole, and clam shrimps (Branchiopoda) in seasonally inundated clay pans in the western Mojave Desert and effect on primary producers

Abstract Background Fairy shrimps (Anostraca), tadpole shrimps (Notostraca), clam shrimps (Spinicaudata), algae (primarily filamentous blue-green algae [cyanobacteria]), and suspended organic particulates are dominant food web components of the seasonally inundated pans and playas of the western Mojave Desert in California. We examined the extent to which these branchiopods controlled algal abundance and species composition in clay pans between Rosamond and Rogers Dry Lakes. We surveyed branchiopods during the wet season to estimate abundances and then conducted a laboratory microcosm experiment, in which dried sediment containing cysts and the overlying algal crust were inundated and cultured. Microcosm trials were run with and without shrimps; each type of trial was run for two lengths of time: 30 and 60 days. We estimated the effect of shrimps on algae by measuring chlorophyll content and the relative abundance of algal species. Results We found two species of fairy shrimps (Branchinecta mackini and B. gigas), one tadpole shrimp (Lepidurus lemmoni), and a clam shrimp (Cyzicus setosa) in our wet-season field survey. We collected Branchinecta lindahli in a pilot study, but not subsequently. The dominant taxa were C. setosa and B. mackini, but abundances and species composition varied greatly among playas. The same species found in field surveys also occurred in the microcosm experiment. There were no significant differences as a function of experimental treatments for either chlorophyll content or algal species composition (Microcoleus vaginatus dominated all treatments). Conclusions The results suggest that there was no direct effect of shrimps on algae. Although the pans harbored an apparently high abundance of branchiopods, these animals had little role in regulating primary producers in this environment

Axiomatic and tableau-based reasoning for Kt(H,R)

We introduce a tense logic, called Kt(H, R), arising from logics for spatial reasoning. Kt(H, R) is a multi-modal logic with two modalities and their converses defined with respect to a pre-order and a relation stable over this pre-order. We show Kt(H,R) is decidable, it has the effective finite model property and reasoning in Kt(H,R) is PSPACE-complete. Two complete Hilbert-style axiomatisations are given. The main focus of the paper is tableau-based reasoning. Our aim is to gain insight into the numerous possibilities of defining tableau calculi and their properties. We present several labelled tableau calculi for Kt(H,R) in which the theory rules range from accommodating correspondence properties closely, to accommodating Hilbert axioms closely. The calculi provide the basis for decision procedures that have been imple- mented and tested on modal and intuitionistic problems

A Bi-Intuitionistic Modal Logic: Foundations and Automation

The paper introduces a bi-intuitionistic modal logic, called BISKT, with two adjoint pairs of tense operators. The semantics of BISKT is defined using Kripke models in which the set of worlds carries a pre-order relation as well as an accessibility relation, and the two relations are linked by a stability condition. A special case of these models arises from graphs in which the worlds are interpreted as nodes and edges of graphs, and formulae represent subgraphs. The pre-order is the incidence structure of the graphs. We present a comprehensive study of the logic, giving decidability, complexity and correspondence results. We also show the logic has the effective finite model property. We present a sound, complete and terminating tableau calculus for the logic and use the MetTeL system to explore implementations of different versions of the calculus. An experimental evaluation gave good results for satisfiable problems using predecessor blocking

Analysis of acute vascular damage after photodynamic therapy using benzoporphyrin derivative (BPD)

Benzoporphyrin derivative monoacid ring A (BPD-MA, verteporfin) is currently under investigation as a photosensitizer for photodynamic therapy (PDT). Since BPD exhibits rapid pharmacokinetics in plasma and tissues, we assessed damage to tumour and muscle microvasculature when light treatment for PDT was given at short times after injection of photosensitizer. Groups of rats with chondrosarcoma were given 2 mg kg−1 of BPD intravenously 5 min to 180 min before light treatment of 150 J cm−2 690 nm. Vascular response was monitored using intravital microscopy and tumour cure was monitored by following regrowth over 42 days. For treatment at 5 or 30 min after BPD injection, blood flow stasis was limited to tumour microvasculature with lesser response in the surrounding normal microvasculature, indicating selective targeting for damage. No acute changes were observed in vessels when light was given 180 min after BPD injection. Tumour regression after light treatment occurred in all animals given PDT with BPD. Long-term tumour regression was greater in animals treated 5 min after BPD injection and least in animals given treatment 180 min after drug injection. The correlation between the timing for vascular damage and cure implies that blood flow stasis plays a significant role in PDT-induced tumour destruction. © 1999 Cancer Research Campaig

Search algorithms as a framework for the optimization of drug combinations

Combination therapies are often needed for effective clinical outcomes in the management of complex diseases, but presently they are generally based on empirical clinical experience. Here we suggest a novel application of search algorithms, originally developed for digital communication, modified to optimize combinations of therapeutic interventions. In biological experiments measuring the restoration of the decline with age in heart function and exercise capacity in Drosophila melanogaster, we found that search algorithms correctly identified optimal combinations of four drugs with only one third of the tests performed in a fully factorial search. In experiments identifying combinations of three doses of up to six drugs for selective killing of human cancer cells, search algorithms resulted in a highly significant enrichment of selective combinations compared with random searches. In simulations using a network model of cell death, we found that the search algorithms identified the optimal combinations of 6-9 interventions in 80-90% of tests, compared with 15-30% for an equivalent random search. These findings suggest that modified search algorithms from information theory have the potential to enhance the discovery of novel therapeutic drug combinations. This report also helps to frame a biomedical problem that will benefit from an interdisciplinary effort and suggests a general strategy for its solution.Comment: 36 pages, 10 figures, revised versio

Accuracy and repeatability of wrist joint angles in boxing using an electromagnetic tracking system

© 2019, The Author(s). The hand-wrist region is reported as the most common injury site in boxing. Boxers are at risk due to the amount of wrist motions when impacting training equipment or their opponents, yet we know relatively little about these motions. This paper describes a new method for quantifying wrist motion in boxing using an electromagnetic tracking system. Surrogate testing procedure utilising a polyamide hand and forearm shape, and in vivo testing procedure utilising 29 elite boxers, were used to assess the accuracy and repeatability of the system. 2D kinematic analysis was used to calculate wrist angles using photogrammetry, whilst the data from the electromagnetic tracking system was processed with visual 3D software. The electromagnetic tracking system agreed with the video-based system (paired t tests) in both the surrogate ( 0.9). In the punch testing, for both repeated jab and hook shots, the electromagnetic tracking system showed good reliability (ICCs > 0.8) and substantial reliability (ICCs > 0.6) for flexion–extension and radial-ulnar deviation angles, respectively. The results indicate that wrist kinematics during punching activities can be measured using an electromagnetic tracking system

Climate change research and policy in Portugal

This article offers a review of research and policy on climate change in Portugal and is organized into three main themes: scientific knowledge and assessment of climate change; policy analysis and evaluation; and public engagement. Modern scientific research on meteorology and climatology started in Portugal in the 1950s and a strong community of researchers in climate science, vulnerabilities, impacts, and adaptation has since developed, particularly in the last decade. Nevertheless, there are still many gaps in research, especially regarding the economic costs of climate change in Portugal and costs and benefits of adaptation. Governmental policies with a strong emphasis on mitigation were introduced at the end of the 1990s. As greenhouse gas emissions continued to rise beyond its Kyoto target for 2012, the country had to resort to the Kyoto Flexibility Mechanisms in order to comply. Climate change adaptation policies were introduced in 2010 but are far from being fully implemented. Regarding public engagement with climate change, high levels of concern contrast with limited understanding and rather weak behavioral dispositions to address climate change. Citizens display a heavy reliance on the media as sources of information, which are dominated by a techno-managerial discourse mainly focused on the global level. The final part of the article identifies research gaps and outlines a research agenda. Connections between policy and research are also discussed