Pluralité et fluidité antinormatives : étude sur les transgressions sexuelles dans l’oeuvre romanesque de Marguerite Yourcenar

Avhandlingen är en studie i kön, genus och sexualitet i den franska författarinnan Marguerite Yourcenars romaner. Undersökningen utgår från ett queer-teoretiskt perspektiv och har som syfte att belysa de olika sätt på vilka Yourcenars texter uttrycker ett ifrågasättande av och ett överskridande av normer beträffande kön, manlighet och kvinnlighet, samt sexuella kategorier. Det tudelade könssystemet (man/kvinna) och motsättningen mellan heterosexualitet och homosexualitet ses som förenklade sociala konstruktioner som inte motsvarar den mångfasetterade verklighet som avbildas i texterna. Mångfald, flyktighet och gränsöverskridande är nyckelord i undersökningen. I avhandlingen granskas snart när alla Yourcenars romaner samt en novell i form av separata läsningar, för att ge en så heltäckande bild som möjligt av hur problematiken behandlas i hennes produktion. Således belyses särarten hos varje verk och det är även möjligt att uppmärksamma den utveckling som skett under karriärens gång. Kön och sexualitet diskuteras separat i enlighet med Gayle Rubins och Eve Sedgwicks tes att sexualitetsforskning och genusstudier inte bör sammanblandas: sexualitet är ett så komplext fenomen att kön och genus är otillräckliga analysverktyg för en seriös och djuplodande diskussion. Genom att lyfta fram olika exempel på figurer i Yourcenars romaner som implicit eller explicit tar avstånd ifrån en klar indelning i män och kvinnor, respektive manlighet och kvinnlighet, påvisas att tanken att det existerar två olika biologiska kön systematiskt tillbakavisas. Diskussionen om sexualitetstemat koncentrerar sig på förhållandet mellan homo-och heterosexualitet, men betonar även hur temat anknyter till andra centrala teman, såsom religion och ras. Bilden av homosexualitet ändrar från en text till en annan, vilket illusterar att en skarp motsättning mellan homo- och heterosexualitet är ohållbar.

Tiedonvaihdolla kilpailuetua: Tiedonvaihdon toteuttaminen ostopalvelurajapinnassa

Tutkimus rakentaa konstruktiivisella tutkimusotteella monenkeskisen tie-donvaihdon mallin, missä sovelletaan Toyotan tuotantojärjestelmässään käyttämiä toimittajaohjauksen ja tiedonvaihdon prosesseja, sekä tiedosta ja tiedonvaihdosta käytyä tieteellistä keskustelua ja tutkimuksia. Tutkimuksen teoreettinen osuus selvittää tiedon luonteen vaikutusta tiedon jakamisen ja tiedonvaihdon toteutukseen ja toteaa, että tiedonvaihdon menetelmiin tulee sisältyä muodollisia kanavia eksplisiittisen tiedon ja vastaavasti epämuodollisia kanavia hiljaisen tiedon jakamiseen joko käsitteellistettynä tai hiljaisessa muodossaan. Tutkimuksen empiirinen osa koostuu viiden palveluntuottajaverkostossa toimivan tulos- tai kehitysvastuullisen henkilön haastatteluista. Teemahaastattelut selvittävät konstruktiivisen tutkimusotteen vaatimusten mukaisesti olisiko haastateltava valmis ottamaan konstruktion esittämän mallin käyttöön omalla vastuualueellaan. Tutkimuksen tuloksena Case-yrityksen palveluntuottajaverkostossa voi-daan saada hyötyä toteuttamalla operatiiviseen ongelmanratkaisuun mo-nenkeskisen tiedonvaihdon käytäntöjä. Nykyinen verkoston ohjausmalli ja kilpailutilanne eivät toistaiseksi anna tilaa muille monenkeskisen tiedonvaihdon toimintamalleille.

Methods and Models for Accelerating Dynamic Simulation of Fluid Power Circuits

