Multi-threading is commonly applied in modern computer programs, bringing many conveniences but also causing concurrency issues. Among the various error debugging tools, Java Pathfinder (JPF) can detect latent errors of multithreaded Java programs through model checking. However, the text-based format of the output trace is hard to read, and previous attempts in visualizing JPF traces show limitations. For long-term development, popular trace analytic platform such as Trace Compass (TC) is extended to adapt to JPF traces. In this thesis, the development of JPF and TC makes it possible to analyze JPF traces on TC with a user interface including visual diagrams. The development solves the conceptual differences between the tools and successfully visualize important trace data. The implementation can help provide a generic approach for analyzing JPF traces with visualization. / Multitrådning används ofta i moderna datorprogram, vilket har många fördelar men kan också orsaka samtidighetsproblem. Bland olika felsökningsverktyg kan Java Pathfinder (JPF) upptäcka latenta fel hos multitrådade Javaprogram genom modellkontroll. Spårningsinformationen i form av text har låg läsbarhet, och tidigare försök att visualsera JPF-spår har visat begränsningar. För långsiktig utveckling har populära spårningsanalysplattformar som Trace Compass (TC) utvidgats för att anpassas till JPF-spår. I examensprojektet gör utvecklingen av JPF och TC det möjligt att analysera JPF-spår på TC med ett användargränssnitt baserat på visuella diagram. Utvecklingen löser den konceptuella skillnaden mellan verktygen och visualiserar spårdata på ett framgångsrikt sätt. Implementeringen bidrar med ett generiskt tillvägagångssätt för att analysera JPF spår med hjälp av visualisering.

