Data Refinement of Remote Procedures

Recently the action systems formalism for parallel and distributed systems has been extended with the procedure mechanism. This gives us a very general framework for describing different communication paradigms for action systems, e.g. remote procedure calls. Action systems come with a design methodology based on the refinement calculus. Data refinement is a powerful technique for refining action systems. In this paper we will develop a theory and proof rules for the refinement of action systems that communicate via remote procedures based on the data refinement approach. The proof rules we develop are compositional so that modular refinement of action systems is supported. As an example we will especially study the atomicity refinement of actions. This is an important refinement strategy, as it potentially increases the degree of parallelism in an action system. Received February 1999 / Accepted in revised form July 2000     

The Strategic Incrementalism of Lahti Master Planning: Three Lessons

ABSTRACT

The city of Lahti, Finland, has developed a unique policy of combining city strategy work with strategic master planning in an iterative process. It thereby offers insights to research on strategic spatial planning, exemplifying how institutional frameworks of statutory planning can be utilized as resources in strategic planning. Three lessons from the Lahti case are drawn: (1) utilize the moments of opportunity in the institutional environment of statutory planning, (2) shift the focus from the level of ‘strategic plans’ to the policy level of strategy work, (3) develop strategic planning as a platform for diverse ‘languages’.     

Issues related to the computer realization of a multidisciplinary and multiobjective optimization system

Issues and novel ideas to be considered when developing computer realizations of complex multidisciplinary and multiobjective optimization systems are introduced. The aim is to discuss computer realizations that make possible both computationally efficient multidisciplinary analysis and multiobjective optimization of real world problems. We introduce software tools that make typically very time-consuming simulation processes more effective and, thus, enable even interactive multiobjective optimization with a real decision maker. In this paper, we first define a multidisciplinary and multiobjective optimization system and after that present an implementation overview of such problems including basic components participating in the solution process. Furthermore, interfaces and data flows between the components are described. A couple of important features related to the implementation are discussed in detail, for example, the usage of automatic differentiation. Finally, the ideas presented are illustrated with an industrial multiobjective optimization problem, when we describe numerical experiments related to quality properties in paper making.     

Neural networks and genetic algorithms for bankruptcy predictions

We are focusing on three alternative techniques-linear discriminant analysis, logit analysis and genetic algorithms-that can be used to empirically select predictors for neural networks in failure prediction. The selected techniques all have different assumptions about the relationships between the independent variables. Linear discriminant analysis is based on linear combination of independent variables, logit analysis uses the logistical cumulative function and genetic algorithms is a global search procedure based on the mechanics of natural selection and natural genetics. In an empirical test all three selection methods chose different bankruptcy prediction variables. The best prediction results were achieved when using genetic algorithms.     

Expected user experience of mobile augmented reality services: a user study in the context of shopping centres

The technical enablers for mobile augmented reality (MAR) are becoming robust enough to allow the development of MAR services that are truly valuable for consumers. Such services would provide a novel interface to the ubiquitous digital information in the physical world, hence serving in great variety of contexts and everyday human activities. To ensure the acceptance and success of future MAR services, their development should be based on knowledge about potential end users’ expectations and requirements. We conducted 16 semi-structured interview sessions with 28 participants in shopping centres, which can be considered as a fruitful context for MAR services. We aimed to elicit new knowledge about (1) the characteristics of the expected user experience and (2) central user requirements related to MAR in such a context. From a pragmatic viewpoint, the participants expected MAR services to catalyse their sense of efficiency, empower them with novel context-sensitive and proactive functionalities and raise their awareness of the information related to their surroundings with an intuitive interface. Emotionally, MAR services were expected to offer stimulating and pleasant experiences, such as playfulness, inspiration, liveliness, collectivity and surprise. The user experience categories and user requirements that were identified can serve as targets for the design of user experience of future MAR services.     

Identity and overall acceptance of two types of sour rye bread

Response surface methodology was employed to study the influence of four recipe variables (wheat: rye flour ratio, bread acidity, ash content of rye flour and sodium chloride content) on the identity and overall acceptance of two rye bread types (soft and crisp rye bread). The subjects ( n = 79) rated attribute intensities, the extent to which the salient sensory properties and the overall sample corresponded to their expectations of rye bread, and the overall acceptance (pleasantness and purchase intentions). The acidity and ash content contributed the most to the extent to which a sample met subjects' expectations. The NaCl content was not critical. Consumer acceptance was affected by ash content, and by the interactions, NaCl content × acidity and wheat:rye ratio × ash content. The non-significance of NaCl content should encourage the baking industry to put low-salt rye products on the market.     