The objective of this dissertation is to improve the dynamic simulation of fluid power circuits. A fluid power circuit is a typical way to implement power transmission in mobile working machines, e.g. cranes, excavators etc. Dynamic simulation is an essential tool in developing controllability and energy-efficient solutions for mobile machines. Efficient dynamic simulation is the basic requirement for the real-time simulation. In the real-time simulation of fluid power circuits there exist numerical problems due to the software and methods used for modelling and integration. A simulation model of a fluid power circuit is typically created using differential and algebraic equations. Efficient numerical methods are required since differential equations must be solved in real time. Unfortunately, simulation software packages offer only a limited selection of numerical solvers. Numerical problems cause noise to the results, which in many cases leads the simulation run to fail. Mathematically the fluid power circuit models are stiff systems of ordinary differential equations. Numerical solution of the stiff systems can be improved by two alternative approaches. The first is to develop numerical solvers suitable for solving stiff systems. The second is to decrease the model stiffness itself by introducing models and algorithms that either decrease the highest eigenvalues or neglect them by introducing steady-state solutions of the stiff parts of the models. The thesis proposes novel methods using the latter approach. The study aims to develop practical methods usable in dynamic simulation of fluid power circuits using explicit fixed-step integration algorithms. In this thesis, twomechanisms whichmake the systemstiff are studied. These are the pressure drop approaching zero in the turbulent orifice model and the volume approaching zero in the equation of pressure build-up. These are the critical areas to which alternative methods for modelling and numerical simulation are proposed. Generally, in hydraulic power transmission systems the orifice flow is clearly in the turbulent area. The flow becomes laminar as the pressure drop over the orifice approaches zero only in rare situations. These are e.g. when a valve is closed, or an actuator is driven against an end stopper, or external force makes actuator to switch its direction during operation. This means that in terms of accuracy, the description of laminar flow is not necessary. But, unfortunately, when a purely turbulent description of the orifice is used, numerical problems occur when the pressure drop comes close to zero since the first derivative of flow with respect to the pressure drop approaches infinity when the pressure drop approaches zero. Furthermore, the second derivative becomes discontinuous, which causes numerical noise and an infinitely small integration step when a variable step integrator is used. A numerically efficient model for the orifice flow is proposed using a cubic spline function to describe the flow in the laminar and transition areas. Parameters for the cubic spline function are selected such that its first derivative is equal to the first derivative of the pure turbulent orifice flow model in the boundary condition. In the dynamic simulation of fluid power circuits, a tradeoff exists between accuracy and calculation speed. This investigation is made for the two-regime flow orifice model. Especially inside of many types of valves, as well as between them, there exist very small volumes. The integration of pressures in small fluid volumes causes numerical problems in fluid power circuit simulation. Particularly in realtime simulation, these numerical problems are a great weakness. The system stiffness approaches infinity as the fluid volume approaches zero. If fixed step explicit algorithms for solving ordinary differential equations (ODE) are used, the system stability would easily be lost when integrating pressures in small volumes. To solve the problem caused by small fluid volumes, a pseudo-dynamic solver is proposed. Instead of integration of the pressure in a small volume, the pressure is solved as a steady-state pressure created in a separate cascade loop by numerical integration. The hydraulic capacitance V/Be of the parts of the circuit whose pressures are solved by the pseudo-dynamic method should be orders of magnitude smaller than that of those partswhose pressures are integrated. The key advantage of this novel method is that the numerical problems caused by the small volumes are completely avoided. Also, the method is freely applicable regardless of the integration routine applied. The superiority of both above-mentioned methods is that they are suited for use together with the semi-empirical modelling method which necessarily does not require any geometrical data of the valves and actuators to be modelled. In this modelling method, most of the needed component information can be taken from the manufacturer’s nominal graphs. This thesis introduces the methods and shows several numerical examples to demonstrate how the proposed methods improve the dynamic simulation of various hydraulic circuits.

The Influence of Diet and Microbes on Colonic Immune Regulation and their Implications on Type 1 Diabetes

