The induced generalized OWA operator

We present the induced generalized ordered weighted averaging (IGOWA) operator. It is a new aggregation operator that generalizes the OWA operator, including the main characteristics of both the generalized OWA and the induced OWA operator. This operator uses generalized means and order-inducing variables in the reordering process. It provides a very general formulation that includes as special cases a wide range of aggregation operators, including all the particular cases of the IOWA and the GOWA operator, the induced ordered weighted geometric (IOWG) operator and the induced ordered weighted quadratic averaging (IOWQA) operator. We further generalize the IGOWA operator via quasi-arithmetic means. The result is the Quasi-IOWA operator. Finally, we present a numerical example to illustrate the new approach in a financial decision-making problem.     

A two-stage hierarchical regression model for meta-analysis of epidemiologic nonlinear dose–response data

To estimate a summarized dose–response relation across different exposure levels from epidemiologic data, meta-analysis often needs to take into account heterogeneity across studies beyond the variation associated with fixed effects. We extended a generalized-least-squares method and a multivariate maximum likelihood method to estimate the summarized nonlinear dose–response relation taking into account random effects. These methods are readily suited to fitting and testing models with covariates and curvilinear dose–response relations.     

Instructional animations can be superior to statics when learning human motor skills

Based on the assumption of a working memory processor devoted to human movement, cognitive load theory is used to explore some conditions under which animated instructions are hypothesised to be more effective for learning than equivalent static graphics. Using paper-folding tasks dealing with human movement, results from three experiments confirmed our hypothesis, indicating a superiority of animation over static graphics. These results are discussed in terms of a working memory processor that may be facilitated by our mirror-neuron system and may explain why animated instructional animations are superior to static graphics for cognitively based tasks that involve human movement.     

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.     

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.