Utilisation of intensive foraging zones by female Australian fur seals.

Within a heterogeneous environment, animals must efficiently locate and utilise foraging patches. One way animals can achieve this is by increasing residency times in areas where foraging success is highest (area-restricted search). For air-breathing diving predators, increased patch residency times can be achieved by altering both surface movements and diving patterns. The current study aimed to spatially identify the areas where female Australian fur seals allocated the most foraging effort, while simultaneously determining the behavioural changes that occur when they increase their foraging intensity. To achieve this, foraging behaviour was successfully recorded with a FastLoc GPS logger and dive behaviour recorder from 29 individual females provisioning pups. Females travelled an average of 118 ± 50 km from their colony during foraging trips that lasted 7.3 ± 3.4 days. Comparison of two methods for calculating foraging intensity (first-passage time and first-passage time modified to include diving behaviour) determined that, due to extended surface intervals where individuals did not travel, inclusion of diving behaviour into foraging analyses was important for this species. Foraging intensity 'hot spots' were found to exist in a mosaic of patches within the Bass Basin, primarily to the south-west of the colony. However, the composition of benthic habitat being targeted remains unclear. When increasing their foraging intensity, individuals tended to perform dives around 148 s or greater, with descent/ascent rates of approximately 1.9 m•s-1 or greater and reduced postdive durations. This suggests individuals were maximising their time within the benthic foraging zone. Furthermore, individuals increased tortuosity and decreased travel speeds while at the surface to maximise their time within a foraging location. These results suggest Australian fur seals will modify both surface movements and diving behaviour to maximise their time within a foraging patch

Quasi-morphisms and L^p-metrics on groups of volume-preserving diffeomorphisms

Let M be a smooth compact connected oriented manifold of dimension at least two endowed with a volume form. We show that every homogeneous quasi-morphism on the identity component $Diff_0(M,vol)$ of the group of volume preserving diffeomorphisms of M, which is induced by a quasi-morphism on the fundamental group, is Lipschitz with respect to the L^p-metric on the group $Diff_0(M,vol)$. As a consequence, assuming certain conditions on the fundamental group, we construct bi-Lipschitz embeddings of finite dimensional vector spaces into $Diff_0(M,vol)$.Comment: This is a published versio

HYDROBIA ULVAE: A DEPOSIT-FEEDER FOR CLEANING LIVING HARD-SHELLED FORAMINIFERA

International audienceThis study proposes a new method for fast and inexpensive extraction of a large number of living foraminifera for laboratory cultures. The method is a significant improvement over current extraction methods, which are highly time-consuming. Several treatments were designed to test the method. Sediment bearing foraminifera from Brouage Mudflat (Atlantic coast of France) was washed through a 50-µm sieve and distributed in glass Petri dishes with 20, 40 and 80 specimens of Hydrobia ulvae, a common gastropod from European intertidal mudflats. As a control experiment, one dish was treated similarly but maintained without Hydrobia. After two days, most of the sediment in the Hydrobia treatments was compacted into small cylindrical gastropod feces and the tests of living benthic foraminifera (Ammonia tepida and Haynesina germanica) were clean and easily visible. Additional experiments showed that the foraminifera were not ingested by Hydrobia ulvae, and could be picked quickly and easily

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original and Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Intravitreal ranibizumab and bevacizumab in combination with full-fluence verteporfin therapy and dexamethasone for exudative age-related macular degeneration.

Abstract PURPOSE: To evaluate the efficacy and safety of triple therapy with intravitreal anti-vascular-endothelial-growth-factor (VEGF) antibody, dexamethasone and verteporfin photodynamic therapy (PDT) for exudative age-related macular degeneration (AMD). METHODS: Retrospective, comparative, interventional study. Records of treatment-naïve patients who received intravitreal bevacizumab or ranibizumab in monotherapy or in combination with dexamethasone and full-fluence verteporfin PDT in triple therapy were reviewed. logMAR visual acuity, foveal thickness (FT) on optical coherence tomography, intraocular pressure and endophthalmitis occurrence were recorded. RESULTS: Sixty-one eyes were included in the triple-therapy group, 40 eyes were included in the monotherapy group. The mean follow-up was 14.1 ± 3.4 months in the triple-therapy group and 16.3 ± 4.1 months in the monotherapy group. The triple-therapy group enjoyed a lower total number of treatments (1.92 ± 0.44 vs. 3.12 ± 0.37, p < 0.001) and a longer time before first retreatment (5.4 ± 3.3 vs. 3.6 ± 2.5 months, p = 0.001). A significant improvement of visual acuity and FT was present in both groups during the 12 months following first treatment. No adverse effects were observed. CONCLUSION: The combination of intravitreal bevacizumab or ranibizumabwith dexamethasone and full-fluence PDT for exudative AMD provided visual and anatomic improvement and a good safety profile. Triple therapy may reduce the number of retreatments when compared to anti-VEGF alone

Vehicle Tracking to Determine Position in The Parking Lot Utilizing CCTV Camara

Traveling to a place using a private vehicle is an activity that many people do when visiting an area. The visitors leave their cars in several parking lots within a certain period. The resulted, them having difficulty finding vehicles in the parking lot. This study aims to assist parking service users in finding cars parked at the parking location using CCTV cameras. Apart from being used as a security system, cameras have installed in the parking lot can also be used to track the visitor's cars to the point where they park. The proposed method consists of three large blocks: background subtraction, vehicle recognition, and vehicle tracking. Results this study obtained in the test include the accuracy for the vehicle tracking process of about 91.5%, with a true positive rate of approximately 81.12%, and vehicle recognition about 70%