Efficient primal-dual heuristic for a dynamic location problem

In this paper the dynamic location problem with opening, closure and reopening of facilities is formulated and an efficient primal-dual heuristic that computes both upper and lower limits to its optimal solution is described. The problem here studied considers the possibility of reconfiguring any location more than once over the planning horizon. This problem is NP-hard (the simple plant location problem is a special case of the problem studied). A primal-dual heuristic based on the work of Erlenkotter [A dual-based procedure for uncapacitated facility location. Operations Research 1978;26:992–1009] and Van Roy and Erlenkotter [A dual-based procedure for dynamic facility location. Management Science 1982;28:1091–105] was developed and tested over a set of randomly generated test problems. The results obtained are quite good, both in terms of the quality of lower and upper bounds calculated as in terms of the computational time spent by the heuristic. A branch-and-bound procedure that enables to optimize the problem is also described and tested over the same set of randomly generated problems.     

Multiwalled Nanotubes: Their Formation by Irradiating Graphite with High Doses of Electrons

We report the production of carbon nanotubes by high dose of electron irradiation. The irradiation was performed with a 2 MeV Van de Graaff accelerator, while the irradiation conditions were the following: voltage 1.3 MeV, current 5 µA, dose rate 25 kGy/min, and total dosage 1000 kGy. The samples were analyzed in a high-resolution transmission electron microscope. The main features observed on the samples, were huge nanotubes of several nanometer long and few nanometer wide, which are capped at one end. It is good to point out, that at this level of irradiation, we were not able to find either onion-like or particle structures throughout the material, as it is usual in similar hexagonal structures. This behavior could be attributed to the level of irradiation used to create the nanotubes under investigation.     

The Chick Chorioallantoic Membrane Model: A New In Vivo Tool to Evaluate Breast Cancer Stem Cell Activity

The high plasticity of cancer stem-like cells (CSCs) allows them to differentiate and proliferate, specifically when xenotransplanted subcutaneously into immunocompromised mice. CSCs are highly tumorigenic, even when inoculated in small numbers. Thus, in vivo limiting dilution assays (LDA) in mice are the current gold standard method to evaluate CSC enrichment and activity. The chick embryo chorioallantoic membrane (CAM) is a low cost, naturally immune-incompetent and reproducible model widely used to evaluate the spontaneous growth of human tumor cells. Here, we established a CAM-LDA assay able to rapidly reproduce tumor specificities—in particular, the ability of the small population of CSCs to form tumors. We used a panel of organotropic metastatic breast cancer cells, which show an enrichment in a stem cell gene signature, enhanced CD44⁺/CD24^−/low cell surface expression and increased mammosphere-forming efficiency (MFE). The size of CAM-xenografted tumors correlate with the number of inoculated cancer cells, following mice xenograft growth pattern. CAM and mice tumors are histologically comparable, displaying both breast CSC markers CD44 and CD49f. Therefore, we propose a new tool for studying CSC prevalence and function—the chick CAM-LDA—a model with easy handling, accessibility, rapid growth and the absence of ethical and regulatory constraints.     

P16 and HPV Genotype Significance in HPV-Associated Cervical Cancer—A Large Cohort of Two Tertiary Referral Centers

The expression of p16 is a good surrogate of human papillomavirus (HPV) infection in HPV-associated cancers. The significance of p16 expression, HPV genotype and genera in the outcome of patients with HPV-associated cervical cancer (CC) is unclear. Our aim is to ascertain the prognostic significance of these factors. Data from 348 patients (median age: 47.5 years old) with CC, diagnosed in two referral centers, were retrospectively collected. Advanced disease (FIGO2018 IB2-IV) was present in 68% of patients. A single HPV genotype was identified in 82.8% of patients. The most common HPVs were HPV16 (69%) and HPV18 (14%). HPV genera reflected this distribution. HPV16 tumors presented at an earlier stage. P16 was negative in 18 cases (5.2%), 83.3% of which were squamous cell carcinomas. These cases occurred in older patients who tended to have advanced disease. In the univariate analysis, HPV16 (HR: 0.58; p = 0.0198), α-9 genera (HR: 0.37; p = 0.0106) and p16 overexpression (HR: 0.54; p = 0.032) were associated with better survival. HPV16 (HR: 0.63; p = 0.0174) and α-9 genera (HR: 0.57; p = 0.0286) were associated with less relapse. In the multivariate analysis, only the International Federation of Gynecology and Obstetrics (FIGO) stage retained an independent prognostic value. HPV16, α-9 genera and p16 overexpression were associated with better survival, although not as independent prognostic factors. Patients with p16-negative HPV-associated CC were older, presented with advanced disease and had worse prognosis.     

Studying properties of Lagrangian bounds for many-to-many assignment problems

Classical and modified Lagrangian bounds for the optimal value of optimization problems with a double decomposable structure are studied. For the class of many-to-many assignment problems, this property of constraints is used to design a subgradient algorithm for solving the modified dual problem. Numerical results are presented to compare the quality of classical and modified bounds, as well as the properties of the corresponding Lagrangian solutions.     

Impact of white-matter mask selection on DTI histogram-based metrics as potential biomarkers in cerebral small vessel disease

Magnetic Resonance Materials in Physics, Biology and Medicine - Histogram-based metrics extracted from diffusion-tensor imaging (DTI) have been suggested as potential biomarkers for cerebral small...     

Microwave-Assisted Fabrication of Superamphiphobic Surfaces on Aluminum Substrates

The field of superamphiphobic surface fabrication has evolved rapidly in the last decade; however, research on important issues such as sustainability and green chemistry procedures is still scarce. Herein, a simple method of microwave irradiation (MW) to minimize energy consumption during the preparation of superamphiphobic aluminum (Al) surfaces is reported. Al substrates are first etched in diluted HCl solutions to generate a microstructure and then irradiated in a commercial microwave unit for several time intervals, temperatures, and pressures. The surfaces are then coated with different compounds, and the wettability is tested with high and very-low surface tension liquids. Optical profilometry and scanning electron microscopy images show that the density of hierarchical micro-nanostructures increases with MW time, temperature, and pressure. At 170 °C and 7.9 bar, the surfaces present a high density of structures and re-entrant topographies. The obtained coatings display excellent repellence to liquids with surface tensions as low as 27.5 mN m⁻¹. X-ray photoelectron spectroscopy data show the importance of efficient surface functionalization for the production of superamphiphobicity in Al substrates. The results show that MW irradiation of Al substrates can be a green and efficient method for fabricating superamphiphobic surfaces.     

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation

We thoroughly study the behavioural theory of epi, a ??-calculus extended with polyadic synchronisation. We show that the natural contextual equivalence, barbed congruence, coincides with early bisimilarity, which is thus its co-inductive characterisation. Moreover, we relate early bisimilarity with the other usual notions, ground, late and open, obtaining a lattice of equivalence relations that clarifies the relationship among the ??standard?? bisimilarities. Furthermore, we apply the theory developed to obtain an expressiveness result: epi extended with key encryption primitives may be fully abstractly encoded in the original epi calculus. The proposed encoding is sound and complete with respect to barbed congruence; hence, cryptographic epi (crypto-epi) gets behavioural theory for free, which contrasts with other process languages with cryptographic constructs that usually require a big effort to develop such theory. Therefore, it is possible to use crypto-epi to analyse and to verify properties of security protocols using equational reasoning. To illustrate this claim, we prove compliance with symmetric and asymmetric cryptographic system laws, and the correctness of a protocol of secure message exchange.