Low energy elastic and electronically inelastic electron scattering from biomolecules.

Reactions initiated by collisions with low-energy secondary electrons has been found to be the prominent mechanism toward the radiation damage on living tissues through DNA strand breaks. Now it is widely accepted that during the interaction with these secondary species the selective breaking of chemical bonds is triggered by dissociative electron attachment (DEA), that is, the capture of the incident electron and the formation of temporary negative ion states [1,2,3]. One of the approaches largely used toward a deeper understanding of the radiation damage to DNA is through modeling of DEA with its basic constituents (nucleotide bases, sugar and other subunits). We have tried to simplify this approach and attempt to make it comprehensible at a more fundamental level by looking at even simple molecules. Studies involving organic systems such as carboxylic acids, alcohols and simple ¯ve-membered heterocyclic compounds are taken as starting points for these understanding. In the present study we investigate the role played by elastic scattering and electronic excitation of molecules on electron-driven chemical processes. Special attention is focused on the analysis of the in°uence of polarization and multichannel coupling e®ects on the magnitude of elastic and electronically inelastic cross-sections. Our aim is also to investigate the existence of resonances in the elastic and electronically inelastic channels as well as to characterize them with respect to its type (shape, core-excited or Feshbach), symmetry and position. The relevance of these issues is evaluated within the context of possible applications for the modeling of discharge environments and implications in the understanding of mutagenic rupture of DNA chains. The scattering calculations were carried out with the Schwinger multichannel method (SMC) [4] and its implementation with pseudopotentials (SMCPP) [5] at di®erent levels of approximation for impact energies ranging from 0.5 eV to 30 eV. References [1] B. Boudai®a, P. Cloutier, D. Hunting, M. A. Huels and L. Sanche, Science 287, 1658 (2000). [2] X. Pan, P. Cloutier, D. Hunting and L. Sanche, Phys. Rev. Lett. 90, 208102 (2003). [3] F. Martin, P. D. Burrow, Z. Cai, P. Cloutier, D. Hunting and L. Sanche, Phys. Rev. Lett. 93, 068101 (2004). [4] K. Takatsuka and V. McKoy, Phys. Rev. A 24, 2437 (1981); ibid. Phys. Rev. A 30, 1734 (1984). [5] M. H. F. Bettega, L. G. Ferreira and M. A. P. Lima, Phys. Rev. A 47, 1111 (1993).

Sexual selection in Pomatoschistus – nests, sperm competition, and paternal care

Sexual selection arises through variation in reproductive success. This thesis investigates different aspects important in sexual selection, namely nest building, sperm competition, paternity and paternal care, and their mutual interrelationships. In the studied species, the sand goby (Pomatoschistus minutus) and the common goby (Pomatoschistus microps), sperm competition did arise when small males, so called sneakers, sneaked into other males nests and released sperm. They seemed to use female behaviour as their prime cue for a sneaking opportunity. However, also nest-holders, both with and without eggs, were found to fertilize eggs in the nests of other males. Clearly, nest-holding males tried to prevent other males from spreading their sperm in their nests, since they showed aggression towards such males. A nest building experiment indicated that the small nest-openings found in the sneaker male treatment were sexually selected through protection against sneaking or by female choice. Yet, no behavioural or genetical support for the hypothesis that the nest functions as a physical or visual defence, or that sneaker males prefer to sneak upon nests with wide nest-openings, were found in the other studies. Still, individual nest-holding males showed a higher mucus preparation effort inside the nest in the presence of a sneaker male than when alone. In close relatives, such mucus contains sperm, suggesting an importance in sperm competition. However, the mucus may also have pheromone and anti-bacterial functions and may constitute a mating effort, as found in other gobies. Both a behavioural and a mate choice experiment suggested that the males were not less eager to spawn in the presence of a sneaker male. Sneak intrusion did not affect nest defence, fanning or filial cannibalism, nor had paternity an effect on filial cannibalism. This and various life history aspects, together with the fact that the parasitic male only fertilized a fraction of the clutches, would predict females to ignore sneaker males. This was also the case, as the presence of sneaker males was found not to affect female spawning decision. Still, several females spawned in two nests, which coincided with parasitic spawnings, suggesting a cost of disturbance for the females and thus a substantial cost to the nest-holding males in terms of lost mating success. However, females paid attention to other traits in their choice of mate since spawning was associated with sand volume of the nest, but not with nest-opening width. Also, female (but not male) courtship was correlated with partial clutch filial cannibalism, indicating that females are able to anticipate future male cannibalism. In a partial correlation of nest opening, sand volume, male courtship display, displacement fanning and male size, a large number of traits were correlated both positively and negatively with regard to how we may expect them to be appreciated by females. For instance, males which fan well also build large nests or display intensely (but not both). Together with all the other results of this thesis, this shows the entangled selection pressures working on breeding animals, as well as the different male and female tactics employed to maximize their reproduction.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

