A simple abstraction of arrays and maps by program translation

We present an approach for the static analysis of programs handling arrays, with a Galois connection between the semantics of the array program and semantics of purely scalar operations. The simplest way to implement it is by automatic, syntactic transformation of the array program into a scalar program followed analysis of the scalar program with any static analysis technique (abstract interpretation, acceleration, predicate abstraction,.. .). The scalars invariants thus obtained are translated back onto the original program as universally quantified array invariants. We illustrate our approach on a variety of examples, leading to the " Dutch flag " algorithm

Periodontal Regenerative Treatment of Intrabony Defects Associated with Palatal Grooves: A Report of Two Cases

A palatal radicular groove (PRG) is a morphological deformity, occurring during tooth development. It is usually located on the palatal aspect of maxillary incisors and frequently associated with periodontal or endodontic-periodontal lesions. Some treatment options were described for such lesions, including primary endodontic treatment and periodontal surgery and extraction with intentional replantation after removal of a PRG and endodontic treatment. The present paper reported two cases of PRG-associated deep intrabony defects, successfully treated with periodontal surgery with enamel matrix derivative (EMD) application and mechanical removal of PRGs, avoiding endodontic treatment or retreatment. The complexity of the diagnostic process was also discussed

Splitting Proofs for Interpolation

We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical strength of the formula from the requirement on the com- mon signature. This allows us to highlight the space of all interpolants that can be extracted from a refutation as a space of simple choices on how to split the refuta- tion into two parts. We use this new insight to develop an algorithm for extracting interpolants which are linear in the size of the input refutation and can be further optimized using metrics such as number of non-logical symbols or quantifiers. We implemented the new algorithm in first-order theorem prover VAMPIRE and evaluated it on a large number of examples coming from the first-order proving community. Our experiments give practical evidence that our work improves the state-of-the-art in first-order interpolation.Comment: 26th Conference on Automated Deduction, 201

The influence of implant position and of prosthetic characteristics on the occurrence of peri-implantitis: a retrospective study on periapical radiographs.

OBJECTIVE: The present retrospective study aimed to investigate the influence of malposition on the occurrence of peri-implantitis. MATERIALS AND METHODS: The study included clinical records of systemically healthy patients with single and partial implant-supported rehabilitations and at least 1-year post-loading follow-up. The parameters collected included implant-related factors, patient-related factors, site-related factors, and prosthesis-related factors. The radiographic measurements were taken by using a dedicated software and the diagnosis of peri-implantitis was made based on all the available clinical and radiographic data. Descriptive statistics were provided for all variables. Following an exploratory approach, an implant-level analysis of factors influencing the occurrence of peri-implantitis was done through a multilevel multivariate logistic regression (mixed). RESULTS: A total of 180 implants belonging to 90 subjects were randomly selected. Malposition showed no statistically significant association with the occurrence of peri-implantitis. According to the multi-level analysis, the parameters that were significantly associated with peri-implantitis included presence / history of periodontitis (OR = 5.945, 95% CI: 1.093 - 32.334, P = 0.039) and presence of an emergence profile angle ≥ 45° (OR = 9.094, 95% CI: 2.017 - 40.995, P = 0.005). CONCLUSIONS: Implant malposition, as defined following Buser's criteria (2004), did not influence the occurrence of peri-implantitis in the selected cohort. Conversely, history of periodontitis and presence of a prosthetic emergence profile with an angle ≥ 45° were correlated to an increased risk of peri-implantitis

Anatomical factors associated with gender recognizability: A study on intraoral standardized photographs

AIM: The aim of this research was to evaluate the possibility of identifying the sex of 1 subject through visual assessment of a frontal photograph of dentition, and to investigate if some morphological characteristics are related to sex determination. METHODS: 5 expert dentists, 5 non-expert dentists and 5 laypeople were made to watch 100 intraoral photographs for 5 seconds each and to establish their sex. The responses of the participants and the baseline characteristics of photographed dentitions were analyzed. RESULTS: The proportion of right answers was 56.0% \ub1 8.2% in the group of expert dentists, 65.0% \ub1 6.0% in the group of non-expert dentists and 58.6% \ub1 4.5% in the group of non-expert people. The round shape of maxillary central incisors was related to the female gender (P = .006). The male condition was correlated with poor oral hygiene for 4 observers. Female sex perception was correlated with round morphology of upper central incisors for 3 observers. CONCLUSION: No difference in the ability to determine the sex was registered among groups, suggesting that sex perception is not strongly influenced by the characteristics of dentition

Influence of Diabetes on Implant Failure and Peri-Implant Diseases: A Retrospective Study

Diabetes is an important modifying factor of periodontitis, but its association with peri-implant diseases has not been fully explored and the existing literature reports controversial results. The aim of this retrospective study was to evaluate the influence of diabetes on peri-implantitis and implant failure. Smoking status, history of periodontal disease, presence of diabetes, diabetes type, therapy and glycaemia levels were collected in a total of 204 subjects treated with 929 implants, with a mean follow-up time of 5.7 \ub1 3.82 years after loading. Odds ratio (OR) for diabetes as a direct cause of peri-implantitis and implant failure were calculated, adjusted for smoking status and history of periodontitis. Nineteen patients were diabetic and most of them presented a good control of the disease at the time of surgery. The overall patient-level prevalence of peri-implantitis was 11.3%. Among diabetic patients, one developed peri-implantitis, whereas one experienced multiple implant failures. The calculated ORs, adjusted for smoking status and periodontitis, were not statistically significant. The results revealed no association between diabetes and peri-implantitis or implant failure coherently with the existing scientific literature. The actual influence of hyperglycemia on implant failure is still uncertain and new studies with larger cohorts of patients are needed

On the structure of phase transition maps for three or more coexisting phases

This paper is partly based on a lecture delivered by the author at the ERC workshop "Geometric Partial Differential Equations" held in Pisa in September 2012. What is presented here is an expanded version of that lecture.Comment: 23 pages, 6 figure

A lattice model for the line tension of a sessile drop

Within a semi--infinite thre--dimensional lattice gas model describing the coexistence of two phases on a substrate, we study, by cluster expansion techniques, the free energy (line tension) associated with the contact line between the two phases and the substrate. We show that this line tension, is given at low temperature by a convergent series whose leading term is negative, and equals 0 at zero temperature