Spatial computing per smart devices

Magic Carpet, nato come un middleware orientato a una dimostrazione sullo spatial computing, che inizialmente coinvolgeva solo smart devices ed un tappeto di tag NFC, è il punto di partenza per uno studio sulle tecnologie abilitanti in tale campo. Il prodotto finale è una toolchain per lo sviluppo e la distribuzione, su dispositivi connessi, di applicazioni di spatial computing. Essa comprende un interprete per un DSL basato su un core calculus formalizzato, Field Calculus, e un middleware che supporta l'astrazione curando, a basso livello, le comunicazioni con il vicinato e le percezioni ambientali.

Stochastic foundations of dynamic trade and labor market models

This dissertation consists of three self-contained papers that are related to two main topics. In particular, the first and third studies focus on labor market modeling, whereas the second essay presents a dynamic international trade setup.rnrnIn Chapter "Expenses on Labor Market Reforms during Transitional Dynamics", we investigate the arising costs of a potential labor market reform from a government point of view. To analyze various effects of unemployment benefits system changes, this chapter develops a dynamic model with heterogeneous employed and unemployed workers.rn rnIn Chapter "Endogenous Markup Distributions", we study how markup distributions adjust when a closed economy opens up. In order to perform this analysis, we first present a closed-economy general-equilibrium industry dynamics model, where firms enter and exit markets, and then extend our analysis to the open-economy case.rn rnIn Chapter "Unemployment in the OECD - Pure Chance or Institutions?", we examine effects of aggregate shocks on the distribution of the unemployment rates in OECD member countries.rn rnIn all three chapters we model systems that behave randomly and operate on stochastic processes. We therefore exploit stochastic calculus that establishes clear methodological links between the chapters.

Aggregate Programming in Scala: a Core Library and Actor-Based Platform for Distributed Computational Fields

La programmazione aggregata è un paradigma che supporta la programmazione di sistemi di dispositivi, adattativi ed eventualmente a larga scala, nel loro insieme -- come aggregati. L'approccio prevalente in questo contesto è basato sul field calculus, un calcolo formale che consente di definire programmi aggregati attraverso la composizione funzionale di campi computazionali, creando i presupposti per la specifica di pattern di auto-organizzazione robusti. La programmazione aggregata è attualmente supportata, in modo più o meno parziale e principalmente per la simulazione, da DSL dedicati (cf., Protelis), ma non esistono framework per linguaggi mainstream finalizzati allo sviluppo di applicazioni. Eppure, un simile supporto sarebbe auspicabile per ridurre tempi e sforzi d'adozione e per semplificare l'accesso al paradigma nella costruzione di sistemi reali, nonché per favorire la ricerca stessa nel campo. Il presente lavoro consiste nello sviluppo, a partire da un prototipo della semantica operazionale del field calculus, di un framework per la programmazione aggregata in Scala. La scelta di Scala come linguaggio host nasce da motivi tecnici e pratici. Scala è un linguaggio moderno, interoperabile con Java, che ben integra i paradigmi ad oggetti e funzionale, ha un sistema di tipi espressivo, e fornisce funzionalità avanzate per lo sviluppo di librerie e DSL. Inoltre, la possibilità di appoggiarsi, su Scala, ad un framework ad attori solido come Akka, costituisce un altro fattore trainante, data la necessità di colmare l'abstraction gap inerente allo sviluppo di un middleware distribuito. Nell'elaborato di tesi si presenta un framework che raggiunge il triplice obiettivo: la costruzione di una libreria Scala che realizza la semantica del field calculus in modo corretto e completo, la realizzazione di una piattaforma distribuita Akka-based su cui sviluppare applicazioni, e l'esposizione di un'API generale e flessibile in grado di supportare diversi scenari.

Influence of the condition of the adjacent tooth surface on fluorescence measurements for the detection of approximal caries

The aim of this study was to test whether the status of the adjacent tooth surface has an influence on the signal of a new laser fluorescence (LF) device for the detection of approximal caries. Seventy-eight teeth were selected from a pool of extracted permanent human molars, frozen at -20 degrees C until use. Before being measured the teeth were defrosted, cleaned, and any calculus removed. As a control, a defined approximal surface of each tooth was measured with the LF device holding the tip with the detecting- and the reverse-side on it, but without a neighboring tooth contacting the surface. The proximal site under examination was then placed adjacent to a tooth, which had deep dentinal caries, a composite restoration, a provisional ZnO-Eugenol restoration, or a ceramic restoration. The adjacent tooth with the ZnO-Eugenol restoration, the composite restoration, and the dentinal caries all demonstrated a statistically significant increase of LF readings on sound tooth surfaces. Teeth with enamel or dentinal caries were only slightly (and not statistically significantly) influenced by the different types of neighboring surfaces compared with the control LF readings. It can be concluded that caries detection of approximal tooth surfaces with the new LF system might be influenced by the condition of the adjacent tooth surface.

