Spray-Coating of Superhydrophobic Coatings for Advanced Applications

Superhydrophobic coatings are widely applicable, e.g., as self-cleaning surfaces or water–oil separation membranes, yet their wider usage is impeded due to costs of fabrication, size, or substrate limitation. Spray-coating is a versatile coating procedures and might offer a good solution for the fabrication of these superhydrophobic coatings, due to the fact that coatings can be fabricated on various materials in a simple, fast, and inexpensive manner. Most procedures rely on hybrid coatings of hydrophobized nanoparticles and a polymeric matrix, which have several drawbacks including the easy loss of nanoparticles and difficult waste handling. Here, the fabrication of the superhydrophobic material, called Fluoropor, for the first time, by spray-coating on various substrates including metals, tissues, concrete, and glass is presented. It is fabricated by spray-coating a mixture of a highly fluorinated monomer blended with porogens followed by photopolymerization. The superhydrophobicity of the material relies on the porous structure on the micro-/nanoscale across the bulk material and does not require any nanoparticles. Excellent self-cleaning ability of these coatings, resistance against thermal and abrasive impact, and their application as oil–water separation membranes are shown. This versatile applicability is highly promising for real-world application as self-cleaning coatings or oil–water separating membranes.     

Creutzfeldt-Jakob disease in a husband and wife

A 53-year-old man died of sporadic Creutzfeldt-Jakob disease (CJD) after a 1.5-year clinical course. Four and a half years later, his then 55-year-old widow died from CJD after a 1-month illness. Both patients had typical clinical and neuropathologic features of the disease, and pathognomonic proteinase-resistant amyloid protein ("prion" protein, or PrP) was present in both brains. Neither patient had a family history of neurologic disease, and molecular genetic analysis of their PrP genes was normal. No medical, surgical, or dietary antecedent of CJD was identified; therefore, we are left with the unanswerable alternatives of human-to-human transmission or the chance occurrence of sporadic CJD in a husband and wife.     

Theory of the hall effect in strongly correlated Fermi systems

The anomalous properties of the Hall constant in the normal state of high-T_c superconductors are investigated within the Hubbard model. In Mori theory, the frequency dependent Hall constant is given as the sum of its infinite frequency limit and a memory function contribution. The first term (R _H ) was already considered by Shastry et al.¹ In perturbation theory and in the limit of infinite spatial dimensions, the memory function contribution causes the Hall constant to change sign as a function of doping () and to decrease as a function of temperature, if we allow U to be 2W (U: Coulomb repulsion; W: bandwidth). In the limit U , the memory function is calculated via its moments. For frequencies W U, this leads to a decrease of R _H by a factor of (1 + )/2.     

Infrared temperature measurement in the ear canal with the DIATEK 9000 Instatemp and the DIATEK 9000 Thermoguide. Comparison with methods of temperature measurement in other body parts

Temperature of the tympanic membrane is recommended as a "gold standard" of core-temperature recording. However, use of temperature probes in the auditory canal may lead to damage of tympanic membrane. Temperature measurement in the auditory canal with infrared thermometry does not pose this risk. Furthermore it is easy to perform and not very time-consuming. For this reason infrared thermometry of the auditory canal is becoming increasingly popular in clinical practice. We evaluated two infrared thermometers-the Diatek 9000 Thermoguide and the Diatek 9000 Instatemp-regarding factors influencing agreement with conventional tympanic temperature measurement and other core-temperature recording sites. In addition, we systematically evaluated user dependent factors that influence the agreement with the tympanic temperature. MATERIALS AND METHODS: In 20 volunteers we evaluated the influence of three factors: duration of the devices in the auditory canal before taking temperature (0 or 5 s), interval between two following recordings (30, 60, 90, 120, 180 s) and positioning of the grip relative to the auditory-canal axis (0, 60, 180 and 270 degrees). Agreement with tympanic contact probes (Mon-a-therm tympanic) in the contralateral ear was investigated in 100 postoperative patients. Comparative readings with rectal (YSI series 400) and esophageal (Mon-a-therm esophageal stethoscope with temperature sensor) probes were done in 100 patients in the ICU. The method of Bland and Altman was taken for comparison. RESULTS: Shortening of the interval between two consecutive readings led to increasing differences between the two measurements with the second reading decreasing. A similar effect was seen when positioning the infrared thermometers in the auditory canal before taking temperatures: after 5 s the recorded temperatures were significantly lower than temperature recordings taken immediately. Rotation of the devices out of the telephone handle position led to increasing lack of agreement between infrared thermometry and contact probes. Mean differences between infrared thermometry (Instatemp and Thermoguide, CAL-Mode) and tympanic probes were -0.41 +/- 0.67 degree C (2 SD) and -0.43 +/- 0.70 degree C, respectively. Mean differences between the Thermoquide (Rectal-Mode) and rectal probe were -0.19 +/- 0.72 degree C, and between the Thermoguide (Core Mode) and esophageal probe -0.13 +/- 0.74 degree C. DISCUSSION: Although easy to use, infrared thermometry requires careful handling. To obtain optimal recordings, the time between two consecutive readings should not be less than two min. Recordings should be taken immediately after positioning the devices in the auditory canal. Best results are obtained in the 60 degrees position with the grip of the devices following the ramus mandibulae (telephone handle position). The lower readings of infrared thermometry compared with tympanic contact probes indicate that the readings obtained represent the temperature of the auditory canal rather than of the tympanic membrane itself. To compensate for underestimation of core temperature by infrared thermometry, the results obtained are corrected and transferred into core-equivalent temperatures. This data correction reduces mean differences between infrared recordings and traditional core-temperature monitoring, but leaves limits of agreement between the two methods uninfluenced.     

