Presently, the competitions between enterprises and cooperation are very intense. Being able to ensure and exploit human resources is one of the main promises to success. However, the question of how to ensure human resources is also one of the hardest problems faced by cooperation. Whether or not the employees have demonstrated all their abilities, or whether the separation is rising. These are all questions that the manager will have to confront. A high separation is a lost of the company. Document research showed that employees who have higher organizational commitment have a lower tendency to resign. This research discussed the variables that affected organizational commitment. It surveyed Chinese and Taiwanese employees in Taiwanese-owned companies in Guang-Dong Province. Using promotional justice, salary justice, and performance evaluation (three branches: result evaluation, award evaluation, and improvement evaluation) as independent variables to regression analysis Taiwanese business¡¦s performance management and its effects on Chinese employees¡¦ organizational commitment. Most of the specialists of organizational behavior put personal values and personal character as one of the variables that affect organizational commitment. Thus, this research set personal values and personal character as the adjusting factors. The results were that some personal values and personal character interacted with each other and raised the employees¡¦ organizational commitment. The interactions between promotional justice, salary justice, and adjusting factors were most explicit, and had the greatest effect on employees¡¦ organizational commitment.

The inflation that Taiwan encountered in the 80ies made it difficult for many Taiwan companies to gain profit from their production or make a break-trough in production technology. In addition, due to the increase of labor cost and environmental cost, as well as new policies and issues regarding global trading and custom, many of them have reduced or cut their production lines when the production conditions have become worse and worse. In search of better utilization of existing production resource, facilities and lower labor cost, some of the Taiwan companies have moved their factories to Vietnam. And that brings up two issues that managers have to deal with, which is whether or not the local workforce can work efficiently and whether the turnover rate is too high. A high separation is a lost of company. Document research showed that employees who have higher performance evaluation have a lower turnover intension to resign. This research discussed the variables that affected organizational commitment. It surveyed Vietnamese and Taiwanese employees in Taiwanese-owned companies in Vietnam¡]Ho Chi Minh City¡^. Using promotional justice, salary justice, and management justice (three branches: result evaluation, award evaluation, and improvement valuation) as independent variables to regression analysis Taiwanese business¡¦s management justice and its effects on Chinese employees turnover intension. Most of the specialists of organization behavior put personal values and personal character as one of the variables that affect turnover intension. Thus, this research set personal values and personal character as the adjusting factors. The results were that some personal values and personal character interacted with each other and lower the employees¡¦ turnover intension.

<p>The building sector is a major contributor to theenvironmental loads generated by the society. The recognitionof this fact by the sector and a general strive toward asustainable society have lead to afocus on different toolsthat can be used to enhance the environmental performance ofthe sector and the society. Life Cycle Assessment (LCA) is oneof these tools. The LCA methodology was initially developed forassessments of short-lived consumer products. The increasinginterest in using the LCA methodology in the context of thebuilding sector has initiated a development of the methodologyto be able to consider the specific characteristics andconsiderations of the building sector. These are specific forthe building sector, but not always unique. Examples ofcharacteristics and considerations are: that each building isunique, the functional output is not always a physical productbut rather a service, the long service lives of buildings.These have implications on several elements in the LCAmethodology. The influenced elements that are dealt with inthis thesis are in particular the modeling of the system, thefunctional unit, boundary setting, life cycle scenarios,scenarios and inventory of the usage phase and allocationprocedures.</p><p>Buildings and constructions are commonly not static systems.The systems are rather dynamic in the sense that the systemwill provide different services based on the same physicalstructure during its service life. To be able to model thedynamic system sequential life cycle thinking is introduced anda list of topics is derived. The list of topics is a structuredpresentation of issues that are of interest in the pursuit of aflexible LCA methodology. The goal is to find out if amethodological approach is suitable for modeling dynamicsystems with a functional unit that is based on the providedservice rather than the physical building.</p><p>Boundary setting, life cycle scenarios, allocationprocedures, predicted service life and the modelling of theusage phase are all elements of the LCA methodology that havean potential to influence the result of an LCA in a significantway. The magnitude of the potential influence has beenmonitored based on the results of three case studies, whichhave been elaborated further to be able to estimate themagnitude of the potential influence.</p><p>There is a multitude of available allocation procedurespresented and used in different contexts. The procedures aredeveloped based on different considerations and with differentintended applications. Two alternative allocation proceduresare presented in this thesis. The first is a proceduredeveloped with multi recyclable materials in mind and it isbased on the recyclability of materials and products. Thesecond procedure is quite recently developed and it is based ona combination of economic parameters and recyclability.</p><p>The importance of the usage phase for buildings andconstructions has previously been recognised. The maincontributors to the environmental loads generated during theusage phase are energy use, maintenance and emissions fromproducts. It is, however, not very common to consider the usagephase in assessments conducted on materials and components,even though it is stipulated in e.g. ISO 14025 that the wholelife cycle should be considered. A proposal of a model toestimate the environmental loads is, therefore, presented.</p><p><b>Keywords:</b>Life cycle assessment, Building materials andcomponents, Buildings and constructions, Allocation, Resultvariation, Usage phase, Energy demand</p>