Dietary and microbial factors are thought to contribute to the rapidly increasing prevalence of T1D in many countries worldwide. The impact of these factors on immune regulation and diabetes development in non-obese diabetic (NOD) mice are investigated in this thesis. Diabetes can be prevented in NOD mice through dietary manipulation. Diet affects the composition of intestinal microbiota, which may subsequently influence intestinal immune homeostasis. However, the specific effects of anti-diabetogenic diets on gut immunity and the explicit associations between intestinal immune disruption and type 1 diabetes onset remain unclear. The research presented herein demonstrates that newly weaned NOD mice suffer from a mild level of colitis, which shifts the colonic immune cell balance towards a proinflammatory status. Several aberrations can also be observed in the peritoneal B cells of NOD mice; an increase in activation marker expression, increased trafficking to the pancreatic lymph nodes and significantly higher antigen presenting cell (APC) efficiency towards insulin-specific T cells. A shift towards inflammation is likewise observed in the colon of germ-free NOD mice, but signs of peritoneal B cell activation are lacking in these mice. Remarkably, most of the abnormalities in the colon, peritoneal macrophages and the peritoneal B cell APC activity of NOD mice are abrogated when NOD mice are maintained on a diabetes-preventive, soy-based diet (ProSobee) from the time of weaning. Dietary and microbial factors hence have a significant impact on colonic immune regulation and peritoneal B cell activation and it is suggested that these factors influence diabetes development in NOD mice.

Challenges in transferring the hydropower control centre

Euroopan sähkömarkkinat ovat viime vuosikymmeninä olleet suurien muutoksien kohteena näiden yhtenäistämisprojektin seurauksena. Fortum, yksi Euroopan johtavista energia-alan yrityksistä valmistautuu tähän muutokseen toteuttamalla omia yrityksen sisäisiä muutoksia, tavoitteenaan yksinkertaistaa organisaatiorakennettaan ja parantaa tehokkuuttaan. Yksi suuri muutos tähän liittyen on vesivoimavalvomojen lokalisaatioprojekti. Vesivoimavalvomojen uudelleenlokalisaation ja vesivoiman käytönvalvojien ikääntymisen myötä nähtiin tarpeelliseksi tehdä tutkimus käytönvalvojien hiljaisesta tiedosta. Näin ollen, tässä diplomityössä perehdyttiin Fortumin vesivoiman käytönvalvojien kompetensseihin ja näiden hiljaiseen tietoon. Tutkimusaiheena oli selvittää minkälaista hiljaista tietoa käytönvalvojat omaavat, ja mikä osa tästä tiedosta muodostaa sen kriittisen osaamisen, jota halutaan säilyttää ja kehittää. Tutkimustyypiksi muodostui kvalitatiivinen, jonka päämetodi oli puoli-avoin haastattelu. Tutkimus koostui seuraavista vaiheista: tarkkailu, tekstianalyysi, haastattelu, transkriptio ja data analyysi. Haastatteluja tehtiin kahdeksan, joista kerääntyi yli 24 tuntia haastattelumateriaalia. Tästä materiaalista muodostettiin analyysien avulla taulukko, jonka avulla tunnistettiin ne osa-alueet, joihin käytönvalvojan tärkeimmät kompetenssit liittyvät. Tuloksilla saatiin myös kerättyä lista korjaus- ja kehityskohteista, sekä tarkemmat määritykset jatkotutkimukselle.

D’abord, ensuite, enfin et 0, De plus: Organisation textuelle par des séries linéaires dans les articles de recherche