Detection of approximal caries with a new laser fluorescence device

The laser device DIAGNOdent developed for the detection of occlusal caries has limited value on approximal surfaces. The aim of this study was to develop and to test a new laser fluorescence (LF) device for the detection of approximal caries. Light with a wavelength of 655 nm was transported to the approximal surface using two different sapphire fibre tips. Seventy-five teeth were selected from a pool of extracted permanent human molars, frozen at -20 degrees C until use. Before being measured, they were defrosted, cleaned and calculus was removed with a scaler. The molars were set in blocks simulating the contact area of adults. Bitewing radiographs were obtained using Kodak Insight films. After two independent assessments with the new LF device, the teeth were histologically prepared, and assessed for caries extension. Using the laser, specificity values for D1 threshold (outer half of enamel), D2 threshold (inner half of enamel), D3 threshold (dentine) ranged between 0.81 and 0.93, sensitivity between 0.84 and 0.92 with no difference between the two tips. Bitewing radiography showed an inferior performance compared to LF (p<0.05). Intraex aminer reproducibility was high (kappa>.74). The new LF system might be a useful additional tool in detecting approximal caries. Because of its good reproducibility, it could be used to monitor caries regression or progression on approximal surfaces.

Evaluating Prediction Rules for t-Year Survivors With Censored Regression Models

Suppose that we are interested in establishing simple, but reliable rules for predicting future t-year survivors via censored regression models. In this article, we present inference procedures for evaluating such binary classification rules based on various prediction precision measures quantified by the overall misclassification rate, sensitivity and specificity, and positive and negative predictive values. Specifically, under various working models we derive consistent estimators for the above measures via substitution and cross validation estimation procedures. Furthermore, we provide large sample approximations to the distributions of these nonsmooth estimators without assuming that the working model is correctly specified. Confidence intervals, for example, for the difference of the precision measures between two competing rules can then be constructed. All the proposals are illustrated with two real examples and their finite sample properties are evaluated via a simulation study.

Renal oxygenation changes during acute unilateral ureteral obstruction: assessment with blood oxygen level-dependent mr imaging--initial experience

PURPOSE: To prospectively determine if changes in intrarenal oxygenation during acute unilateral ureteral obstruction can be depicted with blood oxygen level-dependent (BOLD) magnetic resonance (MR) imaging. MATERIALS AND METHODS: The study was approved by the local ethics committee, and written informed consent was obtained from all patients. BOLD MR imaging was performed in 10 male patients (mean age, 45 years +/- 17 [standard deviation]; range, 20-73 years) with a distal unilateral ureteral calculus and in 10 healthy age-matched male volunteers to estimate R2*, which is inversely related to tissue Po(2). R2* values were determined in the cortex and medulla of the obstructed and the contralateral nonobstructed kidneys. To reduce external effects on R2*, the R2* ratio between the medulla and cortex was also analyzed. Statistical analysis was performed with nonparametric rank tests. P < .05 was considered to indicate a significant difference. RESULTS: All patients had significantly lower medullary and cortical R2* values in the obstructed kidney (median R2* in medulla, 10.9 sec(-1) [range, 9.1-14.3 sec(-1)]; median R2* in cortex, 10.4 sec(-1) [range, 9.7-11.3 sec(-1)]) than in the nonobstructed kidney (median R2* in medulla, 17.2 sec(-1) [range, 14.6-23.2 sec(-1)], P = .005; median R2* in cortex, 11.7 sec(-1) [range, 11.0-14.0 sec(-1)], P = .005); values in the obstructed kidneys were also significantly lower than values in the kidneys of healthy control subjects (median R2* in medulla, 16.1 sec(-1) [range, 13.9-18.1 sec(-1)], P < .001; median R2* in cortex, 11.6 sec(-1) [range, 10.5-12.9 sec(-1)], P < .001). R2* ratios in the obstructed kidneys (median, 1.06; range, 0.85-1.27) were significantly lower than those in the nonobstructed kidneys (median, 1.49; range, 1.26-1.71; P = .005) and those in the kidneys of healthy control subjects (median, 1.38; range, 1.23-1.47; P < .001). In contrast, R2* ratios in the nonobstructed kidneys of patients were significantly higher than those in kidneys of healthy control subjects (P = .01). CONCLUSION: Increased oxygen content in the renal cortex and medulla occurs with acute unilateral ureteral obstruction, suggesting reduced function of the affected kidney.