On regular temporal logics with past

The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL and the closely related SystemVerilog Assertions, SVA for short, are increasingly used in many phases of the hardware design cycle, from specification to verification. In this article, we extend the common core of these specification languages with past operators. We name this extension PPSL. Although all ω-regular properties are expressible in PSL, SVA, and PPSL, past operators often allow one to specify properties more naturally and concisely. In fact, we show that PPSL is exponentially more succinct than the cores of PSL and SVA. On the star-free properties, PPSL is double exponentially more succinct than LTL. Furthermore, we present a translation of PPSL into language-equivalent nondeterministic Büchi automata, which is based on novel constructions for 2-way alternating automata. The upper bound on the size of the resulting nondeterministic Büchi automata obtained by our translation is almost the same as the upper bound for the nondeterministic Büchi automata obtained from existing translations for PSL and SVA. Consequently, the satisfiability problem and the model-checking problem for PPSL fall into the same complexity classes as the corresponding problems for PSL and SVA.     

Model Checking for Hybrid Logic

We consider the model checking problem for Hybrid Logic. Known algorithms so far are global in the sense that they compute, inductively, in every step the set of all worlds of a Kripke structure that satisfy a subformula of the input. Hence, they always exploit the entire structure. Local model checking tries to avoid this by only traversing necessary parts of the input in order to establish or refute the satisfaction relation between a given world and a formula. We present a framework for local model checking of Hybrid Logic based on games. We show that these games are simple reachability games for ordinary Hybrid Logic and weak Büchi games for Hybrid Logic with operators interpreted over the transitive closure of the accessibility relation of the underlying Kripke frame, and show how to solve these games thus solving the local model checking problem. Since the first-order part of Hybrid Logic is inherently hard to localise in model checking, we give examples, in the end, of how global model checkers can be optimised in certain special cases using well-established techniques like fixpoint approximations and divide-and-conquer algorithms.     

An empirical analysis of the factors and measures of Enterprise Architecture Management success

Enterprise Architecture Management (EAM) is discussed in academia and industry as a vehicle to guide IT implementations, alignment, compliance assessment, or technology management. Still, a lack of knowledge prevails about how EAM can be successfully used, and how positive impact can be realized from EAM. To determine these factors, we identify EAM success factors and measures through literature reviews and exploratory interviews and propose a theoretical model that explains key factors and measures of EAM success. We test our model with data collected from a cross-sectional survey of 133 EAM practitioners. The results confirm the existence of an impact of four distinct EAM success factors, ‘EAM product quality’, ‘EAM infrastructure quality’, ‘EAM service delivery quality’, and ‘EAM organizational anchoring’, and two important EAM success measures, ‘intentions to use EAM’ and ‘Organizational and Project Benefits’ in a confirmatory analysis of the model. We found the construct ‘EAM organizational anchoring’ to be a core focal concept that mediated the effect of success factors such as ‘EAM infrastructure quality’ and ‘EAM service quality’ on the success measures. We also found that ‘EAM satisfaction’ was irrelevant to determining or measuring success. We discuss implications for theory and EAM practice.     

An open implementation for context-oriented layer composition in ContextJS

Context-oriented programming (COP) provides dedicated support for defining and composing variations to a basic program behavior. A variation, which is defined within a layer, can be de-/activated for the dynamic extent of a code block. While this mechanism allows for control flow-specific scoping, expressing behavior adaptations can demand alternative scopes. For instance, adaptations can depend on dynamic object structure rather than control flow. We present scenarios for behavior adaptation and identify the need for new scoping mechanisms. The increasing number of scoping mechanisms calls for new language abstractions representing them. We suggest to open the implementation of scoping mechanisms so that developers can extend the COP language core according to their specific needs. Our open implementation moves layer composition into objects to be affected and with that closer to the method dispatch to be changed. We discuss the implementation of established COP scoping mechanisms using our approach and present new scoping mechanisms developed for our enhancements to Lively Kernel.