A Distributed Microservices Framework Integrating Taverna

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Exit times for some processes with normally distributed noise

Denna avhandling handlar om metoder för att hitta begränsningar för det asymptotiska beteendet hos en förväntad uthoppstid från ett område omkring en xpunkt för processer som har normalfördelad störning. I huvudsak behandlas olika typer av autoregressiva processer. Fyra olika metoder används. En metod som använder principen för stora avvikelser samt en metod som jämför uthoppstiden med en återkomsttid ger övre begränsningar för den förväntade uthoppstiden. En martingalmetod och en metod för normalfördelade stokastiska variabler ger undre begränsningar. Metoderna har alla både förtjänster och nackdelar. Genom att kombinera de olika metoderna får man de bästa resultaten. Vi får fram gränsvärdet för det asymptotiska beteendet hos en uthoppstid för den multivariata autoregressiva processen, samt motsvarande gränsvärde för den univariata autoregressiva processen av ordning n.

Quality of radiotherapy care by development of e-feedback knowledge

The aim of this three phase study was to develop quality of radiotherapy care by the e-Feedback knowledge of radiotherapy -intervention (e-Re-Know). In Phase I, the purpose was to describe the quality of radiotherapy care and its deficits experienced by cancer patients. Based on the deficits in patient education in Phase II, the purpose was to describe cancer patients’ e-knowledge expectations in radiotherapy. In Phase III, the purpose was to develop and evaluate the outcomes of the e-Re-Know among breast cancer patients. The ultimate aim was to develop radiotherapy care to support patients’ empowerment with patient e-education. In Phase I (2004-2005), the descriptive design was used, and 134 radiotherapy patients evaluated their experiences by Good Nursing Care Scale for Patients (GNCS-P) in the middle of RT period. In Phase II (2006-2008), the descriptive longitudinal design was used and 100 radiotherapy patients’ e-knowledge expectations of RT were evaluated using open-ended questionnaire developed for this study before commencing first RT, in the middle of the treatment, and concluding RT period. In Phase III, firstly (2009-2010), the e-Re-Know intervention, i.e. knowledge test and feedback, was developed in terms of empowering knowledge and implemented with e-feedback approach based on literature and expert reviews. Secondly (2011-2014), the randomized controlled study was used to evaluate the e-Re-Know. Breast cancer patients randomized to either the intervention group (n=65) receiving the e-Re-Know by e-mail before commencing first RT and standard education or the control group (n=63) receiving standard education. The data were collected before commencing first RT, concluding last RT and 3 months after last RT using RT Knowledge Test, Spielberger’s State Trait Inventory (STAI) and Functional Assessment of Cancer Therapy - Breast (FACT-B) –instruments. Data were analyzed using statistical methods and content analysis. The study showed radiotherapy patients experienced quality of care high. However, there were deficits in patient education. Furthermore, radiotherapy patients’ multidimensional e-knowledge expectations through Internet covered mainly bio-physiological and functional knowledge. Thus, the e-Re-Know was developed and evaluated. The study showed when breast cancer patients’ carried out the e-Re-Know their knowledge of side effects self-care was significantly increased and quality of life (QOL) significantly improved in line with decrease in anxiety from time before radiotherapy period to three months after. In addition, the e-Re-Know has potential to have positive effects on anxiety and QOL, regardless of patient characteristics or knowledge level. The results support the theory of empowering patient education suggesting that empowerment can be supported by confirming patients’ understanding of own knowledge level. In summary, the e-Feedback knowledge of radiotherapy (e-Re-Know) intervention can be recommended in development of quality of radiotherapy care experienced by breast cancer patients. Further research is needed to assess and develop patient-centred quality of care by patient education among cancer patients.

On Distributed Storage Codes

Distributed storage systems are studied. The interest in such system has become relatively wide due to the increasing amount of information needed to be stored in data centers or different kinds of cloud systems. There are many kinds of solutions for storing the information into distributed devices regarding the needs of the system designer. This thesis studies the questions of designing such storage systems and also fundamental limits of such systems. Namely, the subjects of interest of this thesis include heterogeneous distributed storage systems, distributed storage systems with the exact repair property, and locally repairable codes. For distributed storage systems with either functional or exact repair, capacity results are proved. In the case of locally repairable codes, the minimum distance is studied. Constructions for exact-repairing codes between minimum bandwidth regeneration (MBR) and minimum storage regeneration (MSR) points are given. These codes exceed the time-sharing line of the extremal points in many cases. Other properties of exact-regenerating codes are also studied. For the heterogeneous setup, the main result is that the capacity of such systems is always smaller than or equal to the capacity of a homogeneous system with symmetric repair with average node size and average repair bandwidth. A randomized construction for a locally repairable code with good minimum distance is given. It is shown that a random linear code of certain natural type has a good minimum distance with high probability. Other properties of locally repairable codes are also studied.

