Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs. To this end, a variety of acceleration techniques have been proposed. However, so far all of them have been monolithic, i.e., a single loop could not be accelerated using a combination of several different acceleration techniques. In contrast, we present a calculus that allows for combining acceleration techniques in a modular way and we show how to integrate many existing acceleration techniques into our calculus. Moreover, we propose two novel acceleration techniques that can be incorporated into our calculus seamlessly. Some of these acceleration techniques apply only to non-terminating loops. Thus, combining them with our novel calculus results in a new, modular approach for proving non-termination. An empirical evaluation demonstrates the applicability of our approach, both for loop acceleration and for proving non-termination.
1,2-unsaturated pyrrolizidine alkaloids (PAs) are secondary plant metabolites occurring as food contaminants that can cause severe liver damage upon metabolic activation in hepatocytes. However, it is yet unknown how these contaminants enter the cells. The role of hepatic transporters is only at the beginning of being recognized as a key determinant of PA toxicity. Therefore, this study concentrated on assessing the general mode of action of PA transport in the human hepatoma cell line HepaRG using seven structurally different PAs. Furthermore, several hepatic uptake and efflux transporters were targeted with pharmacological inhibitors to identify their role in the uptake of the PAs retrorsine and senecionine and in the disposition of their N-oxides (PANO). For this purpose, PA and PANO content was measured in the supernatant using LC-MS/MS. Also, PA-mediated cytotoxicity was analyzed after transport inhibition. It was found that PAs are taken up into HepaRG cells in a predominantly active and structure-dependent manner. This pattern correlates with other experimental endpoints such as cytotoxicity. Pharmacological inhibition of the influx transporters Na+/taurocholate co-transporting polypeptide (SLC10A1) and organic cation transporter 1 (SLC22A1) led to a reduced uptake of retrorsine and senecionine into HepaRG cells, emphasizing the relevance of these transporters for PA toxicokinetics. 相似文献
The ever-increasing demand for higher data rates in wireless commutations provides a rationale for small cells deployment. While the physical and technological aspects of small-cell networks have been extensively studied in recent years, the economic analysis has received much less attention. We focus on the economic rationale for a small-cell service provider (SSP) operating a market where an incumbent macrocell service provider (MSP) exists, and competition develops. We analyze such scenario for the case of fixed users by means of Game Theory, specifically through a two-stage game: in the first stage each service provider posts its price according to a Stackelberg game where the MSP is the leader and the SSP is the follower; and, in the second stage, each user chooses both which provider to subscribe to and the optimal amount of bandwidth. A subgame perfect Nash equilibrium is used as a solution concept, and it is derived analytically. We show that the SSP has an incentive to operate in the market and its profit gets higher as SSP’s resources increase. Furthermore, users benefit from SSP’s operation, which may provide a rationale for a regulatory authority to grant the SSP access to the market, despite the fact that MSP’s profit is harmed. Finally, we identify two modes of operation of the system, which depend on the SSP coverage: one where SSP’s deployment is limited and the MSP strategy is not affected by SSP competition and takes only the users outside the SSP coverage; and another, where the SSP covers a large area and the MSP competes against the SSP taking a fraction of the users inside the small cells. 相似文献
The contamination of honey with hepatotoxic pyrrolizidine alkaloids (PAs) is a well-known hazard for food safety. While management strategies and controls of the honey industry aim to reduce the PA levels, uncertainties remain with regard to the safety of regionally produced and marketed honey. In addition, a previous study showed large differences of results obtained after various periods of storage and apparent differences between the analytical results of different laboratories. Therefore, this study aimed at examining these uncertainties by monitoring the impact of storage on the PA and PA N-oxide (PANO) content of two freshly harvested honeys and on possible demixing effects caused by pollen settling. Additionally, three analytical approaches – target analysis with matrix-matched calibration or standard addition and a sum parameter method – were applied for a comparative analysis of 20 honeys harvested in summer 2016. All samples originated from Schleswig-Holstein in Northern Germany where the PA plant Jacobaea vulgaris is currently observed on a massive scale. The results of the time series analyses showed that PANO levels markedly decreased within a few weeks and practically reached the LOD 16 weeks after harvest. Tertiary PAs, by contrast, remained stable and did not increase as a consequence of PANO decrease. The experiments on a putative demixing, which may result in a heterogeneous distribution of PAs/PANOs, revealed that there was no such effect during storage of up to 12 weeks. A comparison of the PA/PANO levels obtained by different analytical approaches showed that in some cases the sum parameter method yielded much higher levels than the target approaches, whereas in other cases, the target analysis with standard addition found higher levels than the other two methods. In summary, the results of this study highlight uncertainties regarding the validity and comparability of analytical results and consequently regarding health risk assessment. 相似文献
Neural Processing Letters - Legged locomotion is a challenging task in the field of robotics but a rather simple one in nature. This motivates the use of biological methodologies as solutions to... 相似文献
Galacto- and fuco-clusters conjugated with one to three catechol or hydroxamate motifs were synthesised to target LecA and LecB lectins of Pseudomonas aeruginosa (PA) localised in the outer membrane and inside the bacterium. The resulting glycocluster–pseudosiderophore conjugates were evaluated as Trojan horses to cross the outer membrane of PA by iron transport. The data suggest that glycoclusters with catechol moieties are able to hijack the iron transport, whereas those with hydroxamates showed strong nonspecific interactions. Mono- and tricatechol galactoclusters ( G1C and G3C ) were evaluated as inhibitors of infection by PA in comparison with the free galactocluster ( G0 ). All of them exhibited an inhibitory effect between 46 to 75 % at 100 μM, with a higher potency than G0 . This result shows that LecA localised in the outer membrane of PA is involved in the infection mechanism. 相似文献
Topics in Catalysis - In the present study, Ag2O–Al2O3–ZrO2 based trimetallic oxide nanocatalyst was designed using simple microwave assisted reduction method. It was characterized... 相似文献
The stability of the electrocaloric effect under electric field cycling is an important consideration in the development of solid-state cooling devices. Here we report measurements carried out on Ba(Zr0.2Ti0.8)O3 ceramics which reveal that the adiabatic temperature change, polarization-electric field hysteresis loops and dielectric permittivity/loss show stable behavior up to 105 cycles. We further demonstrate that the loss in electrocaloric response observed after 105 cycles is associated with the migration of oxygen vacancies. As a result, the electrical properties of the material are changed leading to an increase in leakage current and Joule heating. Reversing the polarity of the electric field after every 105 cycles changes the migration direction of oxygen vacancies, thereby preventing charge accumulation at grain boundaries and electrodes. By doing so, the electrocaloric stability is improved and the adiabatic temperature remains constant even after 106 cycles, much higher than achieved in commercially available barium titanate ceramics. 相似文献