984 research outputs found

    Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics

    Full text link
    We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L. These include: hypersequent calculi for A and L and terminating versions of these calculi; labelled single sequent calculi for A and L of complexity co-NP; unlabelled single sequent calculi for A and L.Comment: 35 pages, 1 figur

    In vita performance and slaughter characteristics of Suffolk and Bergamasca lambs at 90 days of age

    Get PDF
    The objective of the present study was to compare in vita performance and carcass characteristics of Bergamasca and Suffolk lambs of 90 days of age. Bergamasca (15) and Suffolk (15) male lambs, originated from single and twin births equally represented, were weighed twice a month. Lambs were slaughtered to evaluate post-mortem characteristics and EUROP conformation score. Suffolk and Bergamasca lambs of 90 days of age produced carcasses with good quality; Suffolk had more compact carcasses than Bergamasca lambs whereas they showed higher percentage of intermuscular fat deposit. The results suggested that the two breeds raised with the forage-based feeding system could produce carcasses of good quality

    Long-range gravitational-like interaction in a neutral atomic cold gas

    Full text link
    A quasi-resonant laser induces a long-range attractive force within a cloud of cold atoms. We take advantage of this force to build in the laboratory a system of particles with a one-dimensional gravitational-like interaction, at a fluid level of modeling. We give experimental evidences of such an interaction in a cold Strontium gas, studying the density profile of the cloud, its size as a function of the number of atoms, and its breathing oscillations.Comment: 4 pages, 4 figures. Published in PRA 87, 013401 (2013

    Malar augmentation with zygomatic osteotomy in orthognatic surgery: Bone and soft tissue changes threedimensional evaluation: Malar Augmentation in Orthognatic Surgery

    Get PDF
    Background: The aim of this prospective study is to objectively assess 3D soft tissue and bone changes of the malar region by using the malar valgization osteotomy in concomitant association with orthognatic surgery. Materials and methods: From January 2015 to January 2018, 10 patients who underwent single stage bilateral malar valgization osteotomy in conjunction with maxillo-mandibular orthognatic procedures for aesthetic and functional correction were evaluated. Clinical and surgical reports were collected and patient satisfaction was evaluated with a VAS score. For each patient, maxillofacial CT-scans were collected 1 month preoperatively (T0) and 6 months after the operation (T1). DICOM data were imported and elaborated in the software MatLab, which creates a 3D soft tissue model of the face. 3D Bone changes were assessed importing DICOM data into iPlan (BrainLAB 3.0) software and the superimposition process was achieved using autofusion. Descriptive statistical analyses were obtained for soft tissue and bone changes. Results: Considering bone assessment the comparison by superimposition between T0 and T1 showed an increase of the distance between bilateral malar prominence (Pr – Pl) and a slight forward movement (87,65 ± 1,55 to 97,60 ± 5,91); p-value 0.007. All of the patients had improvement of α angle, ranging from 36,30 ± 1,70 to 38,45 ± 0,55, p-value 0,04 (αr) and 36,75 ± 1,58 to 38,45 ± 0,35; p-value 0,04 (αl). The distance S increased from 78,05 ± 2,48 to 84,2 ± 1,20; p-value 0,04 (Sr) and 78,65 ± 2,16 to 82,60 ± 0,90 (Sl); p-value 0,03. Considering the soft tissue, the comparison by superimposition between T0 and T1 showed an antero-lateral movement (p-value 0.008 NVL; p-value 0.001 NVR) of the malar bone projection together with an increase in width measurements (p-value 0,05 VL; p-value 0,01 VR). Angular measurement confirmed the pattern of the bony changes (p-value 0.034 αL; p-value 0,05 αR). Conclusion: The malar valgization osteotomy in conjunction with orthognatic surgery is effective in improving zygomatic projection contributing to a balanced facial correction in midface hypoplasia.3D geometrical based volume and surface analysis demonstrate an increase in transversal and forward direction. The osteotomy can be safely performed in conjunction with orthognatic procedures
    • …
    corecore