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

English Traders and the Spanish Canary Inquisition in the Canaries during the Reign of Queen Elizabeth

n/

In-situ Clean-up and OPLC Fractionation of Chamomile Flower Extract Searching Active Components by Bioautography

Bioassay-guided isolation of antibacterial components of chamomile flower methanol extract was performed by OPLC with on-line detection, fractionation combined with sample clean-up in-situ in the adsorbent bed after sample application. The antibacterial effect of the fractions and the separated compounds remained on the adsorbent layer (do not overrun during OPLC separation) was tested with direct bioautography (DB) against the bioluminescent Pseudomonas savastanoi pv. maculicola and Vibrio fischeri. The fractions with great biologically activity were analysed by SPME-GC-MS and LC-MS/MS and the two active uneluted compounds were characterized by OPLC-MS using interface. Mainly essential oil components, coumarins, flavonoids, phenolic acids and fatty acids were identified in the fractions

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

Functional Liftings of Vectorial Variational Problems with Laplacian Regularization

We propose a functional lifting-based convex relaxation of variational problems with Laplacian-based second-order regularization. The approach rests on ideas from the calibration method as well as from sublabel-accurate continuous multilabeling approaches, and makes these approaches amenable for variational problems with vectorial data and higher-order regularization, as is common in image processing applications. We motivate the approach in the function space setting and prove that, in the special case of absolute Laplacian regularization, it encompasses the discretization-first sublabel-accurate continuous multilabeling approach as a special case. We present a mathematical connection between the lifted and original functional and discuss possible interpretations of minimizers in the lifted function space. Finally, we exemplarily apply the proposed approach to 2D image registration problems.Comment: 12 pages, 3 figures; accepted at the conference "Scale Space and Variational Methods" in Hofgeismar, Germany 201

Catalysis in non--local quantum operations

We show how entanglement can be used, without being consumed, to accomplish unitary operations that could not be performed with out it. When applied to infinitesimal transformations our method makes equivalent, in the sense of Hamiltonian simulation, a whole class of otherwise inequivalent two-qubit interactions. The new catalysis effect also implies the asymptotic equivalence of all such interactions.Comment: 4 pages, revte

Quantum Games

In these lecture notes we investigate the implications of the identification of strategies with quantum operations in game theory beyond the results presented in [J. Eisert, M. Wilkens, and M. Lewenstein, Phys. Rev. Lett. 83, 3077 (1999)]. After introducing a general framework, we study quantum games with a classical analogue in order to flesh out the peculiarities of game theoretical settings in the quantum domain. Special emphasis is given to a detailed investigation of different sets of quantum strategies.Comment: 13 pages (LaTeX), 3 figure

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

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