The need for combination antihypertensive therapy to reach target blood pressures: what has been learned from clinical practice and morbidity-mortality trials?

Pharmacological treatment of hypertension represents a cost-effective way for preventing cardiovascular and renal complications. To benefit maximally from antihypertensive treatment blood pressure (BP) should be brought to below 140/90 mmHg in every hypertensive patient, and even lower (< 130/80 mmHg) if diabetes or renal disease co-exists. Most of the time such targets cannot be reached using monotherapies. This is especially true in patients who exhibit a high cardiovascular risk. The co-administration of two agents acting by different mechanisms considerably increases BP control. Such preparations are not only efficacious, but also well tolerated, and some fixed low-dose combinations have a tolerability profile similar to placebo. This is for instance the case for the preparation containing the angiotensin-converting enzyme inhibitor perindopril (2 mg) and the diuretic indapamide (0.625 mg), a fixed low-dose combination that has recently been shown in controlled interventional trials to be more effective than monotherapies in reducing albuminuria, regressing cardiac hypertrophy and improving macrovascular stiffness. Fixed-dose combinations are becoming more and more popular and are even proposed by current hypertension guidelines as a first-line option to treat hypertensive patients.

Customer References as Marketing Practice in Company Web sites - Content and Discourse Analysis

Työn tarkoituksena oli tutkia sisältö- ja diskurssianalyysin avulla kuinka yritykset viestivät asiakasreferenssejä verkkosivuillaan. Työssä keskityttiin tutkimaan yritysten referenssikuvausten teemoja ja diskursseja, sekä sitä kuinka referenssisuhde rakentuu diskursiivisesti referenssikuvauksissa. Tutkimukseen valittiin kolme suomalaista ICT-alan yritystä: Nokia, TietoEnator ja F-Secure. Aineisto koostuu 140:stä yritysten WWW-sivuilta kerätystä referenssikuvauksesta. Sisältöanalyysin tuloksena havaittiin, että referenssikuvaukset keskittyvät kuvaamaan yksittäisiä tuote- tai projektitoimituksia referenssiasiakkaille kyseisten asiakassuhteiden valossa. Analyysin tuloksena tunnistettiin kolme diskurssia: hyötydiskurssi, sitoutumisen diskurssi sekä teknologisen eksperttiyden diskurssi. Diskurssit paljastavat referenssikuvausten retoriset keinot ja konstruoivat referenssisuhteen ja toimittajan subjektiposition eri näkökulmista. Pääpaino referenssikuvauksissa on toimittajan ratkaisun tuomissa hyödyissä. Diskurssit tuottavat referenssisuhteesta kuvan hyötyjä tuovana ja läheisenä asiakassuhteena, joka tarjoaa väylän ulkopuolisiin kyvykkyyksiin ja teknologioihin. Toimittaja esitetään referenssikuvauksissa diskurssista riippuen hyötyjen tuojana, luotettavana partnerina sekä kokeneena eksperttinä. Referenssiasiakas sen sijaan esitetään vain yhdestä näkökulmasta stereotyyppisesti tärkeänä ja tyytyväisenä asiakkaana.

Patients who attend a private practice vs a university outpatient clinic: how do they differ?

Although interpersonal continuity is commonly assumed to be essential for care, some patients prefer to attend a university outpatient clinic where physicians change regularly and interpersonal continuity of care is not ensured. The aim of this exploratory study was to evaluate the differences between patients attending a university outpatient clinic and patients frequenting a private practice, explore their patterns of care-seeking and their understanding of continued care. We conducted a cross-sectional study of patients attending the university medical outpatient clinic (OC) in Lausanne, Switzerland and ten randomly selected private general practices (PP). Eligible patients were >30 years, Swiss nationals or long term residents, with one or more chronic conditions and attending the same practice for >3 years. They were asked to complete a questionnaire on sociodemographic data, use of medical resources and reasons for choosing and remaining at the same practice. Semi-structured interviews were conducted with a randomly selected subset of 26 patients to further explore their preferences. 329 patient questionnaires were completed, 219 by PP and 110 by OC patients. OC patients tended to be of lower socioeconomic status than PP patients. The main reason for choosing a PP were personal recommendation, while a higher percentage of patients chose the OC because they could obtain a first appointment quickly. A higher percentage of PP patients accorded importance to physician communication skills and trust, whereas a higher percentage of OC patients favoured investigation facilities. Qualitative data suggested that although OC and PP patients reported different reasons for consulting, their expectations on the medical and relationship level were similar. Our study suggests that the two groups of patients belong to different social backgrounds, have different patterns of care-seeking and attach importance to different aspects of care continuity. However, patients' expectations and perceptions of the physician-patient relationship are similar.

