Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Reconstruction from image correspondences

A single picture provides a largely incomplete representation of the scene one is looking at. Usually it reproduces only a limited spatial portion of the scene according to the standpoint and the viewing angle, besides it contains only instantaneous information. Thus very little can be understood on the geometrical structure of the scene, the position and orientation of the observer with respect to it remaining also hard to guess. When multiple views, taken from different positions in space and time, observe the same scene, then a much deeper knowledge is potentially achievable. Understanding inter-views relations enables construction of a collective representation by fusing the information contained in every single image. Visual reconstruction methods confront with the formidable, and still unanswered, challenge of delivering a comprehensive representation of structure, motion and appearance of a scene from visual information. Multi-view visual reconstruction deals with the inference of relations among multiple views and the exploitation of revealed connections to attain the best possible representation. This thesis investigates novel methods and applications in the field of visual reconstruction from multiple views. Three main threads of research have been pursued: dense geometric reconstruction, camera pose reconstruction, sparse geometric reconstruction of deformable surfaces. Dense geometric reconstruction aims at delivering the appearance of a scene at every single point. The construction of a large panoramic image from a set of traditional pictures has been extensively studied in the context of image mosaicing techniques. An original algorithm for sequential registration suitable for real-time applications has been conceived. The integration of the algorithm into a visual surveillance system has lead to robust and efficient motion detection with Pan-Tilt-Zoom cameras. Moreover, an evaluation methodology for quantitatively assessing and comparing image mosaicing algorithms has been devised and made available to the community. Camera pose reconstruction deals with the recovery of the camera trajectory across an image sequence. A novel mosaic-based pose reconstruction algorithm has been conceived that exploit image-mosaics and traditional pose estimation algorithms to deliver more accurate estimates. An innovative markerless vision-based human-machine interface has also been proposed, so as to allow a user to interact with a gaming applications by moving a hand held consumer grade camera in unstructured environments. Finally, sparse geometric reconstruction refers to the computation of the coarse geometry of an object at few preset points. In this thesis, an innovative shape reconstruction algorithm for deformable objects has been designed. A cooperation with the Solar Impulse project allowed to deploy the algorithm in a very challenging real-world scenario, i.e. the accurate measurements of airplane wings deformations.

Persistent currents in quantum rings

In this thesis, three different types of quantum rings arestudied. These are quantum rings with diamagnetic,paramagnetic or spontaneous persistent currents. It turns out that the main observable to characterizequantum rings is the Drude weight. Playing a key role inthis thesis, it will be used to distinguish betweendiamagnetic (positive Drude weight) and paramagnetic(negative Drude weight) ring currents. In most models, theDrude weight is positive. Especially in the thermodynamiclimit, it is positive semi-definite. In certain modelshowever, intuitivelysurprising, a negative Drude weight is found. This rareeffect occurs, e.g., in one-dimensional models with adegenerate ground state in conjunction with the possibilityof Umklapp scattering. One aim of this thesis is to examineone-dimensional quantum rings for the occurrence of anegative Drude weight. It is found, that the sign of theDrude weight can also be negative, if the band structurelacks particle-hole symmetry. The second aim of this thesis is the modeling of quantumrings intrinsically showing a spontaneous persistentcurrent. The construction of the model starts from theextended Hubbard model on a ring threaded by anAharonov-Bohm flux. A feedback term through which thecurrent in the ring can generate magnetic flux is added.Another extension of the Hamiltonian describes the energystored in the internally generated field. This model isevaluated using exact diagonalization and an iterativescheme to find the minima of the free energy. The quantumrings must satisfy two conditions to exhibit a spontaneousorbital magnetic moment: a negative Drude weight and aninductivity above the critical level. The magneticproperties of cyclic conjugated hydrocarbons likebenzene due to electron delocalization [magnetic anisotropy,magnetic susceptibility exaltation, nucleus-independent chemical shift (NICS)]---that have become important criteriafor aromaticity---can be examined using this model. Corrections to the presented calculations are discussed. Themost substantial simplification made in this thesis is theneglect of the Zeeman interaction of the electron spins withthe magnetic field. If a single flux tube threads a quantumring, the Zeeman interaction is zero, but in mostexperiments, this situation is difficult to realize. In themore realistic situation of a homogeneous field, the Zeemaninteraction has to be included, if the electrons have atotal spin component in the direction of the magnetic field,or if the magnetic field is strong.

