The objectives were to study: (1) if psychosocial factors (such as social support from coaches and peers), within a football context, could predict psychological well-being among soccer academy players (2) the relationship between selection and well-being among football academy players and (3) compare the age categories 11-14 and 15-19 in perceived wellbeing, experiences of selection and social support from coaches and peers.  In total, 443 players from four academy settings participated in the study. The player’s ages differences were between 11-19 years. The instrument used was the Swedish health survey developed by the Swedish Health Institute with a number of football specific items added. Result suggests a regression model including two variables (social support from coaches and peers) explaining 16, 6 % of the psychological well-being. Further, a negative relationship was found between selection and perceived well-being. Another finding was that the youth players (11-15 years) experienced higher levels of social support and psychological well-being, but experienced selection more negatively compared to junior players (15-19 years). Recommendations are given to coaches to be aware of developing a supportive coaching style. Another recommendation to increase well-being is to develop support mechanisms to help the youth players in academy settings to cope with the pressure of selection. The results are discussed in relation to theoretical frameworks and previous research.  Keywords: Football academies, psychological well-being, social support and selection / Svenska fotbollsförbundet

This document presents a formula selection system for classical first order theorem proving based on the relevance of formulae for the proof of a conjecture. It is based on unifiability of predicates and is also able to use a linguistic approach for the selection. The scope of the technique is the reduction of the set of formulae and the increase of the amount of provable conjectures in a given time. Since the technique generates a subset of the formula set, it can be used as a preprocessor for automated theorem proving. The document contains the conception, implementation and evaluation of both selection concepts. While the one concept generates a search graph over the negation normal forms or Skolem normal forms of the given formulae, the linguistic concept analyses the formulae and determines frequencies of lexemes and uses a tf-idf weighting algorithm to determine the relevance of the formulae. Though the concept is built for first order logic, it is not limited to it. The concept can be used for higher order and modal logik, too, with minimal adoptions. The system was also evaluated at the world championship of automated theorem provers (CADE ATP Systems Competition, CASC-24) in combination with the leanCoP theorem prover and the evaluation of the results of the CASC and the benchmarks with the problems of the CASC of the year 2012 (CASC-J6) show that the concept of the system has positive impact to the performance of automated theorem provers. Also, the benchmarks with two different theorem provers which use different calculi have shown that the selection is independent from the calculus. Moreover, the concept of TEMPLAR has shown to be competitive to some extent with the concept of SinE and even helped one of the theorem provers to solve problems that were not (or slower) solved with SinE selection in the CASC. Finally, the evaluation implies that the combination of the unification based and linguistic selection yields more improved results though no optimisation was done for the problems. / Dieses Dokument stellt ein System vor, das aus einer (großen) gegebenen Menge von Formeln der klassischen Prädikatenlogik eine Teilmenge auswählt, die für den Beweis einer logischen Formel relevant sind. Ziel des Systems ist, die Beweisbarkeit von Formeln in einer festen Zeitschranke zu ermöglichen oder die Beweissuche durch die eingeschränkte Formelmenge zu beschleunigen. Das Dokument beschreibt die Konzeption, Implementierung und Evaluation des Systems und geht dabei auf die zwei verschiedenen Ansätze zur Auswahl ein. Während das eine Konzept eine Graphensuche wahlweise auf den Negations-Normalformen oder Skolem-Normalformen der Formeln durchführt, indem Pfade von einer Formel zu einer anderen durch Unifikation von Prädikaten gebildet werden, analysiert das andere Konzept die Häufigkeiten von Lexemen und bildet einen Relevanzwert durch Anwendung des in der Computerlinguistik bekannten tf-idf-Maßes. Es werden die Ergebnisse der Weltmeisterschaft der automatischen Theorembeweiser (CADE ATP Systems Competition, CASC-24) vorgestellt und der Effekt des Systems für die Beweissuche analysiert. Weiterhin werden die Ergebnisse der Tests des Systems auf den Problemen der Weltmeisterschaft aus dem Jahre 2012 (CASC-J6) vorgestellt. Es wird darauf basierend evaluiert, inwieweit die Einschränkungen die Theorembeweiser bei dem Beweis komplexer Probleme unterstützen. Letztendlich wird gezeigt, dass das System einerseits positive Effekte für die Theorembeweiser hat und andererseits unabhängig von dem Kalkül ist, den die Theorembeweiser nutzen. Ferner ist der Ansatz unabhängig von der genutzten Logik und kann prinzipiell für alle Stufen der Prädikatenlogik und Aussagenlogik sowie Modallogik genutzt werden. Dieser Aspekt macht den Ansatz universell im automatischen Theorembeweisen nutzbar. Es zeigt sich, dass beide Ansätze zur Auswahl für verschiedene Formelmengen geeignet sind. Es wird auch gezeigt, dass die Kombination beider Ansätze eine signifikante Erhöhung der beweisbaren Formeln zur Folge hat und dass die Auswahl durch die Ansätze mit den Fähigkeiten eines anderen Auswahl-Systems mithalten kann.