A two-stage economic succession at the inception of farming in central Portugal. Preliminary examination of possible causes and consequences

[EN]Notwithstanding their scarcity and uneven distribution, zooarchaeological and stable isotope data sets on the Early and Middle Neolithic (5500–3200 cal BC) in the region of Estremadura in Central Portugal strongly suggest that two succeeding stages in subsistence strategies took place: sheep and goat itinerant pastoralism (across large areas) and/or renewed focus on wild food sources (cervid hunting, harvesting marine and freshwater food) which replaced livestock farming within smaller areas and less specialised hunting practices. This economic shift seems to have coincided with two other dramatic changes: the 5.9 kyr cal BP climate event and the onset of megalithism. Possible correlations between these past cultural and palaeoenvironmental phenomena are herein preliminarily outlined. [ES] A pesar de su escasez y distribución desigual, el conjunto de datos arqueozoológicos y de isótopos estables para el Neolítico Antiguo y Medio de la región de Estremadura en el centro de Portugal (5500-3200 a. C. cal), sugiere con claridad dos etapas sucesivas en las estrategias de subsistencia: pastoreo itinerante de ovejas y cabras (ocupando grandes territorios) y/o un renovado interés por los recursos alimenticios silvestres (caza de cérvidos, recolección de alimentos marinos y de agua dulce), que reemplazó otras formas de ganadería más confinadas en el espacio acciones con regímenes de mantenimiento reducidos y unas prácticas de caza menos especializadas. Este cambio económico parece haber ocurrido junto con otros dos cambios dramáticos, el evento climático 5.9 k BP (cal.) y el inicio del megalitismo. Aquí se esbozan de forma preliminar las posibles correlaciones entre estos fenómenos culturales y paleoambientales del pasado.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Coordinated Control of Robotic Swarms in Unknown Environments

This thesis gathers the work carried out by the author in the last three years of research and it concerns the study and implementation of algorithms to coordinate and control a swarm of mobile robots moving in unknown environments. In particular, the author's attention is focused on two different approaches in order to solve two different problems. The first algorithm considered in this work deals with the possibility of decomposing a main complex task in many simple subtasks by exploiting the decentralized implementation of the so called \emph{Null Space Behavioral} paradigm. This approach to the problem of merging different subtasks with assigned priority is slightly modified in order to handle critical situations that can be detected when robots are moving through an unknown environment. In fact, issues can occur when one or more robots got stuck in local minima: a smart strategy to avoid deadlock situations is provided by the author and the algorithm is validated by simulative analysis. The second problem deals with the use of concepts borrowed from \emph{graph theory} to control a group differential wheel robots by exploiting the Laplacian solution of the consensus problem. Constraints on the swarm communication topology have been introduced by the use of a range and bearing platform developed at the Distributed Intelligent Systems and Algorithms Laboratory (DISAL), EPFL (Lausanne, CH) where part of author's work has been carried out. The control algorithm is validated by demonstration and simulation analysis and, later, is performed by a team of four robots engaged in a formation mission. To conclude, the capabilities of the algorithm based on the local solution of the consensus problem for differential wheel robots are demonstrated with an application scenario, where nine robots are engaged in a hunting task.

The genetic signature of Neolithic in Greece