Comparing genetic and linguistic diversity in African populations with a focus on the Khoisan of southern Africa

The interaction between disciplines in the study of human population history is of primary importance, profiting from the biological and cultural characteristics of humankind. In fact, data from genetics, linguistics, archaeology and cultural anthropology can be combined to allow for a broader research perspective. This multidisciplinary approach is here applied to the study of the prehistory of sub-Saharan African populations: in this continent, where Homo sapiens originally started his evolution and diversification, the understanding of the patterns of human variation has a crucial relevance. For this dissertation, molecular data is interpreted and complemented with a major contribution from linguistics: linguistic data are compared to the genetic data and the research questions are contextualized within a linguistic perspective. In the four articles proposed, we analyze Y chromosome SNPs and STRs profiles and full mtDNA genomes on a representative number of samples to investigate key questions of African human variability. Some of these questions address i) the amount of genetic variation on a continental scale and the effects of the widespread migration of Bantu speakers, ii) the extent of ancient population structure, which has been lost in present day populations, iii) the colonization of the southern edge of the continent together with the degree of population contact/replacement, and iv) the prehistory of the diverse Khoisan ethnolinguistic groups, who were traditionally understudied despite representing one of the most ancient divergences of modern human phylogeny. Our results uncover a deep level of genetic structure within the continent and a multilayered pattern of contact between populations. These case studies represent a valuable contribution to the debate on our prehistory and open up further research threads.

Gpu-based many-core architecture emulation: A double level approach

The efficient emulation of a many-core architecture is a challenging task, each core could be emulated through a dedicated thread and such threads would be interleaved on an either single-core or a multi-core processor. The high number of context switches will results in an unacceptable performance. To support this kind of application, the GPU computational power is exploited in order to schedule the emulation threads on the GPU cores. This presents a non trivial divergence issue, since GPU computational power is offered through SIMD processing elements, that are forced to synchronously execute the same instruction on different memory portions. Thus, a new emulation technique is introduced in order to overcome this limitation: instead of providing a routine for each ISA opcode, the emulator mimics the behavior of the Micro Architecture level, here instructions are date that a unique routine takes as input. Our new technique has been implemented and compared with the classic emulation approach, in order to investigate the chance of a hybrid solution.

"Ho cominciato a perdere le scarpe". La ridefinizione del mondo nelle narrazioni di pazienti affetti da sclerosi multipla

Il lavoro di tesi analizza da un punto di vista metodologico e concettuale le narrazioni di malattia delle persone affette da sclerosi multipla. Lo scopo della ricerca è duplice: da un lato quello di indagare quali siano le trame narrative di coloro che raccontano la diagnosi della loro malattia, e dall’altro di analizzare i vissuti di malattia attraverso le categorie della sociologia della salute e della medicina e dell’antropologia medica.

Efficient parallel proximity queries and an application to highly complex motion planning problems with many narrow passages