Regulation of chromatin by epigenetic modifications is a fundamental step during the control of gene expression in eukaryotic cells. The participation of different factors including histone chaperones, chromatin remodeling complexes and histone-modifying complexes regulate chromatin dynamics and ensure the correct metabolism of transcripts that need to be exported to the cytoplasm. In these lines, post-translational modifications including monoubiquitination of histone H2B (H2Bub1) and methylation of histone H3 represent a well-studied histone cross-talk which is required for chromatin integrity and transcription. Additionally, the transition from H2Bub1 to its deubiquitinated form by Ubp8, the DUB enzyme from SAGA (Spt-Ada-Gcn5-acetyltranferase) co-activator complex, is fundamental to obtain a correct gene expression. In this work, we demonstrate that the histone chaperone Asf1 and the Ran-binding protein Mog1, participate in maintaining correct levels of H2Bub1. We show that Mog1 is required for the trimethylation of histone H3 at lysine 4 (H3K4me3), hence, acting as a modulator of histone cross-talk. Mog1 role into gene expression is also demonstrated by its physical and genetically interaction with transcription factors including SAGA and COMPASS complexes. Indeed, we demonstrate that Mog1 interacts genetically with TREX-2 subunits and affects mRNA export. During this work, we have also focused in understanding the molecular mechanisms surrounding Spinocerebellar Ataxia Type 7 (SCA7) which is a rare disease caused by amino acid glutamine (Q) repeats within the DUBm component, ATXN7. Therefore, our interest has been directed towards the study of new mechanisms that trigger SCA7 such as the DUB activity from SAGA complex, protein-protein interaction networks and metabolic profiles. / La regulación de la cromatina a través de modificaciones epigenéticas es un paso fundamental durante el control de la expresión génica en células eucariotas. La participación de diferentes factores tales como chaperonas de histonas, complejos de remodelación de la cromatina y complejos modificadores de histonas, regulan la dinámica de la cromatina y garantizan el correcto metabolismo de los transcritos que necesitan ser exportados al citoplasma. De esta forma, las modificaciones postraduccionales que incluyen la monoubicuitinación de la histona H2B (H2Bub1) y la metilación de la histona H3 representan un "cross-talk" de histonas la cual es requerida para la integridad de la cromatina y la transcripción. Además, la transición de H2Bub1 a su forma desubicuitinada por Ubp8, la enzima DUB del complejo co-activador SAGA (Spt-Ada-Gcn5-acetiltranferasa), es necesaria para obtener una expresión génica correcta. En este trabajo, se demuestra que la chaperona de histona Asf1 y la proteína de unión a Ran, Mog1, participan en el mantenimiento de los niveles de H2Bub1. Se demuestra que Mog1 es necesaria para la trimetilación de la histona H3 en la lisina 4 (H3K4me3), actuando como un modulador del "cross-talk" de histonas. El papel de Mog1 en la expresión génica también se demuestra por sus interacciones físicas y genéticas con factores de transcripción, incluyendo los complejos SAGA y COMPASS. Además, demostramos que Mog1 interactúa genéticamente con subunidades de TREX-2 y afecta a la exportación de mRNAs. Durante este trabajo, también nos hemos centrado en la comprensión de los mecanismos moleculares que envuelven a la Ataxia Espinocerebelosa Tipo 7 (SCA7), que es una enfermedad rara causada por una repetición de aminoácidos glutamina (Q) dentro del componente del DUBm, ATXN7. Por lo tanto, nuestro interés se ha dirigido hacia el estudio de nuevos mecanismos que desencadenan SCA7, como la actividad DUB del complejo SAGA, las interacciones proteína-proteína y los perfiles metabólicos. / La regulació de la cromatina a través de modificacions epigenètiques és un pas fonamental durant el control de l'expressió gènica en cèl·lules eucariotes. La participació de diferents factors tals com chaperones d'histones, complexos de remodelació de la cromatina i complexos modificadors d'histones, regulen la dinàmica de la cromatina i garanteixen el correcte metabolisme dels transcrits que necessiten ser exportats al citoplasma. D'aquesta forma, les modificacions postraduccionals que inclouen la monoubicuitinació de la histona H2B (H2Bub1) i la metilació de la histona H3 representen un "cross-talk" d'histones la qual és requerida per a la integritat de la cromatina i la transcripció. A més, la transició d'H2Bub1 a la seua forma desubicuitinada per Ubp8, l'enzim DUB del complex co-activador SAGA (Spt-Ada-Gcn5-acetiltranferasa), és necessària per a obtenir una expressió gènica correcta. En aquest treball, es demostra que la chaperona de histona Asf1 i la proteïna d'unió a Ran, Mog1, participen en el manteniment dels nivells d'H2Bub1. Es demostra que Mog1 és necessària per a la trimetilació de la histona H3 en la lisina 4 (H3K4me3), actuant com un modulador del "cross-talk" d'histones. El paper de Mog1 en l'expressió gènica també es demostra per les seues interaccions físiques i genètiques amb factors de transcripció, incloent els complexos SAGA i COMPASS. A més, vam demostrar que Mog1 interactua genèticament amb subunitats de TREX-2 i afecta a l'exportació de mRNA. Durant aquest treball, també ens hem centrat en la comprensió dels mecanismes moleculars que envolten a l'Atàxia Espinocerebelosa Tipus 7 (SCA7), que és una malaltia rara causada per una repetició d'aminoàcids glutamina (Q) dins del component del DUBm, ATXN7. Per tant, el nostre interès s'ha dirigit cap a l'estudi de nous mecanismes que desencadenen SCA7, com l'activitat DUB del complex SAGA, les interacciones proteïna-proteïna i els perfils metabòlics. / Oliete Calvo, P. (2017). Study of the SAGA deubiquitination module: identification of new modulators and its implication on Spinocerebellar Ataxia Type 7 [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/86155