Role of 17 beta-hydroxysteroid dehydrogenase type 1 in endocrine and intracrine estradiol biosynthesis

Enzymes with 17 beta-hydroxysteroid dehydrogenase (17 beta-HSD) activity catalyse reactions between the low-active female sex steroid, estrone, and the more potent estradiol, for example. 17 beta-HSD activity is essential for glandular (endocrine) sex hormone biosynthesis, but it is also present in several extra-gonadal tissues. Hence, 17 beta-HSD enzymes also take part in local (intracrine) estradiol production in the target tissues of estrogen action. Four distinct 17 beta-HSD isozymes have been characterized so far, and the data strongly suggests that different 17 beta-HSD isozymes have distinct roles in endocrine and intracrine metabolism of sex steroids. Current data suggest that 17 beta-HSD type 1 is the principal isoenzyme involved in glandular estradiol production both in humans and rodents. During ovarian follicular development and luteinization, rat 17 beta-HSD type 1 is regulated by gonadotropins, and the effects of gonadotropins are modulated by steroid hormones and paracrine growth factors. Human 17 beta-HSD type 1 favors the reduction reaction, thereby converting estrone to estradiol both in vitro and in cultured cells. Hence, the enzymatic properties of the enzyme are also in line with its suggested role in estradiol biosynthesis. Interestingly, 17 beta-HSD type 1 is also expressed in certain target tissues of estrogen action such as normal and malignant human breast and endometrium. Hence, 17 beta-HSD type 1 could be one of the factors leading to a relatively high tissue/plasma ratio of estradiol in breast cancer tissues of postmenopausal women. We conclude that 17 beta-HSD type 1 has a central role in regulating the circulating estradiol concentration as well as its local production in estrogen target cells.     

Survey of methods to visualize alternatives in multiple criteria decision making problems

When solving decision problems where multiple conflicting criteria are to be considered simultaneously, decision makers must compare several different alternatives and select the most preferred one. The task of comparing multidimensional vectors is very demanding for the decision maker without any support. Different graphical visualization tools can be used to support and help the decision maker in understanding similarities and differences between the alternatives and graphical illustration is a very important part of decision support systems that are used in solving multiple criteria decision making problems. The visualization task is by no means trivial because, on the one hand, the graphics must be easy to comprehend and not too much information should be lost but, on the other hand, no extra unintentional information should be included. In this paper, we survey and analyze different ways of visualizing a small set of discrete alternatives graphically in the context of multiple criteria decision making. Some of the ways discussed are widely used and some others deserve to be brought into a wider awareness. This survey provides a starting point for all those who deal with multiple criteria decision making problems and need information of what kind of visualization techniques could be put to use in order to support the decision maker better.     

Flexographic Printing of Trametes versicolor Laccase for Indicator Applications

Trametes versicolor laccase papers were prepared, and their suitability was tested for anticounterfeiting and oxygen indicator concepts in packaging applications. Laccase was coated and printed onto paper with a flexographic ink base, a sulfo polyester resin, Hydro‐Rez 1100D (HZ1100D). Laccase remains active on paper with flexographic ink HZ1100D after printing with flexographic press. Colour change of papers was observed when 2,2‐azino‐bis(3‐ethylbenzothiazoline‐6‐sulfonic acid) diammonium salt (ABTS) solution was applied to the paper. A strong colour change to dark green was obtained on the papers prepared by coating or printing of laccase with HZ1100D onto EUCA paper. EUCA paper appeared to be well suited for laccase‐based indicator applications because it remained rough even after ink deposition, allowing rapid absorption of ABTS solution. Finally, the indicators demonstrated to work as oxygen indicators in a package. Indicator colour was changed when oxygen was leaked to the package. As a conclusion, the laccase papers described here would be well suited for various indicator applications and could be produced using flexographic printing, allowing large scale manufacturing. Copyright © 2014 John Wiley & Sons, Ltd.