951 resultados para One-shot information theory
Resumo:
For more than a decade, researchers have been aware of the increased pace of small-firm internationalization and the greater effect of these rapidly growing small businesses on the wealth, international trade, and job-creation opportunities of countries. Due to the small size of the home market, Finnish companies have been generally considered highly interested in internationalization. One particular domain in which rapid internationalization has been considered feasible is the global software business, with its knowledge-intensive nature and high growth potential. However, over time the failure rate of small entrepreneurial firms has remained especially high in high-technology markets. One of the reasons for this seems to lie in the fact that these companies are often formed by people with a strong technological background but limited competences in other areas. Further, research on the marketing capabilities of rapidly internationalizing high-tech firms has been scarce thus far. In addition, while there is much research on the first years of operations of rapidly internationalizing companies, it is not well known what becomes of them later on. Therefore, there is a need for more investigation into the managerial mindset, competences and decision-making in these small companies, especially from the perspective of how they acquire and exploit market knowledge, and enhance their networking capabilities in order to promote international expansion. The present study focuses on market orientation in small software firms that internationalize their operations rapidly in global software markets. It builds on qualitative data to illustrate how these companies develop their market-oriented product-market strategies during the process of increasing international commitment. It also shows how they manage their network relationships in order to be able to offer better customer service and to thrive in the fierce global competition. The study was conducted in the empirical context of Finnish small software companies, and the main data consists of interviews with top managers in these businesses. The interviews were designed to cover a minimum period of five years of the company's international operations, thus offering a retrospective in-depth perspective on market orientation, internationalization and partnerships in the given context. One particular focus is on less successfully internationalized software companies, and the challenges they face when approaching international markets. This study makes a significant contribution to the literature on market orientation for several reasons. First, building on data from the software industry, it clarifies the existing theory in the context of rapid internationalization and network relationships. Secondly, it provides a good body of evidence on market orientation in both successfully and less successfully internationalized companies, and identifies the key related differences between the two company groups. Thirdly, it highlights the importance of inter-firm networks in the rapid internationalization of small software firms, providing companies with important market knowledge and, in some cases, management challenges. Fourthly, this investigation clarifies market orientation in the context of different software-product strategies, thus, combining the perspectives of market orientation in both manufacturing and services. In sum, the results of the study are significant for both small software firms and public-policy makers since they shed light on the market-oriented managerial mindset and the market-information gathering and sharing processes that are needed in successful rapid internationalization.
Resumo:
Tässä työssä toteutettiin Lappeenrannan Energia Oy:lle tietojärjestelmäratkaisu, jolla yritys kykenee helposti ja vaivattomasti hallitsemaan asiakkaiden dynaamiset sähkösopimukset. Työn teoriaosa antaa lukijalle kattavan kuvan tietojärjestelmien kehitysprosessista, sekä esittelee työmenetelmiä ja mahdollisia ongelmia. Myös sähkömarkkinoista esitellään kompakti tietopaketti lukijalle, jotta toteutusosan asiat olisivat selkeämpiä. Käytännön osuus esittelee Lappeenrannan Energia Oy:n dynaamisten sähkösopimusten nykyistä toimintamallia ja uuden toteutettavan tietojärjestelmän vaatimukset. Uuden järjestelmän tavoitteena oli tuoda yritykselle kilpailuetua, parantamalla työn tehokkuutta ja sopimuksien hallintaa. Uusi tietojärjestelmä käydään läpi ominaisuuksittain, jotta saadaan hyvä kokonaiskäsitys sen kaikista ominaisuuksista. Työ käsittää siis toteutuksen aina suunnitteluasteelta lopputulokseen asti. Myös tulevaisuuden kehityksen ensiaskeleet esitellään työn lopuksi.
Resumo:
This article introduces EsPal: a Web-accessible repository containing a comprehensive set of properties of Spanish words. EsPal is based on an extensible set of data sources, beginning with a 300 million token written database and a 460 million token subtitle database. Properties available include word frequency, orthographic structure and neighborhoods, phonological structure and neighborhoods, and subjective ratings such as imageability. Subword structure properties are also available in terms of bigrams and trigrams, bi-phones, and bi-syllables. Lemma and part-of-speech information and their corresponding frequencies are also indexed. The website enables users to either upload a set of words to receive their properties, or to receive a set of words matching constraints on the properties. The properties themselves are easily extensible and will be added over time as they become available. It is freely available from the following website: http://www.bcbl.eu/databases/espal
Resumo:
The main objective of this study is to assess the potential of the information technology industry in the Saint Petersburg area to become one of the new key industries in the Russian economy. To achieve this objective, the study analyzes especially the international competitiveness of the industry and the conditions for clustering. Russia is currently heavily dependent on its natural resources, which are the main source of its recent economic growth. In order to achieve good long-term economic performance, Russia needs diversification in its well-performing industries in addition to the ones operating in the field of natural resources. The Russian government has acknowledged this and started special initiatives to promote such other industries as information technology and nanotechnology. An interesting industry that is basically less than 20 years old and fast growing in Russia, is information technology. Information technology activities and markets are mainly concentrated in Russia’s two biggest cities, Moscow and Saint Petersburg, and areas around them. The information technology industry in the Saint Petersburg area, although smaller than Moscow, is especially dynamic and is gaining increasing foreign company presence. However, the industry is not yet internationally competitive as it lacks substantial and sustainable competitive advantages. The industry is also merely a potential global information technology cluster, as it lacks the competitive edge and a wide supplier and manufacturing base and other related parts of the whole information technology value system. Alone, the industry will not become a key industry in Russia, but it will, on the other hand, have an important supporting role for the development of other industries. The information technology market in the Saint Petersburg area is already large and if more tightly integrated to Moscow, they will together form a huge and still growing market sufficient for most companies operating in Russia currently and in the future. Therefore, the potential of information technology inside Russia is immense.
Resumo:
Tutkimuksen tavoitteena oli selvittää miten kilpailuedun lähteet muuttuvat päivittäistavarakaupassa, kun siirrytään ketjutoimintaan. Onko tiedosta kilpailuedun lähteeksi? Tutkimus suoritettiin kirjallisuustutkimuksena. Lähdeaineistona käytettiin kotimaista ja ulkomaista kirjallisuutta, jotka käsittelivät tietoa, tietopääomaa, kilpailuetua ja ketjutoimintaa. Tiedon merkitystä on käsitelty tietoperusteisen teorian näkökulmasta ja analyysin pohjana oli kaksi suurinta toimijaa Suomen päivittäistavaramarkkinoilla. Kilpailu päivittäistavara-alalla on hintakilpailua. Ketjutoimintaan siirtyminen tuo suurtuotantoetuja ostotoimintaan sekä markkinointiin. Kustannussäästöt ovat huomattavat. Ketjutoiminta lisää kaupan hintakilpailukykyä ja parantaa toimintojen tehokkuutta. Tutkimus vahvisti olettamuksen, että tiedosta on tullut kaupan alan tärkein kilpailutekijä. Tämä korostuu etenkin logististen toimintojen sekä asiakashallinnan osalta. Tiedon virtaus on tärkeää ja sitä voidaan parantaa investoimalla tietoteknisiin järjestelmiin sekä henkilöstön koulutukseen.
Resumo:
The value of forensic results crucially depends on the propositions and the information under which they are evaluated. For example, if a full single DNA profile for a contemporary marker system matching the profile of Mr A is assessed, given the propositions that the DNA came from Mr A and given it came from an unknown person, the strength of evidence can be overwhelming (e.g., in the order of a billion). In contrast, if we assess the same result given that the DNA came from Mr A and given it came from his twin brother (i.e., a person with the same DNA profile), the strength of evidence will be 1, and therefore neutral, unhelpful and irrelevant 1 to the case at hand. While this understanding is probably uncontroversial and obvious to most, if not all practitioners dealing with DNA evidence, the practical precept of not specifying an alternative source with the same characteristics as the one considered under the first proposition may be much less clear in other circumstances. During discussions with colleagues and trainees, cases have come to our attention where forensic scientists have difficulty with the formulation of propositions. It is particularly common to observe that results (e.g., observations) are included in the propositions, whereas-as argued throughout this note-they should not be. A typical example could be a case where a shoe-mark with a logo and the general pattern characteristics of a Nike Air Jordan shoe is found at the scene of a crime. A Nike Air Jordan shoe is then seized at Mr A's house and control prints of this shoe compared to the mark. The results (e.g., a trace with this general pattern and acquired characteristics corresponding to the sole of Mr A's shoe) are then evaluated given the propositions 'The mark was left by Mr A's Nike Air Jordan shoe-sole' and 'The mark was left by an unknown Nike Air Jordan shoe'. As a consequence, the footwear examiner will not evaluate part of the observations (i.e., the mark presents the general pattern of a Nike Air Jordan) whereas they can be highly informative. Such examples can be found in all forensic disciplines. In this article, we present a few such examples and discuss aspects that will help forensic scientists with the formulation of propositions. In particular, we emphasise on the usefulness of notation to distinguish results that forensic scientists should evaluate from case information that the Court will evaluate.
Resumo:
Tämän tutkimuksen tavoitteena oli tuottaa kehittämiskeinoja toimittajayhteistyöhön tilausohjautuvassa toimitusketjussa. Tutkimuksen empiriaosuudessa on tutkittu Valtran ja sen ohjaamotoimittajan välistä yhteistyötä. Tutkimusta aloitettaessa monella yhteistyön osa-alueella oli ongelmia, jotka näkyivät ohjaamoissa erilaisina laatuvirheinä. Tutkimuksen teoreettisessa osassa esitellään ensin tilausohjautuvuutta ja sen toimittajayhteistyöhön tarjoamia toimintatapoja ja ohjauskeinoja. Tämän jälkeen tutkimuksessa käsitellään toimittajayhteistyön merkitystä tilausohjautuvassa toimitusketjussa ja yritysten välisen yhteistyön eri elementtejä. Tutkimuksen empiriaosuudessa tehtiin ensimmäisenä laatuvirheanalyysi. Virheanalyysin perusteella tunnistettiin ne toiminnan alueet, joissa aiheutui suurin osa virheistä. Tämän analyysin jälkeen tunnistettiin nykyisestä tilausohjautuvasta toimintatavasta tai ohjauskeinoista johtuvat virheet. Viimeiseksi tunnistettiin yritysten välisestä yhteistyöstä aiheutuneet ongelmat. Näiden analyysien perusteella osoittautui, että suurimmat ongelmat yhteistyössä aiheutuivat yhteistyön puutteellisesta organisoinnista, joka puolestaan heikensi yritysten välisen vuorovaikutuksen laatua ja luottamusta. Erityisesti laadun osalta oli nähtävissä yritysten välisen yhte-näisyyden puute niin järjestelmien kuin myös prosessien osalta. Sen sijaan Valtran toimitusketjun ohjauksessa käyttämissä toimittajien ohjaustavoissa ei ollut puuttei- ta läheskään niin paljon kuin tutkimusta aloitettaessa kuviteltiin. Joka tapauksessa ohjauksen merkitys toimittajayhteistyössä on erittäin suuri, vaikka tehdyn virheanalyysin perusteella niiden osuus analysoiduista virheistä ei ollutkaan kovin suuri. Yhteistyön kehityskohteiden löydyttyä viimeisessä vaiheessa muodostettiin kehittämissuosituksia, joista osa jakautui tilausohjautuvan toimintatavan ja ohjauskeinojen kehittämiseen ja osa taas yritysten välisen yhteistyön kehittämiseen esimerkiksi rakenteellisten linkkien avulla. Erilaisilla yhteistyömuodoilla on mahdollista ke-hittää toiminnasta yhtenäisempää rajapintarakenteiden osalta, mikä on puolestaan laadukkaan vuorovaikutuksen ja siten laadukkaan informaation edellytys. Näitä rakenteita kehittämällä toimittajan ohjaamista ja samalla lopputuotteen laatua on mahdollista parantaa.
Resumo:
The main objective of this study is to assess the potential of the information technology industry in the Saint Petersburg area to become one of the new key industries in the Russian economy. To achieve this objective, the study analyzes especially the international competitiveness of the industry and the conditions for clustering. Russia is currently heavily dependent on its natural resources, which are the main source of its recent economic growth. In order to achieve good long-term economic performance, Russia needs diversification in its well-performing industries in addition to the ones operating in the field of natural resources. The Russian government has acknowledged this and started special initiatives to promote such other industries as information technology and nanotechnology. An interesting industry that is basically less than 20 years old and fast growing in Russia, is information technology. Information technology activities and markets are mainly concentrated in Russia’s two biggest cities, Moscow and Saint Petersburg, and areas around them. The information technology industry in the Saint Petersburg area, although smaller than Moscow, is especially dynamic and is gaining increasing foreign company presence. However, the industry is not yet internationally competitive as it lacks substantial and sustainable competitive advantages. The industry is also merely a potential global information technology cluster, as it lacks the competitive edge and a wide supplier and manufacturing base and other related parts of the whole information technology value system. Alone, the industry will not become a key industry in Russia, but it will, on the other hand, have an important supporting role for the development of other industries. The information technology market in the Saint Petersburg area is already large and if more tightly integrated to Moscow, they will together form a huge and still growing market sufficient for most companies operating in Russia currently and in the future. Therefore, the potential of information technology inside Russia is immense.
Resumo:
The main target of the study was to examine how Fortum’s tax reporting system could be developed in a way that it collects required information which is also easily transferable to the financial statements. This included examining disclosure requirements for income taxes under IFRS and US GAAP. By benchmarking some Finnish, European and US companies the purpose was to get perspective in what extend they present their tax information in their financial statements. Also material weakness, its existence, was under examination. The research method was qualitative, descriptive and normative. The research material included articles and literature of the tax reporting and standards relating to it. The interviews made had a notable significance. The study pointed out that Fortum’s tax reporting is in good shape and it does not require big changes. The biggest renewal of the tax reporting system is that there is only one model for all Fortum’s companies. It is also more automated, quicker, and more efficient and it reminds more the notes in its shape. In addition it has more internal controls to improve quality and efficiency of the reporting process.
Resumo:
Toimintolaskennasta on tehty runsaasti tutkimuksia suuriin teollisuusyrityksiin, mutta pienille palveluyrityksille tehtyjä toimintolaskennan julkaistuja tutkimuksia on vähän. Tämän tutkimuksen tavoitteena oli tutkia toimintolaskennan soveltuvuutta pienen kiinteistönhuoltoyrityksen kustannuslaskentaan sekä rakentaa alustava toimintolaskentaan pohjautuva asiakas-kustannusten laskentamalli ja testata luotua mallia työaikaseurannan avulla. Tutkimuksen teoriaosassa on perehdytty toimintolaskennan kehitysvaiheisiin ja nykytilaan sekä kuvattu toimintolaskentaprosessin eteneminen käyttöönoton valmistelusta aina laskentatietojen hyväksikäyttöön saakka. Tutkimuksen empiriaosuus etenee edellä mainittuun teoriaan pohjautuen. Teoria- ja empiriaosuuden perusteella voidaan todeta, että kuukausi ei ole riittävän pitkä aika kattavaan seurantaan kiinteistönhuollon toiminnoista, koska vuodenaikojen vaihtelu aiheuttaa suuria muutoksia tehtäviin toimintoihin. Rakennetun laskentamallin ja toteutetun seurannan tulosten perusteella voidaan siitä huolimatta todeta, että toimintolaskentaan pohjautuva kustannusten laskentamalli tuottaa lisäarvoa kiinteistönhuollon asiakaskustannusten määrittelyssä.
Resumo:
Understanding and quantifying seismic energy dissipation, which manifests itself in terms of velocity dispersion and attenuation, in fluid-saturated porous rocks is of considerable interest, since it offers the perspective of extracting information with regard to the elastic and hydraulic rock properties. There is increasing evidence to suggest that wave-induced fluid flow, or simply WIFF, is the dominant underlying physical mechanism governing these phenomena throughout the seismic, sonic, and ultrasonic frequency ranges. This mechanism, which can prevail at the microscopic, mesoscopic, and macroscopic scale ranges, operates through viscous energy dissipation in response to fluid pressure gradients and inertial effects induced by the passing wavefield. In the first part of this thesis, we present an analysis of broad-band multi-frequency sonic log data from a borehole penetrating water-saturated unconsolidated glacio-fluvial sediments. An inherent complication arising in the interpretation of the observed P-wave attenuation and velocity dispersion is, however, that the relative importance of WIFF at the various scales is unknown and difficult to unravel. An important generic result of our work is that the levels of attenuation and velocity dispersion due to the presence of mesoscopic heterogeneities in water-saturated unconsolidated clastic sediments are expected to be largely negligible. Conversely, WIFF at the macroscopic scale allows for explaining most of the considered data while refinements provided by including WIFF at the microscopic scale in the analysis are locally meaningful. Using a Monte-Carlo-type inversion approach, we compare the capability of the different models describing WIFF at the macroscopic and microscopic scales with regard to their ability to constrain the dry frame elastic moduli and the permeability as well as their local probability distribution. In the second part of this thesis, we explore the issue of determining the size of a representative elementary volume (REV) arising in the numerical upscaling procedures of effective seismic velocity dispersion and attenuation of heterogeneous media. To this end, we focus on a set of idealized synthetic rock samples characterized by the presence of layers, fractures or patchy saturation in the mesocopic scale range. These scenarios are highly pertinent because they tend to be associated with very high levels of velocity dispersion and attenuation caused by WIFF in the mesoscopic scale range. The problem of determining the REV size for generic heterogeneous rocks is extremely complex and entirely unexplored in the given context. In this pilot study, we have therefore focused on periodic media, which assures the inherent self- similarity of the considered samples regardless of their size and thus simplifies the problem to a systematic analysis of the dependence of the REV size on the applied boundary conditions in the numerical simulations. Our results demonstrate that boundary condition effects are absent for layered media and negligible in the presence of patchy saturation, thus resulting in minimum REV sizes. Conversely, strong boundary condition effects arise in the presence of a periodic distribution of finite-length fractures, thus leading to large REV sizes. In the third part of the thesis, we propose a novel effective poroelastic model for periodic media characterized by mesoscopic layering, which accounts for WIFF at both the macroscopic and mesoscopic scales as well as for the anisotropy associated with the layering. Correspondingly, this model correctly predicts the existence of the fast and slow P-waves as well as quasi and pure S-waves for any direction of wave propagation as long as the corresponding wavelengths are much larger than the layer thicknesses. The primary motivation for this work is that, for formations of intermediate to high permeability, such as, for example, unconsolidated sediments, clean sandstones, or fractured rocks, these two WIFF mechanisms may prevail at similar frequencies. This scenario, which can be expected rather common, cannot be accounted for by existing models for layered porous media. Comparisons of analytical solutions of the P- and S-wave phase velocities and inverse quality factors for wave propagation perpendicular to the layering with those obtained from numerical simulations based on a ID finite-element solution of the poroelastic equations of motion show very good agreement as long as the assumption of long wavelengths remains valid. A limitation of the proposed model is its inability to account for inertial effects in mesoscopic WIFF when both WIFF mechanisms prevail at similar frequencies. Our results do, however, also indicate that the associated error is likely to be relatively small, as, even at frequencies at which both inertial and scattering effects are expected to be at play, the proposed model provides a solution that is remarkably close to its numerical benchmark. -- Comprendre et pouvoir quantifier la dissipation d'énergie sismique qui se traduit par la dispersion et l'atténuation des vitesses dans les roches poreuses et saturées en fluide est un intérêt primordial pour obtenir des informations à propos des propriétés élastique et hydraulique des roches en question. De plus en plus d'études montrent que le déplacement relatif du fluide par rapport au solide induit par le passage de l'onde (wave induced fluid flow en anglais, dont on gardera ici l'abréviation largement utilisée, WIFF), représente le principal mécanisme physique qui régit ces phénomènes, pour la gamme des fréquences sismiques, sonique et jusqu'à l'ultrasonique. Ce mécanisme, qui prédomine aux échelles microscopique, mésoscopique et macroscopique, est lié à la dissipation d'énergie visqueuse résultant des gradients de pression de fluide et des effets inertiels induits par le passage du champ d'onde. Dans la première partie de cette thèse, nous présentons une analyse de données de diagraphie acoustique à large bande et multifréquences, issues d'un forage réalisé dans des sédiments glaciaux-fluviaux, non-consolidés et saturés en eau. La difficulté inhérente à l'interprétation de l'atténuation et de la dispersion des vitesses des ondes P observées, est que l'importance des WIFF aux différentes échelles est inconnue et difficile à quantifier. Notre étude montre que l'on peut négliger le taux d'atténuation et de dispersion des vitesses dû à la présence d'hétérogénéités à l'échelle mésoscopique dans des sédiments clastiques, non- consolidés et saturés en eau. A l'inverse, les WIFF à l'échelle macroscopique expliquent la plupart des données, tandis que les précisions apportées par les WIFF à l'échelle microscopique sont localement significatives. En utilisant une méthode d'inversion du type Monte-Carlo, nous avons comparé, pour les deux modèles WIFF aux échelles macroscopique et microscopique, leur capacité à contraindre les modules élastiques de la matrice sèche et la perméabilité ainsi que leur distribution de probabilité locale. Dans une seconde partie de cette thèse, nous cherchons une solution pour déterminer la dimension d'un volume élémentaire représentatif (noté VER). Cette problématique se pose dans les procédures numériques de changement d'échelle pour déterminer l'atténuation effective et la dispersion effective de la vitesse sismique dans un milieu hétérogène. Pour ce faire, nous nous concentrons sur un ensemble d'échantillons de roches synthétiques idéalisés incluant des strates, des fissures, ou une saturation partielle à l'échelle mésoscopique. Ces scénarios sont hautement pertinents, car ils sont associés à un taux très élevé d'atténuation et de dispersion des vitesses causé par les WIFF à l'échelle mésoscopique. L'enjeu de déterminer la dimension d'un VER pour une roche hétérogène est très complexe et encore inexploré dans le contexte actuel. Dans cette étude-pilote, nous nous focalisons sur des milieux périodiques, qui assurent l'autosimilarité des échantillons considérés indépendamment de leur taille. Ainsi, nous simplifions le problème à une analyse systématique de la dépendance de la dimension des VER aux conditions aux limites appliquées. Nos résultats indiquent que les effets des conditions aux limites sont absents pour un milieu stratifié, et négligeables pour un milieu à saturation partielle : cela résultant à des dimensions petites des VER. Au contraire, de forts effets des conditions aux limites apparaissent dans les milieux présentant une distribution périodique de fissures de taille finie : cela conduisant à de grandes dimensions des VER. Dans la troisième partie de cette thèse, nous proposons un nouveau modèle poro- élastique effectif, pour les milieux périodiques caractérisés par une stratification mésoscopique, qui prendra en compte les WIFF à la fois aux échelles mésoscopique et macroscopique, ainsi que l'anisotropie associée à ces strates. Ce modèle prédit alors avec exactitude l'existence des ondes P rapides et lentes ainsi que les quasis et pures ondes S, pour toutes les directions de propagation de l'onde, tant que la longueur d'onde correspondante est bien plus grande que l'épaisseur de la strate. L'intérêt principal de ce travail est que, pour les formations à perméabilité moyenne à élevée, comme, par exemple, les sédiments non- consolidés, les grès ou encore les roches fissurées, ces deux mécanismes d'WIFF peuvent avoir lieu à des fréquences similaires. Or, ce scénario, qui est assez commun, n'est pas décrit par les modèles existants pour les milieux poreux stratifiés. Les comparaisons des solutions analytiques des vitesses des ondes P et S et de l'atténuation de la propagation des ondes perpendiculaires à la stratification, avec les solutions obtenues à partir de simulations numériques en éléments finis, fondées sur une solution obtenue en 1D des équations poro- élastiques, montrent un très bon accord, tant que l'hypothèse des grandes longueurs d'onde reste valable. Il y a cependant une limitation de ce modèle qui est liée à son incapacité à prendre en compte les effets inertiels dans les WIFF mésoscopiques quand les deux mécanismes d'WIFF prédominent à des fréquences similaires. Néanmoins, nos résultats montrent aussi que l'erreur associée est relativement faible, même à des fréquences à laquelle sont attendus les deux effets d'inertie et de diffusion, indiquant que le modèle proposé fournit une solution qui est remarquablement proche de sa référence numérique.
Resumo:
BACKGROUND: Inflammatory Bowel Disease (IBD) patients are confronted with needs and concerns related to their disease. AIM: To explore information expectations of patients included in a national bilingual IBD cohort in Switzerland (SIBDC). METHODS: This is a mixed-methods study, comprising 1) a semi-narrative survey sent to 1506 patients from the SIBDC and 2) two focus groups conducted with 14 patients to explore and assess the relevance of the survey's findings. Data collected within the framework of the SIBDC was used to characterize survey's responders. RESULTS: 728 patients (48%) replied to the survey: 52.5% females, 56% Crohn's disease (CD), 87% secondary/tertiary level educated, 70% full/part-time employed. On average, 47% of patients sought for information, regardless of the disease stage; 27% of them were dissatisfied with information received at the time of first symptoms. During flares, 43% were concerned about drugs and therapies; in remission, 57% had concerns on research and developments; 27% searched for information linked to daily disease management. Information-seeking increased when active disease, for CD with high levels of perceived stress (OR = 2.47; p = 0.003), and for all with higher posttraumatic stress symptoms. The focus groups confirmed a perceived lack of information about general functioning, disease course, treatments and their risks, extra-intestinal symptoms and manifestations. CONCLUSIONS: Information remains insufficient for IBD patients. Lack of information in specific domains can potentially cause stress and hinder detection of symptoms. Better information should be considered as a potentially important component in improving patients' outcomes in IBD.
Resumo:
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
Resumo:
Kiristyvät markkinat ajavat yritykset tehostamaan toimintaansa. Suorituskyvyn mittaaminen on jo olennainen osa suomalaista yrityskulttuuria. Mittaamisen päätehtävä on tuottaa yritysjohdolle relevanttia informaatiota yrityksen tilasta ja auttaa valvomaan ja kehittämään toimintaa. Tämän tutkimuksen kohteena on palvelukonsernin Iiiketoimintayksikön suorituskyvyn mittaaminen. Tutkimuksen päätavoitteina on 1. valita palvelukonsernin liiketoimintayksikölle sopiva suorituskyvyn mittausjärjestelmä, 2. valita käytännöllinen implementointimalli sekä 3. laatia suorituskykymittaristo palvelukonsernin liiketoimintayksikölle. Tämä tutkimus jakautuu kahteen vaiheeseen. Ensimmäisessä vaiheessa tutkimuksen kohteena on suorituskyvyn teoria ja neljä erilaista mittausmenetelmää, joista valitaan yksi Iiiketoimintayksikön suorituskyvyn mittausjärjestelmäksi sekä syvempää tarkastelua varten. Tutkimuksen toisessa vaiheessa tutkitaan valitun mittausjärjestelmän ominaisuuksia strategisena johtamisjärjestelmänä sekä sen implementointimalleja. Toisen vaiheen keskeisin tutkimusosuus on suorituskykymittausjärjestelmän laadinta. Työn lopputuloksena syntyy palvelukonsernin Iiiketoimintayksikön suorituskyvyn mittausjärjestelmä sekä jatkotoimenpide-ehdotus Balanced Scorecardin laajentamiseksi Iiiketoimialan ohjausjärjestelmäksi.
Resumo:
In this thesis I argue that the psychological study of concepts and categorisation, and the philosophical study of reference are deeply intertwined. I propose that semantic intuitions are a variety of categorisation judgements, determined by concepts, and that because of this, concepts determine reference. I defend a dual theory of natural kind concepts, according to which natural kind concepts have distinct semantic cores and non-semantic identification procedures. Drawing on psychological essentialism, I suggest that the cores consist of externalistic placeholder essence beliefs. The identification procedures, in turn, consist of prototypes, sets of exemplars, or possibly also theory-structured beliefs. I argue that the dual theory is motivated both by experimental data and theoretical considerations. The thesis consists of three interrelated articles. Article I examines philosophical causal and description theories of natural kind term reference, and argues that they involve, or need to involve, certain psychological elements. I propose a unified theory of natural kind term reference, built on the psychology of concepts. Article II presents two semantic adaptations of psychological essentialism, one of which is a strict externalistic Kripkean-Putnamian theory, while the other is a hybrid account, according to which natural kind terms are ambiguous between internalistic and externalistic senses. We present two experiments, the results of which support the strict externalistic theory. Article III examines Fodor’s influential atomistic theory of concepts, according to which no psychological capacities associated with concepts constitute them, or are necessary for reference. I argue, contra Fodor, that the psychological mechanisms are necessary for reference.