All five classes of vertebrates use the geomagnetic field for spatial orientation. The geomagnetic field can be used to derive both 'map' and 'compass' information. There is evidence for two different mechanisms used to sense the magnetic field, the radical pair mechanism (RPM) and the magnetite based mechanism (MBM). C57BL/6 laboratory mice can rely on directional information from the magnetic field to position their nests and to solve a water maze task. The primary objective of this research was to characterize the magnetic compass of C57BL/6 laboratory mice in the plus water maze task. These experiments explored sources of variation in magnetic responses and investigated the underlying magnetic compass orientation mechanism in C57BL/6 mice. The results provide evidence that the mouse magnetic compass is sensitive to low-level radiofrequency fields, consistent with the use of the RPM for magnetic orientation. Surprisingly, the results also suggest that C57BL/6 mice have a polarity sensitive compass, consistent with the use of a MBM for magnetic orientation. These experiments confirm that mice have a specialized magnetic compass sense. Furthermore, despite the controlled environment in which these laboratory experiments were conducted, a variety of factors can increase the variability in the response. Future experiments are needed to further characterize the mouse magnetic compass, as there is a possibility of a hybrid magnetic response where both magnetoreception mechanisms could be used for spatial orientation. / Master of Science

In the 50+ years since the discovery of magnetic compass orientation by migratory songbirds, evidence for the use of magnetic cues has been obtained for a range of taxonomic groups, including several classes of vertebrate and invertebrate taxa. Surprisingly, however, the biophysical mechanisms and biological substrate that underlie magnetic sensing are still not fully understood. Moreover, while use of magnetic cues for compass orientation is intuitive, the functional significance of other forms of behavioral responses mediated by magnetic cues, such as spontaneous magnetic alignment, is less clear. The following research was carried out to investigate the mechanisms underlying magnetic orientation in vertebrates and invertebrates. This involved the modification of existing experimental systems to characterize responses to magnetic cues in laboratory animals (flies, mice) and the development of novel techniques for studying the role of magnetic cues in the spatial behavior of free-living animals (red foxes). Chapter II examines magnetic orientation in wild-type Drosophila melanogaster larvae. We show that three strains of larvae reared under non-directional ultraviolet (UV) light exhibit quadramodal spontaneous orientation along the anti-cardinal compass directions (i.e. northeast, southeast, southwest, northwest) when tested in a radially symmetrical environment under UV light. Double-blind experiments cancelling the horizontal component of the magnetic field confirmed that the response is dependent on magnetic cues rather non-magnetic features of the test environment. Furthermore, we argue that the larval quadramodal pattern of response is consistent with properties of magnetic compass orientation observed in previous studies of adult Drosophila and laboratory mice, both of which have been proposed to be mediated by a light-dependent magnetic compass mechanism. Chapter III explores the use of novel biologging techniques to collect behavioral and spatial data from free-roaming mammals. Specifically, a previous observational study of free- roaming red foxes found a 4-fold increase in the success of predatory 'mousing' attacks when foxes were facing ~north-northeast, consistent with magnetic alignment responses reported for a range of terrestrial animals. The authors propose that the magnetic field may be used to increase accuracy of mousing attacks. Using tri-axial accelerometer and magnetometer bio-loggers fitted to semi-domesticated red foxes, we created ']magnetic ethograms' from behavioral and magnetic machine learning algorithms 'trained'] to identify three discrete behaviors (i.e. foraging, trotting, and mousing-like jumps) from raw accelerometer signatures and to classify the magnetic headings of mousing-like jumps into 45° sectors from raw magnetometer data. The classifier's ability to accurately identify behaviors from a separate fox not used to train the algorithm suggests that these techniques can be used in future experiments to obtain reliable magnetic ethograms for free-roaming foxes. We also developed the first radio-frequency emitting collar that broadcasts in the low MHz frequency range shown to disrupt magnetic compass responses in a host of animals. The radio-frequency collars coupled with biologgers will provide a powerful tool to characterize magnetic alignment responses in predatory red foxes and can be adapted for use in studies of magnetic alignment and magnetic compass orientation in other free-roaming mammals. Chapter 3 discusses findings from a magnetic nest building assay involving male labratory mice. Mice trained to position nests in one of four directions relative to the magnetic field exhibited both learned magnetic compass responses and fixed magnetic nest positioning orientation consistent with northeast-southwest spontaneous magnetic alignment behavior previously reported for wild mice and bank voles. This is the first mammalian assay in which both learned magnetic compass orientation and spontaneous magnetic alignment were exhibited in the same species, and suggests that the use of magnetic cues in rodents may be more flexible that previously realized. / Ph. D. / A variety of animals have been shown to use the Earth’s magnetic field to help guide diverse spatial behaviors, however, the underlying sensory mechanisms mediating this sense remain elusive. Evidence for two distinct sensory mechanisms has come from behavioral studies involving a wide range of organisms, including migratory birds, newts, mole rats, mice, and several classes of invertebrates. The following research was carried out to determine the underlying sensory mechanisms mediating magnetic sensing in larval fruit flies. Properties consistent with a light-dependent, photoreceptor-based mechanism were found to underlie innate magnetic alignment behavior in larval flies, similar to the proposed compass mechanism thought to mediate compass responses in migratory birds and newts. A reanalysis of two previous studies of learned magnetic compass responses in adult fruit flies and laboratory mice show similar behaviors when compared to that of larval flies, suggesting a common underlying light-dependent magnetic mechanism across these groups. Furthermore, we provide evidence for learned magnetic compass responses in laboratory mice, where the orientation of individuals appears to be dependent on properties of the local environment (e.g. electromagnetic, temperature, humidity) in training and testing. These data suggest that the use of magnetic cues in mammals is context-dependent and more flexible than previously recognized. We have also developed new technologies for studies of magnetic orientation in free-roaming animals. Specifically, bio-logging devices containing triaxial accelerometer and magnetometer sensors where used to create ‘magnetic ethograms’, where the behavior and magnetic alignment of an animal can be reliably and accurately extracted from raw sensor data. We also discuss possible field experiments that can be performed to provide a specific test of the underlying sensory mechanism mediating magnetic behavior in free-roaming animals. This work will likely be of interest to a broad range of disciplines including sensory ecology, ethology, quantum chemistry, biophysics, wildlife management, and conservation.

