Search results for "Service"
showing 10 items of 3964 documents
A Formal Semantics and a Client Synthesis for a BPEL Service
2008
A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct inte…
MIPPIE: the mouse integrated protein–protein interaction reference
2020
Abstract Cells operate and react to environmental signals thanks to a complex network of protein–protein interactions (PPIs), the malfunction of which can severely disrupt cellular homeostasis. As a result, mapping and analyzing protein networks are key to advancing our understanding of biological processes and diseases. An invaluable part of these endeavors has been the house mouse (Mus musculus), the mammalian model organism par excellence, which has provided insights into human biology and disorders. The importance of investigating PPI networks in the context of mouse prompted us to develop the Mouse Integrated Protein–Protein Interaction rEference (MIPPIE). MIPPIE inherits a robust infr…
Stochastic Tension-Stiffening Approach for the Solution of Serviceability Problems in Reinforced Concrete: Constitutive Modeling
2015
A number of studies have indicated that the tension-stiffening law is an important input parameter in a numerical analysis of serviceability (deformations and cracking) problems of reinforced concrete (RC) structures. The stochastic nature of concrete cracking, which results in a large scatter of experimental results, renders the constitutive modeling a very difficult task. Even data obtained from short-term tests are to some degree uncertain due to time-dependent processes occurring in concrete, such as shrinkage and creep relaxation. This article provides statistical analysis tools that can be readily applied to engineering practice. Stochastic principles are applied to modeling of tensio…
An optimization approach for communal home meal delivery service
2009
Abstract: This paper is the first to discuss the communal home meal delivery problem. The problem can be modelled as a multiple travelling salesman problem with time windows, that is closely related to the well-studied vehicle routing problem with time windows. Experimental results are reported for a real-life case study from Central Finland over several alternative scenarios using the SPIDER commercial solver. The comparison with current practice reveals that a significant savings potential can be obtained using off-the-shelf optimization tools. As such, the potential for supporting real-life communal routing problems can be considered to be important for VRP practitioners.
Challenges in developing in-service teacher training: Lessons learnt from two projects for teachers of Swedish in Finland
2017
Teacher education in Finland is widely respected and of high quality. However, there is a recognised need to develop the educational continuum from pre-service education to in-service training. This article deals with challenges connected to in-service teacher training. Based on two projects, consisting of seven one-month courses for teachers of Swedish in Finland, we reflect on the challenges we encountered during the three-year process. In our research, theory and practice, but also data and methods, have been intertwined, as we have studied the phenomenon by using exploratory practice (Allwright, 2003). The projects and the study were based on a thorough literature review. During the pla…
The effect of culture on educational methodologies in international business programs: an application to the iMBA program
2012
As the world becomes global, there are growing needs and opportunities for intercultural exchanges in learning processes. In the context of the Spanish University Strategy for 2015, one of the most important objectives is to increase internationalisation through international postgraduate courses (Spanish Ministry of Education, 2010). Intercultural teaching capabilities are now becoming necessary for better achieving perceived service quality among international students. In the area of business studies, research on pedagogical issues is needed in order to provide recommendations and group management implications. For instance, a challenge for international business programs is dealing with…
Towards new challenges in Finnish pre-service teacher training
2015
Teacher training in Finland is facing a situation in which it is necessary to develop new ways to organize education according to the needs of the students and society. There is an increasing demand for a more flexible teacher study program that would make it possible for students to face the future challenges in more versatile ways. This qualitative study investigates pre-service teachers’ professional development during the 6 ECTS credits learning period in multiple authentic 21st Century learning environments in Primary school teacher training. This article provides an opportunity to discuss and develop primary school teacher training to help pre-service teachers to adapt themselves to f…
Pre-Service Primary Teachers' Beliefs of Teaching Science With Simulations
2016
Although the benefits of the use of simulations in science education have been extensively documented, research on pre-service teacher education related to the use of simulations in science teaching remains limited. The aim of this study was to investigate the beliefs of pre-service primary teachers in two teacher training programs of two different universities (n = 36 and n = 18) related to teaching science with simulations. The teachers participated in an intervention where they planned and gave a science lesson where simulations were used. The effect of the two different types of interventions on the beliefs was also studied. The Interconnected Model of Professional Growth by Clarke and …
New Frontiers in Payment Services: The Payment Initiation Service in the Directive 2015/2366/EU
2022
The chapter will explore issues related to the Payment Initiation Service, currently subject to Directive 2015/2366/EU (Payment Services Directive II, PSD2) and, in Italy, to the Law Decree n. 11 of January 27th, 2010. It plays a relevant part in e-commerce payments establishing a software bridge between the website of the merchant and the online banking platform of the payer's account servicing payment service provider in order to initiate internet payments on the basis of a credit transfer. The transaction involves many actors, including some new entrants into the payment service market, such as third-party providers (TTPs). The chapter will deal with the nature of relations between payme…
Service innovation methodologies I : what can we learn from service innovation and new service development research? : report no 1 from the TIPVIS-pr…
2007
This report presents a review of service innovation and service development literature. The main purpose of the review is to identify normative implications for service innovation methodologies. Three separate reviews are conducted and reported; an open search review based on specific search terms of relevance to service innovation methodologies, a review of articles in four of the most influential journals on service innovation/service development, and a review focusing contributions applying normative approaches and/or principles. Some of the main conclusions from the review support previous findings that the service innovation process is less formal and that it is more difficult to ident…