Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking

The number R(4, 3, 3) is often presented as the unknown Ramsey number with the best chances of being found “soon”. Yet, its precise value has remained unknown for almost 50 years. This paper presents a methodology based on abstraction and symmetry breaking that applies to solve hard graph edge-coloring problems. The utility of this methodology is demonstrated by using it to compute the value R(4, 3, 3) = 30. Along the way it is required to first compute the previously unknown set \(\mathcal {R}(3,3,3;13)\) consisting of 78,892 Ramsey colorings.     

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

Navigation satellites are a core component of navigation satellite‐based systems such as Global Positioning System, Global Navigation Satellite System and Galileo, which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures and thus to plan maintenance strategies, optimise reliability and maximise availability. In this paper, we present formal models of both a single satellite and a navigation satellite constellation and logical specification of their reliability, availability and maintainability properties, respectively. The probabilistic model checker PRISM has been used to perform automated analysis of these quantitative properties. Copyright © 2014 John Wiley & Sons, Ltd.     

GraftFast Surface Engineering to Improve MOF Nanoparticles Furtiveness

Controlling the outer surface of nanometric metal–organic frameworks (nanoMOFs) and further understanding the in vivo effect of the coated material are crucial for the convenient biomedical applications of MOFs. However, in most studies, the surface modification protocol is often associated with significant toxicity and/or lack of selectivity. As an alternative, how the highly selective and general grafting GraftFast method leads, through a green and simple process, to the successful attachment of multifunctional biopolymers (polyethylene glycol (PEG) and hyaluronic acid) on the external surface of nanoMOFs is reported. In particular, effectively PEGylated iron trimesate MIL‐100(Fe) nanoparticles (NPs) exhibit suitable grafting stability and superior chemical and colloidal stability in different biofluids, while conserving full porosity and allowing the adsorption of bioactive molecules (cosmetic and antitumor agents). Furthermore, the nature of the MOF–PEG interaction is deeply investigated using high‐resolution soft X‐ray spectroscopy. Finally, a cell penetration study using the radio‐labeled antitumor agent gemcitabine monophosphate (³H‐GMP)‐loaded MIL‐100(Fe)@PEG NPs shows reduced macrophage phagocytosis, confirming a significant in vitro PEG furtiveness.     

Comparison of paper-and-pencil versus Web administration of the Youth Risk Behavior Survey (YRBS): Participation,data quality,and perceived privacy and anonymity

The Youth Risk Behavior Surveillance System (YRBSS) monitors priority health-risk behaviors among US high school students. To better understand the ramifications of changing the YRBSS from paper-and-pencil to Web administration, in 2008 the Centers for Disease Control and Prevention conducted a study comparing these two modes of administration. Eighty-five schools in 15 states agreed to participate in the study. Within each participating school, four classrooms of students in grades 9 or 10 were randomly assigned to complete the Youth Risk Behavior Survey questionnaire in one of four conditions (in-class paper-and-pencil, in-class Web without programmed skip patterns, in-class Web with programmed skip patterns, and “on your own” Web without programmed skip patterns). Findings included less missing data for the paper-and-pencil condition (1.5% vs. 5.3%, 4.4%, 6.4%; p < .001), less perceived privacy and anonymity among respondents for the in-class Web conditions, and a lower response rate for the “on your own” Web condition than for in-class administration by either mode (28.0% vs. 91.2%, 90.1%, 91.4%; p < .001). Although Web administration might be useful for some surveys, these findings do not favor the use of a Web survey for the YRBSS.     

Value and limits of μ-CT for nondemineralized bone tissue processing