Yes / Brands that do good for the society as well as for themselves are motivated by the core values they espouse, which necessitates a better understanding of what qualities a true core value must possess. The inherent tension within brands that do good, between commercial interests to increase competitiveness, and societal interests that are closely linked to the brand’s authenticity, has largely been overlooked. Hence, we develop and demonstrate a relatively easy-to-apply visual tool for evaluating core values based on a set of ‘goodness’ criteria derived from extant theory. The Core Value Compass adopts a paradox-based, evolutionary perspective by incorporating the inherent tensions within true core values, and classifying them according to their temporal orientation. Thus, we contribute towards a better understanding of underlying tensions of core values and provide a practical tool that paves the way for improved, and indeed ethical, corporate branding strategies. Furthermore, we demonstrate the Compass’ application using the case of a public sector brand, which is a quintessential brand that does good. Therefore, we also contribute to the nascent theoretical discourse on public sector branding. This paper therefore adds to the notable attempts to bridge the gap between theory and practice in core values-based corporate branding.

One of the possible ways, how to ensure the necessary electric energy to the future is by the thermonuclear synthesis. Systems that deal with this problem are called stellarator or tokamak. In my work I describe the working principle of the tokamak and its possible future evolution. More precisely I deal with particular tokamak that was brought from Culham to the Prague and its power supply, which became a problem. It is tokamak model COMPASS D. My work consists in power supplying of tokamak reels and power elements in its supply way. However it is just a test gear, which has a long way to the successful end, wich is power supplying instead of power burning. It is just a test gear on which are various tests and analyses carryed out nowadays. Results of these tests will be used for another research and to improve the results of this or other facilities.

