I denna uppsats har jag velat lära mig mer om och fördjupa mig i uppsjungningar för de barnkörer och en ungdomskör jag har på mitt jobb som kyrkomusiker. Syftet var att göra övningar som höjer koncentrationen och fångar barnens uppmärksamhet så att fokus sätts på dirigenten och sjungandet. Jag har tagit hjälp av olika sångpedagoger och körpedagoger i min närhet och i vårt land som alla har mångårig erfarenhet och fina resultat i sina körverksamheter. Min tes är att övningar applicerade på kända melodier är bra och dessutom tidsbesparande för inlärningen av hela sången. Det ska vara praktiskt och inte svårare än nödvändigt att använda en viss metod. Glädje och en sund blandning av variation och repetition är också en källa till framgång.

At the beginning of this discussion, Tobias Janz introduces three areas in which musicology and music theory might benefit from a more thorough study of »sound«: (1) in music analysis, instrumental sound should not merely be understood as the manifestation of an abstract pitch-rhythm structure but the interaction of sound and structure should be acknowledged (a piano reduction from one of Haydn’s symphonies compared to one of Haydn’s piano sonatas reveals a substantially different idea about musical structure); (2) the origins of an exclusion and emancipation of the sound paradigm should be traced in music history and aesthetics, and it might be discussed to what extent a depreciation of sound has shaped our understanding of music until the present; (3) from a sociological perspective, an emphasis on sound has often been associated with popular music; since the early twentieth century, both popular and art music cultures have had a long history of treating the emancipation of sound as a predominant musical tool and medium, and thus these two »cultures« should not be regarded as entirely separate »worlds«, but rather as interactive. The other discussants broadly support the notion that sound is still a neglected area in music research by raising a variety of perspectives: our tools for describing sounds verbally and analytically are underdeveloped, and it is not always clear in which man- ner the idea of »composing [with] sounds«, for example in electronic music, should be grasped theoretically (Elena Ungeheuer); analyses of classical formal types and functions should rethink the common notion that sound and timbre are »secondary parameters« while the perception of form clearly depends on a more complex interaction between the diverse levels or parameters of the sounding events (Markus Neuwirth); established models of pitch-based analysis such as pitch-class set theory have to be complemented by aspects of register, timbre etc. which also would make their results more applicable in pedagogical situations (Lukas Haselböck); a deprecation of »Schöne Stellen« (beautiful moments) as structurally unimportant might often prevent music theorists from integrating auditory experience into analytical practice (Ludwig Holtmeier). Further aspects raised in the discussion with the audience include the idea that theory and analysis should focus more on how sounds are invented intuitively and »haptically«, for example by studying the tradition of the pianiste-compositeur and its interaction of improvisation and composition; the problem faced by a history of musical listening derived from written sources; the necessity to integrate comparisons of different performances of the same piece into a sound-based analysis of musical works; and the necessity of interdisciplinary musical research as exemplified by projects that aim to reconstruct such historical listening spaces and situations as, for instance, the Beethoven era.

Kunskapsöversikten är skriven med syftet att ta reda på om det är rimligt att begära att samtliga elever ska ha läxa i matematik oberoende av deras hemsituation. Arbetet utgår från hur föräldrars involverande i läxor i hemmet påverkar elevers kunskapsutveckling. För att kunna besvara våra frågeställningar har en informationssökning gjort på flertalet databaser med varierade sökord. Databaserna som använts är ERIC och Swepub. I valet av källor har samtliga källor som studerat skolsystem som inte liknar Sveriges valts bort, vilket läsaren bör ha beaktning innan den drar egna slutsatser. Resultatet av vår kunskapsöversikt visar att föräldrars stöttning i läxor inte har en korrelation med elevers kunskapsutveckling. Läxor kan även påverka elevers inställning till matematik negativt och kan leda till ångest och trauman. För vidare forskning behövs det hitta bra metoder och tillvägagångssätt för att föräldrar ska kunna ge positiv stöttning i hemmet, som inte leder till en negativ påverkan på elevens inställning eller kunskapsutveckling.

Sammanfattning: Samlingar har under flera decennier varit en tradition i svenska förskoleverksamheter. Föreliggande studie fokuserar på förskolepedagogers beskrivning av samlingens funktion och bidrag i förskolan. Denna studie vilar på det sociokulturella perspektivet som teoriram och semistrukturerade intervjuer som metod. Målsättningen med undersökningen är att uppnå ökad kunskap om barns lärande och utveckling, genom samlingen ur förskolepedagogernas perspektiv.Studiens resultat visar att samlingar bidrar till flertalet moment som skapar gemenskap och samhörighet i barngruppen. Genom att bygga relationer och lära känna varandra skapas en trygg, meningsfull lärandemiljö. Miljön leder i sin tur till ett lärande, vilket skapar möjligheter för barn att utforska. I resultatet beskrivs samlingar som en strategi för att bevara en god och trygg miljö i förskolan. I en god och trygg miljö sker även utbyte av kunskap och dialog.

