Vis-NIR luminescent lanthanide-doped core-shell nanoparticles for imaging and photodynamic therapy

The preparation of smart Ln:ZrO2@SiO2 nanoplatforms with grafted photosensitizer (Rose Bengal) which couple optical imaging with photo-dynamic therapy (PDT) is presented. A careful control of the lanthanide dopant loading is considered to enhance the photoemission properties of the lanthanide ions (Er, Pr, Yb) inside the ZrO2 crystal structure. The nanosystem with the lowest lanthanide loading maintains the size, phase and morphology of pristine ZrO2 nanoparticles and exhibit the best performances in term of the overall luminescence properties. Upon functionalization with a silica shell to covalently bound Rose Bengal, a theranostic platform is prepared which is very efficient in singlet oxygen generation, as demonstrated by EPR and UV\u2013vis spectroscopy studies. Preliminary cell viability tests show that while both pristine and Ln doped ZrO2 nanoparticles do not exert cytotoxicity, neither upon illumination nor in dark condition, Rose Bengal grafted samples are able to significantly reduce cell viability under light exposure, thus confirming the high potential of these nanoparticles as PDT tools

Robustness Verification of Support Vector Machines

We study the problem of formally verifying the robustness to adversarial examples of support vector machines (SVMs), a major machine learning model for classification and regression tasks. Following a recent stream of works on formal robustness verification of (deep) neural networks, our approach relies on a sound abstract version of a given SVM classifier to be used for checking its robustness. This methodology is parametric on a given numerical abstraction of real values and, analogously to the case of neural networks, needs neither abstract least upper bounds nor widening operators on this abstraction. The standard interval domain provides a simple instantiation of our abstraction technique, which is enhanced with the domain of reduced affine forms, which is an efficient abstraction of the zonotope abstract domain. This robustness verification technique has been fully implemented and experimentally evaluated on SVMs based on linear and nonlinear (polynomial and radial basis function) kernels, which have been trained on the popular MNIST dataset of images and on the recent and more challenging Fashion-MNIST dataset. The experimental results of our prototype SVM robustness verifier appear to be encouraging: this automated verification is fast, scalable and shows significantly high percentages of provable robustness on the test set of MNIST, in particular compared to the analogous provable robustness of neural networks

Verifying Bounded Subset-Closed Hyperproperties

Hyperproperties are quickly becoming very popular in the context of systems security, due to their expressive power. They differ from classic trace properties since they are represented by sets of sets of executions instead of sets of executions. This allows us, for instance, to capture information flow security specifications, which cannot be expressed as trace properties, namely as predicates over single executions. In this work, we reason about how it is possible to move standard abstract interpretation-based static analysis methods, designed for trace properties, towards the verification of hyperproperties. In particular, we focus on the verification of bounded subset-closed hyperproperties which are easier to verify than generic hyperproperties. It turns out that a lot of interesting specifications (e.g., Non-Interference) lie in this category

Feedforward Inhibition and Synaptic Scaling – Two Sides of the Same Coin?

Feedforward inhibition and synaptic scaling are important adaptive processes that control the total input a neuron can receive from its afferents. While often studied in isolation, the two have been reported to co-occur in various brain regions. The functional implications of their interactions remain unclear, however. Based on a probabilistic modeling approach, we show here that fast feedforward inhibition and synaptic scaling interact synergistically during unsupervised learning. In technical terms, we model the input to a neural circuit using a normalized mixture model with Poisson noise. We demonstrate analytically and numerically that, in the presence of lateral inhibition introducing competition between different neurons, Hebbian plasticity and synaptic scaling approximate the optimal maximum likelihood solutions for this model. Our results suggest that, beyond its conventional use as a mechanism to remove undesired pattern variations, input normalization can make typical neural interaction and learning rules optimal on the stimulus subspace defined through feedforward inhibition. Furthermore, learning within this subspace is more efficient in practice, as it helps avoid locally optimal solutions. Our results suggest a close connection between feedforward inhibition and synaptic scaling which may have important functional implications for general cortical processing

The Rise and Fall of "Respectable" Spanish Liberalism, 1808-1923: An Explanatory Framework

The article focuses on the reasons behind both the consolidation of what I have termed “respectable” liberalism between the 1830s and the 1840s and its subsequent decline and fall between 1900 and 1923. In understanding both processes I study the links established between “respectable” liberals and propertied elites, the monarchy, and the Church. In the first phase these links served to consolidate the liberal polity. However, they also meant that many tenets of liberal ideology were compromised. Free elections were undermined by the operation of caciquismo, monarchs established a powerful position, and despite the Church hierarchy working with liberalism, the doctrine espoused by much of the Church was still shaped by the Counter-Reformation. Hence, “respectable” liberalism failed to achieve a popular social base. And the liberal order was increasingly denigrated as part of the corrupt “oligarchy” that ruled Spain. Worse still, between 1916 and 1923 the Church, monarch, and the propertied elite increasingly abandoned the liberal Monarchist Restoration. Hence when General Primo de Rivera launched his coup the rug was pulled from under the liberals’ feet and there was no one to cushion the fall