This report presents a master’s thesis in Industrial Design Engineering at KTH Royal Institute of Technology in Stockholm. The project was conducted on behalf of Silva Sweden AB during the spring of 2023, with the goal of modularizing Silva’s current assortment of land compasses. The objectives included reducing the number of components and improving repairability while contributing to Silva’s sustainability framework. Additional objectives were to redesign vital components in order to enable a modular system that is implementable in a circular business model, benefiting both customers and Silva. The methodology of this project included researching, collecting data, mapping, testing and evaluating, ideating, developing, finalizing and communicating. Moreover, the focuses of this project have been the development of baseplates, the compass housing assembly and the mirror attachment. The final design and new compass assortment resulted in a reduction of 40 % of the total components. The most influencing factors for the reduction, besides standardization, were an improved housing assembly and a solution that joins the regular baseplate with a detachable mirror through a snap fit. In relation to the purpose of this project, all objectives are concluded as fulfilled as well as the deliverables which are successfully achieved as well. In conclusion, the result of this project provides a new and modular compass design that minimizes the number of components while contributing to the development of a sustainable compass assortment. / Detta är en masteruppsats inom Teknisk Design vid KTH Kungliga Tekniska Högskolan i Stockholm. Projektet genomfördes under våren 2023 på uppdrag av Silva Sweden AB med målet att modularisera Silvas befintliga sortiment av landkompasser. Syftet med projektet inkluderade minskning av antalet komponenter samt att utöka möjligheten för reparation av kompasser, och således bidra till Silvas pågående hållbarhetsarbete. Lösningen bör även möjliggöra ett modulärt system som ska kunna implementeras i en cirkulär affärsmodell till förmån för både kunder och Silva som företag. Metodiken i detta projekt inkluderade forskning, datainsamling, kartläggning, testning och utvärdering, idégenerering, utveckling, avslutning och kommunikation. Fokus för detta projekt varit att utveckla basplattan, nålhuset och spegelfästet. Den slutliga designen och det nya kompass sortimentet resulterade i en minskning på 40% av det totala antalet komponenter. De mest avgörande faktorerna för minskningen var den modulära lösningen som kombinerade den vanliga basplattan med en avtagbar spegel, samt standardiseringen av komponenter i det nya nålhuset. Utifrån de syften och mål som definierades i projektet så påvisar den slutgiltiga designen att alla dessa är uppfyllda. Sammanfattningsvis visar projektets resultat en ny och modulär kompassdesign som minskar antalet komponenter samtidigt som den bidrar till utvecklingen av ett hållbart kompass sortiment.

This study aims to identify whether a relationship between ESG performance and financial performance exists for Nordic publicly-listed companies, by conducting a multiple linear regression analysis. Also, it will be observed which (if any) ESG variables are of relevance. The regression analysis conducted in this study arrives at the conclusion that there is a relationship between ESG performance and financial performance. However, the models have low explanatory power, with Adjusted R^2 values of 0.36 for the accounting-based financial measure Return on Assets (ROA), and 0.30 for the market-based financial measure Tobin´s Q.In both the ROA and Tobin's Q model, social variables are the most significant. Supplier evaluation disclosure is the only variable that is highly significant and positively correlated to both ROA and Tobin's Q. Consistent with previous literature, our results show that female board participation is positively correlated with ROA. The results also show that ROA correlates negatively with compensation of board members and senior executives being linked to environmental and social factors. In conclusion, some variables were identified that are significant for financial performance. However, the overall explanatory power of the model is low. It is suggested that future studies adopt a materiality approach. / Denna studie syftar till att identifiera om det finns ett samband mellan ESG-prestanda och finansiell prestanda för nordiska börsnoterade företag genom att utföra en multipel linjär regression. Dessutom observeras vilka (ifall några alls) ESG-variabler som är relevanta. Regressionen som genomförts i denna studie drar slutsatsen att det finns en relation mellan ESG-prestanda och finansiell prestanda. Dock så har modellerna låg förklaringsgrad, med justerat R^2-värde på 0,36 för det redovisningsbaserade måttet "Return on Assets" (ROA) och 0,30 för det marknadsbaserade måttet "Tobin's Q". I både ROA- och Tobin's Q-modellerna är sociala variabler de mest signifikanta. Publicering av leverantörsutvärdering är den enda variabeln som är högt signifikant och positivt korrelerad med både ROA och Tobin's Q. I linje med tidigare litteratur visar våra resultat att andel kvinnor i styrelsen är positivt korrelerat med ROA. Resultaten visar också att ROA korrelerar negativt med kompensation av styrelseledamöter kopplat till miljö- och sociala faktorer. Allt som allt lyckades studien att identifiera vissa ESG variabler som är signifikanta för finansiell prestanda. Dock så förblir förklaringsgraden av modellen i sin helhet låg. Därför föreslås det att framtida studier lägger fokus på materialitet.