Det är vanligt att företag genomför omstruktureringar. Spin-offs har blivit ett vanligare sätt för svenska företag att strukturera sig sedan lex ASEA instiftades och sedan dess har det genomförts hundratals spin-offs. Syftet med uppsatsen är att komparativt undersöka tre företag som har genomfört spin-offs mellan 2016-2022 och undersöka förklaringar till resultatet av spin-offs. Utifrån studiens analysmodell identifieras centrala faktorer som påverkar utfallet av en spin-off. Dessa är motiv, process och relation till moderbolag. För att besvara frågeställningen har en komparativ fallstudie baserad på semistrukturerade intervjuer gjorts. Den insamlade intervjudatan utgör tillsammans med sekundärdata från respektive företag grunden till studiens resultat. Studien finner att det finns likheter och skillnader i hur faktorer påverkar spin-offs resultat bland de undersökta företagen. Tydliga motiv, en välformulerad process för genomförandet och en god relation till moderbolaget har varit avgörande för i vilken utsträckning företag uppnått ett lyckat resultat av en spin-off. Företags kvalitet på affärsstrategi och förståelse för processen samt tidigare erfarenhet av omstrukturering och överföring av en tydlig struktur och påverkan av marknadsförhållanden har vidare identifierats som viktiga komponenter som påverkat resultatet.

Syftet med denna företrädelsevis kvantitativa studie är att bidra med kunskap om hur lärare uppfattar vikten av motivation vid lektionsinledningar. Studien är relevant då det finns få studier angående motivation i lektionsinledningar i en svensk skolkontext. Studiens teoretiska ramverk är motivationsteorier. Dessa motivationsteorier är fyra av de åtta utgångspunkterna som Skaalvik och Skaalvik redogör för inom deras motivationsteorier. Följande utgångspunkter har vi utgått ifrån i denna studie: teorin om inre- och yttre motivation, teorin om tron på sin egen kapacitet och teorin om sociala relationer. Dessa används för att tolka, diskutera och analysera datainsamlingens svar. Dessa motivationsteorier bidrar med en användbar struktur för att tolka, diskutera och analysera lärarnas uppfattningar om motivation vid lektionsinledningar. Studien gäller endast den population som var avsatt att delta i denna kvantitativa studie, det vill säga verksamma lärare i årskurserna F-6. Studiens insamlingsmetod är enkäter. Det resultat som var mest framträdande var att majoriteten av respondenterna i relation till studiens forskningsfrågor svarade att det är mycket viktigt att skapa motivation vid lektionsinledningar. Majoriteten av respondenterna svarade även att de inleder på samma sätt varje lektion eller nästan varje lektion. Drygt en tredjedel svarade att deras inledningar av lektioner kan skilja i utformning beroende på vilket undervisningsämne läraren undervisar i, men oavsett om lärarna ansåg att undervisningsämnet påverkade eller inte betonades strukturen i undervisningen. Studiens resultat av den tentativa jämförelsen mellan undervisningsstadier visade inte på några betydande skillnader. Men visade att det fanns en viss tendens att lärare med längre undervisningserfarenhet i högre grad uppfattade motivation som mycket viktigt vid lektionsinledningar. Med en tentativ jämförelse menas i denna studie att respondenterna i årskurs 4-6 var få i jämförelse med lärarna i årskurs F-3. Därför kan 4-6 lärarnas svar inte användas som representation för hela popoulationen. Svaren från 4-6 lärarna har ändå valts att ha med i denna studie som kontrollgrupp i en tentativ jämförelse mellan låg- och mellanstadiet.

Vad gör en miljörevisor? Jag har i den här studien skuggat två miljörevisorer i sittvardagliga arbete och har på så vis fått ta del av vad en miljörevisor egentligen gör påjobbet. Genom att studera människor i yrkespraktiken kan man förstå och förklaravariationen i organisatoriska företeelser. Som teoretisk referensram har jag använtföljande analytiska begrepp: tillit, förtroende och interaktion, legitimitet samtgranskning, struktur och omdöme. Studien visar att revisorns arbete bygger mycket påtillit och förtroende och att detta skapas genom interaktion, legitimitet och struktur. / What does an auditor do? In this study, I have been shadowing two environmentalauditors in their day-to-day audit work and therefore I was able to observe what anauditor actually do at work. Studying people in their practice of work gives anunderstanding of the variety in organizational phenomenon. As theoretical frameworkI have used the following concepts: trust, faith and interaction, legitimacy and review,structure and judgement. The result shows that the auditor’s work is built on trust andfaith, which therefore are formed by interaction, legitimacy and structure.

