Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol

In this paper we describe a network invariant for all configurations of the Futurebus+ Cache Coherence Protocol. The network invariant was computed with PAX and verified by a model checker. Using this invariant we are able to prove a specification of cache coherence correct for an arbitrary number of components on a single bus of the system. This specification includes a progress property not proven yet. We show how the result for the single bus system can be extended to tree-shaped systems. This is, as far as we know, the first uniform proof of the protocol with multiple data-buses.     

Manufacturing technologies for miniaturized interference filters

 Miniaturized interference filters were designed and fabricated using two different manufacturing technologies. Applying micromachined ceramic masks during the coating processes interference filters with 1 mm lateral feature size and an alignment accuracy of 50 μm were arranged in an array consisting of three different filters. The filter edge definition obtained by this method was smaller than 50 μm. By applying ion assisted deposition (IAD), a low-temperature coating process, the spectral sensitivity of receiver cells has been modified by coating the cells directly. A combination of coating processes, microlithographic masking procedures, and dry etching technologies made it possible to arrange three different stripe filters with minimum filter features of about 5 μm side by side. The accuracy during mask alignment and the filter edge definition was also within 1 and 2 μm, respectively. Received: 20 March 1999/Accepted: 12 April 1999     

Visualization of myocardial perfusion derived from coronary anatomy

Visually assessing the effect of the coronary artery anatomy on the perfusion of the heart muscle in patients with coronary artery disease remains a challenging task. We explore the feasibility of visualizing this effect on perfusion using a numerical approach. We perform a computational simulation of the way blood is perfused throughout the myocardium purely based on information from a three-dimensional anatomical tomographic scan. The results are subsequently visualized using both three-dimensional visualizations and bull's eye plots, partially inspired by approaches currently common in medical practice. Our approach results in a comprehensive visualization of the coronary anatomy that compares well to visualizations commonly used for other scanning technologies. We demonstrate techniques giving detailed insight in blood supply, coronary territories and feeding coronary arteries of a selected region. We demonstrate the advantages of our approach through visualizations that show information which commonly cannot be directly observed in scanning data, such as a separate visualization of the supply from each coronary artery. We thus show that the results of a computational simulation can be effectively visualized and facilitate visually correlating these results to for example perfusion data.     

Co-oxidation of beta-carotene and canthaxanthine by purified lipoxygenases from soya beans (author's transl)]

Isolation and purification of soya bean lipoxygenase (linoleate: O2 oxidoreductase, EC, 1.13.11.12) on Sephadex G-200, DEAE-cellulose and by isolectric focusing yields two isoenzymes of the L- 2 type (optimum pH 6.5) and two of the L-1 type (optimum pH9.0). Different crude extracts from soya beans as well as the purified L-2 isoenzymes exhibit the same capacity for co-oxidation of beta-carotene and canthaxanthine, when the comparison is based upon equal lipoxygenase activities. In contrast to L-2 the alkaline lipoxygenase L-1 is a poor "carotene oxidase".     

CoMem: collaborative memory management for real-time operation within reactive sensor/actor networks

Increasing complexity and modularity of today??s WSAN applications impose demanding challenges on the system design. This especially affects real-time operation, resource sharing and dynamic memory management. Preemptive task systems are one way to retain good reactivity within dynamic environments. Yet, since memory is often too rare for static assignment, this rapidly leads to severe compositional problems among tasks with interfering and even varying requirements. We present our novel CoMem approach for maintaining high reactivity and efficient memory usage in such systems. With respect to task priorities and the typically limited resources of sensor nodes, we facilitate compositional software design by providing independently developed tasks with runtime information for yet collaborative and self-reflective memory sharing. Thereby, we require no special hardware-support like MMUs but operate entirely software-based.     

How Many Selves in Emotion Experience? Reply to Dalgleish and Power (2004).

T. Dalgleish and M. J. Power (see record 2004-15929-012) suggest that J. A. Lambie and A. J. Marcel's (2002) article implicitly presents a unitary view of self in emotion experience and propose that certain clinical phenomena require multiple selves. This reply summarizes Lambie and Marcel's usages of the term self and examines both Dalgleish and Power's gloss of these and their own usages. This indicates that their own central usage of the term misrepresents Lambie and Marcel and is itself an improper usage. More important, examination of the phenomena claimed to require multiple selves suggests that they do not and that Dalgleish and Power may have misread the relevant clinical literature. Finally, Lambie and Marcel's own conception of dissociative phenomena and multiple selves are outlined, and alternative approaches are sketched. In discussing the usages of the term self and interpretation of cognitive and affective disorders, this reply attempts to clarify certain confusions. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Sodium boiling experiments at low power under natural convection conditions

Sodium boiling experiments have been performed under natural convection conditions in an electrically heated 37-pin bundle. The pin power was in the range of the decay power of an LMFBR. In the tests which aimed at approaching the limits of cooling of a pin bundle three aspects have been investigated: (1) increase of the flow resistance in the cold leg of the natural convection loop, (2) pin powers exceeding the decay power, and (3) the maximum power which can be removed continuously from a grid spaced bundle with totally blocked inlet. The results related to items one and two reveal the large safety margin which exists between nominal operation conditions in the case of emergency cooling and cooling failure. Theoretical work concentrates on flow stability and on the predictions of a model based on counter-current vapour-liquid flow.     

Computational Repurposing of Mitoxantrone-Related Structures against Monkeypox Virus: A Molecular Docking and 3D Pharmacophore Study

Monkeypox is caused by a DNA virus known as the monkeypox virus (MPXV) belonging to the Orthopoxvirus genus of the Poxviridae family. Monkeypox is a zoonotic disease where the primary significant hosts are rodents and non-human primates. There is an increasing global incidence with a 2022 outbreak that has spread to Europe in the middle of the COVID-19 pandemic. The new outbreak has novel, previously undiscovered mutations and variants. Currently, the US Food and Drug Administration (FDA) approved poxvirus treatment involving the use of tecovirimat. However, there has otherwise been limited research interest in monkeypox. Mitoxantrone (MXN), an anthracycline derivative, an FDA-approved therapeutic for treating cancer and multiple sclerosis, was previously reported to exhibit antiviral activity against the vaccinia virus and monkeypox virus. In this study, virtual screening, molecular docking analysis, and pharmacophore ligand-based modelling were employed on anthracene structures (1-13) closely related to MXN to explore the potential repurposing of multiple compounds from the PubChem library. Four chemical structures (2), (7), (10) and (12) show a predicted high binding potential to suppress viral replication.