Asiakkuuden arvon arviointi osana asiakkuudenhallintaa. Case: Martela Oyj

Tutkielman tavoitteena oli laatia Martela Oyj:n-käyttöön asiakkuuden arvoa määrittävä mittaristo, jonka avulla yrityksessä voidaan kehittää asiakkuudenhallintaa sekä asiakkuuden arvoa ja kannattavuutta. Tutkielman tavoitteeseen pääsemiseksi käytettiin konstruktiivista tutkimusmenetelmää. Mallin laatimiseksi perehdyttiin asiakkuudenhallinnan doktriiniin sekäcase -yrityksen nykyisen asiakkuudenhallinnan ongelmiin ja kehittämistarpeisiin. Näiden pohjalta laadittiin asiakkuuden arvoa määrittävä mittaristo, jonka avulla valittu otos yrityksen asiakkaista analysoitiin. Tutkimuksen keskeisempiä tuloksia on laadittu arvoanalyysimalli, jota voidaan jatkossa käyttää apuna asiakkuuksien johtamisessa ja asiakkuudenhallinnan kehittämisessä. Mallin avulla tutkittiin kaikki suurasiakasryhmän asiakkuudet ja tuloksia voidaan hyödyntää heti käytännössä mm. hoitomallien kehittämisessä sekä potentiaalien hyödyntämisessä. Tutkimuksen tuottaman tiedon avulla asiakkuuksien johtamista voidaan tehostaa ja vaikuttaa asiakkuuden arvon kehittymiseen. Tutkielmantulosten avulla voidaan yrityksessä aloittaa asiakkuudenhallinnan nykytilan systemaattinen kehittäminen sekä käynnistää asiakaskannattavuuden laskennan kehittämisprojekti.

The power of support: an exploration of the mentoring relationship

Tutkimuksen pääasiallisena tavoitteena on selvittää ne moninaiset näkökulmat, joita mentori sekä mentoroitava läpikäyvät osallistuessaan mentorointiohjelmaan. Tutkimuksen avulla pyritään myös selvittämään vastaavanlaisen tuen saannin tehokkuutta sekä mentoroinnin sisältäminen elementtien hyödyllisyyttä. Pyrkimyksenä on myös selvittää sekä ymmärtää ne dynaamiset mentorointiprosessin ominaisuudet molempien prosessiin osallistuvien tahojen näkökulmasta. Tutkimuksen teoriaosuudessa käsitellään mentorointia, mentorointiin liittyviä vuorovaikutussuhteita sekä näihin liittyviä eri näkökulmia. Teoria koostuu monipuolisesta, kansainvälisestä sekä kotimaisesta kirjallisuudesta. Tutkimuksen aineiston keruu suoritetaan puolistrukturoiduilla avoimilla haastatteluilla, jotka suoritetaan järjestämällä kahdenkeskisiä teemahaastatteluita. Mentorointisuhteella on todettu olevan voimakas vaikutus siihen osallistuvien henkilöiden elämään. Mentorointisuhteen tarkoituksellisuus on tullut todettua myös kun itse vuorovaikutussuhde on osoittautunut hyödylliseksi osallistujille. Mentoroitavilla on odotuksia, että mentorit täyttävät seuraavanlaisia rooleja: neuvonantaja, roolimalli sekä mahdollisesti tukea antava ystävä. Kaikissa läpikäydyissä tapauksissa mentori pystyi tarjoamaan jonkun näistärooleista mentoroitavalle. Mentoroitava, puolestaan, otti tämän tuen vastaan jahyötyi siitä.

Consumers' use of nutrition-related endorsement symbol to help their purchase decisions: An extension of the theory of planned behaviour