I ett snabbt växande konsultföretag, som Consid, kan det vara bra att ha en översikt över de anställda och vilka kompetenser de besitter. Därav kan det vara behjälpligt med ett system som tillhandahåller funktionaliteter som gör det möjligt att söka efter anställda baserat på deras namn, kompetens eller söka efter projekt kopplade till Consid. Syftet med arbetet var att skapa och utvärdera en prototyp av ett system som ökar samhörigheten mellan de anställda på företaget Consid och underlätta informationssökningen kring ens medarbetare och projekt. Arbetet inleddes med en förstudie och i denna sattes en kravanalys. Utöver kravanalysen skapades en enkät samt att djupintervjuer hölls med anställda från Consid för att undersöka deras behov och önskemål rörande systemet. Men hjälp av detta skapades en effektkarta för systemet. I effektkartan sattes mätpunkter upp för att undersöka om systemet upplevdes som lättnavigerat, förståeligt, lättillgängligt och om det skapade en ökad känsla av samhörighet. En prototyp skapades med hjälp av resultaten från förstudien. Prototypen användes som underlag för användartester som hölls och de var i form av djupintervjuer tillsammans med scenarion. I slutet av djupintervjuerna fick respondenterna även svara på en System Usability Scale-enkät för att ge återkoppling på systemet. Resultatet för mätpunkterna undersöktes både för en första och andra prototyp och jämfördes sedan. Den generella slutsatsen från detta arbete är att det krävs tydlig rubricering och indikation på vad som sker för respektive fält. Dessutom är det väsentligt att vara konsekvent för liknande element både för deras benämning, funktionalitet och utseende. En känsla av samhörighet är något som ökar då en person anser att den tillhör ett större sammanhang. Genom att visualisera en användares plats i företaget kan denna känsla ökas. En ökad känsla av samhörighet kan också uppnås genom att användaren har möjlighet att se andra med liknande kompetenser eller som ingår i samma projekt. / In a fast-growing consulting company, like Consid, it can be a benefit to be able to have an overview over the employees and what competencies they possess. It can therefore be a benefit to have a system that provides the functionalities that make it possible to search for employees based on their names, competencies or search for projects that are connected to Consid. The purpose of this work was to create and evaluate a prototype of a system that has the purpose to increase the sense of belonging for the employees at the company Consid and simplify the search for information related to co-workers and projects. To be able to create a system like this an understanding and knowledge regarding Competence Management Systems, the sense of belonging, design principles and user experience was needed. The project was initiated with a feasibility study and in it a requirements analysis was developed together with the external mentors from Consid. In addition to the requirements analysis a survey was created, and in-depth interviews was held with employees from Consid in order to determine their needs and wants regarding the system. With the result from this an impact map was created for the system. The goals for the system were defined in the impact map to be able to determine if the system was perceived as easy to navigate, understand, access and if it increased the sense of belonging for the users. With the help of the feasibility study a prototype was created. This prototype was used as a basis for user tests which was held in form of in-depth interviews that consisted of scenarios. The respondents of the in-depth interviews also had to answer a System Usability Scale-survey to give feedback for the system. Adjustments was made to the prototype with the help of the feedback collected from the in-depth interviews and this resulted in the final prototype. In-depth interviews were held, using the same structure as before, to determine how the target group perceived the final prototype. The results for both the first and the final prototype regarding the goals that was set up in the impact map was then compared to each other. The project resulted in that all goals set for the system was met. In the end of the project an evaluation of the requirements analysis was held, with the external mentors from Consid, in order to evaluate which requirements, the system fulfilled and which it did not. The conclusion of this work is that it requires clear naming of the headings and indication of the purpose for each heading. It is also important to be consistent regarding elements that are the same, both for the naming of them, its functionality, and its appearance. A sense of belonging is something that increases when a person considers him- or herself to belong to a larger context. This feeling can be increased by visualizing an employee’s place in the company. An increased sense of belonging can also be achieved if the user has the possibility to see other employees that possesses the same competencies or are involved in the same projects. / <p>Examensarbetet är utfört vid Institutionen för teknik och naturvetenskap (ITN) vid Tekniska fakulteten, Linköpings universitet</p>

