Computation of the Transient in Max-Plus Linear Systems via SMT-Solving

This paper proposes a new approach, grounded in Satisfiability Modulo Theories (SMT), to study the transient of a Max-Plus Linear (MPL) system, that is the number of steps leading to its periodic regime. Differently from state-of-the-art techniques, our approach allows the analysis of periodic behaviors for subsets of initial states, as well as the characterization of sets of initial states exhibiting the same specific periodic behavior and transient. Our experiments show that the proposed technique dramatically outperforms state-of-the-art methods based on max-plus algebra computations for systems of large dimensions.Comment: The paper consists of 22 pages (including references and Appendix). It is accepted in FORMATS 2020 First revisio

Vultures of the Seas: Hyperacidic Stomachs in Wandering Albatrosses as an Adaptation to Dispersed Food Resources, including Fishery Wastes

Animals are primarily limited by their capacity to acquire food, yet digestive performance also conditions energy acquisition, and ultimately fitness. Optimal foraging theory predicts that organisms feeding on patchy resources should maximize their food loads within each patch, and should digest these loads quickly to minimize travelling costs between food patches. We tested the prediction of high digestive performance in wandering albatrosses, which can ingest prey of up to 3 kg, and feed on highly dispersed food resources across the southern ocean. GPS-tracking of 40 wandering albatrosses from the Crozet archipelago during the incubation phase confirmed foraging movements of between 475–4705 km, which give birds access to a variety of prey, including fishery wastes. Moreover, using miniaturized, autonomous data recorders placed in the stomach of three birds, we performed the first-ever measurements of gastric pH and temperature in procellariformes. These revealed surprisingly low pH levels (average 1.50±0.13), markedly lower than in other seabirds, and comparable to those of vultures feeding on carrion. Such low stomach pH gives wandering albatrosses a strategic advantage since it allows them a rapid chemical breakdown of ingested food and therefore a rapid digestion. This is useful for feeding on patchy, natural prey, but also on fishery wastes, which might be an important additional food resource for wandering albatrosses

Can Thermoclines Be a Cue to Prey Distribution for Marine Top Predators? A Case Study with Little Penguins

The use of top predators as bio-platforms is a modern approach to understanding how physical changes in the environment may influence their foraging success. This study examined if the presence of thermoclines could be a reliable signal of resource availability for a marine top predator, the little penguin (Eudyptula minor). We studied weekly foraging activity of 43 breeding individual penguins equipped with accelerometers. These loggers also recorded water temperature, which we used to detect changes in thermal characteristics of their foraging zone over 5 weeks during the penguin’s guard phase. Data showed the thermocline was detected in the first 3 weeks of the study, which coincided with higher foraging efficiency. When a thermocline was not detected in the last two weeks, foraging efficiency decreased as well. We suggest that thermoclines can represent temporary markers of enhanced food availability for this top-predator to which they must optimally adjust their breeding cycle

Gene expression profiling associated with the progression to poorly differentiated thyroid carcinomas

Poorly differentiated thyroid carcinomas (PDTC) represent a heterogeneous, aggressive entity, presenting features that suggest a progression from well-differentiated carcinomas. To elucidate the mechanisms underlying such progression and identify novel therapeutic targets, we assessed the genome-wide expression in normal and tumour thyroid tissues.info:eu-repo/semantics/publishe

Shearwater Foraging in the Southern Ocean: The Roles of Prey Availability and Winds

Background Sooty (Puffinus griseus) and short-tailed (P. tenuirostris) shearwaters are abundant seabirds that range widely across global oceans. Understanding the foraging ecology of these species in the Southern Ocean is important for monitoring and ecosystem conservation and management. Methodology/Principal Findings Tracking data from sooty and short-tailed shearwaters from three regions of New Zealand and Australia were combined with at-sea observations of shearwaters in the Southern Ocean, physical oceanography, near-surface copepod distributions, pelagic trawl data, and synoptic near-surface winds. Shearwaters from all three regions foraged in the Polar Front zone, and showed particular overlap in the region around 140°E. Short-tailed shearwaters from South Australia also foraged in Antarctic waters south of the Polar Front. The spatial distribution of shearwater foraging effort in the Polar Front zone was matched by patterns in large-scale upwelling, primary production, and abundances of copepods and myctophid fish. Oceanic winds were found to be broad determinants of foraging distribution, and of the flight paths taken by the birds on long foraging trips to Antarctic waters. Conclusions/Significance The shearwaters displayed foraging site fidelity and overlap of foraging habitat between species and populations that may enhance their utility as indicators of Southern Ocean ecosystems. The results highlight the importance of upwellings due to interactions of the Antarctic Circumpolar Current with large-scale bottom topography, and the corresponding localised increases in the productivity of the Polar Front ecosystem

Differential responses of osteoblasts and macrophages upon Staphylococcus aureus infection