Noninvasive assessment of acute ureteral obstruction with diffusion-weighted MR imaging: a prospective study

PURPOSE: To prospectively assess the potential of noninvasive diffusion-weighted magnetic resonance (MR) imaging to depict changes in microperfusion and diffusion in patients with acute unilateral ureteral obstruction. MATERIALS AND METHODS: The local ethics committee approved the study protocol. Informed consent was obtained. Diffusion-weighted MR imaging was performed in 21 patients (two women, 19 men; mean age, 43 years +/- 10 [standard deviation]) with acute unilateral ureteral obstruction due to a calculus diagnosed at unenhanced computed tomography. A control group (one woman, 15 men; mean age, 44 years +/- 12) underwent the same MR protocol. Standard processing yielded an apparent diffusion coefficient (ADC) ADCT; the separation of microperfusion and diffusion contributions yielded the perfusion fraction FP and the pure diffusion coefficient ADCD. ADCT, ADCD, and FP were compared between obstructed and contralateral unobstructed kidneys and with control values. For statistical analysis, nonparametric rank tests were used. A P value of less than .05 was considered significant. RESULTS: No significant differences were observed between the ADCT of the medulla or cortex of the obstructed and unobstructed kidneys. Compared with control kidneys, only medullary ADCT was slightly increased in the obstructed kidney (P < .04). However, the ADCD in the medulla of the obstructed and unobstructed kidneys was significantly higher than that in control subjects (201 x 10(-5) mm2/sec +/- 16 and 199 x 10(-5) mm2/sec +/- 20 vs 189 x 10(-5) mm2/sec +/- 12; P < .008 and P < .03, respectively). FP of the cortex of the obstructed kidney was significantly lower than that in the unobstructed kidney (20.2% +/- 4.8 vs 24.0% +/- 5.8; P < .002); FP of the medulla was slightly lower in the obstructed kidney than in the unobstructed kidney (18.3% +/- 5.9 vs 20.7% +/- 6.4; P = .05). CONCLUSION: Diffusion-weighted MR imaging allows noninvasive detection of changes in renal perfusion and diffusion during acute unilateral ureteral obstruction, as exemplified in patients with a ureteral calculus.

Tax-Optimal Step-Up and Imperfect Loss Offset

In the field of mergers and acquisitions, German and international tax law allow for several opportunities to step up a firm's assets, i.e., to revaluate the assets at fair market values. When a step-up is performed the taxpayer recognizes a taxable gain, but also obtains tax benefits in the form of higher future depreciation allowances associated with stepping up the tax base of the assets. This tax-planning problem is well known in taxation literature and can also be applied to firm valuation in the presence of taxation. However, the known models usually assume a perfect loss offset. If this assumption is abandoned, the depreciation allowances may lose value as they become tax effective at a later point in time, or even never if there are not enough cash flows to be offset against. This aspect is especiallyrelevant if future cash flows are assumed to be uncertain. This paper shows that a step-up may be disadvantageous or a firm overvalued if these aspects are not integrated into the basic calculus. Compared to the standard approach, assets should be stepped up only in a few cases and - under specific conditions - at a later point in time. Firm values may be considerably lower under imperfect loss offset.

Clinical outcomes following subgingival application of a novel erythritol powder by means of air polishing in supportive periodontal therapy: a randomized, controlled clinical study

OBJECTIVES The aim of this prospective, randomized, controlled clinical study was to compare the clinical outcomes of the subgingival treatment with erythritol powder by means of an air-polishing (EPAP) device and of scaling and root planing (SRP) during supportive periodontal therapy (SPT). METHOD AND MATERIALS 40 patients enrolled in SPT were randomly assigned to two groups of equal size. Sites had to show signs of inflammation (bleeding on probing [BOP]-positive) and a probing pocket depth (PPD) of ≥ 4 mm, however, without presence of detectable subgingival calculus. During SPT, these sites were treated with EPAP or SRP, respectively. Full mouth and site-specific plaque indices, BOP, PPD, and clinical attachment level (CAL) were recorded at baseline (BL) and at 3 months, whereas the percentage of study sites positive for BOP (BOP+) was considered as primary outcome variable. Additionally, patient comfort using a visual analog scale (VAS) and the time needed to treat per site was evaluated. RESULTS At 3 months, mean BOP level measured 45.1% at test sites and 50.6% at control sites, respectively, without a statistically significant difference between the groups (P > .05). PPD and CAL slightly improved for both groups with comparable mean values at 3 months. Evaluation of patient tolerance showed statistically significantly better values among patients receiving the test treatment (mean VAS [0-10], 1.51) compared to SRP (mean VAS [0-10], 3.66; P = .0012). The treatment of test sites was set to 5 seconds per site. The treatment of control sites, on the other hand, lasted 85 seconds on average. CONCLUSION The new erythritol powder applied with an air-polishing device can be considered a promising modality for repeated instrumentation of residual pockets during SPT. CLINICAL RELEVANCE With regard to clinical outcomes during SPT, similar results can be expected irrespective of the two treatment approaches of hand instrumentation or subgingival application of erythritol powder with an air-polishing device in sites where only biofilm removal is required.

