Effects of the metacognitive computer-tool met.a.ware on the web search of laypersons

Today, laypersons often consult the Internet to inform themselves about health-related issues. However, the competent use of these often complex and heterogeneous information provisions cannot be taken for granted, because many Internet users are lacking the necessary metacognitive prerequisites. Therefore, we developed the metacognitive computer-tool met.a.ware, which supports laypersons’ Internet research for medical information by the means of metacognitive prompting and ontological classification. In an experimental investigation of met.a.ware a total of 118 participants with little medical knowledge were asked to conduct an Internet research on a medical topic. Participants were randomly assigned to four experimental groups that worked with met.a.ware and either received evaluation prompts, monitoring prompts, both types of prompts, or no prompts. All experimental conditions were additionally provided with ontological classification. One control group took paper and pencil notes. A further control group took notes using a blank text window. Results showed that laypersons receiving evaluation prompts outperformed controls in terms of knowledge about sources and produced more arguments commenting on the source of information in an essay task. In addition, laypersons receiving monitoring prompts acquired significantly more knowledge about facts, but did not perform better on a comprehension test than the controls. The availability of ontological categories helped to structure the notes laypersons in the conditions working with ontological classification took during Internet research. Analyses of the notes further demonstrated that the availability of ontological categories guided information search in direction of the selected categories. It is concluded, that met.a.ware is an effective tool that supports laypersons’ Internet research.     

Chirp filtering in the fractional Fourier domain

In the Wigner domain of a one-dimensional function, a certain chirp term represents a rotated line delta function. On the other hand, a fractional Fourier transform (FRT) can be associated with a rotation of the Wigner-distribution function by an angle connected with the FRT order. Thus with the FRT tool a chirp and a delta function can be transformed one into the other. Taking the chirp as additive noise, the FRT is used for filtering the line delta function in the appropriate fractional Fourier domain. Experimental filtering results for a Gaussian input function, which is modulated by an additive chirp noise, are shown. Excellent agreement between experiments and computer simulations is achieved.     

The effect of surfaces on the tunneling density of states of an anisotropically paired superconductor

We present calculations of the tunneling density of states in an anisotropically paired superconductor for two different sample geometries: a semi-infinite system with a single specular wall, and a slab of finite thickness and infinite lateral extent. In both cases we are interested in the effects of surface pair breaking on the tunneling spectrum. We take the stable bulk phase to be of d_x ²–y² symmetry. Our calculations are performed within two different band structure environments: an isotropic cylindrical Fermi surface with a bulk order parameter of the form k _x ² –k _y ² , and a nontrivial tight-binding Fermi surface with the order parameter structure coming from an antiferromagnetic spin-fluctuation model. In each case we find additional structures in the energy spectrum coming from the surface layer. These structures are sensitive to the orientation of the surface with respect to the crystal lattice, and have their origins in the detailed form of the momentum and spatial dependence of the order parameter. By means of tunneling spectroscopy, one can obtain information on both the anisotropy of the energy gap, ¦(p)¦, as well as on the phase of the order parameter, (p) = ¦(p)¦ e^i(p).     

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

Localized Synthesis of Iron Oxide Nanowires and Fabrication of High Performance Nanosensors Based on a Single Fe2O3 Nanowire

A composed morphology of iron oxide microstructures covered with very thin nanowires (NWs) with diameter of 15–50 nm has been presented. By oxidizing metallic Fe microparticles at 255 °C for 12 and 24 h, dense iron oxide NW networks bridging prepatterned Au/Cr pads are obtained. X‐ray photoelectron spectroscopy studies reveal formation of α‐Fe₂O₃ and Fe₃O₄ on the surface and it is confirmed by detailed high‐resolution transmission electron microscopy and selected area electron diffraction (SAED) investigations that NWs are single phase α‐Fe₂O₃ and some domains of single phase Fe₃O₄. Localized synthesis of such nano‐ and microparticles directly on sensor platform/structure at 255 °C for 24 h and reoxidation at 650 °C for 0.2–2 h, yield in highly performance and reliable detection of acetone vapor with fast response and recovery times. First nanosensors on a single α‐Fe₂O₃ nanowire are fabricated and studied showing excellent performances and an increase in acetone response by decrease of their diameter was developed. The facile technological approach enables this nanomaterial as candidate for a range of applications in the field of nanoelectronics such as nanosensors and biomedicine devices, especially for breath analysis in the treatment of diabetes patients.     

