Caratterizzazione geo-petrografica, petrologica e geochimica di rocce anatettiche del nord Sardegna

The High Grade Metamorphic Complex (HGMC) of Variscan basement of north Sardinia is characterized by the widespread of migmatites. This study is focused on two localities of NE Sardinia (Porto Ottiolu and Punta Sirenella) where ortho- and para-derivates migmatites outcrop. A geological and structural survey was carried out, leading to the realization of a geological schematic map of Punta Sirenella area. Several samples of different rocks were collected for petrographic, micro-structural minero-chemical and geochemical analyses. In the Porto Ottiolu area three main deformation phases have been identified; D1, characterized by tight folds with sub-horizontal axes, rarely preserved in paragneisses; D2, that produce a pervasive foliation oriented N100° 45°SW marked by biotite and sillimanite blastesis and locally transposed by shear zone oriented N170°; D3, late deformation phase caused symmetric folds with sub-horizontal axes with no axial plane schistosity. Leucosomes form pods and layers along S2 schistosity but also leucosomes along shear zones have been observed. In the Punta Sirenella area, three main deformation phases have been identified; D1, is manifested by the transposition of centimeter-sized leucosomes and is rarely observed in paragneisses were produce open folds with sub-vertical axes; D2, NW-SE oriented on whose XY plane three mineralogical lineation (quartz+plagioclase, fibrolite+quarz and muscovite) lie; D3, a ductile-brittle deformation phase that produce a mylonitc S3 foliation that locally become the most evident schistosity in the field oriented N140° steeply dipping toward NE. In both areas, leucosomes of sedimentary-derived migmatites are generally trondhjemitic pointing out for a H2O fluxed melting reaction, but also granitic leucosomes have been found, produced by muscovite dehydration melting. Leucosomes of migmatitic orthogneiss instead, have granitic compositions. Migmatization started early, during the compressional and crustal thickening (sin-D1, pre-D2) and was still active during exhumation stage. For each studied outcrop of migmatite pseudosections for the average mesosome composition have been calculated; these pseudosections have been used to model the P-T conditions of anatexis on the basis of the melt volume (%) of melt, Si/Al and Na/K molar ratios, modal content of garnet and Si content in metamorphic white mica. Further pseudosections have been calculated for the average composition of leucosomes in order to define the P-T conditions of the end of the crystallization through intersection of solidus curve and isopleths of Si content in white mica and/or XMg ratio in biotite. Thermodynamic modeling on ortho- and sedimentary-derived migmatites of Punta Sirenella yield P-T conditions of 1.1-1.3 GPa - 670-740°C for migmatitic event and 0.75-0.90 GPa - 660-730°C for the end of crystallization. These conditions are fit well with previous studies on adjacent rocks. Modeling of Porto Ottiolu ortho- and sedimentary-derived migmatites yield P-T conditions of 0.85-1.05 GPa - 690-730°C for migmatitic event and 0.35-0.55 GPa - 630-690°C strongly affected by re-equilibration during exhumation, expecially for crystallization conditions. Geochemical analyses of samples belonging to Porto Ottiolu and Punta Sirenella orthogneisses show a strong link with those of other orthogneisses outcropping in NE Sardinia (for instance, Lode-Mamone and Golfo Aranci) that are considered the intrusive counterparts of middle-Ordovician metavolcanics rocks outcropping in the Nappe Zone. Thus, the studied ortogneiss bodies, even lacking radiometric data, can be considered as belonging to the same magmatic cycle.

Indexing Distances in Large Graphs and Applications in Search Tasks

