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.     

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.     

Lithium disilicate glass produced at high pressure: Characterization of structural,thermal and mechanical properties

In this work, high-density lithium disilicate (LS₂) vitreous systems were produced by melting and quenching under high pressure (7.7 GPa) following two distinct experimental routes. In the first case, LS₂ glass was remelted at 7.7 GPa and 1600°C and, then, quenched. In the second case, a stoichiometric mixture of precursor oxides (Li₂O and SiO₂) was melted at 1600°C and 7.7 GPa before quenching. A reference LS₂ glass sample was produced at atmospheric pressure using conventional melting and quenching procedure. The samples were characterized by X-ray diffraction, differential thermal analysis, and instrumented ultramicro hardness measurements. X-ray diffraction confirmed that all samples were amorphous and thermal analysis suggests that different glassy structures were produced depending on the route of synthesis. Hardness and elastic modulus of the glasses produced under high pressure were higher than those of the reference glass, reflecting the irreversible densification effect induced by the high-pressure processing.     

Low-Field Nuclear Magnetic Resonance Time Domain Characterization of Polyunsaturated Fatty Acid–Rich Linseed and Fish Oil Emulsions during Thermal Air Oxidation

Linseed contains high levels of polyunsaturated fatty acids (PUFA), such as α-linolenic acid (> 50% ALA-18:3), that are naturally protected against thermal oxidation by their encapsulation within linseed oil bodies (OB) by multiple components including antioxidant proteins and mucilage emulsifying agents. Linseed OB emulsions (LSE) can be produced by grinding linseed seeds, adding water, adjusting pH, and sonication. This is a process that can encapsulate externally added PUFA to minimize their thermal oxidation, as it does for the intrinsic ALA PUFA. Fish oil (FO) encapsulation into this LSE platform to form linseed fish oil emulsions (LSFE) offers the possibility of a nutritive delivery system of the biologically essential FO PUFA eicosapentaenoic acid and docosahexaenoic acid. In this study, ¹H low-field nuclear magnetic resonance (LF-NMR) is used to characterize LSE's and LSFE's chemical and structural properties as well as their stability and changes under thermal oxidation (55 °C for 96 hours). ¹H LF-NMR data processing was developed to generate one-dimensional (1D) T₁ (spin–lattice), 1D T₂ (spin–spin), and 2D (T₁ vs. T₂) relaxation time spectra that can characterize OB emulsions and monitor their time domain fingerprints (spectrum peaks) of chemical and structural changes during the oxidation process. The ¹H LF-NMR analysis were further supported and correlated with conventional peroxide value test, self-diffusion, droplet size distribution, zeta potential estimation of surface stability, and gas chromatography–mass spectrometry analysis of fatty acid profile changes under thermal oxidation conditions. The 1D and 2D LF-NMR relaxation spectra showed that the LSE and LSFE did not suffer intense oxidation process, due to PUFA assembly in OB oxidative protection. These results were further confirmed by the supportive analytical methodologies. The results of this study demonstrate the efficacy of ¹H LF-NMR methodology to monitor PUFA's rich oil and emulsion thermal oxidation.     

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...     

A biased random‐key genetic algorithm for OSPF and DEFT routing to minimize network congestion

Interior gateway routing protocols like Open Shortest Path First (OSPF) and Distributed Exponentially Weighted Flow Splitting (DEFT) send flow through forward links toward the destination node. OSPF routes only on shortest‐weight paths, whereas DEFT sends flow on all forward links, but with an exponential penalty on longer paths. Finding suitable weights for these protocols is known as the weight setting problem (WSP). In this paper, we present a biased random‐key genetic algorithm for WSP using both protocols. The algorithm uses dynamic flow and dynamic shortest path computations. We report computational experiments that show that DEFT achieves less network congestion when compared with OSPF, while, however, yielding larger delays.     

Correspondence of projected 3‐D points and lines using a continuous GRASP

The field of computer vision has experienced rapid growth over the past 50 years. Many computer vision problems have been solved using theory and ideas from algebraic projective geometry. In this paper, we look at a previously unsolved problem from object recognition, namely object recognition when the correspondences between the object and image data are not known a priori. We formulate this problem as a mixed‐integer non‐linear optimization problem in terms of the unknown projection relating the object and image, as well as the unknown assignments of object points and lines to those in the image. The global optimum of this problem recovers the relationship between the object points and lines with those in the image. When certain assumptions are enforced on the allowable projections mapping the object into the image, a proof is provided which permits one to solve the optimization problem via a simple decomposition. We illustrate this decomposition approach on some example scenarios.     

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.