Costrutti ed Applicazioni di Programmazione Generica in Linguaggi Object-Oriented

Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.

Certificates for Incremental Type Checking

The central topic of this thesis is the study of algorithms for type checking, both from the programming language and from the proof-theoretic point of view. A type checking algorithm takes a program or a proof, represented as a syntactical object, and checks its validity with respect to a specification or a statement. It is a central piece of compilers and proof assistants. We postulate that since type checkers are at the interface between proof theory and program theory, their study can let these two fields mutually enrich each other. We argue by two main instances: first, starting from the problem of proof reuse, we develop an incremental type checker; secondly, starting from a type checking program, we evidence a novel correspondence between natural deduction and the sequent calculus.

Mental states monitoring through passive Brain-Computer Interface systems

The monitoring of cognitive functions aims at gaining information about the current cognitive state of the user by decoding brain signals. In recent years, this approach allowed to acquire valuable information about the cognitive aspects regarding the interaction of humans with external world. From this consideration, researchers started to consider passive application of brain–computer interface (BCI) in order to provide a novel input modality for technical systems solely based on brain activity. The objective of this thesis is to demonstrate how the passive Brain Computer Interfaces (BCIs) applications can be used to assess the mental states of the users, in order to improve the human machine interaction. Two main studies has been proposed. The first one allows to investigate whatever the Event Related Potentials (ERPs) morphological variations can be used to predict the users’ mental states (e.g. attentional resources, mental workload) during different reactive BCI tasks (e.g. P300-based BCIs), and if these information can predict the subjects’ performance in performing the tasks. In the second study, a passive BCI system able to online estimate the mental workload of the user by relying on the combination of the EEG and the ECG biosignals has been proposed. The latter study has been performed by simulating an operative scenario, in which the occurrence of errors or lack of performance could have significant consequences. The results showed that the proposed system is able to estimate online the mental workload of the subjects discriminating three different difficulty level of the tasks ensuring a high reliability.

Structure formation of amphiphilic molecules at the air,water interface and after film transfer

One of the basic concepts of molecular self-assembly is that the morphology of the aggregate is directly related to the structure and interaction of the aggregating molecules. This is not only true for the aggregation in bulk solution, but also for the formation of Langmuir films at the air/water interface. Thus, molecules at the interface do not necessarily form flat monomolecular films but can also aggregate into multilayers or surface micelles. In this context, various novel synthetic molecules were investigated in terms of their morphology at the air/water interface and in transferred films. rnFirst, the self-assembly of semifluorinated alkanes and their molecular orientation at the air/water interface and in transferred films was studied employing scanning force microscopy (SFM) and Kelvin potential force microscopy. Here it was found, that the investigated semifluorinated alkanes aggregate to form circular surface micelles with a diameter of 30 nm, which are constituted of smaller muffin-shaped subunits with a diameter of 10 nm. A further result is that the introduction of an aromatic core into the molecular structure leads to the formation of elongated surface micelles and thus implements a directionality to the self-assembly. rnSecond, the self-assembly of two different amphiphilic hybrid materials containing a short single stranded desoxyribonucleic acid (DNA) sequence was investigated at the air/water interface. The first molecule was a single stranded DNA (11mer) molecule with two hydrophobically modified 5-(dodec-1-ynyl)uracil nucleobases at the terminal 5'-end of the oligonucleotide sequence. Isotherm measurements revealed the formation of semi-stable films at the air/water interface. SFM imaging of films transferred via Langmuir-Blodgett technique supported this finding and indicated mono-, bi- and multilayer formation, according to the surface pressure applied upon transfer. Within these films, the hydrophilic DNA sequence was oriented towards air covering 95% of the substrate.rnSimilar results were obtained with a second type of amphiphile, a DNA block copolymer. Furthermore, the potential to perform molecular recognition experiments at the air/water interface with these DNA hybrid materials was evaluated.rnThird, polyglycerol ester molecules (PGE), which are known to form very stable foams, were studies. Aim was to elucidate the molecular structure of PGE molecules at the air/water interface in order to comprehend the foam stabilization mechanism. Several model systems mimicking the air/water interface of a PGE foam and methods for a noninvasive transfer were tested and characterized by SFM. It could be shown, that PGE stabilizes the air/water interface of a foam bubble by formation of multiple surfactant layers. Additionally, a new transfer technique, the bubble film transfer was established and characterized by high speed camera imaging.The results demonstrate the diversity of structures, which can be formed by amphiphilic molecules at the air/water interface and after film transfer, as well as the impact of the chemical structure on the aggregate morphology.