In vielen Bereichen der industriellen Fertigung, wie zum Beispiel in der Automobilindustrie, wer- den digitale Versuchsmodelle (sog. digital mock-ups) eingesetzt, um die Entwicklung komplexer Maschinen m ̈oglichst gut durch Computersysteme unterstu ̈tzen zu k ̈onnen. Hierbei spielen Be- wegungsplanungsalgorithmen eine wichtige Rolle, um zu gew ̈ahrleisten, dass diese digitalen Pro- totypen auch kollisionsfrei zusammengesetzt werden k ̈onnen. In den letzten Jahrzehnten haben sich hier sampling-basierte Verfahren besonders bew ̈ahrt. Diese erzeugen eine große Anzahl von zuf ̈alligen Lagen fu ̈r das ein-/auszubauende Objekt und verwenden einen Kollisionserken- nungsmechanismus, um die einzelnen Lagen auf Gu ̈ltigkeit zu u ̈berpru ̈fen. Daher spielt die Kollisionserkennung eine wesentliche Rolle beim Design effizienter Bewegungsplanungsalgorith- men. Eine Schwierigkeit fu ̈r diese Klasse von Planern stellen sogenannte “narrow passages” dar, schmale Passagen also, die immer dort auftreten, wo die Bewegungsfreiheit der zu planenden Objekte stark eingeschr ̈ankt ist. An solchen Stellen kann es schwierig sein, eine ausreichende Anzahl von kollisionsfreien Samples zu finden. Es ist dann m ̈oglicherweise n ̈otig, ausgeklu ̈geltere Techniken einzusetzen, um eine gute Performance der Algorithmen zu erreichen.rnDie vorliegende Arbeit gliedert sich in zwei Teile: Im ersten Teil untersuchen wir parallele Kollisionserkennungsalgorithmen. Da wir auf eine Anwendung bei sampling-basierten Bewe- gungsplanern abzielen, w ̈ahlen wir hier eine Problemstellung, bei der wir stets die selben zwei Objekte, aber in einer großen Anzahl von unterschiedlichen Lagen auf Kollision testen. Wir im- plementieren und vergleichen verschiedene Verfahren, die auf Hu ̈llk ̈operhierarchien (BVHs) und hierarchische Grids als Beschleunigungsstrukturen zuru ̈ckgreifen. Alle beschriebenen Verfahren wurden auf mehreren CPU-Kernen parallelisiert. Daru ̈ber hinaus vergleichen wir verschiedene CUDA Kernels zur Durchfu ̈hrung BVH-basierter Kollisionstests auf der GPU. Neben einer un- terschiedlichen Verteilung der Arbeit auf die parallelen GPU Threads untersuchen wir hier die Auswirkung verschiedener Speicherzugriffsmuster auf die Performance der resultierenden Algo- rithmen. Weiter stellen wir eine Reihe von approximativen Kollisionstests vor, die auf den beschriebenen Verfahren basieren. Wenn eine geringere Genauigkeit der Tests tolerierbar ist, kann so eine weitere Verbesserung der Performance erzielt werden.rnIm zweiten Teil der Arbeit beschreiben wir einen von uns entworfenen parallelen, sampling- basierten Bewegungsplaner zur Behandlung hochkomplexer Probleme mit mehreren “narrow passages”. Das Verfahren arbeitet in zwei Phasen. Die grundlegende Idee ist hierbei, in der er- sten Planungsphase konzeptionell kleinere Fehler zuzulassen, um die Planungseffizienz zu erh ̈ohen und den resultierenden Pfad dann in einer zweiten Phase zu reparieren. Der hierzu in Phase I eingesetzte Planer basiert auf sogenannten Expansive Space Trees. Zus ̈atzlich haben wir den Planer mit einer Freidru ̈ckoperation ausgestattet, die es erlaubt, kleinere Kollisionen aufzul ̈osen und so die Effizienz in Bereichen mit eingeschr ̈ankter Bewegungsfreiheit zu erh ̈ohen. Optional erlaubt unsere Implementierung den Einsatz von approximativen Kollisionstests. Dies setzt die Genauigkeit der ersten Planungsphase weiter herab, fu ̈hrt aber auch zu einer weiteren Perfor- mancesteigerung. Die aus Phase I resultierenden Bewegungspfade sind dann unter Umst ̈anden nicht komplett kollisionsfrei. Um diese Pfade zu reparieren, haben wir einen neuartigen Pla- nungsalgorithmus entworfen, der lokal beschr ̈ankt auf eine kleine Umgebung um den bestehenden Pfad einen neuen, kollisionsfreien Bewegungspfad plant.rnWir haben den beschriebenen Algorithmus mit einer Klasse von neuen, schwierigen Metall- Puzzlen getestet, die zum Teil mehrere “narrow passages” aufweisen. Unseres Wissens nach ist eine Sammlung vergleichbar komplexer Benchmarks nicht ̈offentlich zug ̈anglich und wir fan- den auch keine Beschreibung von vergleichbar komplexen Benchmarks in der Motion-Planning Literatur.

ExoTCP: uno stack di rete minimale e userspace specializzato per il protocollo HTTP