Neural regulation of the stress response: glucocorticoid feedback mechanisms

The mammalian stress response is an integrated physiological and psychological reaction to real or perceived adversity. Glucocorticoids are an important component of this response, acting to redistribute energy resources to both optimize survival in the face of challenge and to restore homeostasis after the immediate challenge has subsided. Release of glucocorticoids is mediated by the hypothalamo-pituitary-adrenal (HPA) axis, driven by a neural signal originating in the paraventricular nucleus (PVN). Stress levels of glucocorticoids bind to glucocorticoid receptors in multiple body compartments, including the brain, and consequently have wide-reaching actions. For this reason, glucocorticoids serve a vital function in negative feedback inhibition of their own secretion. Negative feedback inhibition is mediated by a diverse collection of mechanisms, including fast, non-genomic feedback at the level of the PVN, stress-shut-off at the level of the limbic system, and attenuation of ascending excitatory input through destabilization of mRNAs encoding neuropeptide drivers of the HPA axis. In addition, there is evidence that glucocorticoids participate in stress activation via feed-forward mechanisms at the level of the amygdala. Feedback deficits are associated with numerous disease states, underscoring the necessity for adequate control of glucocorticoid homeostasis. Thus, rather than having a single, defined feedback ‘switch’, control of the stress response requires a wide-reaching feedback ‘network’ that coordinates HPA activity to suit the overall needs of multiple body systems.

Load balancing in P2P smartphone based distributed IoT systems

With the new age of Internet of Things (IoT), object of everyday such as mobile smart devices start to be equipped with cheap sensors and low energy wireless communication capability. Nowadays mobile smart devices (phones, tablets) have become an ubiquitous device with everyone having access to at least one device. There is an opportunity to build innovative applications and services by exploiting these devices’ untapped rechargeable energy, sensing and processing capabilities. In this thesis, we propose, develop, implement and evaluate LoadIoT a peer-to-peer load balancing scheme that can distribute tasks among plethora of mobile smart devices in the IoT world. We develop and demonstrate an android-based proof of concept load-balancing application. We also present a model of the system which is used to validate the efficiency of the load balancing approach under varying application scenarios. Load balancing concepts can be apply to IoT scenario linked to smart devices. It is able to reduce the traffic send to the Cloud and the energy consumption of the devices. The data acquired from the experimental outcomes enable us to determine the feasibility and cost-effectiveness of a load balanced P2P smart phone-based applications.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

The role of collective intelligence in crowdsourcing innovation

Social insects are known for their ability to display swarm intelligence, where the cognitive capabilities of the collective surpass those of the individuals forming it by orders of magnitude. The rise of crowdsourcing in recent years has sparked speculation as to whether something similar might be taking place on crowdsourcing sites, where hundreds or thousands of people interact with each other. The phenomenon has been dubbed collective intelligence. This thesis focuses on exploring the role of collective intelligence in crowdsourcing innovations. The task is approached through three research questions: 1) what is collective intelligence; 2) how is collective intelligence manifested in websites involved in crowdsourcing innovation; and 3) how important is collective intelligence for the functioning of the crowdsourcing sites. After developing a theoretical framework for collective intelligence, a multiple case study is conducted using an ethnographic data collection approach for the most part. A variety of qualitative, quantitative and simulation modelling methods are used to analyse the complex phenomenon from several theoretical viewpoints or ‘lenses’. Two possible manifestations of collective intelligence are identified: discussion, typical of web forums; and the wisdom of crowds in evaluating crowd submissions to websites. However, neither of these appears to be specific to crowdsourcing or critical for the functioning of the sites. Collective intelligence appears to play only a minor role in the cases investigated here. In addition, this thesis shows that feedback loops, which are found in all the cases investigated, reduce the accuracy of the crowd’s evaluations when a count of votes is used for aggregation.