Tutkimuksessa haluttiin selvittää, mitkä tekijät vaikuttavat ravintoon liittyvän suositusmerkin käyttöön kuluttajan ostopäätöksen apuna. Tutkimuksen viitekehyksen pohjaksi valittiin suunnitellun toiminnan teoria, joka on osoittautunut selittämään hyvin useaa ravintoon- ja terveyteen liittyvää käyttäytymistä. Tutkimustoteutettiin kyselytutkimuksella, jonka aineisto kerättiin Internetissä julkaistulla kyselylomakkeella. Tulokset osoittivat, että kuluttajan aikomus käyttää suositusmerkkiä oli mallin vahvin selittäjä. Lisäksi merkin käyttöä selitti kuluttajan kokema sisäinen kontrolli, johon ulkoinen kontrolli vahvasti vaikuttaa. Ostopäätössitoutumisen havaittiin vaikuttavan aikomuksen ja todellisen merkin käytön väliseen yhteyteen. Yleisesti tulokset osoittivat, että kuluttajilla on aikomusta käyttää merkkiä, mutta todellinen käyttö on huomattavasti vähäisempää.

Railcarrier in Intermodal Freight Transportation Network

The major objective of this thesis is to describe and analyse how a railcarrier is engaged in an intermodal freight transportation network through its role and position. Because of the fact that the role as a conceptualisation has a lot of parallels with the position, both these phenomena are evaluated theoretically and empirically. VR Cargo (a strategical business unitof the Finnish railway company VR Ltd.) was chosen to be the focal firm surrounded by the actors of the focal net. Because of the fact that networks are sets of relationships rather than sets of actors, it is essential to describe the dimensions of the relationships created through the time thus having a past, presentand future. The roles are created during long common history shared by the actors especially when IM networks are considered. The presence of roles is embeddedin the tasks, and the future is anchored to the expectations. Furthermore, in this study role refers to network dynamics, and to incremental and radical changes in the network, in a similar way as position refers to stability and to the influences of bonded structures. The main purpose of the first part of the study was to examine how the two distinctive views that have a dominant position in modern logistics ¿ the network view (particularly IMP-based network approach) and the managerial view (represented by Supply Chain Management) differ, especially when intermodalism is under consideration. In this study intermodalism was defined as a form of interorganisational behaviour characterized by the physical movement of unitized goods with Intermodal Transport Units, using more than one mode as performed by the net of operators. In this particular stage the study relies mainly on theoretical evaluation broadened by some discussions with the practitioners. This is essential, because the continuous dialogue between theory and practice is highly emphasized. Some managerial implications are discussed on the basis of the theoretical examination. A tentative model for empirical analysis in subsequent research is suggested. The empirical investigation, which relies on the interviews among the members in the focal net, shows that the major role of the focal company in the network is the common carrier. This role has some behavioural and functional characteristics, such as an executive's disclosure expressing strategic will attached with stable and predictable managerial and organisational behaviour. Most important is the notion that the focal company is neutral for all the other operators, and willing to enhance and strengthen the collaboration with all the members in the IM network. This also means that all the accounts are aimed at being equal in terms of customer satisfaction. Besides, the adjustments intensify the adopted role. However, the focal company is also obliged tosustain its role as it still has a government-erected right to maintain solely the railway operations on domestic tracks. In addition, the roles of a dominator, principal, partner, subcontractor, and integrator were present appearing either in a dyadic relationship or in net(work) context. In order to reveal differentroles, a dualistic interpretation of the concept of role/position was employed.

Explaining rapid transitions in the practice of flood risk management

This article draws on empirical material to reflect on what drives rapid change in flood risk management practice, reflecting wider interest in the way that scientific practices make risk landscapes and a specific focus on extreme events as drivers of rapid change. Such events are commonly referred to as a form of creative destruction, ones that reveal both the composition of socioenvironmental assemblages and provide a creative opportunity to remake those assemblages in alternate ways, therefore rapidly changing policy and practice. Drawing on wider thinking in complexity theory, we argue that what happens between events might be as, if not more, important than the events themselves. We use two empirical examples concerned with flood risk management practice: a rapid shift in the dominant technologies used to map flood risk in the United Kingdom and an experimental approach to public participation tested in two different locations, with dramatically different consequences. Both show that the state of the socioenvironmental assemblage in which the events take place matters as much as the magnitude of the events themselves. The periods between rapid changes are not simply periods of discursive consolidation but involve the ongoing mutation of such assemblages, which could either sensitize or desensitize them to rapid change. Understanding these intervening periods matters as much as the events themselves. If events matter, it is because of the ways in which they might bring into sharp focus the coding or framing of a socioenvironmental assemblage in policy or scientific practice irrespective of whether or not those events evolve the assemblage in subtle or more radical ways.

