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.

Samlingar är något som ofta används i förskolan men som inte benämns som företeelse i förskolans läroplan. Enligt våra uppfattningar diskuteras det lite om samlingen, därav är syftet med studien att synliggöra förskollärares resonemang om samlingens innehåll, struktur och funktion i förskolans vardag. Samlingen tar utgångspunkt i Fröbels pedagogik och beskrevs som en aktivitet för att skapa lugn i barngruppen. Samlingen innebar ofta att sitta i en halvcirkel och samtala, lyssna på varandra och sträva efter gemenskap. Det är även innehåll som speglas i tidigare forskning gällande samlingar i dagens förskola. Samlingar beskrivs kunna ha skilda innehåll och förskollärare olika tillvägagångssätt beroende på vilket syfte samlingen har. Vårt resultat visar att samlingen i förskolan är ett tillfälle att mötas och lära av och med varandra, men det framkommer även att syftet kan variera. Ibland beskrivs det som ett tillfälle för olika former av kommunikation men ibland finns det ett behov av att i stunden behöva samla ihop barngruppen av olika anledningar. Förskollärare behöver fundera och tänka över sådant som upplevs fungera mindre bra i en samling då det är deras ansvar att se till så att samlingen blir en meningsfull aktivitet. Undervisning, samtal, musik, litteratur och olika former av hjälpmedel förklaras som centralt innehåll för samlingen. Hur den prioriteras utgår från förskollärares förhållningssätt och exempelvis brist på personal. Samlingen förklaras vara en frivillig aktivitet där barn kan delta på flera olika sätt, exempelvis genom att lyssna från ett annat rum eller genom att befinna sig lite vid sidan av samlingen. Föreliggande studie är en kvalitativ studie där semistrukturerade intervjuer genomfördes med sex förskollärare. Intervjuerna spelades in via ljudupptagning, för att sedan transkriberas och därefter gjordes en tematisk analys. Resultatet analyserades utifrån ett sociokulturellt perspektiv och begreppen scaffolding, mediering och lärande i sociala interaktioner.

Denna forskning utforskar initiativ för arkitektonisk förnyelse och designmetoder i Malmö, med en metodik som inkluderar litteraturgenomgångar, fallstudier och textanalys. Studien fokuserar på åtta specifika platser i staden och strävar efter att identifiera grundläggande principer och effektiva strategier för att revitalisera byggnader, fasader och stadsrum. Inspirerad av framstående urbana teoretiker som Kim Dovey och Jan Gehl, framhäver forskningen vikten av ett holistiskt tillvägagångssätt som integrerar moderna designkoncept med bevarandet av historiska och kulturella värden. Genom noggrann dataanalys och syntes identifierar studien centrala överväganden och utmaningar som är kopplade till arkitektoniska förnyelseprojekt. Resultaten betonar vikten av att balansera moderniseringsinsatser med skyddet av det arkitektoniska arvet, och understryker behovet av kontextkänsliga designlösningar. Forskningen påpekar också vikten av samhällsengagemang och att inkludera olika perspektiv i stadsplaneringen för att skapa inkluderande och hållbara miljöer. Trots vissa begränsningar, som den geografiska specifiteten och metoderna för datainsamling, ger denna studie värdefulla insikter och rekommendationer för framtida stadsutvecklingsprojekt. Genom att bygga vidare på befintlig forskning och kommunala riktlinjer betonar studien vikten av att främja livfulla, resilienta och rättvisa städer för både nuvarande och framtida generationer. / This research investigates architectural renewal initiatives and design approaches in Malmö, employing a mixed-methods approach encompassing literature reviews, case studies, and text analysis. Focused on eight distinct sites within the city, the study aims to uncover fundamental principles and effective strategies for revitalizing buildings, facades, and urban spaces. Drawing inspiration from renowned urban theorists such as Kim Dovey and Jan Gehl, the research highlights the importance of a comprehensive approach that harmonizes contemporary design concepts with the preservation of historical and cultural integrity. Through meticulous analysis and synthesis of data, the study identifies key considerations and challenges inherent in architectural renewal projects. The findings underscore the significance of balancing modernization efforts with the safeguarding of architectural heritage, emphasizing the need for context-sensitive design interventions. Moreover, the research underscores the necessity of community engagement and the integration of diverse perspectives in the urban planning process to ensure the creation of inclusive and sustainable environments. Despite inherent limitations including geographic specificity and constraints in data collection methodologies, this study contributes valuable insights and recommendations for future urban development endeavors. By building upon existing scholarship and municipal guidelines, the research underscores the importance of fostering vibrant, resilient, and equitable cities for present and future inhabitants.