We call a Herbrand model of a set of first-order clauses finite, if each of the predicates in the clauses is interpreted by a finite set of ground terms. We consider first-order clauses with the signature restricted to unary predicate and function symbols and one variable. Deciding the existence of a finite Herbrand model for a set of such clauses is known to be ExpTime-hard even when clauses are restricted to an anti-Horn form. Here we present an ExpTime algorithm to decide if a finite Herbrand model exists in the more general case of arbitrary clauses. Moreover, we describe a way to generate finite Herbrand models, if they exist. Since there can be infinitely many minimal finite Herbrand models, we propose a new notion of acyclic Herbrand models. If there is a finite Herbrand model for a set of restricted clauses, then there are finitely many (at most triple-exponentially many) acyclic Herbrand models. We show how to generate all of them.

We analyze the mathematical models of two classes of physical phenomena. The first class of phenomena we consider is the interaction between one or more insulating rigid bodies and an electrically conducting fluid, inside of which the bodies are contained, as well as the electromagnetic fields trespassing both of the materials. We take into account both the cases of incompressible and compressible fluids. In both cases our main result yields the existence of weak solutions to the associated system of partial differential equations, respectively. The proofs of these results are built upon hybrid discrete-continuous approximation schemes: Parts of the systems are discretized with respect to time in order to deal with the solution-dependent test functions in the induction equation. The remaining parts are treated as continuous equations on the small intervals between consecutive discrete time points, allowing us to employ techniques which do not transfer to the discretized setting. Moreover, the solution-dependent test functions in the momentum equation are handled via the use of classical penalization methods. The second class of phenomena we consider is the evolution of a magnetoelastic material. Here too, our main result proves the existence of weak solutions to the corresponding system of partial differential equations. Its proof is based on De Giorgi's minimizing movements method, in which the system is discretized in time and, at each discrete time point, a minimization problem is solved, the associated Euler-Lagrange equations of which constitute a suitable approximation of the original equation of motion and magnetic force balance. The construction of such a minimization problem is made possible by the realization that, already on the continuous level, both of these equations can be written in terms of the same energy and dissipation potentials. The functional for the discrete minimization problem can then be constructed on the basis of these potentials. / Wir analysieren die mathematischen Modelle von zwei Arten physikalischer Phänomene. Die erste Art von Phänomenen, die wir betrachten, ist die Wechselwirkung zwischen einem oder mehreren isolierenden starren Körpern und einem elektrisch leitenden Fluid, das die Körper umgibt, sowie den elektromagnetischen Feldern in beiden Materialien. Wir untersuchen sowohl den Fall inkompressibler als auch kompressibler Fluide. In beiden Fällen liefert unser Hauptresultat die Existenz von schwachen Lösungen für das zugehörige System partieller Differentialgleichungen. Die Beweise dieser Resultate beruhen auf hybriden diskret-kontinuierlichen Approximationsmethoden: Teile der Systeme werden in der Zeit diskretisiert, um das Problem der lösungsabhängigen Testfunktionen in der Induktionsgleichung zu bewältigen. Die verbleibenden Gleichungen werden als kontinuierliche Gleichungen auf den kleinen Intervallen zwischen aufeinanderfolgenden diskreten Zeitpunkten behandelt, sodass wir Techniken anwenden können, die sich nicht auf das diskretisierte System übertragen lassen. Darüber hinaus wird das Problem der lösungsabhängigen Testfunktionen in der Impulsgleichung durch die Verwendung klassischer Penalisierungsmethoden gelöst. Die zweite Art von Phänomenen, die wir betrachten, ist die Entwicklung eines magnetoelastischen Materials. Auch hier beweist unser Hauptresultat die Existenz schwacher Lösungen für das zugehörige System partieller Differentialgleichungen. Der Beweis basiert auf der Methode von De Giorgi, bei der das System in der Zeit diskretisiert und in jedem diskreten Zeitpunkt ein Minimierungsproblem gelöst wird, dessen zugehörige Euler-Lagrange-Gleichungen eine geeignete Approximation an die ursprüngliche Bewegungsgleichung und mikromagnetische Gleichung darstellen. Die Konstruktion eines solchen Minimierungsproblems wird durch die Erkenntnis ermöglicht, dass diese beiden Gleichungen bereits im kontinuierlichen System mithilfe derselben Energie- und Dissipationspotenziale ausgedrückt werden können. Das Funktional für das diskrete Minimierungsproblem kann dann auf Grundlage dieser Potenziale konstruiert werden.