Diss. (sammanfattning) Uppsala : Uppsala universitet, 2006. / Härtill 5 uppsatser.

Diss. (sammanfattning) Uppsala : Uppsala universitet, 2006. / Härtill 5 uppsatser.

Techn. Universiẗat, Diss., 2003--Darmstadt.

Genetiska algoritmer(GA)är en sökalgoritm som framlades av Holland (1975). GA efterliknar evolution; en mängd lösningar kombineras och muterar under loppet av flera generationer för att skapa en så bra lösning som möjligt. En vidareutveckling av GA är distribuerade genetiska algoritmer (DGA); en samling GA exekverar isolerat från varandra och med jämna mellanrum delar lösningarmed varandra. Detta arbete har undersökt hur DGA påverkas av k-elitism; att de k bästa lösningarna kopieras till nästa generation utan att förändras. En DGA har implementerats som löser handelsresandeproblem från problembiblioteket TSPLIB. Experimenten visade att k-elitism påverkar hur bra lösningar som produceras samt hur många generationer som krävs innan algoritmen slutar göra framsteg. Vissa värden på k gav i regel bättre resultat, och andra värden på k gav i regel sämre resultat. Det föreslås att mer forskning görs på området. Resultaten bör verifieras för andra variabeluppsättningar och migrationsfrekvensens betydelse bör undersökas djupare.

Modern humans originated in Africa around 200,000 years ago and today have settled in nearly every corner of earth. During migrations humans became exposed to new pathogens, food sources and have encountered vastly different environments. Natural selection likely contributed to the survival under such diverse conditions by promoting the raise in frequency of advantageous alleles. Thereby natural selection leaves genetic footprints that we can identify. The thesis at hand is about understanding how natural selection has shaped different human populations by analyzing these genetic footprints. In the first study, I infer the evolutionary history of an insertion-substitution variant using present-day human genomic data. This variant is interesting because the ancestral allele encodes a previously unannotated open-reading frame for a gene with antiviral ac- tivity (IFNL4 ), while the derived allele truncates this open-reading frame and is strongly associated with improved clearance of Hepatitis C, a major health care problem. Using an approximate bayesian computation approach I infer a complex evolutionary history, where the derived, truncating allele evolved under weak positive selection in Africa, with selection strength increasing in non-African populations, especially in East Asian popu- lations where the truncating allele is nearly fixed today. Hence, the changes in selection and resulting population differences in allele frequency contribute to the variation in Hep- atitis C clearance observed across human populations today. In the second study, I use ancient human genomes to estimate genome-wide allele frequencies in the past to understand present-day population differentiation. I develop a new statistic and incorporate the genome of Ust’-Ishim, a modern human that lived 45,000 year ago in Siberia, to study to what extent natural selection and drift have contributed to human population differentiation. The results suggest that European populations carry high frequency alleles in protein-coding (genic) regions that evolved under strong, recent positive selection. Further, the genic alleles that rose in frequency recently in Europeans were already present in ancient hunter-gatherers more often than in ancient farmers. This suggests that during the colonization of Europe local, positive selection changed the frequency of advantageous alleles in hunter-gatherer populations prior to the influx of farming individuals and those alleles remained beneficial also in the later admixed populations.

Den här är en översiktsstudie som syftar till att presentera en bild av forskningen relaterad till ungdomar som ansluter sig till gatugäng och utvecklingen av deras kriminella beteende. Relevanta studier har analyserats med hjälp av två teorier; signalteorin som ser till signaler mellan gäng och deras potentiella rekryter och teorin om differentiella associationer som argumenterar för att ett kriminellt beteende är inlärt genom kontakter med pro-kriminella influenser. Den här studien omfattar två frågeställningar: (1) Varför går ungdomen med i ett gatugäng? (2) Hur påverkar gängmedlemskapet ungdomens attityder och kriminella beteende? För att svara på dessa frågor har vi gjort en översiktsstudie där vi inkluderat en kvalitativ, åtta kvantitativa vetenskapliga artiklar och en meta-studie. Från denna data har vi sedan applicerat en tematisk analys. Resultatet visar hur kumulativa riskfaktorer ökar oddsen för ett gängmedlemskap betydligt och medlemmarnas attityder och beteende anpassas efter gängets normer och sätt att agera. Det visar också på att gängmedlemskapet och adopterandet av gruppidentiteten tar över de normativa värderingarna, genomgående ökar brottsligheten och leder till ett ökat våldsamt beteende.