Die experimentellen Untersuchungen zur Strömungs-Struktur-Interaktion kommen zu folgenden Ergebnissen. Die als entrainment bezeichnete Verhaltensweise von Fischen kann durch den gezielten Ausgleich von Auftriebs-, Widerstands- und einer erstmals nachgewiesenen Saugkraft und der damit verbundenen Reduzierung der lokomotorischen Energie erklärt werden. Des Weiteren zeigen die Experimente an einer wellenförmig bewegten Oberfläche, dass die Strömung an einem Wellenberg zyklisch zwischen laminarem und turbulentem Regime wechselt und dass diese Oszillation zur Reduzierung des Form- und Gesamtwiderstandes der geschleppten Oberfläche führt. Dünne, flexible Häutchen hairy flaps an der Rückseite eines Zylinders führen zu einer Änderung der Struktur der Wirbelablösung an diesem. Dadurch wird sowohl die auf den Zylinder wirkende Auftriebskraft als auch die Widerstandskraft um bis zu 65% reduziert. Für die Interaktion zwischen der Strömung um zwei hintereinander positionierte elastische Zylinder und ihrer Kinematik konnte die Synchronisierung (lock-in) ihrer Bewegung mit einer verbundenen Zerstörung der Wirbelstraße hinter dem zweiten Zylinder gezeigt werden. / The experimental investigations presented herein explain the behavioural adaptation of fish called entrainment for the first time. The results confirm a balance of lift-, drag- and a suction-force, explaining the reduction of locomotive energy. Furthermore, flow measurements around an undulating membrane affirm an oscillation between laminar and turbulent flow over one period of the motion and that this oscillation decreases the pressure- and drag-force of the towed membrane. Experiments on thin and flexible flaps attached at the lee-side of a cylinder, show that the flaps alter the natural vortex separation cycle in such a way that the vortices do not shed in a staggered side-by-side arrangement but in line in a row with the cylinder wake axis. Thus, flow fluctuations are reduced by 42% in stream-wise - and 35% in transversal direction at best, compared to a reference case without hairy-flaps. Finally, investigations on the flow around and on the kinematics of two flexible cylinders in a tandem arrangement demonstrate a synchronisation of their motion (lock-in), resulting in the destruction of the vortex-street behind the second cylinder.

The purpose of this essay is to critically review three different contributions to the agency – structure debate from a political science perspective. My opinon is that the agency – structure debate is one of the main problems within the social science. The theories which I will examine are Lennart Berntsons theory from 1974, Lennart Lundquists from 1984 and Walter Carlsnaes from 1992. These political scientists all have different perspectives to the problem. My aim is to compare three theories that is of importance to the problem. But I also want to show that there are problems with each of these theories. No one really solves the problem. I want to shed some light on the different problems which these theories encounter and I also want to show were the solution to these problems might be found. It is obvious that the theories have a similar view on the actor (or agent). Each see the actor as both an individual and a collective, such as a party, state or an organisation. They also see the actor in a constant relation to the society. The two main differences between the theories is when it comes to defining the structures and when it comes to trying to connecting the actor with the structure. Berntson sees the connection as mainly classoriented and this provides valuable knowledge to the debate. However, compared to Berntson, Lundquists theory is more thoroughly worked out when it comes to providing knowledge to how agents are affected by structures. This, I would say, is the biggest advantage with Lundquists theory. Finally, Carlsnaes theory, compared to both Berntson and Lundquist, is the least developed one, at least when it comes to defining both the actor and the structure. Though, I still consider his theory of importance. This is because his contribution to the knowledge on how we might explain structural change.

