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

Molecular Weight Characterization and Gelling Properties of Acid-Modified Maize Starches

The reduction in the molecular weight distribution during acid hydrolysis of ordinary and waxy maize starch occured in two stages: first amylopectin degraded to intermediate high molecular weight polysac-charides, secondly, these were further hydrolyzed. The amylose moiety of ordinary and high-amylose starch was not affected very much by the hydrolysis conditions used (0.1–1 M HCI, 40°C, 0.3–4 h), but the gelling properties of starch weakened. The amylopectin degradation products, probably branched dextrins, were shown to hinder the gel formation of amylose in the starch pastes.     

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.     

Postoperative induction of insulin-like growth factor binding protein-3 proteolytic activity: relation to insulin and insulin sensitivity

Increased serum insulin-like growth factor (IGF)-binding protein-3 (IGFBP-3) proteolytic activity (IGFBP-3-PA) has been demonstrated in a number of clinical states of insulin resistance, including severe illness, after surgery, and in noninsulin-dependent diabetes mellitus. In the present study we assessed the role of insulin sensitivity in expression of IGFBP-3-PA in serum. In 18 patients studied, a significant increase in IGFBP-3-PA (P < 0.005) was demonstrated after colo-rectal surgery. Eight patients receiving an oral glucose load before surgery demonstrated a significant greater relative increase in IGFBP-3-PA compared with 10 patients not receiving glucose (32.9 +/- 7.1% vs. 8.6 +/- 6.7%, respectively; P < 0.05). Both groups had reduced insulin sensitivity after surgery (-58 +/- 4%; P < 0.0001; n = 18), as determined by hyperinsulinemic, normoglycemic clamps; however, the group not receiving glucose displayed 18% less insulin sensitivity than the oral glucose load group (P < 0.05). Multiple regression analysis demonstrated that the relative changes in IGFBP-3-PA and C peptide levels were inversely correlated (P < 0.05), suggesting that increased IGFBP-3-PA, presumably increasing IGF bioavailability, may be associated with decreased insulin demands. Interestingly, insulin infusion during the 4-h hyperinsulinemic, normoglycemic clamp performed 24 h after surgery (post-op) resulted in a further increase in IGFBP-3-PA in both groups (P < 0.005), whereas no significant responses could be demonstrated during the pre-op clamp. The expression of increased IGFBP-3-PA was accompanied by conversion of endogenous intact 39/42-kDa IGFBP-3 into its 30-kDa fragmented form as determined by Western immunoblotting, and this conversion was virtually complete after the 4-h post-op clamp in patients displaying marked increases in IGFBP-3-PA. Characterization of the IGFBP-3-PA demonstrated that it was specific for IGFBP-3, as no degradation of IGFBP-1 and -2 was detected, and the use of various protease inhibitors demonstrated that serine proteases and possibly matrix metalloproteinases contribute to the increased IGFBP-3-PA level after surgery. We propose that IGF bioavailability may be increased by the induction of IGFBP-3-PA in insulin-resistant subjects, and that insulin regulates IGFBP-3-PA in this state.     

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.     

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.