An Overview of Control Charts for High‐quality Processes

Major difficulties in the study of high‐quality processes with traditional process monitoring techniques are a high false alarm rate and a negative lower control limit. The purpose of time‐between‐events control charts is to overcome existing problems in the high‐quality process monitoring setup. Time‐between‐events charts detect an out‐of‐control situation without great loss of sensitivity as compared with existing charts. High‐quality control charts gained much attention over the last decade because of the technological revolution. This article is dedicated to providing an overview of recent research and presenting it in a unifying framework. To summarize results and draw a precise conclusion from the statistical point of view, cross‐tabulations are also given in this article. Copyright © 2016 John Wiley & Sons, Ltd.     

Successful electroconvulsive therapy of Cotard syndrome with bitemporal hypoperfusion

A case study is presented to illustrate a rare condition described by Cotard as "délire de négation". The central symptom is a nihilistic delusion with denial of one's own existence of oneself and that of the external world. In the present case, the syndrome became manifest as an escalation of a recurrent depressive disorder late in life. After initial resistance to therapy, the syndrome was successfully treated with electroconvulsive therapy. For the first time, we report the regional cerebral blood flow measured by 99mTc-HMPAO-SPECT before and after therapy. Before treatment, significant bitemporal hypoperfusion relative to the cerebellum was found, which was no longer demonstrable on remission.     

Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm

This paper presents an assumption/commitment specification technique and a refinement calculus for networks of agents communicating asynchronously via unbounded FIFO channels in the tradition of Kahn.

We define two types of assumption/commitment specifications, namely simple and general specifications.

It is shown that semantically, any deterministic agent can be uniquely characterized by a simple specification, and any nondeterministic agent can be uniquely characterized by a general specification.

We define two sets of refinement rules, one for simple specifications and one for general specifications. The rules are Hoare-logic inspired. In particular the feedback rules employ invariants in the style of a traditional while-rule.

Both sets of rules have been proved to be sound and also (semantic) relative complete.

Conversion rules allow the two logics to be combined. This means that general specifications and the rules for general specifications have to be introduced only at the point in a system development where they are really needed.

     

Distance visualization for interactive 3D implant planning

An instant and quantitative assessment of spatial distances between two objects plays an important role in interactive applications such as virtual model assembly, medical operation planning, or computational steering. While some research has been done on the development of distance-based measures between two objects, only very few attempts have been reported to visualize such measures in interactive scenarios. In this paper we present two different approaches for this purpose, and we investigate the effectiveness of these approaches for intuitive 3D implant positioning in a medical operation planning system. The first approach uses cylindrical glyphs to depict distances, which smoothly adapt their shape and color to changing distances when the objects are moved. This approach computes distances directly on the polygonal object representations by means of ray/triangle mesh intersection. The second approach introduces a set of slices as additional geometric structures, and uses color coding on surfaces to indicate distances. This approach obtains distances from a precomputed distance field of each object. The major findings of the performed user study indicate that a visualization that can facilitate an instant and quantitative analysis of distances between two objects in interactive 3D scenarios is demanding, yet can be achieved by including additional monocular cues into the visualization.     

Non-standard bone simulation: interactive numerical analysis by computational steering

Numerous numerical methods have been developed in an effort to accurately predict stresses in bones. The largest group are variants of the h-version of the finite element method (h-FEM), where low order Ansatz functions are used. By contrast, we3 investigate a combination of high order FEM and a fictitious domain approach, the finite cell method (FCM). While the FCM has been verified and validated in previous publications, this article proposes methods on how the FCM can be made computationally efficient to the extent that it can be used for patient specific, interactive bone simulations. This approach is called computational steering and allows to change input parameters like the position of an implant, material or loads and leads to an almost instantaneous change in the output (stress lines, deformations). This direct feedback gives the user an immediate impression of the impact of his actions to an extent which, otherwise, is hard to obtain by the use of classical non interactive computations. Specifically, we investigate an application to pre-surgical planning of a total hip replacement where it is desirable to select an optimal implant for a specific patient. Herein, optimal is meant in the sense that the expected post-operative stress distribution in the bone closely resembles that before the operation.