Retrovirus budding may constitute a port of entry for drug carriers

AbstractThis paper investigates the relation between viral infection and cell uptake of liposomes and nanoparticles. A defective virus was used to infect two types of cells: cells allowing virus budding (psi2neo cells) and cells bereft of a virus exit process (NIH 3T3 cells). This study has revealed that cell uptake of pH-sensitive-liposomes is highly dependent on the virus exit process, since it ensued only when virus budding occurred. This preferential uptake of pH-sensitive liposomes by infected cells was not carrier-specific because similar uptake was observed with non-biodegradable fluorescent nanoparticles using confocal microscopy. Also, inhibition of neo gene expression by oligonucleotide pH-sensitive-liposomes was only observed in the cell system (psi2neo) endowed with a virus exit process. Finally, increased membrane fluidity was noted in the infected cells, possibly reflecting membrane perturbation due to virus budding. We suggest that this membrane perturbation may be the key to the uptake of the different colloidal carriers. Infected cells could, thus, constitute a natural target for particulate drug carriers

Plant water uptake modelling : added value of cross-disciplinary approaches

Abstract In recent years, research interest in plant water uptake strategies has significantly grown in many disciplines such as hydrology, plant ecology and ecophysiology. Quantitative modelling approaches to estimate plant water uptake and the spatio-temporal dynamics significantly advanced from different disciplines across scales. Despite this progress, major limitations, i.e. to predict plant water uptake under drought or it?s impact at large-scales remain. These are less attributed to limitations in process understanding, but rather to a lack of implementation of cross-disciplinary insights in plant water uptake model structure. The main goal of this review is to highlight how the 4 dominant model approaches, e.g. Feddes approach, hydrodynamic approach, optimality and statistical approaches, can be and have been used to create interdisciplinary hybrid models enabeling a holistic system understanding that e.g. embeds plant water uptake plasticity into a broader conceptual view of soil-plant feedbacks of water, nutrient and carbon cycling or reflects observed drought responses of plant-soil feedbacks and their dynamics under e.g. drought. Specifically, we provide examples of how integration of Bayesian and hydrodynamic approaches might overcome challenges in interpreting plant water uptake related to e.g. different travel and residence times of different plant water sources or trade-offs between root system optimization to forage for water and nutrients during different seasons and phenological stages.In recent years, research interest in plant water uptake strategies has rapidly increased in many disciplines, such as hydrology, plant ecology and ecophysiology. Quantitative modelling approaches to estimate plant water uptake and spatiotemporal dynamics have significantly advanced through different disciplines across scales. Despite this progress, major limitations, for example, predicting plant water uptake under drought or drought impact at large scales, remain. These are less attributed to limitations in process understanding, but rather to a lack of implementation of cross-disciplinary insights into plant water uptake model structure. The main goal of this review is to highlight how the four dominant model approaches, that is, Feddes approach, hydrodynamic approach, optimality and statistical approaches, can be and have been used to create interdisciplinary hybrid models enabling a holistic system understanding that, among other things, embeds plant water uptake plasticity into a broader conceptual view of soil-plant feedbacks of water, nutrient and carbon cycling, or reflects observed drought responses of plant-soil feedbacks and their dynamics under, that is, drought. Specifically, we provide examples of how integration of Bayesian and hydrodynamic approaches might overcome challenges in interpreting plant water uptake related to different travel and residence times of different plant water sources or trade-offs between root system optimization to forage for water and nutrients during different seasons and phenological stages.Peer reviewe

Thermal annealing study of swift heavy-ion irradiated zirconia

Sintered samples of monoclinic zirconia (alpha-ZrO2) have been irradiated at room temperature with 6.0-GeV Pb ions in the electronic slowing down regime. X-ray diffraction (XRD) and micro-Raman spectroscopy measurements showed unambiguously that a transition to the 'metastable' tetragonal phase (beta-ZrO2) occurred at a fluence of 6.5x10^12 cm-2 for a large electronic stopping power value (approx 32.5 MeV $\mu$m-1). At a lower fluence of 1.0x10^12 cm-2, no such phase transformation was detected. The back-transformation from beta- to alpha-ZrO2 induced by isothermal or isochronal thermal annealing was followed by XRD analysis. The back-transformation started at an onset temperature around 500 K and was completed by 973 K. Plots of the residual tetragonal phase fraction deduced from XRD measurements versus annealing temperature or time are analyzed with first- or second-order kinetic models. An activation energy close to 1 eV for the back-transformation process is derived either from isothermal annealing curves, using the so-called "cross-cut" method, or from the isochronal annealing curve, using a second-order kinetic law. Correlation with the thermal recovery of ion-induced paramagnetic centers monitored by EPR spectroscopy is discussed. Effects of crystallite size evolution and oxygen migration upon annealing are also addressed

Infection levels and species diversity of ascaridoid nematodes in Atlantic cod, Gadus morhua, are correlated with geographic area and fish size