The study examines the signalling of text organisation in research articles (RA) in French. The work concentrates on a particular type of organisation provided by text sequences, i.e. structures organising text to items of which at least some are signalled by markers of addition or order: First… 0… The third point… In addition… / Premièrement… 0… Le troisième point… De plus… By indicating the way the text is organised, these structures guide the reader in the reading process so that he doesn’t need to interpret the text structure himself. The aim of the work is to study factors affecting the marking of text sequences. Why is their structure sometimes signalled explicitly by markers such as secondly, whereas in other places such markers are not used? The corpus is manually XML-annotated and consists of 90 RAs (~800 000 words) in French from the fields of linguistics, education and history. The analysis highlights several factors affecting the marking of text sequences. First, exact markers (such as fist ) seem to be more frequent in sequences where all the items are explicitly signalled by a marker, whereas additive markers (such as moreover) are used in sequences with both explicitly signalled and unmarked items. The marking of explicitly signalled sequences seems thus to be precise and even repetitive, whereas the signalling of sequences with unmarked items is altogether more vague. Second, the marking of text sequences seems to depend on the length of the text. The longer the text segment, the more vague the marking. Additive markers and unmarked items are more frequent in longer sequences possibly covering several pages, whereas shorter sequences are often signalled explicitly by exact markers. Also the marker types vary according to the sequence length. Anaphoric expressions, such as first, are fairly close to their referents and are used in short sequences, connectors, such as secondly, are frequently used in sequences of intermediate length, whereas the longest sequences are often signalled by constructions composed of an ordinal and a noun acting as a subject of the sentence: The first item is… Finally, the marking of text organisation depends also on the discipline the RA belongs to. In linguistics, the marking is fairly frequent and precise; exact markers such as second are the most used, and structures with unmarked items are less common. Similarly, the marking is fairly frequent in education. In this field, however, it is also less precise than in linguistics, with frequent unmarked items and additive markers. History, on the other hand, is characterised by less frequent marking. In addition, when used, the marking in this field is also less precise and less explicit.

Saksan opiskelijasta saksan opettajaksi. Aineenopettajaopiskelijan ammatillinen kasvu ohjatussa harjoitttelussa

Tutkimuksessani tarkastelin, miten ammatillinen kasvu ilmenee saksan opetusharjoittelijoiden näkemyksissä ja toiminnassa opettajan pedagogisiin opintoihin kuuluvan ohjatun harjoittelun aikana. Keräsin tutkimusaineiston lukuvuosina 2007–2010 kaikilta saksan opetusharjoittelijoilta, jotka suorittivat ohjatussa harjoittelussa vähintään 15 op Turun normaalikoulussa. Tutkimusaineistona käytin henkilökohtaisia harjoittelusuunnitelmia (HOPS) ja reflektiovihkoja, jotka ovat ohjatun harjoittelun normaaleja työvälineitä. Täydensin aineistoa ohjatun harjoittelun alussa toteutetulla kyselyllä ja harjoittelun päätteeksi tehdyllä puolistrukturoidulla teemahaastattelulla. Toimin tutkimuksen aikana Turun normaalikoulussa saksan opettajana ja aineryhmän harjoittelusta vastaavana opettajana. Tutkimuskysymykset tarkentuivat aineistolähtöisesti. Ensimmäinen tutkimuskysymys liittyi siihen, miten harjoittelijoiden ideaalit hyvästä vieraan kielen opetuksesta ja henkilökohtaiset tavoitteet toteutuivat ohjatun harjoittelun aikana. Alkukyselyn pohjalta ideaaleiksi nousivat vuorovaikutus ja monipuoliset työtavat, kulttuurin opettaminen, tavoitekielen käyttö luokkakielenä sekä selkeä kieliopin opetus. Tutkimuksessa kävi ilmi, että alkukyselyssä esiin tullut hyvän opettajan tai vieraan kielen opetuksen ideaali ei välttämättä näy opettajaksi opiskelevan HOPSeihin kirjatuissa henkilökohtaisissa tavoitteissa tai toteudu hänen harjoitustunneillaan. Parhaiten opetusharjoittelijat kokivat onnistuneensa vuorovaikutuksen luomisessa oppilaisiin ja opiskelijoihin sekä monipuolisten työtapojen käytössä. Eriyttäminen ja oppimaan oppimisen ohjaaminen koettiin hankalina. Suurin osa harjoittelijoista oli tyytyväisiä siihen, miten he onnistuivat tuomaan kulttuuria opetukseensa, kun taas tavoitekielen käyttö luokkakielenä ja kieliopin opetus koettiin haasteellisiksi. Toisessa tutkimuskysymyksessä tarkasteltiin, millainen ammatillinen näkemys vieraan kielen opiskelijalla on ohjatun harjoittelun jälkeen. Opetusharjoittelijat korostivat opettajan kasvatustyötä ja opettajien välistä yhteistyötä. Ajatus toimia saksan tai vieraan kielen opettajana oli vahvistunut pedagogisten opintojen aikana. Kolmas tutkimuskysymys kohdistui sen selvittämiseen, miten HOPS ja reflektiovihko toimivat harjoittelijoiden kasvun tukena. Harjoittelijoiden kirjallinen itsereflektio vaihteli syvällisistä pohdinnoista niukkiin merkintöihin. Suurimmassa osassa reflektiovihoista harjoittelijat olivat miettineet palautteissa esille tulleita asioita. HOPS ja reflektiovihko ovat tämän tutkimuksen perusteella toimivia harjoittelun ohjauksen välineitä, kunhan harjoittelijoita ohjataan niiden käytössä. Itsereflektion merkityksen puolesta puhuu se, että harjoittelijat, jotka olivat myös kirjallisesti pohtineet saksan käyttöä luokkakielenä, olivat muita tyytyväisempiä siihen, miten he kokivat onnistuneensa luokkakielen käytössä.