Low valent nickel (less than +1) complexes are rare in nature, however they are regularly encountered in nitridonickelate chemistry. Ternary alkaline earth nitridonickelates exhibit a variety of interesting crystal structures with respect to their covalently bonded nitridonickelate anionic framework. The coordination geometry of low valent nickel in these compounds presents a unique structural feature with nickel being in linear coordination by nitrogen atoms. The nitridonickelate frameworks of compounds investigated in this work are: Ba2[Ni3N2]: The first ternary alkaline earth nitridonickelates with 2D Ni-N anionic network. The formal oxidation state of Ni is +0.67. Ba2(Ba6N)[NiN]6: The structure is made of o1D helical Ni-N anionic chains. Also, the structural stability of this compound´s structure type was found to occur over a wide range of substitution of Ba by Ca and Sr; a max. of 70 percent Ba could be successfully replaced by Sr and Ca atoms retaining the same structure type. The formal oxidation state of Ni is +0.83. Ba[NiN] and the solid solution series Ba[CuxNi1-xN]: The structure is made of 1D zig-zag Ni-N chains. The solid-solution series is isostructural to Ba[NiN] at lower content of Cu while, at higher content it resembles Ba[CoN] structure type, however at very high Cu content it again transforms to Ba[NiN] structure type. The formal oxidation state of Ni is +1.0. Sr2[Ni(CN)N]: The structure consists of N-Ni-(CN) dumbbells. The compound is the first example of cyano-nitridonickelate. The formal oxidation state of Ni is 0. The handling of the ternary alkaline earth nitridonickelates in specific and also of the other nitridometalates in general suffers greatly due to their being air and moisture sensitive. This requires synthetic methods suitable for air and moisture sensitive samples and also the respective instrumental setup for the measurement of their physical properties under inert atmosphere. Up to now no comprehensive investigation of the physical properties of the ternary alkaline earth nitridonickelates has been made. In this work an emphasis was given to systematically investigate the physical properties of the ternary alkaline earth nitridonickelates and to understand their structure specific physical properties. The common features of the investigated ternary alkaline earth nitridonickelates are: 1. the low valency of nickel. 2. the linear coordination of Ni and octahedral coordination of N. During this investigation the low valent character of nickel was experimentally confirmed with the help of X-ray absorption spectroscopy and the interpretation of magnetic susceptibility data where the magnetic moments of the nickel atoms were always consistent with that of a low valent nickel species. The results obtained from the magnetic measurements and electrical conductivity shows that the alkaline earth nitridonickelates order antiferromagnetically at low temperatures and show temperature dependent metallic conductivity whereas the cyano-nitridonickelate Sr2[Ni(CN)N] does not order at low temperature, is paramagnetic, and exhibits semiconducting behaviour. This investigation has provided a better understanding of ternary alkaline earth nitridonickelates with respect to the different structure they exhibit and their associated physical properties. This work motivates to extend the investigations of the physical properties of other nitridometalates. These also exhibit different crystal structures with respect to their nitridometalate anionic framework and thus, structure specific physical properties are also to be expected.

Die experimentellen Untersuchungen zur Strömungs-Struktur-Interaktion kommen zu folgenden Ergebnissen. Die als entrainment bezeichnete Verhaltensweise von Fischen kann durch den gezielten Ausgleich von Auftriebs-, Widerstands- und einer erstmals nachgewiesenen Saugkraft und der damit verbundenen Reduzierung der lokomotorischen Energie erklärt werden. Des Weiteren zeigen die Experimente an einer wellenförmig bewegten Oberfläche, dass die Strömung an einem Wellenberg zyklisch zwischen laminarem und turbulentem Regime wechselt und dass diese Oszillation zur Reduzierung des Form- und Gesamtwiderstandes der geschleppten Oberfläche führt. Dünne, flexible Häutchen hairy flaps an der Rückseite eines Zylinders führen zu einer Änderung der Struktur der Wirbelablösung an diesem. Dadurch wird sowohl die auf den Zylinder wirkende Auftriebskraft als auch die Widerstandskraft um bis zu 65% reduziert. Für die Interaktion zwischen der Strömung um zwei hintereinander positionierte elastische Zylinder und ihrer Kinematik konnte die Synchronisierung (lock-in) ihrer Bewegung mit einer verbundenen Zerstörung der Wirbelstraße hinter dem zweiten Zylinder gezeigt werden.:Zusammenfassung 1 Conclusions 7 1. Einleitung und Zielsetzung 11 2. Messtechnische Grundlagen 17 2.1. Klassische Particle Image Velocimetry 18 2.2. Scanning Particle Image Velocimetry 20 2.3. Mirror Particle Tracking Velocimetry 21 2.4. Druckberechnung 35 3. Hydrodynamisches Modell des entrainments 37 3.1. Stand der Forschung 38 3.2. Experimenteller Aufbau 42 3.3. Ergebnisse 44 3.4. Zusammenfassung 51 4. Undulatorisch bewegte Oberflächen 53 4.1. Stand der Forschung 54 4.2. Mechanisches Modell 57 4.3. Experimenteller Aufbau 61 4.4. Ergebnisse 65 4.5. Zusammenfassung 74 5. Selbstadaptive elastische Klappen - hairy flaps 77 5.1. Stand der Forschung 78 5.2. Experimenteller Aufbau 82 5.3. Ergebnisse 86 5.4. Zusammenfassung 107 6. Umströmung stumpfer elastischer Körper 109 6.1. Stand der Forschung 110 6.2. Experimenteller Aufbau 116 6.3. Ergebnisse 120 6.4. Zusammenfassung 128 7. Ausblick 131 Abbildungsverzeichnis 135 Tabellenverzeichnis 141 Symbolverzeichnis 142 Literaturverzeichnis 146 A. Anhang 155 / The experimental investigations presented herein explain the behavioural adaptation of fish called entrainment for the first time. The results confirm a balance of lift-, drag- and a suction-force, explaining the reduction of locomotive energy. Furthermore, flow measurements around an undulating membrane affirm an oscillation between laminar and turbulent flow over one period of the motion and that this oscillation decreases the pressure- and drag-force of the towed membrane. Experiments on thin and flexible flaps attached at the lee-side of a cylinder, show that the flaps alter the natural vortex separation cycle in such a way that the vortices do not shed in a staggered side-by-side arrangement but in line in a row with the cylinder wake axis. Thus, flow fluctuations are reduced by 42% in stream-wise - and 35% in transversal direction at best, compared to a reference case without hairy-flaps. Finally, investigations on the flow around and on the kinematics of two flexible cylinders in a tandem arrangement demonstrate a synchronisation of their motion (lock-in), resulting in the destruction of the vortex-street behind the second cylinder.:Zusammenfassung 1 Conclusions 7 1. Einleitung und Zielsetzung 11 2. Messtechnische Grundlagen 17 2.1. Klassische Particle Image Velocimetry 18 2.2. Scanning Particle Image Velocimetry 20 2.3. Mirror Particle Tracking Velocimetry 21 2.4. Druckberechnung 35 3. Hydrodynamisches Modell des entrainments 37 3.1. Stand der Forschung 38 3.2. Experimenteller Aufbau 42 3.3. Ergebnisse 44 3.4. Zusammenfassung 51 4. Undulatorisch bewegte Oberflächen 53 4.1. Stand der Forschung 54 4.2. Mechanisches Modell 57 4.3. Experimenteller Aufbau 61 4.4. Ergebnisse 65 4.5. Zusammenfassung 74 5. Selbstadaptive elastische Klappen - hairy flaps 77 5.1. Stand der Forschung 78 5.2. Experimenteller Aufbau 82 5.3. Ergebnisse 86 5.4. Zusammenfassung 107 6. Umströmung stumpfer elastischer Körper 109 6.1. Stand der Forschung 110 6.2. Experimenteller Aufbau 116 6.3. Ergebnisse 120 6.4. Zusammenfassung 128 7. Ausblick 131 Abbildungsverzeichnis 135 Tabellenverzeichnis 141 Symbolverzeichnis 142 Literaturverzeichnis 146 A. Anhang 155