This thesis elaborates on the problem of preprocessing a large graph so that single-pair shortest-path queries can be answered quickly at runtime. Computing shortest paths is a well studied problem, but exact algorithms do not scale well to real-world huge graphs in applications that require very short response time. The focus is on approximate methods for distance estimation, in particular in landmarks-based distance indexing. This approach involves choosing some nodes as landmarks and computing (offline), for each node in the graph its embedding, i.e., the vector of its distances from all the landmarks. At runtime, when the distance between a pair of nodes is queried, it can be quickly estimated by combining the embeddings of the two nodes. Choosing optimal landmarks is shown to be hard and thus heuristic solutions are employed. Given a budget of memory for the index, which translates directly into a budget of landmarks, different landmark selection strategies can yield dramatically different results in terms of accuracy. A number of simple methods that scale well to large graphs are therefore developed and experimentally compared. The simplest methods choose central nodes of the graph, while the more elaborate ones select central nodes that are also far away from one another. The efficiency of the techniques presented in this thesis is tested experimentally using five different real world graphs with millions of edges; for a given accuracy, they require as much as 250 times less space than the current approach which considers selecting landmarks at random. Finally, they are applied in two important problems arising naturally in large-scale graphs, namely social search and community detection.

Adaptive Neural Networks for Control of Movement Trajectories Invariant under Speed and Force Rescaling

This article describes two neural network modules that form part of an emerging theory of how adaptive control of goal-directed sensory-motor skills is achieved by humans and other animals. The Vector-Integration-To-Endpoint (VITE) model suggests how synchronous multi-joint trajectories are generated and performed at variable speeds. The Factorization-of-LEngth-and-TEnsion (FLETE) model suggests how outflow movement commands from a VITE model may be performed at variable force levels without a loss of positional accuracy. The invariance of positional control under speed and force rescaling sheds new light upon a familiar strategy of motor skill development: Skill learning begins with performance at low speed and low limb compliance and proceeds to higher speeds and compliances. The VITE model helps to explain many neural and behavioral data about trajectory formation, including data about neural coding within the posterior parietal cortex, motor cortex, and globus pallidus, and behavioral properties such as Woodworth's Law, Fitts Law, peak acceleration as a function of movement amplitude and duration, isotonic arm movement properties before and after arm-deafferentation, central error correction properties of isometric contractions, motor priming without overt action, velocity amplification during target switching, velocity profile invariance across different movement distances, changes in velocity profile asymmetry across different movement durations, staggered onset times for controlling linear trajectories with synchronous offset times, changes in the ratio of maximum to average velocity during discrete versus serial movements, and shared properties of arm and speech articulator movements. The FLETE model provides new insights into how spina-muscular circuits process variable forces without a loss of positional control. These results explicate the size principle of motor neuron recruitment, descending co-contractive compliance signals, Renshaw cells, Ia interneurons, fast automatic reactive control by ascending feedback from muscle spindles, slow adaptive predictive control via cerebellar learning using muscle spindle error signals to train adaptive movement gains, fractured somatotopy in the opponent organization of cerebellar learning, adaptive compensation for variable moment-arms, and force feedback from Golgi tendon organs. More generally, the models provide a computational rationale for the use of nonspecific control signals in volitional control, or "acts of will", and of efference copies and opponent processing in both reactive and adaptive motor control tasks.

A preliminary study on how fatigue affects scoring average in professional darts

The purpose of this preliminary study is to identify signs of fatigue in specific muscle groups that in turn directly influence accuracy in professional darts. Electromyography (EMG) sensors are employed to monitor the electrical activity produced by skeletal muscles of the trunk and upper limb during throw. It is noted that the Flexor Pollicis Brevis muscle which controls the critical release action during throw shows signs of fatigue. This is accompanied by an inherent increase in mean integral EMG amplitude for a number of other throw related muscles indicating an attempt to maintain constant applied throwing force. A strong correlation is shown to exist between average score and decrease in mean integral ECG amplitude for the Flexor Pollicis Brevis.

Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Dental topography and molar wear in Alouatta palliata from Costa Rica.