The aim of this study was to analyze the assessment of the national tests seen from the teacher’s perspective. The national tests are performed in the Swedish school, classes 3, 5, 9, and the upper secondary school (gymnasiet). There has been an ongoing discussion regarding assessment and grading for a long time and it is of high interest now more than ever. The last control assessment done in 2009 by the department of school inspections on the order of the Swedish government, showed big differences between the assessments done by the teachers, and the assessments completed by the department of school inspections. In order to get a good picture of how the teachers are experiencing the execution and assessment of the national tests we interviewed six teachers from the classes that are performing the test. The questions that this study is based on are:  Do the interviewed teachers experience that the basis for assessing the national test is at risk for arbitrary interpretation and hence become unjust and misjudged? Is the professional role of the teacher influenced by the results the students are getting on the national tests? Do the interviewed teachers experience pressure from the head of the school that the students are expected to grade high at the national tests? Lev S Vygotskij, John Dewey, and Howard Gardner have in their research influenced large parts of the daily activity in the Swedish schools. By studying children’s development they suggest several approaches for the students to develop their skills. Korp discuss in hers thesis the inequity that many times occurs in the assessment of the national test in Swedish schools. The results of this study showed that the interviewed teachers were comfortable with the instructions for execution and assessment of the national test. In addition, they also were of the opinion that independent assessment could be more just. However, one issue raised against the independent assessment is that the student the does not have the option of explaining an unclear answer to a question to the assessing teacher. This would not be of benefit for the student which has also been shown in literature and research.

Static program analysis is a core technology for both verifying and finding errors in programs but most static analyzers are complex pieces of software that are not without error. A Static analysis formalised as an abstract interpreter can be proved sound, however such proofs are significantly harder to do on the actual implementation of an analyser. To alleviate this problem we propose to generate Verification Conditions (VCs, formulae valid only if the results of the analyser are correct) and to discharge them using an Automated Theorem Prover (ATP). We generate formulae in Many-Sorted First-Order Logic (MSFOL), a logic that has been successfully used in deductive program verification. MSFOL is expressive enough to describe the results of complex analyses and to formalise the operational semantics of object-oriented languages. Using the same logic for both tasks allows us to prove the soundness of the VC generator using deductive verification tools. To ensure that VCs can be automatically discharged for complex analyses of the heap, we introduce a VC calculus that produces formulae belonging to a decidable fragment of MSFOL. Furthermore, to be able to certify different analyses with the same calculus, we describe a family of analyses with a parametric concretisation function and instrumentation of the semantics. To improve the reliability of ATPs, we also studied the result certification of Satisfiability Modulo Theory solvers, a family of ATPs dedicated to MSFOL. We propose a modular proof-system and a modular proof-verifier programmed and proved correct in Coq, that rely on exchangeable verifiers for each of the underlying theories.