Studien undersöker informella normer inom familjerätten och tillståndsenheten, och hur de kan påverka yrkesverksamma socionomer i sitt arbete. Undersökningen innefattar fyra intervjudeltagare, två socionomer från familjerätten och två socionomer från tillståndsenheten. Genom att undersöka de yrkesverksamma socionomernas förhållningssätt gentemot formella strukturer, handlingsutrymme och samarbete med kollegor kan de informella normerna, som styr de anställdas sätt att tänka, känna och agera, identifieras och analyseras. Med hjälp av teorier om kultur, organisationskultur och informella normer analyseras yrkesverksamma socionomers sätt att tänka, känna och agera utifrån vad som för organisationskulturen anses vara det korrekta sättet. Genom att studera likheter och skillnader i de anställdas uttryckande av sina inställningar och attityder, så är tanken att man ska kunna utläsa deras individuella sätt att tänka och känna, gentemot det sätt som organisationskulturens informella normer försöker styra dem till. Resultatet i undersökningen visar på att det finns informella normer i både tillståndsenheten och familjerätten som påverkar de yrkesverksammas samarbete med kollegor och tillhörighet till gruppen, vilket tycks påverka deras inställningar och attityder gentemot olika delar i yrkesutövandet. Resultatet visar ett samband mellan grupptillhörighet och positiva attityder och inställningar till samarbete med kollegor, och ett samband mellan negativa attityder och inställningar till utanförskap/exkludering ur gruppen. Resultatet visade att de informella normerna påverkade de yrkesverksamma socionomernas praktiska arbete, vilket gjorde sig påtagligt i deltagarnas konflikthantering, samarbete med kollegor och självständighet i handläggning och beslutsfattande.

Der mit flüssigem Natrium gefüllte Druckbehälter eines Präzessionsexperimentes unterliegt im Betrieb einer Vielzahl an Belastungen. Neben den aus der Rotation und Präzession resultierenden Fliehkräften und dem gyroskopischen Moment müssen ebenfalls die fertigungsbedingten Unwuchten sowie die Fluid-Struktur-Interaktion berücksichtigt werden. Darüber hinaus stellen die bei der Erwärmung bzw. Abkühlung auftretenden thermischen Spannungen eine wesentliche Beanspruchung dar. Es wird ein Algorithmus vorgestellt, der es ermöglicht, alle diese transienten und winkelabhängigen Lasten bei minimalem Rechenaufwand in den Berechnungsprozess einzubeziehen und die für den statischen und zyklischen Festigkeitsnachweis nach FKM-Richtlinie maßgeblichen Beanspruchungen zu identifizieren. Dies ermöglicht die vollflächige Berechnung des Auslastungsgrades in ANSYS Workbench.