Le terme gridshell désigne une coque discrète qui est obtenue par déformation élastique d'une grille bidirectionnelle continue plane sans rigidité en cisaillement puis rigidifiée par une troisième direction de barres. Ainsi défini, un gridshell a un potentiel structural intéressant et peut répondre à des exigences architecturales complexes. La recherche de forme de ces structures a été menée à travers l'histoire principalement par deux méthodes, la méthode du filet inversé et la relaxation dynamique. Ces deux méthodes permettent d'obtenir une forme approchée de celle proposée par l'architecte, dérivant d'une grille à plat et de conditions aux limites partiellement ou complètement imposées. Dans le cadre de cette thèse, nous nous sommes intéressés à générer un gridshell sur une surface à forme et contours imposés. Un outil numérique se basant sur la méthode du compas a été développé. Il permet de mailler un réseau de Tchebychev sur une surface connaissant son équation cartésienne. Un autre outil permettant le maillage se basant sur un calcul en éléments finis explicite a été mis en œuvre. La particularité de cette technique est de pouvoir tenir en compte des propriétés mécaniques de la structure et de simuler le comportement du gridshell. Des applications des deux méthodes sur des formes architecturalement intéressantes ont permis de voir les limitations de la possibilité de mailler une forme avec un réseau de Tchebychev. La méthode du compas a ensuite été couplée à des algorithmes métaheuristiques types génétiques. L'algorithme résultant permet d'optimiser un gridshell en minimisant la courbure dans les barres et donc les contraintes dans la structure introduites lors de la mise en forme. Il a été mis en œuvre et testé pour plusieurs surfaces / Gridshells are often defined as structures that have the shape and rigidity of a double curvature shell but they consist of a grid and not a continuous surface. They are obtained by elastic deformation of a two-way grid initially flat. The deformed grid is then rigidified using a third direction of bars. Thus, a gridshell has an interesting structural potential and can respond to complex architectural requirements. Two methods have been used through out history for the form finding of gridshells, the inversion method and the dynamic relaxation method. Both techniques lead to a deformed grid which is a result of calculations. The form obtained is closed to the one proposed by the architect. A numerical tool based on the compass method is developed in this thesis. It allows mapping aTchebychev net on an imposed form and imposed boundary conditions.Another tool based on an explicit dynamic finite element calculationis proposed. The particularity of this technique is to be able to take into account the mechanical properties of the structure and to simulate the gridshell behavior. Applications of both methods on differents forms show the limitations of mapping a Tchebychev net on an imposed form. The compass method has been coupled with geneticalgorithms. The algorithm optimizes the gridshell by minimizing the curvature in bars in order not to break the bars during the construction. It has been implemented and tested on several surfaces

Title: The impact of elementary schools orientation on leisure time activities structure and physical fitness at child population, age 9- 14, in Litomerice town Objectives: The aim of the thesis was to determine, if different conceptual orientation of selected elementary schools (aesthetic-music- oriented, sports-oriented) has a significant influence on the structure of leisure time activities and the level of physical fitness of children aged 9-14 years. Methods: The study presents empirical quantitative research, which consists of sample of 202 students selected from two elementary schools in Litomerice town. Level of physical fitness was determined using standardized test battery UNIFITTEST (6-60) and the structure of leisure time activities were detected by sociological questionnaire COMPASS II. For the analysis of the data obtained we used descriptive statistical methods, t-test, analysis of variance ANOVA, chi-square test and coefficient of effect size Cohen d, z-test, Hays omega and effect size etha - η2 . Results: Significant impact of the different conceptual orientation was reflected in the only one of the monitored fields, in the level of physical fitness, but not in the structure of leisure time activities. Sports-oriented school reached significantly better results p < 0,05 and Cohen d...