Supplier Evaluation on the Standard Material and Component Markets in the Electronic Manufacturing Equipment Industry

Työn tavoitteena oli arvioida ja selvittää toimittajasuhteeseen vaikuttavia tekijöitä JOT Automation Group Oyj.n ja sen alihankkijoiden välisessä yhteistyössä ja muodostaa yrityksen kilpailukykyä parantava toimittaja-arviointiprosessi. Työssä keskityttiin tarkastelemaan yleisillä materiaali- ja komponenttimarkkinoilla toimivia toimittajia elektroniikkateollisuuden tuotantojärjestelmien valmistuksessa. Ensin tutustuttiin toimittajasuhdetta ja sen arviointia käsitelleeseen kirjallisuuteen. Teorian tueksi tehtiin haastatteluja ja kartoitettiin ensisijaisia tarpeita ja tavoitteita arviointiprosessille. Valmis prosessi testattiin käytännössä kahden eri case-esimerkin avulla. Prosessista muodostui kahteen eri työkaluun jakautunut kokonaisuus, joista auditointi arvioi toimittajan kyvykkyyttä vastatta sille asetettuihin vaatimuksiin. Toimittajan suorituskyvyn mittaaminen puolestaan testaa ja vertaa jatkuvasti toiminnan todellista tasoa auditoinnissa saatuihin tuloksiin. Työ sisältää selvityksen ja ohjeistuksen toimittaja-arviointiprosessin käytöstä. Prosessin käyttö alentaa toimittajaan kohdistuvaa materiaalien saatavuuteen ja hankintaan liittyviä riskejä. Esimerkeistä saadut kokemukset osoittivat, että prosessin avulla päästään pureutumaan tärkeisiin ydinalueisiin ja kehittämään niitä sekä toimittajalle, että ostajayritykselle edullisella tavalla. Toimittaja-arviointiprosessista kehittyy toimintatapa yrityksen ja sen toimittajan välisen suhteen ylläpitämiseksi.

Segmentation model for small and medium size business sector: Case Oy Compaq Computer Ab

Markkinasegmentointi nousi esiin ensi kerran jo 50-luvulla ja se on ollut siitä lähtien yksi markkinoinnin peruskäsitteistä. Suuri osa segmentointia käsittelevästä tutkimuksesta on kuitenkin keskittynyt kuluttajamarkkinoiden segmentointiin yritys- ja teollisuusmarkkinoiden segmentoinnin jäädessä vähemmälle huomiolle. Tämän tutkimuksen tavoitteena on luoda segmentointimalli teollismarkkinoille tietotekniikan tuotteiden ja palveluiden tarjoajan näkökulmasta. Tarkoituksena on selvittää mahdollistavatko case-yrityksen nykyiset asiakastietokannat tehokkaan segmentoinnin, selvittää sopivat segmentointikriteerit sekä arvioida tulisiko tietokantoja kehittää ja kuinka niitä tulisi kehittää tehokkaamman segmentoinnin mahdollistamiseksi. Tarkoitus on luoda yksi malli eri liiketoimintayksiköille yhteisesti. Näin ollen eri yksiköiden tavoitteet tulee ottaa huomioon eturistiriitojen välttämiseksi. Tutkimusmetodologia on tapaustutkimus. Lähteinä tutkimuksessa käytettiin sekundäärisiä lähteitä sekä primäärejä lähteitä kuten case-yrityksen omia tietokantoja sekä haastatteluita. Tutkimuksen lähtökohtana oli tutkimusongelma: Voiko tietokantoihin perustuvaa segmentointia käyttää kannattavaan asiakassuhdejohtamiseen PK-yritys sektorilla? Tavoitteena on luoda segmentointimalli, joka hyödyntää tietokannoissa olevia tietoja tinkimättä kuitenkaan tehokkaan ja kannattavan segmentoinnin ehdoista. Teoriaosa tutkii segmentointia yleensä painottuen kuitenkin teolliseen markkinasegmentointiin. Tarkoituksena on luoda selkeä kuva erilaisista lähestymistavoista aiheeseen ja syventää näkemystä tärkeimpien teorioiden osalta. Tietokantojen analysointi osoitti selviä puutteita asiakastiedoissa. Peruskontaktitiedot löytyvät mutta segmentointia varten tietoa on erittäin rajoitetusti. Tietojen saantia jälleenmyyjiltä ja tukkureilta tulisi parantaa loppuasiakastietojen saannin takia. Segmentointi nykyisten tietojen varassa perustuu lähinnä sekundäärisiin tietoihin kuten toimialaan ja yrityskokoon. Näitäkään tietoja ei ole saatavilla kaikkien tietokannassa olevien yritysten kohdalta.

