59 resultados para unlabeled Kripke structure
Resumo:
This thesis presents a novel application of x-ray Compton scattering to structural studies of molecular liquids. Systematic Compton-scattering experiments on water have been carried out with unprecedented accuracy at third-generation synchrotron-radiation laboratories. The experiments focused on temperature effects in water, the water-to-ice phase transition, quantum isotope effects, and ion hydration. The experimental data is interpreted by comparison with both model computations and ab initio molecular-dynamics simulations. Accordingly, Compton scattering is found to provide unique intra- and intermolecular structural information. This thesis thus demonstrates the complementarity of the technique to traditional real-space probes for studies on the local structure of water and, more generally, molecular liquids.
Resumo:
Many languages exploit suprasegmental devices in signaling word meaning. Tone languages exploit fundamental frequency whereas quantity languages rely on segmental durations to distinguish otherwise similar words. Traditionally, duration and tone have been taken as mutually exclusive. However, some evidence suggests that, in addition to durational cues, phonological quantity is associated with and co-signaled by changes in fundamental frequency in quantity languages such as Finnish, Estonian, and Serbo-Croat. The results from the present experiment show that the structure of disyllabic word stems in Finnish are indeed signaled tonally and that the phonological length of the stressed syllable is further tonally distinguished within the disyllabic sequence. The results further indicate that the observed association of tone and duration in perception is systematically exploited in speech production in Finnish.
Resumo:
Hantaviruses, members of the genus Hantavirus in the Bunyaviridae family, are enveloped single-stranded RNA viruses with tri-segmented genome of negative polarity. In humans, hantaviruses cause two diseases, hemorrhagic fever with renal syndrome (HFRS) and hantavirus pulmonary syndrome (HPS), which vary in severity depending on the causative agent. Each hantavirus is carried by a specific rodent host and is transmitted to humans through excreta of infected rodents. The genome of hantaviruses encodes four structural proteins: the nucleocapsid protein (N), the glycoproteins (Gn and Gc), and the polymerase (L) and also the nonstructural protein (NSs). This thesis deals with the functional characterization of hantavirus N protein with regard to its structure. Structural studies of the N protein have progressed slowly and the crystal structure of the whole protein is still not available, therefore biochemical assays coupled with bioinformatical modeling proved essential for studying N protein structure and functions. Presumably, during RNA encapsidation, the N protein first forms intermediate trimers and then oligomers. First, we investigated the role of N-terminal domain in the N protein oligomerization. The results suggested that the N-terminal region of the N protein forms a coiled-coil, in which two antiparallel alpha helices interact via their hydrophobic seams. Hydrophobic residues L4, I11, L18, L25 and V32 in the first helix and L44, V51, L58 and L65 in the second helix were crucial for stabilizing the structure. The results were consistent with the head-to-head, tail-to-tail model for hantavirus N protein trimerization. We demonstrated that an intact coiled-coil structure of the N terminus is crucial for the oligomerization capacity of the N protein. We also added new details to the head-to-head, tail-to-tail model of trimerization by suggesting that the initial step is based on interaction(s) between intact intra-molecular coiled-coils of the monomers. We further analyzed the importance of charged aa residues located within the coiled-coil for the N protein oligomerization. To predict the interacting surfaces of the monomers we used an upgraded in silico model of the coiled-coil domain that was docked into a trimer. Next the predicted target residues were mutated. The results obtained using the mammalian two-hybrid assay suggested that conserved charged aa residues within the coiled-coil make a substantial contribution to the N protein oligomerization. This contribution probably involves the formation of interacting surfaces of the N monomers and also stabilization of the coiled-coil via intramolecular ionic bridging. We proposed that the tips of the coiled-coils are the first to come into direct contact and thus initiate tight packing of the three monomers into a compact structure. This was in agreement with the previous results showing that an increase in ionic strength abolished the interaction between N protein molecules. We also showed that residues having the strongest effect on the N protein oligomerization are not scattered randomly throughout the coiled-coil 3D model structure, but form clusters. Next we found evidence for the hantaviral N protein interaction with the cytoplasmic tail of the glycoprotein Gn. In order to study this interaction we used the GST pull-down assay in combination with mutagenesis technique. The results demonstrated that intact, properly folded zinc fingers of the Gn protein cytoplasmic tail as well as the middle domain of the N protein (that includes aa residues 80 248 and supposedly carries the RNA-binding domain) are essential for the interaction. Since hantaviruses do not have a matrix protein that mediates the packaging of the viral RNA in other negatve stranded viruses (NSRV), hantaviral RNPs should be involved in a direct interaction with the intraviral domains of the envelope-embedded glycoproteins. By showing the N-Gn interaction we provided the evidence for one of the crucial steps in the virus replication at which RNPs are directed to the site of the virus assembly. Finally we started analysis of the N protein RNA-binding region, which is supposedly located in the middle domain of the N protein molecule. We developed a model for the initial step of RNA-binding by the hantaviral N protein. We hypothesized that the hantaviral N protein possesses two secondary structure elements that initiate the RNA encapsidation. The results suggest that amino acid residues (172-176) presumably act as a hook to catch vRNA and that the positively charged interaction surface (aa residues 144-160) enhances the initial N-RNA interacation. In conclusion, we elucidated new functions of hantavirus N protein. Using in silico modeling we predicted the domain structure of the protein and using experimental techniques showed that each domain is responsible for executing certain function(s). We showed that intact N terminal coiled-coil domain is crucial for oligomerization and charged residues located on its surface form a interaction surface for the N monomers. The middle domain is essential for interaction with the cytoplasmic tail of the Gn protein and RNA binding.
Resumo:
Evidence is reported for a narrow structure near the $J/\psi\phi$ threshold in exclusive $B^+\to J/\psi\phi K^+$ decays produced in $\bar{p} p $ collisions at $\sqrt{s}=1.96 \TeV$. A signal of $14\pm5$ events, with statistical significance in excess of 3.8 standard deviations, is observed in a data sample corresponding to an integrated luminosity of $2.7 \ifb$, collected by the CDF II detector. The mass and natural width of the structure are measured to be $4143.0\pm2.9(\mathrm{stat})\pm1.2(\mathrm{syst}) \MeVcc$ and $11.7^{+8.3}_{-5.0}(\mathrm{stat})\pm3.7(\mathrm{syst}) \MeVcc$.
Resumo:
The aim of the current study is to examine the influence of the channel external environment on power, and the effect of power on the distribution network structure within the People’s Republic of China. Throughout the study a dual research process was applied. The theory was constructed by elaborating the main theoretical premises of the study, the channel power theories, the political economy framework and the distribution network structure, but these marketing channel concepts were expanded with other perspectives from other disciplines. The main method applied was a survey conducted among 164 Chinese retailers, complemented by interviews, photographs, observations and census data from the field. This multi-method approach enabled not only to validate and triangulate the quantitative results, but to uncover serendipitous findings as well. The theoretical contribution of the current study to the theory of marketing channels power is the different view it takes on power. First, earlier power studies have taken the producer perspective, whereas the current study also includes a distributor perspective to the discussion. Second, many power studies have dealt with strongly dependent relationships, whereas the current study examines loosely dependent relationships. Power is dependent on unequal distribution of resources rather than based on high dependency. The benefit of this view is in realising that power resources and power strategies are separate concepts. The empirical material of the current study confirmed that at least some resources were significantly related to power strategies. The study showed that the dimension resources composed of technology, know-how and knowledge, managerial freedom and reputation was significantly related to non-coercive power. Third, the notion of different outcomes of power is a contribution of this study to the channels power theory even though not confirmed by the empirical results. Fourth, it was proposed that channel external environment other than the resources would also contribute to the channel power. These propositions were partially supported thus providing only partial contribution to the channel power theory. Finally, power was equally distributed among the different types of actors. The findings from the qualitative data suggest that different types of retailers can be classified according to the meaning the actors put into their business. Some are more business oriented, for others retailing is the only way to earn a living. The findings also suggest that in some actors both retailing and wholesaling functions emerge, and this has implications for the marketing channels structure.
Resumo:
The major changes that have been witnessed in today's workplaces are challenging the mental well-being of employed people. Stress and burnout are considered to be modern epidemics, and their importance to physical health and work ability has been acknowledged world-wide. The aim of the thesis was to study the concept of burnout as a process proceeding from its antecedents, through the development of the syndrome, and to its outcomes. Several work-related factors considered antecedents of burnout were studied in different occupational groups. The syndrome of burnout is seen as consisting of three dimensions - exhaustion, cynicism and lack of professional efficacy - and different alternatives for the sequential development of these dimensions were tested. Furthermore, several indicators of the severely detrimental health and work ability outcomes of burnout were investigated in a longitudinal study design. The research questions were as follows. 1) Is burnout, as measured with the Maslach Burnout Inventory - General Survey (MBI-GS), a three-dimensional construct and how invariant is the factorial structure across occupations (Finnish) and national samples (Finnish, Swedish and Dutch)? How persistent is exhaustion over time? 2) What is the sequential process of burnout? Is it similar across occupations? How do work stressors relate to the process? 3) How does burnout relate to severe health consequences as well as temporary and chronic work disability according to hospitalization periods, sick-leave episodes and receiving disability pensions? The data were collected between 1986 and 2005. The population of the study consisted of respondents to a company-wide questionnaire survey carried out in 1996-1997 (N=9705, response rate 63%). The participants comprised 6025 blue-collar workers and 3680 white-collar workers. The majority were men (N=7494) and the average age was 43.7 years. In addition, a sample from the population had responded to a questionnaire survey in 1988, which was combined with the 1996 data to form panel data on 713 respondents. The register-based data were collected between 1986 and 2005 from 1) the company's occupational health services' records for a sample of respondents from the 1996 questionnaire survey (sick-leave data), 2) hospitalization records from the Hospital discharge register, and 3) disability pension records from the Finnish Centre for Pensions. These data were combined person by person with the 1996 questionnaire survey data with the help of personal identification numbers which were saved with the study numbers by the researchers. The results showed that burnout consists of three separate but correlating symptoms: exhaustion, cynicism and lack of professional efficacy. As a syndrome, burnout was strongly related to job stressors at work, and seemed to develop from exhaustion through cynicism to lack of professional efficacy in a similar manner among white-collar and blue-collar employees. The results also showed that exhaustion persisted even after eight years of follow-up but did not predict cynicism or lack of professional efficacy after that amount of time. Nor were job stressors longitudinally related to burnout. Longitudinal results were obtained for the severe health-related consequences of burnout. The investigated outcomes represented different phases of health deterioration ranging from sick-leaves and hospitalization periods to receiving work disability pensions. The results showed that burnout syndrome, and its elements of exhaustion and cynicism, were related to future mental and cardiovascular disorders as indicated by hospitalization periods. Burnout was also related to future sick-leave periods due to mental, cardiovascular and musculoskeletal disorders. Of the separate elements, exhaustion was related to the same three categories of disorder, cynicism to mental, musculoskeletal and digestive disorders, and lack of professional efficacy to mental and musculoskeletal disorders. Burnout also predicted receiving disability pensions due to mental and musculoskeletal disorders among initially healthy subjects. Exhaustion was related to receiving disability pensions even when self-reported chronic illness was taken into account. The results suggest that burnout is a multidimensional, chronic, work-related syndrome, which may have serious consequences for health and work ability.
Resumo:
A comparison of microsite occupancy and the spatial structure of regeneration in three areas of late-successional Norway spruce dominated forest. Pallas-Ylläs is understood to have been influenced only by small-scale disturbance; Dvina-Pinega has had sporadic larger-scale disturbances; Kazkim has been affected by fire. All spruce and birch trees with diameter at breast height (DBH) ?10 cm were mapped in five stands on 40 m x 400 m transects, and those with DBH < 10 cm on 2 or 4 m x 400 m subplots. Microsite type was inventoried at 1m intervals along the centre line and for each tree with DBH < 10 cm. At all study areas small seedlings (h < 0.3 m, DBH < 10 cm) preferentially occupied disturbed microsites. In contrast, spruce saplings (h ? 1.3 m, DBH <10 cm) at all study areas showed less, or no, preference. At Pallas-Ylläs spruce seedlings (h < 1.3 m, DBH < 10 cm) and saplings (h ? 1.3 m, DBH < 10 cm) exhibited spatial correlation at scales from 32-52 m. At Dvina-Pinega saplings of both spruce and birch exhibited spatial correlation at scales from 32-81 m. At Kazkim spatial correlation of seedlings and saplings of both species was exhibited over variable distances. No spatial cross-correlation was found between overstorey basal area (DBH ? 10 cm) and regeneration (h ? 1.3 m, DBH < 10 cm) at any study area. The results confirm the importance of disturbed microsites for seedling establishment, but suggest that undisturbed microsites may sometimes be more advantageous for long-term tree survival. The regeneration gap concept may not be useful in describing the regeneration dynamics of late-successional boreal forests.