In questo lavoro verrà presentato ExoTCP, uno stack di rete minimale e userspace specializzato per il protocollo HTTP. Verrà inoltre presentato Eth, un server web zerocopy che utilizza ExoTCP per servire contenuti statici. L'obiettivo del lavoro è riuscire ad ottenere prestazioni migliori di quelle di un server web tradizionale che si appoggia ai servizi offerti dal sistema operativo per accedere alla rete.

Applicazione del modello di concorrenza ad Attori nello sviluppo di applicazioni Web: un caso di studio

Panoramica del contesto storico focalizzato sullo sviluppo del Web e del contesto sociale. Panorama del modello a Threads con analisi delle tecniche di concorrenza applicabili. Panoramica del modello ad Attori focalizzandosi sull'implementazione di Akka e di alcuni patterns di comunicazione. Analisi dell'architettura event-driven e di Node.js. Esposizione di un caso di studio per la programmazione Web comparando modello a Thread e modello ad Attori.

Mechanical insertion properties of calcium-phosphate implant coatings

Abstract Objectives: To investigate the influence of protein incorporation on the resistance of biomimetic calcium-phosphate coatings to the shear forces that are generated during implant insertion. Materials and Methods: Thirty-eight standard (5 x 13 mm) Osseotite((R)) implants were coated biomimetically with a layer of calcium phosphate, which either lacked or bore a co-precipitated (incorporated) depot of the model protein bovine serum albumin (BSA). The coated implants were inserted into either artificial bone (n=18) or the explanted mandibles of adult pigs (n=12). The former set-up was established for the measurement of torque and of coating losses during the insertion process. The latter set-up was established for the histological and histomorphometric analysis of the fate of the coatings after implantation. Results: BSA-bearing coatings had higher mean torque values than did those that bore no protein depot. During the insertion process, less material was lost from the former than from the latter type of coating. The histological and histomorphometric analysis revealed fragments of material to be sheared off from both types of coating at vulnerable points, namely, at the tips of the threads. The sheared-off fragments were retained within the peri-implant space. Conclusion: The incorporation of a protein into a biomimetically prepared calcium-phosphate coating increases its resistance to the shear forces that are generated during implant insertion. In a clinical setting, the incorporated protein would be an osteogenic agent, whose osteoinductive potential would not be compromised by the shearing off of coating material, and the osteoconductivity of an exposed implant surface would not be less than that of a coated one. To cite this article: Hägi TT, Enggist L, Michel D, Ferguson SJ, Liu Y, Hunziker EB. Mechanical insertion properties of calcium-phosphate implant coatings. Clin. Oral Impl. Res. xx, 2010; 000-000. doi: 10.1111/j.1600-0501.2010.01916.x.

Feminist Tigers and Patriarchal Lions: Rhetorical Strategies and Instrument Effects in the Struggle for Definition and Control over Development in Nepal

This article offers an analysis of a struggle for control of a women’s development project in Nepal. The story of this struggle is worth telling, for it is rife with the gender politics and neo-colonial context that underscore much of what goes on in contemporary Nepal. In particular, my analysis helps to unravel some of the powerful discourses, threads of interest, and yet unintended effects inevitable under a regime of development aid. The analysis demonstrates that the employment of already available discursive figures of the imperialist feminist and the patriarchal third world man are central to the rhetorical strategies taken in the conflict. I argue that the trans-discursive or “borderland” nature of development in general and women’s development in particular result in different constructions of “development” goals, means and actors based not only on divergent cultural categories but on historically specific cultural politics. I argue further that the apolitical discourse of development serves to cloak its inherently political project of social and economic transformation, making conflicts such as the one that occurred in this case not only likely to occur but also likely to be misunderstood.

Effect of Bio-Oss on osseointegration of dental implants surrounded by circumferential bone defects of different dimensions: an experimental study in the dog