Direct and inverse transient eddy current problems

Die vorliegende Arbeit behandelt Vorwärts- sowie Rückwärtstheorie transienter Wirbelstromprobleme. Transiente Anregungsströme induzieren elektromagnetische Felder, welche sogenannte Wirbelströme in leitfähigen Objekten erzeugen. Im Falle von sich langsam ändernden Feldern kann diese Wechselwirkung durch die Wirbelstromgleichung, einer Approximation an die Maxwell-Gleichungen, beschrieben werden. Diese ist eine lineare partielle Differentialgleichung mit nicht-glatten Koeffizientenfunktionen von gemischt parabolisch-elliptischem Typ. Das Vorwärtsproblem besteht darin, zu gegebener Anregung sowie den umgebungsbeschreibenden Koeffizientenfunktionen das elektrische Feld als distributionelle Lösung der Gleichung zu bestimmen. Umgekehrt können die Felder mit Messspulen gemessen werden. Das Ziel des Rückwärtsproblems ist es, aus diesen Messungen Informationen über leitfähige Objekte, also über die Koeffizientenfunktion, die diese beschreibt, zu gewinnen. In dieser Arbeit wird eine variationelle Lösungstheorie vorgestellt und die Wohlgestelltheit der Gleichung diskutiert. Darauf aufbauend wird das Verhalten der Lösung für verschwindende Leitfähigkeit studiert und die Linearisierbarkeit der Gleichung ohne leitfähiges Objekt in Richtung des Auftauchens eines leitfähigen Objektes gezeigt. Zur Regularisierung der Gleichung werden Modifikationen vorgeschlagen, welche ein voll parabolisches bzw. elliptisches Problem liefern. Diese werden verifiziert, indem die Konvergenz der Lösungen gezeigt wird. Zuletzt wird gezeigt, dass unter der Annahme von sonst homogenen Umgebungsparametern leitfähige Objekte eindeutig durch die Messungen lokalisiert werden können. Hierzu werden die Linear Sampling Methode sowie die Faktorisierungsmethode angewendet.

Metabolic control of type 1 diabetic patients followed at the University Children's Hospital in Berne: Have we reached the goal?

In type 1 diabetes (T1DM), a good metabolic control is important to reduce and/or postpone complications. Guidelines regarding how to achieve this goal are published by the American Diabetes Association (ADA) and the International Society of Paediatric and Adolescence Diabetes (ISPAD). The aims of this study were to determine the current level of metabolic control in T1DM patients on different treatment regimens, followed at the diabetes outpatient unit of the University Children's Hospital Bern, Switzerland, and to compare it with both the reported data from ten years ago (1998) and with the current guidelines of the ADA and ISPAD.

Variable Na(v)1.5 protein expression from the wild-type allele correlates with the penetrance of cardiac conduction disease in the Scn5a(+/-) mouse model

BACKGROUND: Loss-of-function mutations in SCN5A, the gene encoding Na(v)1.5 Na+ channel, are associated with inherited cardiac conduction defects and Brugada syndrome, which both exhibit variable phenotypic penetrance of conduction defects. We investigated the mechanisms of this heterogeneity in a mouse model with heterozygous targeted disruption of Scn5a (Scn5a(+/-) mice) and compared our results to those obtained in patients with loss-of-function mutations in SCN5A. METHODOLOGY/PRINCIPAL FINDINGS: Based on ECG, 10-week-old Scn5a(+/-) mice were divided into 2 subgroups, one displaying severe ventricular conduction defects (QRS interval>18 ms) and one a mild phenotype (QRS< or = 18 ms; QRS in wild-type littermates: 10-18 ms). Phenotypic difference persisted with aging. At 10 weeks, the Na+ channel blocker ajmaline prolonged QRS interval similarly in both groups of Scn5a(+/-) mice. In contrast, in old mice (>53 weeks), ajmaline effect was larger in the severely affected subgroup. These data matched the clinical observations on patients with SCN5A loss-of-function mutations with either severe or mild conduction defects. Ventricular tachycardia developed in 5/10 old severely affected Scn5a(+/-) mice but not in mildly affected ones. Correspondingly, symptomatic SCN5A-mutated Brugada patients had more severe conduction defects than asymptomatic patients. Old severely affected Scn5a(+/-) mice but not mildly affected ones showed extensive cardiac fibrosis. Mildly affected Scn5a(+/-) mice had similar Na(v)1.5 mRNA but higher Na(v)1.5 protein expression, and moderately larger I(Na) current than severely affected Scn5a(+/-) mice. As a consequence, action potential upstroke velocity was more decreased in severely affected Scn5a(+/-) mice than in mildly affected ones. CONCLUSIONS: Scn5a(+/-) mice show similar phenotypic heterogeneity as SCN5A-mutated patients. In Scn5a(+/-) mice, phenotype severity correlates with wild-type Na(v)1.5 protein expression.