An experimental approach was performed on 20 giant rabbits to establish the possibilities and limitations of μ-CT for routine processing of nondemineralized bone tissue. Hydroxyapatite (HA) or β-tricalciumphosphate (β-TCP) bead implants or a melange of both, microchambered and solid, were implanted into a standardized and precise defect in the patellar groove. The bone-healing phase was chosen for the histology considering 1 or 2 days, and 2, 3, and 6 weeks. Normal X-ray and μ-CT were applied on all specimens; five specimens in the 6-week stage were additionally processed according to the full range of conventional nondemineralized bone processing methods. μ-CT increased the possibilities of nondemineralized histology with respect to bone morphometry and a complete sequence of sections, thus providing a complete analysis of the bone response. μ-CT was limited in differentiating bone quality, cell analyses, and mineralization stages. The investigation based on normal X-rays is limited to defining integration and excluding the fibrous and bony encapsulation of loose implants. μ-CT allows a 3D evaluation of newly formed bone which is clearly marked against the ceramic implant. It does not allow, however, for the differentiation between woven and lamellar bone, the presentation of the canalicular lacunar system, or on the cell level, revealing canaliculi or details of the mineralization process which can be documented by high-resolution microradiography. Titer dynamics of bone formation remains the domain of polychromatic sequential labeling. The complete sequence of μ-CT slices enhances the possibilities for routine histology, tremendously allowing to the focus on detail histology to topographically well-defined cuts, thus providing more precise conclusions which take into consideration the whole implant.     

A continuous approach to considering uncertainty in facility design

This paper presents a formulation of the facilities block layout problem which explicitly considers uncertainty in material handling costs on a continuous scale by use of expected values and standard deviations of product forecasts. This formulation is solved using a genetic algorithm meta-heuristic with a flexible bay construct of the departments and total facility area. It is shown that depending on the attitude of the decision-maker towards uncertainty, the optimal design can change significantly. Furthermore, designs can be optimized directly for robustness over a range of uncertainty that is pre-specified by the user. This formulation offers a computationally tractable and intuitively appealing alternative to previous stochastic layout formulations that are based on discrete scenario probabilities.     

State-of-the-Art on Wound Vitality Evaluation: A Systematic Review

The vitality demonstration refers to determining if an injury has been caused ante- or post-mortem, while wound age means to evaluate how long a subject has survived after the infliction of an injury. Histology alone is not enough to prove the vitality of a lesion. Recently, immunohistochemistry, biochemistry, and molecular biology have been introduced in the field of lesions vitality and age demonstration. The study was conducted according to the preferred reporting items for systematic review (PRISMA) protocol. The search terms were “wound”, “lesion”, “vitality”, “evaluation”, “immunohistochemistry”, “proteins”, “electrolytes”, “mRNAs”, and “miRNAs” in the title, abstract, and keywords. This evaluation left 137 scientific papers. This review aimed to collect all the knowledge on vital wound demonstration and provide a temporal distribution of the methods currently available, in order to determine the age of lesions, thus helping forensic pathologists in finding a way through the tangled jungle of wound vitality evaluation.     

Localized Ligand Induced Electroless Plating (LIEP) Process for the Fabrication of Copper Patterns Onto Flexible Polymer Substrates

The “ligand induced electroless plating (LIEP) process” is a simple process to obtain localized metal plating onto flexible polymers such as poly(ethylene terephtalate) and polyvinylidene fluoride sheets. This generic and cost‐effective process, efficient on any common polymer surface, is based on the covalent grafting by the GraftFast process of a thin chelating polymer film, such as poly(acrylic acid), which can complex copper ions. The entrapped copper ions are then chemically reduced in situ and the resulting Cu⁰ species act as a seed layer for the electroless copper growth which, thus, starts inside the host polymer. The present work focuses on the application of the LIEP process to the patterning of localized metallic tracks via two simple lithographic methods. The first is based on a standard photolithography process using a positive photoresist masking to prevent the covalent grafting of PAA in designated areas of the polymer substrate. In the second, the patterning is performed by direct printing of the mask with a commercial laser printer. In both cases, the mask was lifted off before the copper electroless plating step, which provides ecological benefits, since only the amount of copper necessary for the metallic patterning is used.