Paleoprimatologists depend on relationships between form and function of teeth to reconstruct the diets of fossil species. Most of this work has been limited to studies of unworn teeth. A new approach, dental topographic analysis, allows the characterization and comparison of worn primate teeth. Variably worn museum specimens have been used to construct species-specific wear sequences so that measurements can be compared by wear stage among taxa with known differences in diet. This assumes that individuals in a species tend to wear their molar teeth in similar ways, a supposition that has yet to be tested. Here we evaluate this assumption with a longitudinal study of changes in tooth form over time in primates. Fourteen individual mantled howling monkeys (Alouatta palliata) were captured and then recaptured after 2, 4, and 7 years when possible at Hacienda La Pacifica in Costa Rica between 1989-1999. Dental impressions were taken each time, and molar casts were produced and analyzed using dental topographic analysis. Results showed consistent decreases in crown slope and occlusal relief. In contrast, crown angularity, a measure of surface jaggedness, remained fairly constant except with extreme wear. There were no evident differences between specimens collected in different microhabitats. These results suggest that different individual mantled howling monkeys wear their teeth down in similar ways, evidently following a species-specific wear sequence. Dental topographic analysis may therefore be used to compare morphology among similarly worn individuals from different species.

Adaptive stereotactic body radiation therapy planning for lung cancer.

PURPOSE: To investigate the dosimetric effects of adaptive planning on lung stereotactic body radiation therapy (SBRT). METHODS AND MATERIALS: Forty of 66 consecutive lung SBRT patients were selected for a retrospective adaptive planning study. CBCT images acquired at each fraction were used for treatment planning. Adaptive plans were created using the same planning parameters as the original CT-based plan, with the goal to achieve comparable comformality index (CI). For each patient, 2 cumulative plans, nonadaptive plan (PNON) and adaptive plan (PADP), were generated and compared for the following organs-at-risks (OARs): cord, esophagus, chest wall, and the lungs. Dosimetric comparison was performed between PNON and PADP for all 40 patients. Correlations were evaluated between changes in dosimetric metrics induced by adaptive planning and potential impacting factors, including tumor-to-OAR distances (dT-OAR), initial internal target volume (ITV1), ITV change (ΔITV), and effective ITV diameter change (ΔdITV). RESULTS: 34 (85%) patients showed ITV decrease and 6 (15%) patients showed ITV increase throughout the course of lung SBRT. Percentage ITV change ranged from -59.6% to 13.0%, with a mean (±SD) of -21.0% (±21.4%). On average of all patients, PADP resulted in significantly (P=0 to .045) lower values for all dosimetric metrics. ΔdITV/dT-OAR was found to correlate with changes in dose to 5 cc (ΔD5cc) of esophagus (r=0.61) and dose to 30 cc (ΔD30cc) of chest wall (r=0.81). Stronger correlations between ΔdITV/dT-OAR and ΔD30cc of chest wall were discovered for peripheral (r=0.81) and central (r=0.84) tumors, respectively. CONCLUSIONS: Dosimetric effects of adaptive lung SBRT planning depend upon target volume changes and tumor-to-OAR distances. Adaptive lung SBRT can potentially reduce dose to adjacent OARs if patients present large tumor volume shrinkage during the treatment.

Dietary inference from upper and lower molar morphology in platyrrhine primates.

The correlation between diet and dental topography is of importance to paleontologists seeking to diagnose ecological adaptations in extinct taxa. Although the subject is well represented in the literature, few studies directly compare methods or evaluate dietary signals conveyed by both upper and lower molars. Here, we address this gap in our knowledge by comparing the efficacy of three measures of functional morphology for classifying an ecologically diverse sample of thirteen medium- to large-bodied platyrrhines by diet category (e.g., folivore, frugivore, hard object feeder). We used Shearing Quotient (SQ), an index derived from linear measurements of molar cutting edges and two indices of crown surface topography, Occlusal Relief (OR) and Relief Index (RFI). Using SQ, OR, and RFI, individuals were then classified by dietary category using Discriminate Function Analysis. Both upper and lower molar variables produce high classification rates in assigning individuals to diet categories, but lower molars are consistently more successful. SQs yield the highest classification rates. RFI and OR generally perform above chance. Upper molar RFI has a success rate below the level of chance. Adding molar length enhances the discriminatory power for all variables. We conclude that upper molar SQs are useful for dietary reconstruction, especially when combined with body size information. Additionally, we find that among our sample of platyrrhines, SQ remains the strongest predictor of diet, while RFI is less useful at signaling dietary differences in absence of body size information. The study demonstrates new ways for inferring the diets of extinct platyrrhine primates when both upper and lower molars are available, or, for taxa known only from upper molars. The techniques are useful in reconstructing diet in stem representatives of anthropoid clade, who share key aspects of molar morphology with extant platyrrhines.