Thinking Outside the Box: Enhancing Science Teaching by Combining (Instead of Contrasting) Laboratory and Simulation Activities

The focus of the present work was on 10- to 12-year-old elementary school students’ conceptual learning outcomes in science in two specific inquiry-learning environments, laboratory and simulation. The main aim was to examine if it would be more beneficial to combine than contrast simulation and laboratory activities in science teaching. It was argued that the status quo where laboratories and simulations are seen as alternative or competing methods in science teaching is hardly an optimal solution to promote students’ learning and understanding in various science domains. It was hypothesized that it would make more sense and be more productive to combine laboratories and simulations. Several explanations and examples were provided to back up the hypothesis. In order to test whether learning with the combination of laboratory and simulation activities can result in better conceptual understanding in science than learning with laboratory or simulation activities alone, two experiments were conducted in the domain of electricity. In these experiments students constructed and studied electrical circuits in three different learning environments: laboratory (real circuits), simulation (virtual circuits), and simulation-laboratory combination (real and virtual circuits were used simultaneously). In order to measure and compare how these environments affected students’ conceptual understanding of circuits, a subject knowledge assessment questionnaire was administered before and after the experimentation. The results of the experiments were presented in four empirical studies. Three of the studies focused on learning outcomes between the conditions and one on learning processes. Study I analyzed learning outcomes from experiment I. The aim of the study was to investigate if it would be more beneficial to combine simulation and laboratory activities than to use them separately in teaching the concepts of simple electricity. Matched-trios were created based on the pre-test results of 66 elementary school students and divided randomly into a laboratory (real circuits), simulation (virtual circuits) and simulation-laboratory combination (real and virtual circuits simultaneously) conditions. In each condition students had 90 minutes to construct and study various circuits. The results showed that studying electrical circuits in the simulation–laboratory combination environment improved students’ conceptual understanding more than studying circuits in simulation and laboratory environments alone. Although there were no statistical differences between simulation and laboratory environments, the learning effect was more pronounced in the simulation condition where the students made clear progress during the intervention, whereas in the laboratory condition students’ conceptual understanding remained at an elementary level after the intervention. Study II analyzed learning outcomes from experiment II. The aim of the study was to investigate if and how learning outcomes in simulation and simulation-laboratory combination environments are mediated by implicit (only procedural guidance) and explicit (more structure and guidance for the discovery process) instruction in the context of simple DC circuits. Matched-quartets were created based on the pre-test results of 50 elementary school students and divided randomly into a simulation implicit (SI), simulation explicit (SE), combination implicit (CI) and combination explicit (CE) conditions. The results showed that when the students were working with the simulation alone, they were able to gain significantly greater amount of subject knowledge when they received metacognitive support (explicit instruction; SE) for the discovery process than when they received only procedural guidance (implicit instruction: SI). However, this additional scaffolding was not enough to reach the level of the students in the combination environment (CI and CE). A surprising finding in Study II was that instructional support had a different effect in the combination environment than in the simulation environment. In the combination environment explicit instruction (CE) did not seem to elicit much additional gain for students’ understanding of electric circuits compared to implicit instruction (CI). Instead, explicit instruction slowed down the inquiry process substantially in the combination environment. Study III analyzed from video data learning processes of those 50 students that participated in experiment II (cf. Study II above). The focus was on three specific learning processes: cognitive conflicts, self-explanations, and analogical encodings. The aim of the study was to find out possible explanations for the success of the combination condition in Experiments I and II. The video data provided clear evidence about the benefits of studying with the real and virtual circuits simultaneously (the combination conditions). Mostly the representations complemented each other, that is, one representation helped students to interpret and understand the outcomes they received from the other representation. However, there were also instances in which analogical encoding took place, that is, situations in which the slightly discrepant results between the representations ‘forced’ students to focus on those features that could be generalised across the two representations. No statistical differences were found in the amount of experienced cognitive conflicts and self-explanations between simulation and combination conditions, though in self-explanations there was a nascent trend in favour of the combination. There was also a clear tendency suggesting that explicit guidance increased the amount of self-explanations. Overall, the amount of cognitive conflicts and self-explanations was very low. The aim of the Study IV was twofold: the main aim was to provide an aggregated overview of the learning outcomes of experiments I and II; the secondary aim was to explore the relationship between the learning environments and students’ prior domain knowledge (low and high) in the experiments. Aggregated results of experiments I & II showed that on average, 91% of the students in the combination environment scored above the average of the laboratory environment, and 76% of them scored also above the average of the simulation environment. Seventy percent of the students in the simulation environment scored above the average of the laboratory environment. The results further showed that overall students seemed to benefit from combining simulations and laboratories regardless of their level of prior knowledge, that is, students with either low or high prior knowledge who studied circuits in the combination environment outperformed their counterparts who studied in the laboratory or simulation environment alone. The effect seemed to be slightly bigger among the students with low prior knowledge. However, more detailed inspection of the results showed that there were considerable differences between the experiments regarding how students with low and high prior knowledge benefitted from the combination: in Experiment I, especially students with low prior knowledge benefitted from the combination as compared to those students that used only the simulation, whereas in Experiment II, only students with high prior knowledge seemed to benefit from the combination relative to the simulation group. Regarding the differences between simulation and laboratory groups, the benefits of using a simulation seemed to be slightly higher among students with high prior knowledge. The results of the four empirical studies support the hypothesis concerning the benefits of using simulation along with laboratory activities to promote students’ conceptual understanding of electricity. It can be concluded that when teaching students about electricity, the students can gain better understanding when they have an opportunity to use the simulation and the real circuits in parallel than if they have only the real circuits or only a computer simulation available, even when the use of the simulation is supported with the explicit instruction. The outcomes of the empirical studies can be considered as the first unambiguous evidence on the (additional) benefits of combining laboratory and simulation activities in science education as compared to learning with laboratories and simulations alone.