Histological evaluation of human intrabony periodontal defects treated with an unsintered nanocrystalline hydroxyapatite paste

OBJECTIVES The aim of the study was to clinically and histologically evaluate the healing of human intrabony defects treated with open flap surgery (OFD) and application of a new, resorbable, fully synthetic, unsintered, nanocrystalline, phase-pure hydroxyapatite (nano-HA). MATERIALS AND METHODS Six patients, each of them displaying very advanced intrabony defects around teeth scheduled for extraction due to advanced chronic periodontitis and further prosthodontic considerations, were included in the study. Following local anaesthesia, mucoperiosteal flaps were reflected; the granulation tissue was removed, and the roots were meticulously debrided by hand and ultrasonic instruments. A notch was placed at the most apical extent of the calculus present on the root surface or at the most apical part of the defect (if no calculus was present) in order to serve as a reference for the histological evaluation. Following defect fill with nano-HA, the flaps were sutured by means of mattress sutures to allow primary intention healing. At 7 months after regenerative surgery, the teeth were extracted together with some of their surrounding soft and hard tissues and processed for histological analysis. RESULTS The postoperative healing was uneventful in all cases. At 7 months following surgery, mean PPD reduction and mean CAL gain measured 4.0 ± 0.8 and 2.5 ± 0.8 mm, respectively. The histological analysis revealed a healing predominantly characterized by epithelial downgrowth. Limited formation of new cementum with inserting connective tissue fibers and bone regeneration occurred in three out of the six biopsies (i.e. 0-0.86 and 0-1.33 mm, respectively). Complete resorption of the nano-HA was found in four out of the six biopsies. A few remnants of the graft particles (either surrounded by newly formed mineralized tissue or encapsulated in connective tissue) were found in two out of the six biopsies. CONCLUSION Within their limits, the present results indicate that nano-HA has limited potential to promote periodontal regeneration in human intrabony defects. CLINICAL RELEVANCE The clinical outcomes obtained following surgery with OFD + nano-HA may not reflect true periodontal regeneration.

Lions-type compactness and Rubik actions on the Heisenberg group

In this paper we prove a Lions-type compactness embedding result for symmetric unbounded domains of the Heisenberg group. The natural group action on the Heisenberg group TeX is provided by the unitary group U(n) × {1} and its appropriate subgroups, which will be used to construct subspaces with specific symmetry and compactness properties in the Folland-Stein’s horizontal Sobolev space TeX. As an application, we study the multiplicity of solutions for a singular subelliptic problem by exploiting a technique of solving the Rubik-cube applied to subgroups of U(n) × {1}. In our approach we employ concentration compactness, group-theoretical arguments, and variational methods.

Canonical proof nets for classical logic

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Online social networks: why we disclose

On online social networks such as Facebook, massive self-disclosure by users has attracted the attention of industry players and policymakers worldwide. Despite the impressive scope of this phenomenon, very little is understood about what motivates users to disclose personal information. Integrating focus group results into a theoretical privacy calculus framework, we develop and empirically test a Structural Equation Model of self-disclosure with 259 subjects. We find that users are primarily motivated to disclose information because of the convenience of maintaining and developing relationships and platform enjoyment. Countervailing these benefits, privacy risks represent a critical barrier to information disclosure. However, users’ perception of risk can be mitigated by their trust in the network provider and availability of control options. Based on these findings, we offer recommendations for network providers.

Online disclosure and privacy concerns: a study of Moroccan and American facebook users

In using online social networks to connect and interact with people has become extremely popular all around the world. Thelargest Social Networking Site (SNS), Facebook, offers its services in over 70 languages and increasingly relies oninternational users to grow its membership. Aiming to understand the role of culture in SNS participation, this study adopts a‘privacy calculus’ perspective to examine the differences in participation patterns between American and MoroccanFacebook users. Survey results show that Moroccans users disclose less on Facebook than US users, yet perceive moredamage should their privacy on Facebook be violated. American users, on the other hand, have lower privacy concerns, trustfellow SNS members and legal system more, and disclose more in their profile. From a practical standpoint, the resultsindicate that SNS providers cannot rely on the same methods to encourage user participation and disclosure in differentcountries.