Background Staphylococcus aureus (S. aureus) is one of the primary causes of bone infections which are often chronic and difficult to eradicate. Bacteria like S. aureus may survive upon internalization in cells and may be responsible for chronic and recurrent infections. In this study, we compared the responses of a phagocytic cell (i.e. macrophage) to a non-phagocytic cell (i.e. osteoblast) upon S. aureus internalization. Results We found that upon internalization, S. aureus could survive for up to 5 and 7 days within macrophages and osteoblasts, respectively. Significantly more S. aureus was internalized in macrophages compared to osteoblasts and a significantly higher (100 fold) level of live intracellular S. aureus was detected in macrophages compared to osteoblasts. However, the percentage of S. aureus survival after infection was significantly lower in macrophages compared to osteoblasts at post-infection days 1–6. Interestingly, macrophages had relatively lower viability in shorter infection time periods (i.e. 0.5-4 h; significant at 2 h) but higher viability in longer infection time periods (i.e. 6–8 h; significant at 8 h) compared to osteoblasts. In addition, S. aureusinfection led to significant changes in reactive oxygen species production in both macrophages and osteoblasts. Moreover, infected osteoblasts had significantly lower alkaline phosphatase activity at post-infection day 7 and infected macrophages had higher phagocytosis activity compared to non-infected cells. Conclusions S. aureus was found to internalize and survive within osteoblasts and macrophages and led to differential responses between osteoblasts and macrophages. These findings may assist in evaluation of the pathogenesis of chronic and recurrent infections which may be related to the intracellular persistence of bacteria within host cells

It Costs to Be Clean and Fit: Energetics of Comfort Behavior in Breeding-Fasting Penguins

), seabirds known to fast for up to one month during incubation shifts ashore.A time budget was estimated from focal and scan sampling field observations and the energy cost of comfort activities was calculated from the associated increase in heart rate (HR) during comfort episodes, using previously determined equations relating HR to energy expenditure. We show that incubating birds spent 22% of their daily time budget in comfort behavior (with no differences between day and night) mainly devoted to preening (73%) and head/body shaking (16%). During comfort behavior, energy expenditure averaged 1.24 times resting metabolic rate (RMR) and the corresponding energy cost (i.e., energy expended in excess to RMR) was 58 kJ/hr. Energy expenditure varied greatly among various types of comfort behavior, ranging from 1.03 (yawning) to 1.78 (stretching) times RMR. Comfort behavior contributed 8.8–9.3% to total daily energy expenditure and 69.4–73.5% to energy expended daily for activity. About half of this energy was expended caring for plumage.This study is the first to estimate the contribution of comfort behavior to overall energy budget in a free-living animal. It shows that although breeding on a tight energy budget, king penguins devote a substantial amount of time and energy to comfort behavior. Such findings underline the importance of comfort behavior for the fitness of colonial seabirds

Mouse Hepatitis Coronavirus RNA Replication Depends on GBF1-Mediated ARF1 Activation

Coronaviruses induce in infected cells the formation of double membrane vesicles, which are the sites of RNA replication. Not much is known about the formation of these vesicles, although recent observations indicate an important role for the endoplasmic reticulum in the formation of the mouse hepatitis coronavirus (MHV) replication complexes (RCs). We now show that MHV replication is sensitive to brefeldin A (BFA). Consistently, expression of a dominant-negative mutant of ARF1, known to mimic the action of the drug, inhibited MHV infection profoundly. Immunofluorescence analysis and quantitative electron microscopy demonstrated that BFA did not block the formation of RCs per se, but rather reduced their number. MHV RNA replication was not sensitive to BFA in MDCK cells, which are known to express the BFA-resistant guanine nucleotide exchange factor GBF1. Accordingly, individual knockdown of the Golgi-resident targets of BFA by transfection of small interfering RNAs (siRNAs) showed that GBF1, but not BIG1 or BIG2, was critically involved in MHV RNA replication. ARF1, the cellular effector of GBF1, also appeared to be involved in MHV replication, as siRNAs targeting this small GTPase inhibited MHV infection significantly. Collectively, our results demonstrate that GBF1-mediated ARF1 activation is required for efficient MHV RNA replication and reveal that the early secretory pathway and MHV replication complex formation are closely connected

Tachykinins Stimulate a Subset of Mouse Taste Cells

The tachykinins substance P (SP) and neurokinin A (NKA) are present in nociceptive sensory fibers expressing transient receptor potential cation channel, subfamily V, member 1 (TRPV1). These fibers are found extensively in and around the taste buds of several species. Tachykinins are released from nociceptive fibers by irritants such as capsaicin, the active compound found in chili peppers commonly associated with the sensation of spiciness. Using real-time Ca2+-imaging on isolated taste cells, it was observed that SP induces Ca2+ -responses in a subset of taste cells at concentrations in the low nanomolar range. These responses were reversibly inhibited by blocking the SP receptor NK-1R. NKA also induced Ca2+-responses in a subset of taste cells, but only at concentrations in the high nanomolar range. These responses were only partially inhibited by blocking the NKA receptor NK-2R, and were also inhibited by blocking NK-1R indicating that NKA is only active in taste cells at concentrations that activate both receptors. In addition, it was determined that tachykinin signaling in taste cells requires Ca2+-release from endoplasmic reticulum stores. RT-PCR analysis further confirmed that mouse taste buds express NK-1R and NK-2R. Using Ca2+-imaging and single cell RT-PCR, it was determined that the majority of tachykinin-responsive taste cells were Type I (Glial-like) and umami-responsive Type II (Receptor) cells. Importantly, stimulating NK-1R had an additive effect on Ca2+ responses evoked by umami stimuli in Type II (Receptor) cells. This data indicates that tachykinin release from nociceptive sensory fibers in and around taste buds may enhance umami and other taste modalities, providing a possible mechanism for the increased palatability of spicy foods