A software engineering approach to distributed systems for composite modeling

The goal of this thesis is to define and validate a software engineering approach for the development of a distributed system for the modeling of composite materials, based on the analysis of various existing software development methods. We reviewed the main features of: (1) software engineering methodologies; (2) distributed system characteristics and their effect on software development; (3) composite materials modeling activities and the requirements for the software development. Using the design science as a research methodology, the distributed system for creating models of composite materials is created and evaluated. Empirical experiments which we conducted showed good convergence of modeled and real processes. During the study, we paid attention to the matter of complexity and importance of distributed system and a deep understanding of modern software engineering methods and tools.

Distributed energy resources in an electricity retailer’s short-term profit optimization

Liberalization of electricity markets has resulted in a competed Nordic electricity market, in which electricity retailers play a key role as electricity suppliers, market intermediaries, and service providers. Although these roles may remain unchanged in the near future, the retailers’ operation may change fundamentally as a result of the emerging smart grid environment. Especially the increasing amount of distributed energy resources (DER), and improving opportunities for their control, are reshaping the operating environment of the retailers. This requires that the retailers’ operation models are developed to match the operating environment, in which the active use of DER plays a major role. Electricity retailers have a clientele, and they operate actively in the electricity markets, which makes them a natural market party to offer new services for end-users aiming at an efficient and market-based use of DER. From the retailer’s point of view, the active use of DER can provide means to adapt the operation to meet the challenges posed by the smart grid environment, and to pursue the ultimate objective of the retailer, which is to maximize the profit of operation. This doctoral dissertation introduces a methodology for the comprehensive use of DER in an electricity retailer’s short-term profit optimization that covers operation in a variety of marketplaces including day-ahead, intra-day, and reserve markets. The analysis results provide data of the key profit-making opportunities and the risks associated with different types of DER use. Therefore, the methodology may serve as an efficient tool for an experienced operator in the planning of the optimal market-based DER use. The key contributions of this doctoral dissertation lie in the analysis and development of the model that allows the retailer to benefit from profit-making opportunities brought by the use of DER in different marketplaces, but also to manage the major risks involved in the active use of DER. In addition, the dissertation introduces an analysis of the economic potential of DER control actions in different marketplaces including the day-ahead Elspot market, balancing power market, and the hourly market of Frequency Containment Reserve for Disturbances (FCR-D).

Imagery or video feedback : which is the "route" to strategic improvement?

The implementation of imagery and video feedback programs has become an important tool for aiding athletes in achieving peak performance (Halliwell, 1990). The purpose of the study was to determine the effect of strategic imagery training and video feedback on immediate performance. Participants were two university goaltenders. An alternating treatment design (ATD; Barlow & Hayes, 1979; Tawney & Gast, 1984) was employed. The strategies were investigated using three plays originating from the right side by a right-handed shooting defenceman from the blueline. The baseline condition consisted of six practices and was used to establish a stable and "ideal" measure of performance. The intervention conditions included alternating the use of strategic imagery (Cognitive general; Paivio, 1985) and video feedback. Both participants demonstrated an increase in the frequency of Cognitive general use. Specific and global performance measures were assessed to determine the relative effectiveness of the interventions. Poor inter-rater reliability resulted in the elimination of specific performance measures. Consequently, only the global measure (i.e., save percentage) was used in subsequent analyses. Visual inspection of participant save percentage was conducted to determine the benefits of the intervention. Strategic imagery training resulted in performance improvements for both participants. Video feedback facilitated performance for Participant 2, but not Participant 1. Results are discussed with respect to imagery and video interventions and the challenges associated with applied research. KEYWORDS: imagery, video, goaltenders, alternating treatment design.

Marketing Brock University in the 1980's: assessing freshman student feedback in strategic planning approach