Nerve excitability studies characterize Kv1.1 fast potassium channel dysfunction in patients with episodic ataxia type 1

Episodic ataxia type 1 is a neuronal channelopathy caused by mutations in the KCNA1 gene encoding the fast K(+) channel subunit K(v)1.1. Episodic ataxia type 1 presents with brief episodes of cerebellar dysfunction and persistent neuromyotonia and is associated with an increased incidence of epilepsy. In myelinated peripheral nerve, K(v)1.1 is highly expressed in the juxtaparanodal axon, where potassium channels limit the depolarizing afterpotential and the effects of depolarizing currents. Axonal excitability studies were performed on patients with genetically confirmed episodic ataxia type 1 to characterize the effects of K(v)1.1 dysfunction on motor axons in vivo. The median nerve was stimulated at the wrist and compound muscle action potentials were recorded from abductor pollicis brevis. Threshold tracking techniques were used to record strength-duration time constant, threshold electrotonus, current/threshold relationship and the recovery cycle. Recordings from 20 patients from eight kindreds with different KCNA1 point mutations were compared with those from 30 normal controls. All 20 patients had a history of episodic ataxia and 19 had neuromyotonia. All patients had similar, distinctive abnormalities: superexcitability was on average 100% higher in the patients than in controls (P < 0.00001) and, in threshold electrotonus, the increase in excitability due to a depolarizing current (20% of threshold) was 31% higher (P < 0.00001). Using these two parameters, the patients with episodic ataxia type 1 and controls could be clearly separated into two non-overlapping groups. Differences between the different KCNA1 mutations were not statistically significant. Studies of nerve excitability can identify K(v)1.1 dysfunction in patients with episodic ataxia type 1. The simple 15 min test may be useful in diagnosis, since it can differentiate patients with episodic ataxia type 1 from normal controls with high sensitivity and specificity.

Excessive erythrocytosis compromises the blood-endothelium interface in erythropoietin-overexpressing mice

Elevated systemic haematocrit (Hct) increases risk of cardiovascular disorders, such as stroke and myocardial infarction. One possible pathophysiological mechanism could be a disturbance of the blood-endothelium interface. It has been shown that blood interacts with the endothelial surface via a thick hydrated macromolecular layer (the 'glycocalyx', or 'endothelial surface layer'--ESL), modulating various biological processes, including inflammation, permeability and atherosclerosis. However, the consequences of elevated Hct on the functional properties of this interface are incompletely understood. Thus, we combined intravital microscopy of an erythropoietin overexpressing transgenic mouse line (tg6) with excessive erythrocytosis (Hct 0.85), microviscometric analysis of haemodynamics, and a flow simulation model to assess the effects of elevated Hct on glycocalyx/ESL thickness and flow resistance. We show that the glycocalyx/ESL is nearly abolished in tg6 mice (thickness: wild-type control: 0.52 μm; tg6: 0.13 μm; P < 0.001). However, the corresponding reduction in network flow resistance contributes <20% to the maintenance of total peripheral resistance observed in tg6 mice. This suggests that the pathological effects of elevated Hct in these mice, and possibly also in polycythaemic humans, may relate to biological corollaries of a reduced ESL thickness and the consequent alteration in the blood-endothelium interface, rather than to an increase of flow resistance.

What percentage of people in the general population satisfies the current clinical at-risk criteria of psychosis?

