Polite Combination of Algebraic Datatypes

Journal of Automated Reasoning - Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its...     

Understanding unforeseen production downtimes in manufacturing processes using log data-driven causal reasoning

Journal of Intelligent Manufacturing - In discrete manufacturing, the knowledge about causal relationships makes it possible to avoid unforeseen production downtimes by identifying their root...     

Hyperprolactinemia in end‐stage renal disease and effects of frequent hemodialysis

Introduction: End‐stage renal disease is associated with elevations in circulating prolactin concentrations, but the association of prolactin concentrations with intermediate health outcomes and the effects of hemodialysis frequency on changes in serum prolactin have not been examined. Methods: The FHN Daily and Nocturnal Dialysis Trials compared the effects of conventional thrice weekly hemodialysis with in‐center daily hemodialysis (6 days/week) and nocturnal home hemodialysis (6 nights/week) over 12 months and obtained measures of health‐related quality of life, self‐reported physical function, mental health and cognition. Serum prolactin concentrations were measured at baseline and 12‐month follow‐up in 70% of the FHN Trial cohort to examine the associations among serum prolactin concentrations and physical, mental and cognitive function and the effects of hemodialysis frequency on serum prolactin. Findings: Among 177 Daily Trial and 60 Nocturnal Trial participants with baseline serum prolactin measurements, the median serum prolactin concentration was 65 ng/mL (25th–75th percentile 48–195 ng/mL) and 81% had serum prolactin concentrations >30 ng/mL. While serum prolactin was associated with sex (higher in women), we observed no association between baseline serum prolactin and age, dialysis vintage, and baseline measures of physical, mental and cognitive function. Furthermore, there was no significant effect of hemodialysis frequency on serum prolactin in either of the two trials. Discussion: Serum prolactin concentrations were elevated in the large majority of patients with ESRD, but were not associated with several measures of health status. Circulating prolactin levels also do not appear to decrease in response to more frequent hemodialysis over a one‐year period.     

Resource-constrained scheduling with hard due windows and rejection penalties

This work studies a scheduling problem where each job must be either accepted and scheduled to complete within its specified due window, or rejected altogether. Each job has a certain processing time and contributes a certain profit if accepted or penalty cost if rejected. There is a set of renewable resources, and no resource limit can be exceeded at any time. Each job requires a certain amount of each resource when processed, and the objective is to maximize total profit. A mixed-integer programming formulation and three approximation algorithms are presented: a priority rule heuristic, an algorithm based on the metaheuristic for randomized priority search and an evolutionary algorithm. Computational experiments comparing these four solution methods were performed on a set of generated benchmark problems covering a wide range of problem characteristics. The evolutionary algorithm outperformed the other methods in most cases, often significantly, and never significantly underperformed any method.     

Magnetic Properties of Thermal Sprayed Tungsten Carbide–Cobalt Coatings

In the information age, the storage and accessibility of data is of vital importance. There are several possibilities to fulfill this task. Magnetic storage of data is a well‐established method and the range of materials used is continuously extended. In this study, the magnetic remanence of thermally sprayed tungsten carbide–cobalt (WCCo)‐coatings in dependence of their thickness is examined. Two magnetic fields differing in value and geometry are imprinted into the coatings and the resulting remanence field is measured. It is found that there are two effects, which in combination determine the effective value of the magnetic remanence usable for magnetic data storage.

     

Triethylenetetramine/hydroxyethyl cellulose-functionalized graphene oxide monoliths for the removal of copper and arsenate ions

Nitrogen-doped graphene oxide monoliths (GOMs) were readily constructed by crosslinking graphene oxide (GO) using triethylenetetramine (TETA) and hydroxyethyl cellulose (HEC). The addition of HEC was beneficial to the formation of a network structure compared to that in the absence of HEC. The generated monoliths have shown various morphologies with different d spacing, layer thickness, and micropore size. Fourier transform infrared (FTIR) and X-ray photoelectron spectroscopy (XPS) analyses provided evidences for the formation of covalent C–N bonds and some nitrogen-containing heterocyclic composition inside the graphene oxide sheet, indicating that the interaction of GO with the amine crosslinker involved the crosslinking reaction between GO epoxides and amine groups. HEC was also involved in the N-doping reaction via the partial reduction of oxygen in HEC molecules. Analysis of X-ray diffraction (XRD) results indicated that the lattice distance between GO sheets increased after TETA/HEC crosslinking. Thermogravimetric analysis (TGA) confirmed the successful incorporation of crosslinker moieties on the surface of GO sheets. The fabricated GOMs could be used to efficiently adsorb metal ions and arsenate by the introduced polar functional groups on GO sheets and porous structures based on hydrogen bonds, whose morphologies and compositions were confirmed via XRD, scanning electron microscopy (SEM) and energy-dispersive X-ray spectroscopy (EDS).     

Components for the implementation of free-space optical crossbars

We describe an optical system developed to form the basis of a 64 × 64 free-space optical matrix-matrix crossbar switch. The design and performance of each of the main optical components is discussed: lenses, diffractive optical elements, and polarizing beamsplitters, together with the optomechanical hardware design. For these components, throughput levels of -6.9 dB have been achieved, which is compatible with full system operation at 10(-12) bit error rates at ≥270 Mbits s(-1).