Universities have entered a period of rapid change and upheaval due to an external environment beyond their control which includes shifting demographic patterns, accelerating technology, funding shortages, and keener competition for students. Strategic planning, a comprehensive vision which challenges universities to take bold and creative measures to meet the threats and opportunities of the future, is an institutional imperative in the 1980's. This paper examines freshman student feedback in an effort to incorporate this important element into a strategic plan for Brock University, a small, predominantly liberal arts university in St. Catharines, Ontario. The study was designed to provide information on the characteristics of the 1985-86 pool of freshman registrants: their attitudes towards Brock's recruitment measures, their general university priorities, and their influences in regard to university selection (along with other demographical and attitudinal data). A survey involving fixed-alternative questions of a subjective and objective nature was administered in two large freshman classes at Brock in which a broad cross-section of academic programs was anticipated. Computer analysis of the data for the 357 respondents included total raw frequencies and rounded percentages, as well as subgroup cross-tabulation by geographic home area of respondent, academic major, and high school graduating average. The four directional hypotheses put forward were all substantiatied by the survey data, indicating that 1) the university's current recruitment program had been a positive influence during their university search 2) parents were the most influential group in the students' decisions related to university 3) respondents viewed institutional reputation as less of a priority than an enjoyable university lifestyle in a personal learning atmosphere 4) students had a decided preference for co-operative study and internship programs. Strategic planning recommendations included a reduction in the faculty/student ratio through faculty hirings to restore the close rapport between professors and students, increased recruitment presentations in Ontario high schools to enlarge the applicant pool, creation of an Office of Co-operative Study and Internship Programs, institutional emphasis on a "customer orientation", and an extension of research into student demographics and attitudinal data.

An investigation on peer feedback for EFL students ages 10 to 14 /

The purpose of this study was to leam more about how EFL (English as Foreign Language) students interacted during peer feedback conferences. Thirty EFL students from Mexico aged 10 to 14 years old participated in this study. The following four main questions were addressed: 1 . What criteria did the students use to evaluate their peers' writing? 2. What revisions were made in relation to peer feedback comments? 3. What was the students' behaviour like during peer feedback conferences? 4. What were the students' perceived attitudes concerning peer feedback conferences? Each of the 30 students wrote a first and a second draft and then took part in a peer feedback conference. All students were interviewed and asked to rate a story and provide a peer feedback comment for the author during interview. The study found that the EFL students were able to provide comments to their peers' writing, but only after their third conference were they actually able to provide higher level comments. The majority of students said that they liked peer feedback sessions. The results also indicated that the students needed more practice with their revisions because they did not make a lot of revisions to make their writing clearer with fewer mistakes. This study concludes that there still needs to be further research. First of all, it would be useful to conduct a similar study with EFL students but one that is conducted over a longer period of time in order to determine if the students continued to develop their peer feedback comments and revision strategies.

Can a Manipulated Mind Alter Matter? : The Effects of Verbal Feedback on Self-Efficacy, Exercise Intention, and Exercise Behaviour among Low-Active College-Aged Women

Self-efficacy (SE), a person’s confidence in the ability to perform a task, is an important predictor of the adoption and maintenance of physical activity. The present study examined the effects of SE manipulated through verbal persuasion on exercise intentions and behaviour during a 4-week follow-up period and investigated the role of social physique anxiety (SPA) as a moderator. Female college infrequent exercisers (n = 66) were randomly assigned into one of three groups (high-efficacy [HE], low-efficacy [LE], or control) and asked to complete several questionnaires at baseline. The HE and LE groups were provided with positive and negative exercise adherence feedback, respectively. The HE group reported higher SE from pre- to post-feedback. Both the HE and LE groups reported increases in exercise behaviour at the 4-week follow-up. Pre- to post-feedback changes in SE, exercise intention, and exercise behaviour did not depend on level of SPA reported.

Enhancing Student Learning: Study of a Motivational Resource for Educators

This study surveyed practicing classroom teacher’s perceptions of a proposed educational resource “Avatar Academy” designed to enhance students’, particularly young boys, motivation and general attitude towards learning. The Avatar Academy resource is an instructional guide for implementing a classroom reward system based on common game mechanics. The resource emphasizes the modification of current pedagogies to exploit the use of game design to engage boys. A survey of recent literature indicated an opportunity to study teachers’ perceptions of the possible applications of game design mechanics to support the enhancement of student motivation and learning in the classroom. As a result the Avatar Academy handbook and blog resource were developed to assist teachers with the integration and administration of a program designed to enhance student motivation, especially boys, using avatars and a point based reward system. The resources were initially distributed to several practicing teachers for their review, and their feedback formed the basis for revisions of the Avatar Academy resource. After implementing changes to the resource based on initial teacher feedback, an updated Avatar Academy was redistributed and teacher opinions and perceptions of the tool’s possible impacts on classroom learning were collected.