The Neolithic is characterized by the transition from a subsistence economy, based on hunting and gathering, to one based on food producing. This important change was paralleled by one of the most significant demographic increase in the recent history of European populations. The earliest Neolithic sites in Europe are located in Greece. However, the debate regarding the colonization route followed by the Middle-eastern farmers is still open. Based on archaeological, archaeobotanical, craniometric and genetic data, two main hypotheses have been proposed. The first implies the maritime colonization of North-eastern Peloponnesus from Crete, whereas the second points to an island hopping route that finally brought migrants to Central Greece. To test these hypotheses using a genetic approach, 206 samples were collected from the two Greek regions proposed as the arrival point of the two routes (Korinthian district and Euboea). Expectations for each hypothesis were compared with empirical observations based on the analysis of 60 SNPs and 26 microsatellite loci of Y-chromosome and mitochondrial DNA hypervariable region I. The analysis of Y-chromosome haplogroups revealed a strong genetic affinity of Euboea with Anatolian and Middle-eastern populations. The inferences of the time since population expansion suggests an earlier usage of agriculture in Euboea. Moreover, the haplogroup J2a-M410, supposed to be associated with the Neolithic transition, was observed at higher frequency and variance in Euboea showing, for both these parameters, a decreasing gradient moving from this area. The time since expansion estimates for J2a-M410 was found to be compatible with the Neolithic and slightly older in Euboea. The analysis of mtDNA resulted less informative. However, a higher genetic affinity of Euboea with Anatolian and Middle-eastern populations was confirmed. These results taken as a whole suggests that the most probable route followed by Neolithic farmers during the colonization of Greece was the island hopping route.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Celti e Reti tra V e I sec. a.C. Oggetti tipo LaTène all'interno della cerchia culturale Fritzens-Sanzeno (arco alpino centro-orientale)