OBJECTIVES: This study was designed to evaluate the effect of gap width and graft placement on bone healing around implants placed in simulated extraction sockets of various widths in four Labrador dogs. MATERIALS AND METHODS: Five Osseotite implants per dog were placed in the mandible of four dogs. Two implants were inserted into sites with a 2.37 mm and two with a 1 mm gap present between the implants and bone around the coronal 6 mm of the implants in each dog. For one of each gap sizes, the gap was filled with Bio-Oss, and the other two with blood alone. A fifth implant was inserted without a gap and used as a control. Ground sections were prepared from biopsies taken at 4 months and histometric measurements of osseointegration and bone between the threads made for the coronal 6 mm. RESULTS: The medians for osseointegration ranged from 5.2 mm for control to 1-2.6 mm for the test modalities. There were significant differences for linear measurements of osseointegration (chi(2) 18.27; df 4; P=0.0011) and bone area within threads (chi(2) 23.4; df 4; P=0.0001) between test modalities. CONCLUSIONS: The results suggest that the wider the gap around the implants, the less favourable the histological outcome at short time intervals following treatment. They also infer that bone grafting with an organic bovine bone xenograft seems to lead to a more favourable histological outcome for wider circumferential defects but not for narrower defects.

Randomized controlled trial comparing a variable-thread novel tapered and a standard tapered implant: interim one-year results

STATEMENT OF PROBLEM: A tapered implant with continuously changing threads purported to provide stable tissue support and allow immediate function has been developed. Treatment success and stabilization of supporting tissues over time require documentation. PURPOSE: The purpose of this prospective, randomized, controlled, multicenter study was to evaluate changes in bone level and soft tissue behavior between the novel implant (NobelActive/NA) and a standard tapered implant (NobelReplace Tapered Groovy/NR) with regard to immediate function. MATERIAL AND METHODS: A total of 177 patients randomly allocated to 3 treatment groups (2 different test implant groups: NA Internal (n=117; internal connection) and External (n=82), and 1 standard treatment group, NR (n=126)) received 325 implants. Implants were placed into healed sites, and all but 6 implants were immediately nonocclusally loaded. Clinical and radiographic evaluations of treatment success, crestal bone levels, and soft tissue changes were performed at the time of placement and after 3, 6, and 12 months. Log-Rank test was used to analyze the differences in survival rate. Marginal bone level was compared using the Kruskal-Wallis test and Mann-Whitney U-test (alpha=.05). RESULTS: One-year cumulative survival rates were comparable (96.6% for NA Internal; 96.3% for NA External; 97.6% for NR; P=.852; Log-Rank). Mean (SD) change in bone level was -0.95 mm (1.37) for NA Internal, -0.64 mm (0.97) for NA External, and -0.63 mm (1.18) for NR (P=.589; Kruskal-Wallis). Stable soft tissues and significantly increased papilla scores (P<.001; Wilcoxon signed-rank) were observed for all implant types. CONCLUSIONS: The novel implants showed high survival rates as well as stable bone and soft tissue levels after 1 year, and may be recommended for clinical use, even under immediate function.

A Cooperative and Adaptive Variable Neighborhood Search for the Multi Depot Vehicle Routing Problem with Time Windows

In this paper we propose two cooperation schemes to compose new parallel variants of the Variable Neighborhood Search (VNS). On the one hand, a coarse-grained cooperation scheme is introduced which is well suited for being enhanced with a solution warehouse to store and manage the so far best found solutions and a self-adapting mechanism for the most important search parameters. This makes an a priori parameter tuning obsolete. On the other hand, a fine-grained scheme was designed to reproduce the successful properties of the sequential VNS. In combination with the use of parallel exploration threads all of the best solutions and 11 out of 20 new best solutions for the Multi Depot Vehicle Routing Problem with Time Windows were found.

Collision Detection: Broad Phase Adaptation from Multi-Core to Multi-GPU Architecture

We present in this paper several contributions on the collision detection optimization centered on hardware performance. We focus on the broad phase which is the first step of the collision detection process and propose three new ways of parallelization of the well-known Sweep and Prune algorithm. We first developed a multi-core model takes into account the number of available cores. Multi-core architecture enables us to distribute geometric computations with use of multi-threading. Critical writing section and threads idling have been minimized by introducing new data structures for each thread. Programming with directives, like OpenMP, appears to be a good compromise for code portability. We then proposed a new GPU-based algorithm also based on the "Sweep and Prune" that has been adapted to multi-GPU architectures. Our technique is based on a spatial subdivision method used to distribute computations among GPUs. Results show that significant speed-up can be obtained by passing from 1 to 4 GPUs in a large-scale environment.