The motivation to learn as a self-presentation tool among Swiss high school students : The moderating role of mastery goals' perceived social value on learning

Although it has been assumed that the motivation to learn - or mastery goal endorsement - positively predicts learning achievement, most empirical findings fail to demonstrate this relationship. In the present research, conducted in a Swiss high school, we adopted a social value approach to test the hypothesis that adolescent students' mastery goals do in fact predict learning, but only if these goals are perceived as highly useful for scholarly success (high social utility), and are not endorsed as a means to be appreciated by the teachers (low social desirability), a finding that has previously been observed among college students and on teacher-graded achievement measures only. Results demonstrate that in spite of potential peculiarities of an adolescent population, individual differences in mastery goals' perceived social utility and desirability moderate the mastery goal endorsement-learning achievement relation. Findings are discussed with regard to both theory development and educational practice.

Sairaanhoitajan opiskelijaohjaustaidot sekä ohjaajakoulutuksen tarve ja hyöty hoitotyön ohjatun harjoittelun oppimisympäristössä

A Nurse's Preceptorship Skills of Guiding Students and the Need for and Benefit from Preceptorship Education Guided practical training in units of health services is an essential part of the education of nurses. Nurses take care of a student's preceptorship during these periods, and their role in supporting a student's learning has been shown to be the most important factor in the learning environment of guided practical training. Education for preceptors in various educational units has been organized to develop their skills of guiding students. The aim of this study was both to investigate preceptors' skills of guiding students, the differences in the student guiding skills of those who have and who have not received preceptorship education and to describe their experiences of their own need for preceptorship education and of the benefit of such education. Any activities that promote a student's learning were included in nurses' preceptorship skills. On the basis of research knowledge, the preceptorship skills were divided into the following subdomains: proficiency in nursing; creation of a preceptorship relationship; planning of preceptorship; implementation of preceptorship; combination of theory and practice; and evaluation. The target group comprised all those nurses (n=128) in a hospital in southern Finland who guided future nurses. The material was gathered by means of a questionnaire with structural and open questions. Preceptorship skills were studied with the structured questions and the need for and benefit from preceptorship education with the open questions. The material was interpreted by means of a statistical SAS programme and qualitative content analysis. The preceptorship skills in all domains of guiding skills proved good. Those who had received preceptorship education had better skills than those who had not received such education in all domains but “creation of a preceptorship relationship”. However, the differences were not statistically significant. The need for preceptorship education was highest in evaluation and in setting goals for a student. To support these, the preceptors wanted information on education and students' requirements. Most of all, preceptorship education had benefited the creation of a preceptorship relationship and the implementation of evaluation. The preceptors were of the opinion that their skills of guiding students were good. However, education is needed, which makes the results inconsistent in this respect. The results can be used in developing preceptorship skills and in planning preceptorship education.

Evaluation of Teacher Education Programs by Students and Graduates