The study of the objects LaTène type found in middle-eastern alpine region (Trentino Alto Adige-Südtirol, Engadina, North Tirol, Voralberg and Villach basin) is aimed to a better comprehension of the complex net of relationships established among the Celts, settled both in the central Europe territories and, since the IV century b.C., in the Po Plain, and the local populations. The ancient authors, who called the inhabitants of this area Raeti, propose for this territory the usual pattern according to which, the population of a region was formed consequently to a migration or was caused by the hunting of pre-existing peoples. The archaeologists, in the last thirty years, recognized a cultural facies typical of the middle-eastern alpine territory during the second Iron Age, and defined that as Fritzens-Sanzeno culture (from the sites of Fritzens, Inn valley, and Sanzeno, Non Valley). The so-called Fritzens-Sanzeno culture spread out without breaks from the material culture of the final Bronze Age and the first Iron Age. This local substratum, characterized by a ceramic repertoire strongly standardized, by peculiar architectural solutions and by a particular typology of rural sacred places (Brandopferplätze), accepted, above all during the second Iron Age, the strong influences coming from the Etruscan world and from the Celtic one (evident in the presence of objects of ornament, of glass artefacts, of elements of the weaponry and of coins). The objects LaTène type become, with different degrees of reliability, important markers of the relationships existing between the Celts and the Raeti, although the ways of interaction (cultural influence, people's movements, commercial exchanges, gifts among élites etc.) is not still clear. The revision of published data and the study of unpublished materials allows to define a rich and articulated picture both to chronological level and to territorial one.

Anatomy, phylogeny, and palaeoecology of the basal thalattosuchians (Mesoeucrocodylia) from the Liassic of Central Europe

In the marine Jurassic deposits of Europe, a group of marine crocodilians, the Thalattosuchia, belongs to the frequently found reptiles. Thalattosuchia are widely spread in Central Europe from the Jurassic to Lower Cretaceous, and some taxa are also distributed worldwide. The task of the work was to examine all taxa known from the Liassic of Europe. The most frequently known taxa Steneosaurus bollensis and Pelagosaurus typus are anatomically revised. New discoveries at the skull of Pelagosaurus typus e.g., the fact of a partly paired frontal are described by means of computed tomography investigations. In addition, juvenile specimens of this taxon are studied in detail for the first time. The rarely occurring taxon Platysuchus multiscrobiculatus is anatomically described in detail for the first time. It shows both in the skull and in the postcranial material morphological differences to Steneosaurus bollensis and Pelagosaurus typus. Thus Pl. multiscrobiculatus possesses, e.g., an ilium with a deeper acetabulum and a femur with a distinctly flexed femoral head. A juvenile specimen of Pl. multiscrobiculatus is now discovered and is described in parts for the first time, too. Furthermore, Steneosaurus gracilirostris and Steneosaurus brevior known from Lower Jurassic deposits of England are examined and in parts revised. In this work, Steneosaurs brevior is discovered with one specimen from the Upper Liassic of Holzmaden, Germany for the first time, and provides new evidence for the palaeobiogeographical distribution of the taxon. Because of the high number of investigated specimens, it is possible to study ontogenetic development from juvenile to adult stage in Steneosaurus bollensis, Pelagosaurus typus, and Platysuchus multiscrobiculatus. Biometric data are collected from thalattosuchians and extant crocodilians (e.g. Gavialis gangeticus) to investigate intraspecific variation, ontogenetic development, and taxa differentiation. The skulls of Platysuchus multiscrobiculatus and Steneosaurus bollensis are reconstructed three-dimensionally as wax models. The skull reconstructions form the basis of the jaw muscle restoration of Steneosaurus bollensis in connection with comparative studies at extant crocodilians. By means of functional morphologic analysis of the jaw musculature, the dentition, and the locomotor system of S. bollensis, possible conclusions are drawn for the prey options and the hunting behaviour. To clarify the relationships within the Thalattosuchia, a computer-based cladistic phylogenetic in-group analyse of 25 Thalattosuchia taxa is performed. For the analysis, following Thalattosuchia taxa are studied likewise at original material for comparisons: Metriorhynchus superciliosus, Metriorhynchus hastifer, Metriorhynchus leedsi, Geosaurus gracilis, Geosaurus giganteus, Teleidosaurus calvadosi, Teleidosaurus gaudryi, Teleosaurus cadomensis, Teleosaurus geoffroyi, Steneosaurus priscus, Steneosaurus edwardsi, Steneosaurus heberti, Steneosaurus leedsi, Steneosaurus boutilieri, Steneosaurus megarhinus, Steneosaurus obtusidens, and Machimosaurus hugii. The phylogenetic in-group analyse based on 115 characters, reveals a sister-group relationship of the monophyletic Teleosauridae and monophyletic Metriorhynchidae. Within the groups, some taxa are probably paraphyletic. The taxon Pelagosaurus typus is nested inside the Teleosauridae and not outside or within the Metriorhynchidae, as many authors suggested it so far. Based on these results, a tentative palaeobiogeographical-evolutionary scenario is developed.

Il cane e l'uomo nella cultura e nel diritto dell'alto medioevo

Attraverso l’indagine di fonti altomedievali come le Leges dei barbari si è potuto valutare, da un punto di vista pragmatico e fattuale, l’intenzione umana – a volte incidentale e pure difficoltosa – di inquadrare e definire il rapporto con un animale domestico come il cane, che continua e si evolve tra Antichità ed Alto Medioevo e senza una cesura netta. Per completare il quadro culturale e storico-sociale della ricerca, oltre alla trattatistica antica e alla letteratura medievale sugli animali, si è passato in rassegna espressioni documentarie come i capitularia mundana ed ecclasiastica, che hanno destato ulteriore interesse in quanto in esse sussiste il riflesso di un’attenzione tutta “altomedievale” per il cane e per quell’attività che da millenni lega l’uomo a questo animale: la caccia. L’argomento venatorio presuppone l’associazione con il cane nella quasi totalità dei provvedimenti sulla caccia, trasmettendo testimonianze stimabili del connubio homo cum canibus. Ne risulta ora un’amicitia, ora un legame impedito come nelle continue interdizioni venatorie rivolte agli ecclesiastici, uomini – e donne – di Chiesa che andavano a caccia. Pur non fornendo le stesse informazioni minuziose sui cani delle Leggi dei barbari, i capitularia propongono suggestivi scorci di un mondo in cui la caccia, forse la sola attività attraverso cui uomo e cane condividono le medesime trepidazioni primordiali, non era violenza gratuita ma un fondamento della cultura, soprattutto, ma non solo, di ambito aristocratico.

Vidding Grrls. Pratiche di remix audiovisivo nella cultura digitale contemporanea

La pratica del remix è al giorno d’oggi sempre più diffusa e un numero sempre più vasto di persone ha ora le competenze e gli strumenti tecnologici adeguati per eseguire operazioni un tempo riservate a nicchie ristrette. Tuttavia, nella sua forma audiovisiva, il remix ha ottenuto scarsa attenzione a livello accademico. Questo lavoro esplora la pratica del remix intesa al contempo come declinazione contemporanea di una pratica di lungo corso all’interno della storia della produzione audiovisiva – ovvero il riuso di immagini – sia come forma caratteristica della contemporaneità mediale, atto di appropriazione grassroots dei contenuti mainstream da parte degli utenti. La tesi si articola in due sezioni. Nella prima, l’analisi di tipo teorico e storico-critico è suddivisa in due macro-aree di intervento: da una parte il remix inteso come pratica, atto di appropriazione, gesto di riciclo, decontestualizzazione e risemantizzazione delle immagini mediali che ha attraversato la storia dei media audiovisivi [primo capitolo]. Dall’altra, la remix culture, ovvero il contesto culturale e sociale che informa l’ambiente mediale entro il quale la pratica del remix ha conosciuto, nell’ultimo decennio, la diffusione capillare che lo caratterizza oggi [secondo capitolo]. La seconda, che corrisponde al terzo capitolo, fornisce una dettagliata panoramica su un caso di studio, la pratica del fan vidding. Forma di remix praticata quasi esclusivamente da donne, il vidding consiste nel creare fan video a partire da un montaggio d’immagini tratte da film o serie televisive che utilizza come accompagnamento musicale una canzone. Le vidders, usando specifiche tecniche di montaggio, realizzano delle letture critiche dei prodotti mediali di cui si appropriano, per commentare, criticare o celebrare gli oggetti di loro interesse. Attraverso il vidding il presente lavoro indaga le tattiche di rielaborazione e riscrittura dell’immaginario mediale attraverso il riuso di immagini, con particolare attenzione al remix inteso come pratica di genere.

Das Paläolithikum der Magdalenahöhle bei Gerolstein

Die vorliegende Arbeit hat das von 1969 – 1972 ergrabene Inventar der Magdalenahöhle bei Gerolstein unter kritischer Berücksichtigung der Originaldokumentation sowie der stratigraphischen und sedimentologischen Beschreibungen erneut untersucht und v.a. hinsichtlich zweier Arbeitshypothesen überprüft. Daneben fanden jedoch auch die Schmuckobjekte und in kursorischer Weise die Tierknochen Betrachtung. Die Elfenbeinobjekte setzen sich aus elf Fragmenten zusammen, die bereits in zerbrochenem Zustand in die Höhle gelangt sein müssen. Sie sind mit mehreren Linienbündeln verziert, die teilweise aus v- oder zickzack-förmigen Motiven bestehen. Auch gestanzte Punktreihen treten auf. In ihrer Größe und Form sind die Elfenbeinobjekte einzigartig. Lediglich aus der Csákvár-Höhle in Ungarn gibt es vergleichbare Stücke, deren genaue Altersstellung jedoch unklar ist. Daneben kommen in der Magdalenahöhle zwei vollständige durchlochte Hirschgrandeln sowie die Fragmente einer durchlochten Grandel sowie eines durchlochten Wolfzahns vor. Diese tragen teilweise Spuren einer Aufhängung bzw. Befestigung. Der Grund für ihre Niederlegung vor Ort ist indes nicht endgültig zu klären. Die überlieferten Tierknochen besitzen verschiedene Grade von Verfärbung und Erhaltung, lassen sich dadurch jedoch nicht verschiedenen Schichten zuordnen. Neben Modifikationen von Carnivoren, darunter v.a. durch Verdauungsprozesse, sind auch an einigen Exemplaren Schnittspuren festgestellt worden. Eine Bärenphalange aus der Fundschicht b1 eröffnet so die Perspektive, die menschliche Belegung erneut mit der Radiokohlenstoffmethode direkt zu datieren. Der Untere paläolithische Fundhorizont besteht aus relativ unspezifischen Quarzartefakten, die von einer opportunistischen Abschlags- und Werkzeugsgewinnung aus lokalen Schottern zeugen. Für den Oberen paläolithischen Fundhorizont zeigt die Steinartefaktanalyse, dass die Abschläge als Herstellungsreste dünner bifazieller Geräte angesprochen werden können. Während dieser Befund alleine auch im Zusammenhang mit den spätmittelpaläolithischen Blattspitzengruppen gesehen werden kann, sprechen die bereits erwähnten vergesellschafteten Schmuckobjekte, der Nachweis eines Klingenabbaus sowie die fast ausschließliche Verwendung exogenen Rohmaterials für einen jungpaläolithischen Kontext, d.h. für eine Affinität zum Solutréen. Die Steinartefakte der Magdalenahöhle zeugen gleichzeitig von einer sehr mobilen Lebensweise, da lediglich eine Phase des Herstellungsprozesses des bifaziellen Geräts vor Ort stattgefunden hat. Gleichzeitig wurden früher an anderem Ort gewonnene Abschläge mitgebracht und als Werkzeug verwendet. Ebenso wie der Kern selbst wurden Abschläge auch wieder abtransportiert. Insgesamt kann daher eine Rohmaterial konservierende Strategie rekonstruiert werden, in der neben dem Kern als Gerät selbst auch die Abschläge Verwendung finden. Da die Magdalenahöhle als östlicher Niederschlag des Solutréen und als Beleg für das maximale Verbreitungsgebiet dieses Technokomplexes gewertet werden muss, reiht sie sich in eine Reihe von Fundstellen und Argumenten ein, wonach das zentrale Mitteleuropa während des LGM s.l. nicht menschenleer war, sondern in sporadischen Exkursionen begangen wurde. Obwohl sich daran noch keine dauerhafte Wiederbesiedlung anschloss, muss vom Bild einer absoluten Siedlungsleere Abstand genommen werden. Weitere Fundstellen und absolutchronologische Datierungen, u.a. der Magdalenahöhle, könnten in Zukunft zu einem noch besseren Verständnis der menschlichen Anpassungsstragien an kaltzeitliche Umwelten beitragen.

The quest for unnecessary symbolism across the media - analysis and possible solutions

Lo scopo della presente ricerca è sottolineare la tendenza alla ossessiva e spesso superflua ricerca del simbolismo nell’analisi di opere, specificatamente testi letterari e film, e proporre una possibile soluzione per porre fine o almeno diminuire gli effetti del fenomeno. A partire da una definizione esaustiva della parola simbolo, l’analisi verterà sull’evoluzione del concetto di simbolismo attraverso i media, e il cambiamento intrinseco causato da tale evoluzione. In seguito, analizzerò un semisconosciuto ma emblematico sondaggio, condotto nel 1973 da Bruce McAllister, all’epoca studente, che interrogò acutamente numerosi autori riguardo al loro rapporto con il simbolismo, ponendo l’accento su alcune delle risposte da lui ricevute, che gettano una luce rivelatrice sul symbol hunting e symbol planting. Dopodiché scenderò ancor più nel dettaglio, esemplificando con due storie brevi: Signs and Symbols (Segni e Simboli), di Vladimir Nabokov e Big Two-hearted River (Grande fiume a due cuori) di Hernest Hemingway. Dopodiché, analizzerò il falso simbolismo come luogo cinematografico, ponendo l’accento sugli aspetti di planting e hunting, e mi avvarrò dell’aiuto di due film significativi sul tema realizzati in tempi recenti, ovvero Inception (2010) e Memento (2000), di Christopher Nolan, che possono essere interpretati come una meta-critica dell’abuso di simboli, e rappresentano una pietra miliare nell’analisi di symbol planting e symbol hunting. In conclusione, proporrò la mia personale possibile soluzione, ovvero il prendere le opere d’arte in qualunque forma, specialmente di fiction, “così come sono”, separandole e scindendole dalle proprie aspettative. È necessario prendere in considerazione un ritorno alla letteralità, per poter avvicinarsi maggiormente alla vera anima di una storia, di un libro, di un film, altrimenti esiste la possibilità che tutto ciò che guardiamo o vediamo sia per sempre irrimediabilmente contaminato dalla nostra dimensione privata.

Placing Identity: Town, Land, and Authenticity in Nunavut, Canada

Recent demographic changes have made settlement patterns in the Canadian Arctic increasingly urban. Iqaluit, capital of Canada’s newest territory, Nunavut, is home to the largest concentration of Inuit and non-Inuit populations in the Canadian North. Despite these trends, Inuit cultural identity continues to rest heavily on the perception that to learn how to be authentically Inuit (or to be a better person), a person needs to spend time out on the land (and sea) hunting, fishing, trapping, and camping. Many Inuit also maintain a rather negative view of urban spaces in the Arctic, identifying them as places where Inuit values and practices have been eclipsed by Qallunaat (‘‘white people’’) ones. Some Inuit have even gone so far as to claim that a person is no longer able to be Inuit while living in towns like Iqaluit. This article examines those aspects of Canadian Inuit identity, culture, and tradition that disfavor the acceptance of an urban cultural identity. Based on ethnographic research conducted on Baffin Island in the mid 1990s and early 2000s, the many ways Iqaluit and outpost camp Inuit express the differences and similarities between living on the land and living in town are described. Then follows an examination of how the contrast of land and town is used in the rhetoric of Inuit politicians and leaders. Finally, a series of counterexamples are presented that favor the creation of an authentic urban Inuit identity in the Arctic, including recent attempts on the part of the Nunavut Territorial Government to make education and wage employment in the region more reliant on Inuit Qaujimajatuqangit, or Inuit traditional knowledge.1