Interaction of Langmuir–Blodgett and spin-coated films of μ-carbido-bridged ironphthalocyanine with NO2: Optical and conductimetric behaviour

The present study investigates the interaction of NO₂ gas and μ-carbido-bridged iron phthalocyanine (PcFeCFePc) films obtained by Langmuir–Blodgett (LB) and spin-coating (SC) techniques. The phthalocyanine bridged dimer under study belongs to the polynuclear unsubstituted phthalocyanines class and presents poor solubility: in contrast the corresponding N-base bis-adducts are soluble enough in organic solvents to be deposited by Langmuir–Blodgett and spin-coating techniques. The reaction with NO₂ is monitored by visible spectra variation that shows identical behaviour for both kinds of films, indicating that the chemical reaction between the gas and the films is independent of the deposition method. The electrical conductivity change as a function of time with NO₂ is instead dissimilar: for spin-coated films it shows a behaviour already observed for sandwich-type phthalocyanine whereas for LB films it resembles that of monomeric phthalocyanine. Such a response implies that the charges (holes) generated in the oxidation/reduction process are carried differently through the material, and we attempt to explain this behaviour taking into account the two different structural and morphological features induced by the two techniques.     

Will musculoskeletal and visual stress change when Visual Display Unit (VDU) operators move from small offices to an ergonomically optimized office landscape?

This study investigated the effect of moving from small offices to a landscape environment for 19 Visual Display Unit (VDU) operators at Alcatel Denmark AS. The operators reported significantly improved lighting condition and glare situation. Further, visual discomfort was also significantly reduced on a Visual Analogue Scale (VAS). There was no significant correlation between lighting condition and visual discomfort neither in the small offices nor in the office landscape. However, visual discomfort correlated significantly with glare in small offices i.e. more glare is related to more visual discomfort. This correlation disappeared after the lighting system in the office landscape had been improved. There was also a significant correlation between glare and itching of the eyes as well as blurred vision in the small offices, i.e. more glare more visual symptoms. Experience of pain was found to reduce the subjective assessment of work capacity during VDU tasks. There was a significant correlation between visual discomfort and reduced work capacity in small offices and in the office landscape. When moving from the small offices to the office landscape, there was a significant reduction in headache as well as back pain. No significant changes in pain intensity in the neck, shoulder, forearm, and wrist/hand were observed.The pain levels in different body areas were significantly correlated with subjective assessment of reduced work capacity in small offices and in the office landscape.By careful design and construction of an office landscape with regard to lighting and visual conditions, transfer from small offices may be acceptable from a visual-ergonomic point of view.     

Using hash tables to manage the time-storage complexity in a point location problem: Application to explicit model predictive control

The online computational burden of linear model predictive control (MPC) can be moved offline by using multi-parametric programming, so-called explicit MPC. The solution to the explicit MPC problem is a piecewise affine (PWA) state feedback function defined over a polyhedral subdivision of the set of feasible states. The online evaluation of such a control law needs to determine the polyhedral region in which the current state lies. This procedure is called point location; its computational complexity is challenging, and determines the minimum possible sampling time of the system. A new flexible algorithm is proposed which enables the designer to trade off between time and storage complexities. Utilizing the concept of hash tables and the associated hash functions, the proposed method solves an aggregated point location problem that overcomes prohibitive complexity growth with the number of polyhedral regions, while the storage–processing trade-off can be optimized via scaling parameters. The flexibility and power of this approach is supported by several numerical examples.     

Correcting for the influence of frozen lakes in satellite microwave radiometer observations through application of a microwave emission model

The spatial resolution of passive microwave observations from space is of the order of tens of kilometers with currently available instruments, such as the Special Sensor Microwave/Imager (SSM/I) and Advanced Microwave Scanning Radiometer (AMSR-E). The large field of view of these instruments dictates that the observed brightness temperature can originate from heterogeneous land cover, with different vegetation and surface properties.In this study, we assess the influence of freshwater lakes on the observed brightness temperature of AMSR-E in winter conditions. The study focuses on the geographic region of Finland, where lakes account for 10% of the total terrestrial area. We present a method to mitigate for the influence of lakes through forward modeling of snow covered lakes, as a part of a microwave emission simulation scheme of space-borne observations. We apply a forward model to predict brightness temperatures of snow covered sceneries over several winter seasons, using available data on snow cover, vegetation and lake ice cover to set the forward model input parameters. Comparison of model estimates with space-borne observations shows that the modeling accuracy improves in the majority of examined cases when lakes are accounted for, with respect to the case where lakes are not included in the simulation. Moreover, we present a method for applying the correction to the retrieval of Snow Water Equivalent (SWE) in lake-rich areas, using a numerical inversion method of the forward model. In a comparison to available independent validation data on SWE, also the retrieval accuracy is seen to improve when applying the influence of snow covered lakes in the emission model.     

On the axiomatizability of priority II

This paper contributes to the study of the equational theory of the priority operator of Baeten, Bergstra and Klop in the setting of the process algebra BCCSP. It is shown that, in the presence of at least two actions, the collection of process equations over BCCSP with the priority operator that are valid modulo bisimilarity, irrespective of the chosen priority order over actions, is not finitely based. This holds true even if one restricts oneself to the collection of valid process equations that do not contain occurrences of process variables.     

Object query optimization through detecting independent subqueries

The problem of query optimization in object-oriented databases is addressed. We follow the Stack-Based Approach to query languages, which employs the naming-scoping-binding paradigm of programming languages rather than traditional database concepts such as relational/object algebras or calculi. The classical environment stack is a semantic basis for definitions of object query operators, such as selection, projection/navigation, dependent join, and quantifiers. We describe a general object data model and define a formalized OQL-like query language SBQL. Optimization by rewriting concerns queries containing so-called independent subqueries. It consists in detecting them and then factoring outside loops implied by query operators. The idea is based on the formal static analysis of scoping rules and binding names occurring in a query. It is more general than the classical pushing selections/projections before joins.     

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.     

Improving the definition of general constraints in UML

An important aspect in the specification of conceptual schemas is the definition of general constraints that cannot be expressed by the predefined constructs provided by conceptual modeling languages. This is generally achieved by using general-purpose languages like OCL. In this paper we propose a new approach that facilitates the definition of such general constraints in UML. More precisely, we define a profile that extends the set of predefined UML constraints by adding certain types of constraints that are commonly used in conceptual schemas. We also show how our proposal facilitates reasoning about the constraints and their automatic code generation, study the application of our ideas to the specification of two real-life applications, and present a prototype tool implementation.

Human pathogenic streptococcal proteomics and vaccine development

Gram-positive streptococci are non-motile, chain-forming bacteria commonly found in the normal oral and bowel flora of warm-blooded animals. Over the past decade, a proteomic approach combining 2-DE and MS has been used to systematically map the cellular, surface-associated and secreted proteins of human pathogenic streptococcal species. The public availability of complete streptococcal genomic sequences and the amalgamation of proteomic, genomic and bioinformatic technologies have recently facilitated the identification of novel streptococcal vaccine candidate antigens and therapeutic agents. The objective of this review is to examine the constituents of the streptococcal cell wall and secreted proteome, the mechanisms of transport of surface and secreted proteins, and describe the current methodologies employed for the identification of novel surface-displayed proteins and potential vaccine antigens.