Earnings management är ett fenomen som enligt studier har ökat i omfattning under senare tid tack vare förändringar av redovisningsprinciper. Detta har gett företag möjligheten att med ökad subjektivitet bedöma värdet på sina tillgångar, vilket kan utnyttjas för att manipulera redovisning och justera resultat i önskad riktning. Den här studien syftar primärt till att undersöka om det finns ett samband mellan variablerna earnings management och pressade resultat bland de noterade bolagen på Nasdaq OMX Stockholm, även kallad “Stockholmsbörsen”. Det sekundära syftet är att undersöka om detta eventuella samband är vanligare förekommande bland mindre företag samt om någon bransch är överrepresenterad. En kvantitativ metod har använts där data från bolagens årsredovisningar har hämtats och sedan granskats. Efter det har en analytisk generalisering gjorts av resultaten som visar på att företag i större utsträckning tenderar att bedriva earnings management under perioder där de upplever pressade resultat, i motsats till perioder där de upplever normala resultat. Studien visar också att detta inte är vanligare förekommande på någon speciell börslista eller inom någon specifik bransch, utan att företagen är representerade i likvärdig utsträckning. I studien visade det sig att ett vanligt verktyg för att bedriva earnings management är att göra stora engångsnedskrivningar av goodwill. Detta möjliggjordes år 2005 då IFRS 13 infördes i EU, vilket resulterade i att goodwillposten årligen nedskrivningsprövas istället för att som tidigare avskrivas planmässigt. En kritisk diskussion förs med slutsatsen att resultaten är delvis applicerbara på den studerade populationen och säger något om närliggande fall. Slutligen diskuteras studiens bidrag där konklusionen är att resultaten adderar till samt stärker tidigare forskning. / Earnings management is a phenomenon whose scope of usage has expanded in recent time due to changes in accounting principles, according to studies. These changes have given companies the possibility to use subjective judgment to a higher degree when valuing their assets. This can be utilized to manipulate accounts and tweak results in desired direction. The purpose of this study is primarily to investigate if there is a connection between the variables earnings management and pressured results among the listed companies on Nasdaq OMX Stockholm, also knowned as “Stockholmsbörsen”. The secondary purpose is to investigate if this possible connection is more common among smaller companies and if there is any industry that is overrepresented. A quantitative method has been used where data has been collected from the companies’ websites and later reviewed. An analytic generalization has then been applied on the results that show that companies tend to engage in earnings management in greater magnitude when they are experiencing times with pressured results, in contrary to when they experience times with normal results. The study also shows that it’s not more commonly practiced on any particular stock market list or in some particular industry. The companies are rather equivalently represented along the scope of industries and stock market lists. The study shows that a common tool to engage in earnings management is to make big one time impairments of goodwill. This was made possible 2005 when IFRS 13 was implemented in the EU, which resulted in that the goodwill account where to be impairment tested every year instead of the former principle that used linear depreciation. A critical discussion is held with the conclusion that the results of the study are partly applicable on the studied population and says something about nearby cases. Finally there is a discussion about the contribution of the study with the conclusion that the findings adds something to and strengthens past findings.