Syfte: Syftet med studien är att jämföra Malmö FF:s och IFK Göteborgs fotbollsakademier på högstadie- respektive mellanstadie-/högstadienivå. Att skapa förståelse för vad en fotbollsakademi i Sverige kan innebära och problematisera företeelsen utifrån förhållandet mellan tidiga selekteringar och den ökande professionaliseringen. Malmö FF:s och IFK Göteborgs ungdomsverksamheter beskrivs kort och jämförs för att kunna sätta in akademiverksamheten i ett sammanhang. Frågeställning: Vad motiverar förekomsten av fotbollsakademier?Problemområdet närmas genom att ha begreppet profession som teoretisk utgångspunkt. Det handlar i stort om hur fotbollsverksamheten i Sverige har professionaliserats, vad det innebär, med följden att det idag krävs oerhört mycket för att som spelare (och tränare) nå elitnivå. Vidare behandlas tidigare forskning i anknytning till området, potentiella sociala problem med tidiga ungdomssatsningar lyfts fram och föregångare i Sverige till dagens fotbollsakademier beskrivs. Den största problematiken är det faktum att de som är tidigt födda på året vid tidiga selekteringar och satsningar i svensk fotboll i stor utsträckning premieras framför de sent födda på året. Metod: Intervjuer med de båda akademiansvariga, Roger Gustafsson och Richard Ohlqvist, är centrala för min undersökning. Insamling av statistiskt material för i vilken ålder spelarna i respektive A-trupp kommit till klubbarna de senaste tio åren används också som grund för vidare analyser. Övergripande slutsats: Det som motiverar fotbollsakademier är i huvudsak skolans viktiga roll och det sociala ansvar de båda akademierna tar. Detta eftersom fotbollsspelandet för killarna är en minst sagt oförutsägbar och liten möjlighet som framtida försörjningskälla i livet. Dessutom bör svensk fotbolls mål vara att ge så många som möjligt chansen till att få mycket kvalitativ träning, istället för att koncentrera sig på ett fåtal (genom ungdomslandslag) i hela landet. Detta är något fotbollsakademier kan bidra med om de sprids över hela Sverige likt fotbollsgymnasium och något som skulle ge resultat i form av riktigt bra fotbollsspelare i framtiden. Problematiken med att de som är födda tidigt på året premieras bör kringgås antingen genom uttagningsgrupper uppdelade efter halvåren eller att spelarna tas ut efter andra parametrar än fotbollskompetens i första hand.

In der vorliegenden Arbeit wird ein strukturiertes Vorgehen bei der Auswertung von Tiefeninterviews in der Personalauswahl vorgeschlagen. Ausgewählte Arbeitsschritte dieses strukturierten Vorgehens werden evaluiert: Identifikation relevanter Informationen, Zuordnung der Informationen zu Arbeitsanforderungen, Beurteilung des Bewerbers hinsichtlich der einzelnen Arbeitsanforderung und der Gesamteignung. Es wurden drei Interviewtranskripte von Tiefeninterviews konstruiert, zwei davon anhand eines simulierten, aber real durchgeführten Rollenspiels, eines anhand einer Modellperson. Die Untersuchungsteilnehmer hatten die Aufgabe, diese Interviewtranskripte auszuwerten und die Bewerber zu beurteilen. In Hauptuntersuchung I werden die klassischen Gütekriterien (Objektivität, Reliabilität und Validität) der strukturierten Auswertung bestimmt. In Hauptuntersuchung II wird geprüft, ob diese strukturierte Auswertung zu höheren Gütekriterien führt als eine nicht strukturierte Vorgehensweise. Die Ergebnisse zeigen ein heterogenes Bild der Gütekriterien der strukturierten Auswertung. Die Objektivität und Validität der Identifikation der Informationen kann als gut, die Retest-Reliabilität als zufriedenstellend bezeichnet werden. Die Retest-Reliabilität der korrekten Zuordnung der Informationen zu den Arbeitsanforderungen kann als zufriedenstellend gekennzeichnet werden, während die Validität dieses Auswertungsschrittes als mangelhaft anzusehen ist. Der Vergleich der strukturierten mit der nicht strukturierten Auswertung zeigt, dass die korrekte Identifikation der relevanten Informationen bei strukturierter Auswertung eher gelingt (Validität). Hinsichtlich der Objektivität zeigt sich bei diesem Auswertungsschritt kein statistischer Unterschied. Die Objektivität der Beurteilung der Arbeitsanforderungen ist hingegen bei strukturierter Auswertung signifikant höher. Eine höhere Validität ist hier nur für ein Interviewtranskript nachweisbar. In der vorliegenden Arbeit konnte gezeigt werden, dass der Auswertungsschritt der Zuordnung der Informationen zu den Arbeitsanforderungen schwierig ist. Eine verhaltensorientierte Definition der Arbeitsanforderungen scheint hierfür nicht auszureichen. Die Überlegenheit der strukturierten gegenüber einer nicht strukturierten Auswertung konnte aber teilweise gezeigt werden. Die Methode zur Auswertung von Tiefeninterviews in der Personalauswahl ergänzt bereits vorliegende Auswertungsvorschläge der strukturierten Interviewmethoden. Anhand der vorliegenden Arbeit lassen sich weitere Analysen der einzelnen Auswertungsschritte sowie die Entwicklung eines handhabbaren Auswertungsinstruments für Praktiker ableiten.