The clinical validity of at-risk criteria of psychosis had been questioned based on epidemiological studies that have reported much higher prevalence and annual incidence rates of psychotic-like experiences (PLEs as assessed by either self rating questionnaires or layperson interviews) in the general population than of the clinical phenotype of psychotic disorders (van Os et al., 2009). Thus, it is unclear whether “current at-risk criteria reflect behaviors so common among adolescents and young adults that a valid distinction between ill and non-ill persons is difficult” (Carpenter, 2009). We therefore assessed the 3-month prevalence of at-risk criteria by means of telephone interviews in a randomly drawn general population sample from the at-risk age segment (age 16–35 years) in the Canton Bern, Switzerland. Eighty-five of 102 subjects had valid phone numbers, 21 of these subjects refused (although 6 of them signaled willingness to participate at a later time), 4 could not be contacted. Sixty subjects (71% of the enrollment fraction) participated. Two participants met exclusion criteria (one for being psychotic, one for lack of language skills). Twenty-two at-risk symptoms were assessed for their prevalence and severity within the 3 months prior to the interview by trained clinical raters using (i) the Structured Interview for Prodromal Syndromes (SIPS; Miller et al., 2002) for the evaluation of 5 attenuated psychotic and 3 brief limited intermittent psychotic symptoms (APS, BLIPS) as well as state-trait criteria of the ultra-high-risk (UHR) criteria and (ii) the Schizophrenia Proneness Instrument, Adult version (SPI-A; Schultze-Lutter et al., 2007) for the evaluation of the 14 basic symptoms included in COPER and COGDIS (Schultze-Lutter et al., 2008). Further, psychiatric axis I diagnoses were assessed by means of the Mini-International Neuropsychiatric Interview, M.I.N.I. (Sheehan et al., 1998), and psychosocial functioning by the Scale of Occupational and Functional Assessment (SOFAS; APA, 1994). All interviewees felt ‘rather’ or ‘very’ comfortable with the interview. Of the 58 included subjects, only 1 (2%) fulfilled APS criteria by reporting the attenuated, non-delusional idea of his mind being literally read by others at a frequency of 2–3 times a week that had newly occurred 6 weeks ago. BLIPS, COPER, COGDIS or state-trait UHR criteria were not reported. Yet, twelve subjects (21%) described sub-threshold at-risk symptoms: 7 (12%) reported APS relevant symptoms but did not meet time/frequency criteria of APS, and 9 (16%) reported COPER and/or COGDIS relevant basic symptoms but at an insufficient frequency or as a trait lacking increase in severity; 4 of these 12 subjects reported both sub-threshold APS and sub-threshold basic symptoms. Table 1 displays type and frequency of the sub-threshold at-risk symptoms.

[Bullet and shrapnel injuries in the face and neck regions. Current aspects of wound ballistics]

A basic understanding of the ballistic behaviour of projectiles or fragments after entering the human body is essential for the head and neck surgeon in the military environment in order to anticipate the diagnostic and therapeutic consequences of this type of injury. Although a large number of factors influence the missile in flight and after penetration of the body, the most important factor is the amount of energy transmitted to the tissue. Long guns (rifles or shotguns) have a much higher muzzle energy compared to handguns, explaining why the remote effects beyond the bullet track play a major role. While most full metal jacket bullets release their energy after 12-20 cm (depending on the calibre), soft point bullets release their energy immediately after entry into the human body. This results in a major difference in extremity wounds, but not so much in injuries with long bullet paths (e.g. diagonal shots). Shrapnel wounds are usually produced with similarly high kinetic energy to those caused by hand- and long guns. However, fragments tend to dissipate the entire amount of energy within the body, which increases the degree of tissue disruption. Of all relevant injuries in the head and neck region, soft tissue injuries make up the largest proportion (60%), while injuries to the face are seen three times more often than injuries to the neck. Concomitant intracranial or spinal injury is seen in 30% of cases. Due to high levels of wound contamination, the infection rate is approximately 15%, often associated with a complicated and/or multiresistant spectrum of germs.

Mechanisms of osteoclastogenesis inhibition by a novel class of biphenyl-type cannabinoid CB(2) receptor inverse agonists

The cannabinoid CB(2) receptor is known to modulate osteoclast function by poorly understood mechanisms. Here, we report that the natural biphenyl neolignan 4'-O-methylhonokiol (MH) is a CB(2) receptor-selective antiosteoclastogenic lead structure (K(i) < 50 nM). Intriguingly, MH triggers a simultaneous G(i) inverse agonist response and a strong CB(2) receptor-dependent increase in intracellular calcium. The most active inverse agonists from a library of MH derivatives inhibited osteoclastogenesis in RANK ligand-stimulated RAW264.7 cells and primary human macrophages. Moreover, these ligands potently inhibited the osteoclastogenic action of endocannabinoids. Our data show that CB(2) receptor-mediated cAMP formation, but not intracellular calcium, is crucially involved in the regulation of osteoclastogenesis, primarily by inhibiting macrophage chemotaxis and TNF-α expression. MH is an easily accessible CB(2) receptor-selective scaffold that exhibits a novel type of functional heterogeneity.

Consensus Document of the International Union of Angiology (IUA)-2013. Current concept on the management of arterio-venous management