Improving Transportation and Warehousing Efficiency with Simulation-Based Decision Support Systems

Transportation and warehousing are large and growing sectors in the society, and their efficiency is of high importance. Transportation also has a large share of global carbondioxide emissions, which are one the leading causes of anthropogenic climate warming. Various countries have agreed to decrease their carbon emissions according to the Kyoto protocol. Transportation is the only sector where emissions have steadily increased since the 1990s, which highlights the importance of transportation efficiency. The efficiency of transportation and warehousing can be improved with the help of simulations, but models alone are not sufficient. This research concentrates on the use of simulations in decision support systems. Three main simulation approaches are used in logistics: discrete-event simulation, systems dynamics, and agent-based modeling. However, individual simulation approaches have weaknesses of their own. Hybridization (combining two or more approaches) can improve the quality of the models, as it allows using a different method to overcome the weakness of one method. It is important to choose the correct approach (or a combination of approaches) when modeling transportation and warehousing issues. If an inappropriate method is chosen (this can occur if the modeler is proficient in only one approach or the model specification is not conducted thoroughly), the simulation model will have an inaccurate structure, which in turn will lead to misleading results. This issue can further escalate, as the decision-maker may assume that the presented simulation model gives the most useful results available, even though the whole model can be based on a poorly chosen structure. In this research it is argued that simulation- based decision support systems need to take various issues into account to make a functioning decision support system. The actual simulation model can be constructed using any (or multiple) approach, it can be combined with different optimization modules, and there needs to be a proper interface between the model and the user. These issues are presented in a framework, which simulation modelers can use when creating decision support systems. In order for decision-makers to fully benefit from the simulations, the user interface needs to clearly separate the model and the user, but at the same time, the user needs to be able to run the appropriate runs in order to analyze the problems correctly. This study recommends that simulation modelers should start to transfer their tacit knowledge to explicit knowledge. This would greatly benefit the whole simulation community and improve the quality of simulation-based decision support systems as well. More studies should also be conducted by using hybrid models and integrating simulations with Graphical Information Systems.