The purpose of this research was to do a repeated cross-sectional research on class teachers who study in the 4th year and also graduated at the Faculty of Education, University of Turku between the years of 2000 through 2004. Specifically, seven research questions were addressed to target the main purpose of the study: How do class teacher education masters’ degree senior students and graduates rate “importance; effectiveness; and quality” of training they have received at the Faculty of Education? Are there significant differences between overall ratings of importance; effectiveness and quality of training by year of graduation, sex, and age (for graduates) and sex and age (for senior students)? Is there significant relationship between respondents’ overall ratings of importance; effectiveness and their overall ratings of the quality of training and preparation they have received? Are there significant differences between graduates and senior students about importance, effectiveness, and quality of teacher education programs? And what do teachers’ [Graduates] believe about how increasing work experience has changed their opinions of their preservice training? Moreover the following concepts related to the instructional activities were studied: critical thinking skills, communication skills, attention to ethics, curriculum and instruction (planning), role of teacher and teaching knowledge, assessment skills, attention to continuous professional development, subject matters knowledge, knowledge of learning environment, and using educational technology. Researcher also tried to find influence of some moderator variables e.g. year of graduation, sex, and age on the dependent and independent variables. This study consisted of two questionnaires (a structured likert-scale and an open ended questionnaire). The population in study 1 was all senior students and 2000-2004 class teacher education masters’ degree from the departments of Teacher Education Faculty of Education at University of Turku. Of the 1020 students and graduates the researcher was able to find current addresses of 675 of the subjects and of the 675 graduates contacted, 439 or 66.2 percent responded to the survey. The population in study 2 was all class teachers who graduated from Turku University and now work in the few basic schools (59 Schools) in South- West Finland. 257 teachers answered to the open ended web-based questions. SPSS was used to produce standard deviations; Analysis of Variance; Pearson Product Moment Correlation (r); T-test; ANOVA, Bonferroni post-hoc test; and Polynomial Contrast tests meant to analyze linear trend. An alpha level of .05 was used to determine statistical significance. The results of the study showed that: A majority of the respondents (graduates and students) rated the overall importance, effectiveness and quality of the teacher education programs as important, effective and good. Generally speaking there were only a few significant differences between the cohorts and groups related to the background variables (gender, age). The different cohorts were rating the quality of the programs very similarly but some differences between the cohorts were found in the importance and effectiveness ratings. Graduates of 2001 and 2002 rated the importance of the program significantly higher than 2000 graduates. The effectiveness of the programs was rated significantly higher by 2001 and 2003 graduates than other groups. In spite of these individual differences between cohorts there were no linear trends among the year cohorts in any measure. In respondents’ ratings of the effectiveness of teacher education programs there was significant difference between males and females; females rated it higher than males. There were no significant differences between males’ and females’ ratings of the importance and quality of programs. In the ratings there was only one difference between age groups. Older graduates (35 years or older) rated the importance of the teacher training significantly higher that 25-35 years old graduates. In graduates’ ratings there were positive but relatively low correlations between all variables related to importance, effectiveness and quality of Teacher Education Programs. Generally speaking students’ ratings about importance, effectiveness and quality of teacher education program were very positive. There was only one significant difference related to the background variables. Females rated higher the effectiveness of the program. The comparison of students’ and graduates’ perception about importance, effectiveness, and quality of teacher education programs showed that there were no significant differences between graduates and students in the overall ratings. However there were differences in some individual variables. Students rated higher in importance of “Continuous Professional Development”, effectiveness of “Critical Thinking Skills” and “Using Educational Technology” and quality of “Advice received from the advisor”. Graduates rated higher in importance of “Knowledge of Learning Environment” and effectiveness of “Continuous Professional Development”. According to the qualitative data of study 2 some graduates expressed that their perceptions have not changed about the importance, effectiveness, and quality of training that they received during their study time. They pointed out that teacher education programs have provided them the basic theoretical/formal knowledge and some training of practical routines. However, a majority of the teachers seems to have somewhat critical opinions about the teacher education. These teachers were not satisfied with teacher education programs because they argued that the programs failed to meet their practical demands in different everyday situations of the classroom e.g. in coping with students’ learning difficulties, multiprofessional communication with parents and other professional groups (psychologists and social workers), and classroom management problems. Participants also emphasized more practice oriented knowledge of subject matter, evaluation methods and teachers’ rights and responsibilities. Therefore, they (54.1% of participants) suggested that teacher education departments should provide more practice-based courses and programs as well as closer collaboration between regular schools and teacher education departments in order to fill gap between theory and practice.

A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Mentoring in the acquisition of professional skills through practices in companies by degree students

Abstract This work has had as objective to analyze the skills acquired through internships in business companies by students of the Faculty of Economics and Business at the University Pompeu Fabra. The internship is a basic item in order to obtain a hard connection between the University and social-economic world where University and Enterprises develop their activity. In this study we want to know about two aspects. The first one, we want to know the profit that is obtained from the Student as a consequence of internship and mentoring. Also, we want to study about the importance of mentoring as a principal element that establishes the relationship between the Student and the Company. Moreover, it has sought to analyze if certain factors such as the size of the company where the practices has been performed, the study rank level that was achieved or the fact of being a man or a woman, were among the determining factors at the time of acquiring the skills. The results presented here indicate that the size of the company that have been making the practices and the gender of the student are related to the acquisition of certain skills. There was not a statistically significant relationship related to the rank level have by the students in the practice. In the future we are going to study if the labor market Integration is easier if the Student has performed work placement. Keywords Skills; employability; internship; meatoring.