An algorithmic approach to the existence of ideal objects in commutative algebra

The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, which focuses on the elimination of ideal objects via syntactic methods. In this paper, we take an alternative approach based on Kreisel's no counterexample interpretation and sequential algorithms. We first give a computational interpretation to an abstract maximality principle in the countable setting via an intuitive, state based algorithm. We then carry out a concrete case study, in which we give an algorithmic account of the result that in any commutative ring, the intersection of all prime ideals is contained in its nilradical

Proton-counting radiography for proton therapy: a proof of principle using CMOS APS technology

Despite the early recognition of the potential of proton imaging to assist proton therapy (Cormack 1963 J. Appl. Phys. 34 2722), the modality is still removed from clinical practice, with various approaches in development. For proton-counting radiography applications such as computed tomography (CT), the water-equivalent-path-length that each proton has travelled through an imaged object must be inferred. Typically, scintillator-based technology has been used in various energy/range telescope designs. Here we propose a very different alternative of using radiation-hard CMOS active pixel sensor technology. The ability of such a sensor to resolve the passage of individual protons in a therapy beam has not been previously shown. Here, such capability is demonstrated using a 36 MeV cyclotron beam (University of Birmingham Cyclotron, Birmingham, UK) and a 200 MeV clinical radiotherapy beam (iThemba LABS, Cape Town, SA). The feasibility of tracking individual protons through multiple CMOS layers is also demonstrated using a two-layer stack of sensors. The chief advantages of this solution are the spatial discrimination of events intrinsic to pixelated sensors, combined with the potential provision of information on both the range and residual energy of a proton. The challenges in developing a practical system are discussed

Web conversations about complementary and alternative medicines and cancer: Content and sentiment analysis

Background: The use of complementary and alternative medicine (CAM) among cancer patients is widespread and mostly self-administrated. Today, one of the most relevant topics is the nondisclosure of CAM use to doctors. This general lack of communication exposes patients to dangerous behaviors and to less reliable information channels, such as the Web. The Italian context scarcely differs from this trend. Today, we are able to mine and analyze systematically the unstructured information available in the Web, to get an insight of people's opinions, beliefs, and rumors concerning health topics. Objective: Our aim was to analyze Italian Web conversations about CAM, identifying the most relevant Web sources, therapies, and diseases and measure the related sentiment. Methods: Data have been collected using the Web Intelligence tool ifMONITOR. The workflow consisted of 6 phases: (1) eligibility criteria definition for the ifMONITOR search profile; (2) creation of a CAM terminology database; (3) generic Web search and automatic filtering, the results have been manually revised to refine the search profile, and stored in the ifMONITOR database; (4) automatic classification using the CAM database terms; (5) selection of the final sample and manual sentiment analysis using a 1-5 score range; (6) manual indexing of the Web sources and CAM therapies type retrieved. Descriptive univariate statistics were computed for each item: absolute frequency, percentage, central tendency (mean sentiment score [MSS]), and variability (standard variation Ò). Results: Overall, 212 Web sources, 423 Web documents, and 868 opinions have been retrieved. The overall sentiment measured tends to a good score (3.6 of 5). Quite a high polarization in the opinions of the conversation partaking emerged from standard variation analysis (δ≥1). In total, 126 of 212 (59.4%) Web sources retrieved were nonhealth-related. Facebook (89; 21%) and Yahoo Answers (41; 9.7%) were the most relevant. In total, 94 CAM therapies have been retrieved. Most belong to the "biologically based therapies or nutrition" category: 339 of 868 opinions (39.1%), showing an MSS of 3.9 (δ=0.83). Within nutrition, "diets" collected 154 opinions (18.4%) with an MSS of 3.8 (δ=0.87); "food as CAM" overall collected 112 opinions (12.8%) with a MSS of 4 (δ=0.68). Excluding diets and food, the most discussed CAM therapy is the controversial Italian "Di Bella multitherapy" with 102 opinions (11.8%) with an MSS of 3.4 (δ=1.21). Breast cancer was the most mentioned disease: 81 opinions of 868. Conclusions: Conversations about CAM and cancer are ubiquitous. There is a great concern about the biologically based therapies, perceived as harmless and useful, under-rating all risks related to dangerous interactions or malnutrition. Our results can be useful to doctors to be aware of the implications of these beliefs for the clinical practice. Web conversation exploitation could be a strategy to gain insights of people's perspective for other controversial topics

Current trends in ATRA delivery for cancer therapy

All-Trans Retinoic Acid (ATRA) is the most active metabolite of vitamin A. It is critically involved in the regulation of multiple processes, such as cell differentiation and apoptosis, by activating specific genomic pathways or by influencing key signaling proteins. Furthermore, mounting evidence highlights the anti-tumor activity of this compound. Notably, oral administration of ATRA is the first choice treatment in Acute Promyelocytic Leukemia (APL) in adults and NeuroBlastoma (NB) in children. Regrettably, the promising results obtained for these diseases have not been translated yet into the clinics for solid tumors. This is mainly due to ATRA-resistance developed by cancer cells and to ineffective delivery and targeting. This up-to-date review deals with recent studies on different ATRA-loaded Drug Delivery Systems (DDSs) development and application on several tumor models. Moreover, patents, pre-clinical, and clinical studies are also reviewed. To sum up, the main aim of this in-depth review is to provide a detailed overview of the several attempts which have been made in the recent years to ameliorate ATRA delivery and targeting in cancer