Syftet med denna studie är att utifrån ett sociokulturellt perspektiv, få en överblick, samt större förståelse för min egen lärandeprocess i a prima vista-spel. I bakgrundskapitlet beskrivs några metoder och strategier för att utveckla a vista-spel, samt tankesätt kring a vista-spel i dagens musiksamhälle. För att observera min övning i a vista-spel, användes videoinspelningar, loggbok samt självobservation. I övningen användes pedagogiska a vista-träningsböcker samt visböcker, med blandad repertoar. Resultatet visade att användning av redskap såsom; metronom, träningsböcker, kropp, samt noter ledde övningen framåt. God kroppshållning och teknik visade sig också vara avgörande för ett mer säkert a vista-spel. I diskussionsdelen jämförs temaresultat, metronom, material, kroppshållning, omtagningar samt noter med tidigare forskning och litteratur. / The purpose of this study is to observe and understand my learning process in sight-reading from a socio-cultural perspective. The second chapter is about the methods and strategies which can improve sight-reading and about the thoughts of sight-reading by musicians of today. Video recordings and a logbook were used to observe my practice in sight-reading. In this practice pedagogic sight-reading materials and songbooks with a wide repertoire also were used. The result showed that the use of tools like; metronome, work of material, the body, and notes of music improved my practice. For a good result a good posture and technique also proved to be important. In the last chapter my theme results, metronome, material, posture, retakes and notes of music were compared with previous research and literature.

The aim of this study is to generate a grounded theory that explains the content of teachers' and students' work with personal development dialogues and individual development plans using written assessments, all regulated in the national result-oriented curriculum for the Swedish compulsory school. Two secondary schools participated and data was collected on two occasions. Data consists of recorded personal development dialogues, which are informed by written assessments, and copies of the individual development plans written as a conclusion stating agreements between the teacher and student. All data was continuously compared and analyzed by using a grounded theory method. Underpinning the study are the premises of pragmatic philosophy and transactional theory that are assumed to shape the focus of the grounded theory approach and hence of teacher and student transactional strategies. It is argued that teachers' and students' primary concern is to establish result-oriented individualization. This is a means for cooperation in a mutual endeavor to establish improved results, guided by the phases of visible accountability and responsible awareness. By using strategies for planning, guiding, auditing and reflecting, new ways of managing individualization are developed. It is also suggested that a new professional approach has been developed, where teachers and students work in collaborative teams, continuously focusing on improving student results.

Search engines of today are focusing on efficiently and accurately generating search results.Yet, there is much to be explored in the way people interact with the applications and relate to the content. Individuals are commonly unique, with complex preferences, motives and expectations. Not only is it important to be sensitive to these differences, but to accommodate the extremes. Enhancing a search engine does not only rely on technological development, but to explore potential user experiences in broader perspectives - which not only gratifies the needs for information, but supports a diversity of journeys. The aim of the project is to develop an alternate search engine with different functionality based on new values that reflects contemporary needs. The result, Exposeek, is an experiential prototype supporting exploratory browsing based on principles of distributed infrastructure, transparent computation and serendipitous information. Suggestive queries, legible algorithms and augmented results provide additional insights and present an alternative way to seek and peruse the Web. / Search Engines, Interaction Design

Postulamos una estructura sintáctica unitaria para las construcciones con verbos parasintéticos de los tipos a-…-ar y en-…-ar mediante cuatro hipótesis: ambos esquemas verbales tienen una estructura sintáctica básica común en relación con Sv y SV, cuyos núcleos son CAUSE y BECOME, respectivamente; la diferencia entre ambos radica en que, dentro de la escala de afectación (Beavers 2011), en relación con a-…-ar, se especifica (composicionalmente) el estado resultante del tema, mientras que, en relación con en-…-ar, ello no tiene lugar. Proponemos que la afectación es un operador ubicado en una proyección externa a Sv, el cual cuantiza el evento determinando la especificidad del estado resultante para el objeto;y la forma morfológica del operador es a- o en- en caso de que su valor seapositivo o negativo respectivamente. / I postulate an unitary syntactic structure for constructions with a-…-ar and en-…-ar parasynthetic verbs through four hypothesis: both patterns have a common basic syntactic structure regarding vP and VP, whose heads are CAUSE and BECOME,  respectively; the difference between the patterns lies on, within a scale of affectedness (Beavers 2011), the fact that a-…-ar assigns (compositionally) a result state to the theme, while this does not happen with en-…-ar. I claim that affectedness is a binary operator located higher than vP that quantizes the event determining the specificity of the result state for the object; and the morphological form of the operator is a- (if its value is positive) or en- (if its value is negative).