Sustained seizure freedom with adjunctive brivaracetam in patients with focal onset seizures

The maintenance of seizure control over time is a clinical priority in patients with epilepsy. The aim of this study was to assess the sustained seizure frequency reduction with adjunctive brivaracetam (BRV) in real-world practice. Patients with focal epilepsy prescribed add-on BRV were identified. Study outcomes included sustained seizure freedom and sustained seizure response, defined as a 100% and a ≥50% reduction in baseline seizure frequency that continued without interruption and without BRV withdrawal through the 12-month follow-up. Nine hundred ninety-four patients with a median age of 45 (interquartile range = 32–56) years were included. During the 1-year study period, sustained seizure freedom was achieved by 142 (14.3%) patients, of whom 72 (50.7%) were seizure-free from Day 1 of BRV treatment. Sustained seizure freedom was maintained for ≥6, ≥9, and 12 months by 14.3%, 11.9%, and 7.2% of patients from the study cohort. Sustained seizure response was reached by 383 (38.5%) patients; 236 of 383 (61.6%) achieved sustained ≥50% reduction in seizure frequency by Day 1, 94 of 383 (24.5%) by Month 4, and 53 of 383 (13.8%) by Month 7 up to Month 12. Adjunctive BRV was associated with sustained seizure frequency reduction from the first day of treatment in a subset of patients with uncontrolled focal epilepsy

Adjunctive Brivaracetam in Focal Epilepsy: Real-World Evidence from the BRIVAracetam add-on First Italian netwoRk STudy (BRIVAFIRST)

Background: In randomized controlled trials, add-on brivaracetam (BRV) reduced seizure frequency in patients with drug-resistant focal epilepsy. Studies performed in a naturalistic setting are a useful complement to characterize the drug profile. Objective: This multicentre study assessed the effectiveness and tolerability of adjunctive BRV in a large population of patients with focal epilepsy in the context of real-world clinical practice. Methods: The BRIVAFIRST (BRIVAracetam add-on First Italian netwoRk STudy) was a retrospective, multicentre study including adult patients prescribed adjunctive BRV. Patients with focal epilepsy and 12-month follow-up were considered. Main outcomes included the rates of seizure‐freedom, seizure response (≥ 50% reduction in baseline seizure frequency), and treatment discontinuation. The incidence of adverse events (AEs) was also considered. Analyses by levetiracetam (LEV) status and concomitant use of strong enzyme-inducing antiseizure medications (EiASMs) and sodium channel blockers (SCBs) were performed. Results: A total of 1029 patients with a median age of 45 years (33–56) was included. At 12 months, 169 (16.4%) patients were seizure-free and 383 (37.2%) were seizure responders. The rate of seizure freedom was 22.3% in LEV-naive patients, 7.1% in patients with prior LEV use and discontinuation due to insufficient efficacy, and 31.2% in patients with prior LEV use and discontinuation due to AEs (p < 0.001); the corresponding values for ≥ 50% seizure frequency reduction were 47.9%, 29.7%, and 42.8% (p < 0.001). There were no statistically significant differences in seizure freedom and seizure response rates by use of strong EiASMs. The rates of seizure freedom (20.0% vs. 16.6%; p = 0.341) and seizure response (39.7% vs. 26.9%; p = 0.006) were higher in patients receiving SCBs than those not receiving SCBs; 265 (25.8%) patients discontinued BRV. AEs were reported by 30.1% of patients, and were less common in patients treated with BRV and concomitant SCBs than those not treated with SCBs (28.9% vs. 39.8%; p = 0.017). Conclusion: The BRIVAFIRST provided real-world evidence on the effectiveness of BRV in patients with focal epilepsy irrespective of LEV history and concomitant ASMs, and suggested favourable therapeutic combinations

Honey, a Gift from Nature to Health and Beauty: A Review

Benefits of honey are contributed by the composition of its elements such as glucose, fructose, glucose oxidase, vitamins and phenolic compounds. For health, honey can be used to treat wounds due to the antibacterial activity conferred by the hydrogen peroxide produced by glucose oxidase in honey. Anti-inflammatory, anti-oxidant, deodorizing and tissue regeneration activities in honey also help in the wound healing process. It can also be an alternative sweetener for diabetic patients to ensure compliance to a healthy diet. Moreover, honey exerts several effects such as lowering low density lipids and increasing high density lipids, thus reducing risk of atherosclerosis. In terms of beauty, honey can be used on skin and hair. It moisturizes skin through its natural humectant properties contributed by high contents of fructose and glucose. Honey treats acne on the skin due to its antibacterial activity, anti-inflammatory action and tissue repair. The hair can benefit from honey in such a way that the hair has abundance, and becomes easier to comb. However, there have not been as many studies regarding the use of honey in skin in comparison to its use for health. Therefore, future studies on honey could research its use, action and benefits in both cosmetics and dermatology