Atlantic cod (Gadus morhua) is among the most important commercial fish species on the world market. Its infection by ascaridoid nematodes has long been known, Pseudoterranova even being named cod worm. In the present study, 755 individuals were sampled in the Barents, Baltic and North Seas during 2012–2014. Prevalences for Anisakis in whole fish and in fillets in the different fishing areas varied from 16 to 100% and from 12 to 90% respectively. Abundance was also greatly influenced by the sampling area. Generalized additive model results indicate higher numbers of Anisakis in the North Sea, even after the larger body size was accounted for. Numbers and prevalence of Anisakis were positively related to fish length or weight. The prevalence of parasites in whole fish and in fillets was also influenced by the season, with the spring displaying a peak for the prevalence in whole fish and, at the same time, a drop for the prevalence in fillets. Whereas 46% of cod had Anisakis larvae in their fillets, the majority (39%) had parasites mainly in the ventral part of the fillet and only 12% had parasites in their dorsal part. This observation is of importance for the processing of the fish. Indeed, the trimming of the ventral part of the cod fillet would allow the almost total elimination of ascaridoids except for cod from the Baltic Sea where there was no difference between the dorsal and the ventral part. The presence of other ascaridoid genera was also noticeable in some areas. For Pseudoterranova, the highest prevalence (45%) in whole fish was observed in the Northern North Sea, whereas the other areas had prevalences between 3 and 16%. Contracaecum was present in every commercial size cod sampled in the Baltic Sea with an intensity of up to 96 worms but no Contracaecum was isolated from the Central North Sea. Non-zoonotic Hysterothylacium was absent from the Baltic Sea but with a prevalence of 83% in the Barents and the Northern North Sea. A subsample of worms was identified with genetic-molecular tools and assigned to the species A. simplex (s.s.), A. pegreffii, P. decipiens (s.s.), P. krabbei, C. osculatum and H. aduncum. In addition to high prevalence and abundance values, the cod sampled in this study presented a diversity of ascaridoid nematodes with a majority of fish displaying a co-infection. Out of 295 whole infected fish, 269 were co-infected by at least 2 genera

On finitely ambiguous B\"uchi automata

Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking. In this paper we propose a more permissive variant, namely finitely ambiguous B\"uchi automata, a generalisation where each word has at most $k$ accepting runs, for some fixed $k$. We adapt existing notions and results concerning finite and bounded ambiguity of finite automata to the setting of $\omega$-languages and present a translation from arbitrary nondeterministic B\"uchi automata with $n$ states to finitely ambiguous automata with at most $3^n$ states and at most $n$ accepting runs per word

Parametric LTL on Markov Chains

This paper is concerned with the verification of finite Markov chains against parametrized LTL (pLTL) formulas. In pLTL, the until-modality is equipped with a bound that contains variables; e.g., $\Diamond_{\le x}\ \varphi$ asserts that $\varphi$ holds within $x$ time steps, where $x$ is a variable on natural numbers. The central problem studied in this paper is to determine the set of parameter valuations $V_{\prec p} (\varphi)$ for which the probability to satisfy pLTL-formula $\varphi$ in a Markov chain meets a given threshold $\prec p$, where $\prec$ is a comparison on reals and $p$ a probability. As for pLTL determining the emptiness of $V_{> 0}(\varphi)$ is undecidable, we consider several logic fragments. We consider parametric reachability properties, a sub-logic of pLTL restricted to next and $\Diamond_{\le x}$, parametric B\"uchi properties and finally, a maximal subclass of pLTL for which emptiness of $V_{> 0}(\varphi)$ is decidable.Comment: TCS Track B 201

Real-time aircraft noise likeness detector

One of the most difficult tasks involved in the process of noise monitoring near airports is related to the automatic detection and classification of aircraft noise events. These tasks can be solved by applying pattern recognition techniques to the audio signal captured by a microphone. But now the problem is caused by the background noise, which is present in real environments. This paper proposes a real-time method for continuously tracking the similarity of the input sound and the aircraft’s sounds. Using these facilities, the monitoring unit will be able to mark aircraft events, or to make measurements only when aircraft sound is louder than background noise. A one-class approach has been applied to this detection-by-classification method. Using the default setup, 93% of the aircraft’s events which held an SNR of 6–8 dB were detected, for 30 different locations with diverse soundscapes

The signature of 44Ti in Cassiopeia A revealed by IBIS/ISGRI on INTEGRAL

We report the detection of both the 67.9 and 78.4 keV 44Sc gamma-ray lines in Cassiopeia A with the INTEGRAL IBIS/ISGRI instrument. Besides the robustness provided by spectro-imaging observations, the main improvements compared to previous measurements are a clear separation of the two 44Sc lines together with an improved significance of the detection of the hard X-ray continuum up to 100 keV. These allow us to refine the determination of the 44Ti yield and to constrain the nature of the nonthermal continuum emission. By combining COMPTEL, BeppoSAX/PDS and ISGRI measurements, we find a line flux of (2.5 +/- 0.3)*10(-5) cm(-2) s(-1) leading to a synthesized 44Ti mass of 1.6 (+0.6-0.3)*10(-4) solar mass. This high value suggests that Cas A is peculiar in comparison to other young supernova remnants, from which so far no line emission from 44Ti decay has been unambiguously detected.Comment: 5 pages, 4 figures, Accepted for publication in ApJ

Efficient Emptiness Check for Timed B\"uchi Automata (Extended version)

The B\"uchi non-emptiness problem for timed automata refers to deciding if a given automaton has an infinite non-Zeno run satisfying the B\"uchi accepting condition. The standard solution to this problem involves adding an auxiliary clock to take care of the non-Zenoness. In this paper, it is shown that this simple transformation may sometimes result in an exponential blowup. A construction avoiding this blowup is proposed. It is also shown that in many cases, non-Zenoness can be ascertained without extra construction. An on-the-fly algorithm for the non-emptiness problem, using non-Zenoness construction only when required, is proposed. Experiments carried out with a prototype implementation of the algorithm are reported.Comment: Published in the Special Issue on Computer Aided Verification - CAV 2010; Formal Methods in System Design, 201