Oldest known cranium of a juvenile New World monkey (Early Miocene, Patagonia, Argentina): implications for the taxonomy and the molar eruption pattern of early platyrrhines.

A juvenile cranium of Homunculus patagonicus Ameghino, 1891a from the late Early Miocene of Santa Cruz Province (Argentina) provides the first evidence of developing cranial anatomy for any fossil platyrrhine. The specimen preserves the rostral part of the cranium with deciduous and permanent alveoli and teeth. The dental eruption sequence in the new specimen and a reassessment of eruption patterns in living and fossil platyrrhines suggest that the ancestral platyrrhine pattern of tooth replacement was for the permanent incisors to erupt before M(1), not an accelerated molar eruption (before the incisors) as recently proposed. Two genera and species of Santacrucian monkeys are now generally recognized: H. patagonicus Ameghino, 1891a and Killikaike blakei Tejedor et al., 2006. Taxonomic allocation of Santacrucian monkeys to these species encounters two obstacles: 1) the (now lost) holotype and a recently proposed neotype of H. patagonicus are mandibles from different localities and different geologic members of the Santa Cruz Formation, separated by approximately 0.7 million years, whereas the holotype of K. blakei is a rostral part of a cranium without a mandible; 2) no Santacrucian monkey with associated cranium and mandible has ever been found. Bearing in mind these uncertainties, our examination of the new specimen as well as other cranial specimens of Santacrucian monkeys establishes the overall dental and cranial similarity between the holotype of Killikaike blakei, adult cranial material previously referred to H. patagonicus, and the new juvenile specimen. This leads us to conclude that Killikaike blakei is a junior subjective synonym of H. patagonicus.

Rotating-frame nuclear magnetic relaxation of spins diffusing on a disordered lattice: a Monte Carlo model

The rotating-frame nuclear magnetic relaxation rate of spins diffusing on a disordered lattice has been calculated by Monte Carlo methods. The disorder includes not only variation in the distances between neighbouring spin sites but also variation in the hopping rate associated with each site. The presence of the disorder, particularly the hopping rate disorder, causes changes in the time-dependent spin correlation functions which translate into asymmetry in the characteristic peak in the temperature dependence of the dipolar relaxation rate. The results may be used to deduce the average hopping rate from the relaxation but the effect is not sufficiently marked to enable the distribution of the hopping rates to be evaluated. The distribution, which is a measure of the degree of disorder, is the more interesting feature and it has been possible to show from the calculation that measurements of the relaxation rate as a function of the strength of the radiofrequency spin-locking magnetic field can lead to an evaluation of its width. Some experimental data on an amorphous metal - hydrogen alloy are reported which demonstrate the feasibility of this novel approach to rotating-frame relaxation in disordered materials.

Experimental study and theoretical analysis of signage legibility distances as a function of observation angle

Signage systems are widely used in buildings to provide information for wayfinding, thereby assisting in navigation during normal circulation of pedestrians and, more importantly, exiting information during emergencies. An important consideration in determining the effectiveness of signs is establishing the region from which the sign is visible to occupants, the so-called Visibility Catchment Area (VCA). This paper attempts to factor into the determination of the VCA of signs, the observation angle of the observer using both experimental and theoretical analysis.

Signage legibility distances as a function of observation angle

Signage systems are widely used in buildings to provide information for wayfinding, thereby assisting in navigation during normal circulation of pedestrians and, more importantly, exiting information during emergencies. An important consideration in determining the effectiveness of signs is establishing the region from which the sign is visible to occupants, the so-called visibility catchment area (VCA). This study attempts to factor into the determination of the VCA of signs, the observation angle of the observer. In building regulations, it is implicitly assumed that the VCA is independent of the observation angle. A theoretical model is developed to explain the relationship between the VCA and observation angle and experimental trials are performed in order to assess the validity of this model. The experimental findings demonstrate a consistency with the theoretical model. Given this result, the functionality of a comprehensive evacuation model is extended in accordance with the assumptions on which the theoretical model is based and is then demonstrated using several examples