Two novel precursors of the hiv-1 protease inhibitor darunavir target the UPR/proteasome system in human hepatocellular carcinoma cell line HepG2

Background: Several pre-clinical and clinical reports suggest that HIV-1 protease inhibitors, in addition to the antiretroviral properties, possess pleiotropic pharmacological effects including anti-cancer action. Therefore, we investigated the pro-apoptotic activity in tumor cells of two molecules, RDD-19 and RDD-142, which are hydroxyethylamine derivatives’ precursors of darunavir and several HIV-1 protease inhibitors. Methods: Three hepatoma cell lines and one non-pathological cell line were treated with RDD-19 and RDD-142, and cell viability was assessed. The expression levels of several markers for ER stress, autophagy, cellular ubiquitination, and Akt activation were quantified in HepG2 cells treated with RDD-19 and RDD-142 to evaluate apoptotic and non-apoptotic cell death. Results: RDD-19 and RDD-142 showed a greater dose-dependent cytotoxicity towards the hepatic tumor cell line HepG2 compared to the non-pathological hepatic cell line IHH. Both molecules caused two types of cell death, a caspase-dependent apoptosis, which was ascertained by a series of biochemical and morphological assays, and a caspase-independent death that was characterized by the induction of ER stress and autophagy. The strong increase of ubiquitinated proteins inside the cells suggested that the target of these molecules could be the proteasome and in silico molecular docking analysis that was used to support the plausibility of this hypothesis. Furthermore, cells treated with the two compounds displayed decreased levels of p-AKT, which interferes with cell survival and proliferation. Conclusions: These findings demonstrate that two compounds, RDD-19 and RDD-142, have pleiotropic effects and that they may represent promising anticancer candidates

Stealth Dark Matter: Dark scalar baryons through the Higgs portal

We present a new model of "Stealth Dark Matter": a composite baryonic scalar of an $SU(N_D)$ strongly-coupled theory with even $N_D \geq 4$. All mass scales are technically natural, and dark matter stability is automatic without imposing an additional discrete or global symmetry. Constituent fermions transform in vector-like representations of the electroweak group that permit both electroweak-breaking and electroweak-preserving mass terms. This gives a tunable coupling of stealth dark matter to the Higgs boson independent of the dark matter mass itself. We specialize to $SU(4)$, and investigate the constraints on the model from dark meson decay, electroweak precision measurements, basic collider limits, and spin-independent direct detection scattering through Higgs exchange. We exploit our earlier lattice simulations that determined the composite spectrum as well as the effective Higgs coupling of stealth dark matter in order to place bounds from direct detection, excluding constituent fermions with dominantly electroweak-breaking masses. A lower bound on the dark baryon mass $m_B \gtrsim 300$ GeV is obtained from the indirect requirement that the lightest dark meson not be observable at LEP II. We briefly survey some intriguing properties of stealth dark matter that are worthy of future study, including: collider studies of dark meson production and decay; indirect detection signals from annihilation; relic abundance estimates for both symmetric and asymmetric mechanisms; and direct detection through electromagnetic polarizability, a detailed study of which will appear in a companion paper.Comment: 15 pages, 3 figures, citations added, typos fixed, minor clarification

Transvenous Lead Extraction in Patients with Cardiac Implantable Device: The Impact of Systemic and Local Infection on Clinical Outcomes. An ESC‐EHRA ELECTRa (European Lead Extraction Controlled) Registry Substudy

Background: Infections of cardiac implantable devices (CIEDI) have poor outcomes despite improvement in lead extraction (TLE) procedures. Methods: To explore the influence of CIEDI on the outcomes of TLE and the differences between patients with systemic (Sy) vs. local (Lo) CIEDI, we performed a sub‐analysis of the EORP ELECTRa (European Lead Extraction ConTRolled) Registry. Results: Among 3555 patients enrolled by 73 centers in 19 Countries, the indication for TLE was CIEDI in 1850: 1170 with Lo‐CIEDI and 680 with Sy‐CIEDI. Patients with CIEDI had a worse in‐hospital prognosis in terms of major complications (3.57% vs. 1.71%; p = 0.0007) and mortality (2.27% vs. 0.49%; p < 0.0001). Sy‐CIEDI was an independent predictor of in‐hospital death (H.R. 2.14; 95%CI 1.06–4.33. p = 0.0345). Patients with Sy‐CIEDI more frequently had an initial CIED implant and a higher prevalence of comorbidities, while subjects with Lo‐CIEDI had a higher prevalence of previous CIED procedures. Time from signs of CIEDI and TLE was longer for Lo‐CIEDI despite a shorter pre‐TLE antibiotic treatment. Conclusions: Patients with CIEDI have a worse in‐hospital prognosis after TLE, especially for patients with Sy‐CIEDI. These results raise the suspicion that in a relevant group of patients CIEDI can be systemic from the beginning without progression from Lo‐CIEDI. Future research is needed to characterize this subgroup of patients