Arterio-venous malformations (AVMs) are congenital vascular malformations (CVMs) that result from birth defects involving the vessels of both arterial and venous origins, resulting in direct communications between the different size vessels or a meshwork of primitive reticular networks of dysplastic minute vessels which have failed to mature to become 'capillary' vessels termed "nidus". These lesions are defined by shunting of high velocity, low resistance flow from the arterial vasculature into the venous system in a variety of fistulous conditions. A systematic classification system developed by various groups of experts (Hamburg classification, ISSVA classification, Schobinger classification, angiographic classification of AVMs,) has resulted in a better understanding of the biology and natural history of these lesions and improved management of CVMs and AVMs. The Hamburg classification, based on the embryological differentiation between extratruncular and truncular type of lesions, allows the determination of the potential of progression and recurrence of these lesions. The majority of all AVMs are extra-truncular lesions with persistent proliferative potential, whereas truncular AVM lesions are exceedingly rare. Regardless of the type, AV shunting may ultimately result in significant anatomical, pathophysiological and hemodynamic consequences. Therefore, despite their relative rarity (10-20% of all CVMs), AVMs remain the most challenging and potentially limb or life-threatening form of vascular anomalies. The initial diagnosis and assessment may be facilitated by non- to minimally invasive investigations such as duplex ultrasound, magnetic resonance imaging (MRI), MR angiography (MRA), computerized tomography (CT) and CT angiography (CTA). Arteriography remains the diagnostic gold standard, and is required for planning subsequent treatment. A multidisciplinary team approach should be utilized to integrate surgical and non-surgical interventions for optimum care. Currently available treatments are associated with significant risk of complications and morbidity. However, an early aggressive approach to elimiate the nidus (if present) may be undertaken if the benefits exceed the risks. Trans-arterial coil embolization or ligation of feeding arteries where the nidus is left intact, are incorrect approaches and may result in proliferation of the lesion. Furthermore, such procedures would prevent future endovascular access to the lesions via the arterial route. Surgically inaccessible, infiltrating, extra-truncular AVMs can be treated with endovascular therapy as an independent modality. Among various embolo-sclerotherapy agents, ethanol sclerotherapy produces the best long term outcomes with minimum recurrence. However, this procedure requires extensive training and sufficient experience to minimize complications and associated morbidity. For the surgically accessible lesions, surgical resection may be the treatment of choice with a chance of optimal control. Preoperative sclerotherapy or embolization may supplement the subsequent surgical excision by reducing the morbidity (e.g. operative bleeding) and defining the lesion borders. Such a combined approach may provide an excellent potential for a curative result. Conclusion. AVMs are high flow congenital vascular malformations that may occur in any part of the body. The clinical presentation depends on the extent and size of the lesion and can range from an asymptomatic birthmark to congestive heart failure. Detailed investigations including duplex ultrasound, MRI/MRA and CT/CTA are required to develop an appropriate treatment plan. Appropriate management is best achieved via a multi-disciplinary approach and interventions should be undertaken by appropriately trained physicians.

Investigation of Human-Structure Interaction Through Experimental and Analytical Studies

Vibration serviceability is a widely recognized design criterion for assembly-type structures, such as stadiums, that are likely subjected to rhythmic human-induced excitation. Human-induced excitation of a structure occurs from the movement of the occupants such as walking, running, jumping, or dancing. Vibration serviceability is based on the level of comfort that people have with the vibrations of a structure. Current design guidance uses the natural frequency of the structure to assess vibration serviceability. However, a phenomenon known as human-structure interaction suggests that there is a dynamic interaction between the structure and passive occupants, altering the natural frequency of the system. Human-structure interaction is dependent on many factors, including the dynamic properties of the structure, posture of the occupants, and relative size of the crowd. It is unknown if the shift in natural frequency due to humanstructure interaction is significant enough to warrant consideration in the design process. This study explores the interface of both structural and crowd characteristics through experimental testing to determine if human-structure interaction should be considered because of its potential impact on serviceability assessment. An experimental test structure that represents the dynamic properties of a cantilevered stadium structure was designed and constructed. Experimental modal analysis was implemented to determine the dynamic properties of the empty test structure and when occupied with up to seven people arranged in different locations and postures. Comparisons of the dynamic properties were made between the empty and occupied testing configurations and analytical results from the use of a dynamic crowd model recommended from the Joint Working Group of Europe. Data trends lead to the development of a refined dynamic crowd model. This dynamic model can be used in conjunction with a finite element model of the test structure to estimate the dynamic influence due to human-structure interaction due to occupants standing with straight knees. In the future, the crowd model will be refined and can aid in assessing the dynamic properties of in-service stadium structures.