Optimization as a method of search engine marketing

This study is dedicated to search engine marketing (SEM). It aims for developing a business model of SEM firms and to provide explicit research of trustworthy practices of virtual marketing companies. Optimization is a general term that represents a variety of techniques and methods of the web pages promotion. The research addresses optimization as a business activity, and it explains its role for the online marketing. Additionally, it highlights issues of unethical techniques utilization by marketers which created relatively negative attitude to them on the Internet environment. Literature insight combines in the one place both technical and economical scientific findings in order to highlight technological and business attributes incorporated in SEM activities. Empirical data regarding search marketers was collected via e-mail questionnaires. 4 representatives of SEM companies were engaged in this study to accomplish the business model design. Additionally, the fifth respondent was a representative of the search engine portal, who provided insight on relations between search engines and marketers. Obtained information of the respondents was processed qualitatively. Movement of commercial organizations to the online market increases demand on promotional programs. SEM is the largest part of online marketing, and it is a prerogative of search engines portals. However, skilled users, or marketers, are able to implement long-term marketing programs by utilizing web page optimization techniques, key word consultancy or content optimization to increase web site visibility to search engines and, therefore, user’s attention to the customer pages. SEM firms are related to small knowledge-intensive businesses. On the basis of data analysis the business model was constructed. The SEM model includes generalized constructs, although they represent a wider amount of operational aspects. Constructing blocks of the model includes fundamental parts of SEM commercial activity: value creation, customer, infrastructure and financial segments. Also, approaches were provided on company’s differentiation and competitive advantages evaluation. It is assumed that search marketers should apply further attempts to differentiate own business out of the large number of similar service providing companies. Findings indicate that SEM companies are interested in the increasing their trustworthiness and the reputation building. Future of the search marketing is directly depending on search engines development.

Building object-oriented software with the D-Bus messaging system

Object-oriented programming is a widely adopted paradigm for desktop software development. This paradigm partitions software into separate entities, objects, which consist of data and related procedures used to modify and inspect it. The paradigm has evolved during the last few decades to emphasize decoupling between object implementations, via means such as explicit interface inheritance and event-based implicit invocation. Inter-process communication (IPC) technologies allow applications to interact with each other. This enables making software distributed across multiple processes, resulting in a modular architecture with benefits in resource sharing, robustness, code reuse and security. The support for object-oriented programming concepts varies between IPC systems. This thesis is focused on the D-Bus system, which has recently gained a lot of users, but is still scantily researched. D-Bus has support for asynchronous remote procedure calls with return values and a content-based publish/subscribe event delivery mechanism. In this thesis, several patterns for method invocation in D-Bus and similar systems are compared. The patterns that simulate synchronous local calls are shown to be dangerous. Later, we present a state-caching proxy construct, which avoids the complexity of properly asynchronous calls for object inspection. The proxy and certain supplementary constructs are presented conceptually as generic object-oriented design patterns. The e ect of these patterns on non-functional qualities of software, such as complexity, performance and power consumption, is reasoned about based on the properties of the D-Bus system. The use of the patterns reduces complexity, but maintains the other qualities at a good level. Finally, we present currently existing means of specifying D-Bus object interfaces for the purposes of code and documentation generation. The interface description language used by the Telepathy modular IM/VoIP framework is found to be an useful extension of the basic D-Bus introspection format.

Social ventures : the development of the theory of sustainable contributive advantage and initial empirical tests

This thesis attempts to fill gaps in both a theoretical basis and an operational and strategic understanding in the areas of social ventures, social entrepreneurship and nonprofit business models. This study also attempts to bridge the gap in strategic and economic theory between social and commercial ventures. More specifically, this thesis explores sustainable competitive advantage from a resource-based theory perspective and explores how it may be applied to the nonmarket situation of nonprofit organizations and social ventures. It is proposed that a social value-orientation of sustainable competitive advantage, called sustainable contributive advantage, provides a more realistic depiction of what is necessary in order for a social venture to perform better than its competitors over time. In addition to providing this realistic depiction, this research provides a substantial theoretical contribution in the area of economics, social ventures, and strategy research, specifically in regards to resource-based theory. The proposed model for sustainable contributive advantage uses resource-based theory and competitive advantage in order to be applicable to social ventures. This model proposes an explanation of a social venture’s ability to demonstrate consistently superior performance. In order to determine whether sustainable competitive advantage is in fact, appropriate to apply to both social and economic environments, quantitative analyses are conducted on a large sample of nonprofit organizations in a single industry and then compared to similar quantitative analyses conducted on commercial ventures. In comparing the trends and strategies between the two types of entities from a quantitative perspective, propositions are developed regarding a social venture’s resource utilization strategies and their possible impact on performance. Evidence is found to support the necessity of adjusting existing models in resource-based theory in order to apply them to social ventures. Additionally supported is the proposed theory of sustainable contributive advantage. The thesis concludes with recommendations for practitioners, researchers and policy makers as well as suggestions for future research paths.

Scheduling of guarded command based models

Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded commands as the basic modelling construct. Examples of such formalisms are Action Systems and Event-B. Guarded commands can intuitively be understood as actions that may be triggered when an associated guard condition holds. Guarded commands whose guards hold are nondeterministically chosen for execution, but no further control flow is present by default. Such a modelling approach is convenient for proving correctness, and the Refinement Calculus allows for a stepwise development method. It also has a parallel interpretation facilitating development of concurrent software, and it is suitable for describing event-driven scenarios. However, for many application areas, the execution paradigm traditionally used comprises more explicit control flow, which constitutes an obstacle for using the above mentioned formal methods. In this thesis, we study how guarded command based modelling approaches can be conveniently and efficiently scheduled in different scenarios. We first focus on the modelling of trust for transactions in a social networking setting. Due to the event-based nature of the scenario, the use of guarded commands turns out to be relatively straightforward. We continue by studying modelling of concurrent software, with particular focus on compute-intensive scenarios. We go from theoretical considerations to the feasibility of implementation by evaluating the performance and scalability of executing a case study model in parallel using automatic scheduling performed by a dedicated scheduler. Finally, we propose a more explicit and non-centralised approach in which the flow of each task is controlled by a schedule of its own. The schedules are expressed in a dedicated scheduling language, and patterns assist the developer in proving correctness of the scheduled model with respect to the original one.

Luottamuksen vaikutus tiedon jakamiseen ja yhteistyöhön

Tutkielman tarkoituksena oli tutkia teoreettisesti ja empiirisesti luottamuksen vaikutusta organisaatioyksiköiden väliseen tiedon jakamiseen ja yhteistyöhön. Luottamuksen näkökulmasta tarkasteltiin henkilöityvän ja ei-henkilöityvän luottamuksen vaikutusta yhdessä ja erikseen. Tiedon jakamisessa tarkasteltiin hiljaisen sekä käsitteellisen tiedon jakamista. Luottamuksen vaikutusta tiedon jakamiseen on yleisesti tutkittu, mutta tutkielman tavoitteena oli tutkia ilmiötä pankki- ja vakuutusliiketoimintaa harjoittavan kohdeorganisaation näkökulmasta. Tutkimustulokset analysoitiin kvantitatiivisilla tutkimusmenetelmillä, joista mukana oli faktorianalyysi ja lineaarinen regressio. Tämän tutkimuksen perusteella luottamuksella oli positiivinen vaikutus tiedon jakamiseen. Henkilöityvän luottamuksen vaikutus oli merkittävästi voimakkaampi kuin ei-henkilöityvän luottamuksen. Luottamuksen vaikutus yhteistyöhön oli myös positiivinen, jossa henkilöityvän ja ei-henkilöityvän luottamuksen vaikutus ja voimakkuus olivat yhtäläisiä.

Formal development and quantitative verification of dependable systems

-