Towards automated first-order abduction: the cut-based approach

Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we present a first-order cut-based abduction method, which has KE-tableaux as its underlying inference system. This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem. After demonstrating the correctness of the method, we show how this method can be dynamically iterated in a process that leads to the construction of non-analytic first-order proofs and, in some terminating cases, to refutations as well.

Bioelectrical Impedance Analysis and Skinfold Thickness Sum in Assessing Body Fat Mass of Renal Dialysis Patients

Objective: In chronic renal failure patients under hemodialysis (HD) treatment, the availability of simple, safe, and effective tools to assess body composition enables evaluation of body composition accurately, in spite of changes in body fluids that occur in dialysis therapy, thus contributing to planning and monitoring of nutritional treatment. We evaluated the performance of bioelectrical impedance analysis (BIA) and the skinfold thickness sum (SKF) to assess fat mass (FM) in chronic renal failure patients before (BHD) and after (AHD) HD, using air displacement plethysmography (ADP) as the standard method. Design: This single-center cross-sectional trial involved comparing the FM of 60 HD patients estimated BHD and AHD by BIA (multifrequential; 29 women, 31 men) and by SKF with those estimated by the reference method, ADP. Body fat-free mass (FFM) was also obtained by subtracting the total body fat from the individual total weight. Results: Mean estimated FM (kg [%]) observed by ADP BHD was 17.95 +/- 0.99 kg (30.11% +/- 1.30%), with a 95% confidence interval (CI) of 16.00 to 19.90 (27.56 to 32.66); mean estimated FM observed AHD was 17.92 +/- 1.11 kg (30.04% +/- 1.40%), with a 95% CI of 15.74 to 20.10 (27.28 to 32.79). Neither study period showed a difference in FM and FFM (for both kg and %) estimates by the SKF method when compared with ADP; however, the BIA underestimated the FM and overestimated the FFM (for both kg and %) when compared with ADP. Conclusion: The SKF, but not the BIA, method showed results similar to ADP and can be considered adequate for FM evaluation in HD patients. (C) 2012 by the National Kidney Foundation, Inc. All rights reserved.

Unusual macular thickness in Alport syndrome: case report

This case report describes the presence of bilateral macular atrophy in a patient with Alport syndrome and compares this finding with literature. At fundoscopy, there was a discrete circumscribed macular thinning showing intense retinal pigment epithelium color and the presence of whitish circular retinal lesions ("dots" and "flecks") at nasal mid periphery of both eyes. Optical coherence tomography showed bilateral partial atrophy of the neurosensory retina in the macula, with a greater extent in the temporal region. This case describes a rare ophthalmological finding in Alport syndrome and important to be recognized for a precise diagnosis as well as for determining visual prognosis.

INFLUENCE OF CORTICAL BONE THICKNESS ON THE ULTRASOUND VELOCITY

Objective: An experimental in vitro study was carried out to evaluate the influence of cortical bone thickness on ultrasound propagation velocity. Methods: Sixty bone plates were used, made from bovine femurs, with thickness ranging from 1 to 6 mm (10 of each). The ultrasound velocity measurements were performed using a device specially designed for this purpose, in an underwater acoustic tank and with direct contact using contact gel. The transducers were positioned in two ways: on opposite sides, with the bone between them, for the transverse measurement; and parallel to each other, on the same side of the bone plates, for the axial measurements. Results: In the axial transmission mode, the ultrasound velocity speed increased with cortical bone thickness, regardless of the distance between the transducers, up to a thickness of 5 mm, then remained constant thereafter. There were no changes in velocity when the transverse measures were made. Conclusion: Ultrasound velocity increased with cortical bone thickness in the axial transmission mode, until the thickness surpasses the wavelength, after which point it remained constant. Level of Evidence: Experimental Study.

The effect of implant design on insertion torque and immediate micromotion

Objectives: To evaluate the effect of insertion torque on micromotion to a lateral force in three different implant designs. Material and methods: Thirty-six implants with identical thread design, but different cutting groove design were divided in three groups: (1) non-fluted (no cutting groove, solid screw-form); (2) fluted (901 cut at the apex, tap design); and (3) Blossomt (Patent pending) (non-fluted with engineered trimmed thread design). The implants were screwed into polyurethane foam blocks and the insertion torque was recorded after each turn of 901 by a digital torque gauge. Controlled lateral loads of 10N followed by increments of 5 up to 100N were sequentially applied by a digital force gauge on a titanium abutment. Statistical comparison was performed with two-way mixed model ANOVA that evaluated implant design group, linear effects of turns and displacement loads, and their interaction. Results: While insertion torque increased as a function of number of turns for each design, the slope and final values increased (Po0.001) progressively from the Blossomt to the fluted to the non-fluted design (M +/- standard deviation [SD] = 64.1 +/- 26.8, 139.4 +/- 17.2, and 205.23 +/- 24.3 Ncm, respectively). While a linear relationship between horizontal displacement and lateral force was observed for each design, the slope and maximal displacement increased (Po0.001) progressively from the Blossomt to the fluted to the non-fluted design (M +/- SD 530 +/- 57.7, 585.9 +/- 82.4, and 782.33 +/- 269.4 mm, respectively). There was negligible to moderate levels of association between insertion torque and lateral displacement in the Blossomt, fluted and non-fluted design groups, respectively. Conclusion: Insertion torque was reduced in implant macrodesigns that incorporated cutting edges, and lesser insertion torque was generally associated with decreased micromovement. However, insertion torque and micromotion were unrelated within implant designs, particularly for those designs showing the least insertion torque.

Laminar Displacement and Prelaminar Tissue Thickness Change after Glaucoma Surgery Imaged with Optical Coherence Tomography

PURPOSE. To study changes in lamina cribrosa position and prelaminar tissue thickness (PTT) after surgical IOP reduction in glaucoma patients. METHODS. Twenty-two patients (mean age, 71.4 years) were imaged with spectral domain optical coherence tomography (SD-OCT; 24 radial B-scans centered on the optic nerve head [ONH]) before trabeculectomy or tube shunt implantation. Follow up images were acquired 1 week, 1 month, 3 months, and 6 months postsurgery. Bruch's membrane opening (BMO), the internal limiting membrane (ILM) and the anterior laminar surface (ALS) were segmented in each radial scan with custom software. Surfaces were fitted to the ILM and ALS with the extracted three-dimesional coordinates. PTT was the distance between the ILM and ALS, perpendicular to a BMO reference plane. Serial postsurgical laminar displacement (LD), relative to the BMO reference plane, and changes in PTT were measured. Positive values indicated anterior LD. RESULTS. Mean (SD) presurgery IOP was 18.1 (6.5) mm Hg, and reduced by 4.7 (5.5), 2.4 (7.7), 7.0 (6.2), and 6.8 (7.5) mm Hg at 1 week, 1 month, 3 months, and 6 months postsurgery, respectively. At the four postsurgery time points, there was significant anterior LD (1.8 [9.5], -1.1 [8.9], 8.8 [20.2], and 17.9 [25.8] mu m) and PTT increase (1.7 [13.3], 2.4 [11.9], 17.4 [13.7], and 13.9 [18.6] mu m). LD was greater in ONHs with larger BMO area (P = 0.01) and deeper ALS (P = 0.04); however, PTT was not associated with any of the tested independent variables. CONCLUSIONS. Both anterior LD and thickening of prelaminar tissue occur after surgical IOP reduction in patients with glaucoma. (Invest Ophthalmol Vis Sci. 2012;53:5819-5826) DOI:10.1167/iovs.12-9924

Fuzzy Connectedness Image Segmentation in Graph Cut Formulation: A Linear-Time Algorithm and a Comparative Analysis

A deep theoretical analysis of the graph cut image segmentation framework presented in this paper simultaneously translates into important contributions in several directions. The most important practical contribution of this work is a full theoretical description, and implementation, of a novel powerful segmentation algorithm, GC(max). The output of GC(max) coincides with a version of a segmentation algorithm known as Iterative Relative Fuzzy Connectedness, IRFC. However, GC(max) is considerably faster than the classic IRFC algorithm, which we prove theoretically and show experimentally. Specifically, we prove that, in the worst case scenario, the GC(max) algorithm runs in linear time with respect to the variable M=|C|+|Z|, where |C| is the image scene size and |Z| is the size of the allowable range, Z, of the associated weight/affinity function. For most implementations, Z is identical to the set of allowable image intensity values, and its size can be treated as small with respect to |C|, meaning that O(M)=O(|C|). In such a situation, GC(max) runs in linear time with respect to the image size |C|. We show that the output of GC(max) constitutes a solution of a graph cut energy minimization problem, in which the energy is defined as the a"" (a) norm ayenF (P) ayen(a) of the map F (P) that associates, with every element e from the boundary of an object P, its weight w(e). This formulation brings IRFC algorithms to the realm of the graph cut energy minimizers, with energy functions ayenF (P) ayen (q) for qa[1,a]. Of these, the best known minimization problem is for the energy ayenF (P) ayen(1), which is solved by the classic min-cut/max-flow algorithm, referred to often as the Graph Cut algorithm. We notice that a minimization problem for ayenF (P) ayen (q) , qa[1,a), is identical to that for ayenF (P) ayen(1), when the original weight function w is replaced by w (q) . Thus, any algorithm GC(sum) solving the ayenF (P) ayen(1) minimization problem, solves also one for ayenF (P) ayen (q) with qa[1,a), so just two algorithms, GC(sum) and GC(max), are enough to solve all ayenF (P) ayen (q) -minimization problems. We also show that, for any fixed weight assignment, the solutions of the ayenF (P) ayen (q) -minimization problems converge to a solution of the ayenF (P) ayen(a)-minimization problem (ayenF (P) ayen(a)=lim (q -> a)ayenF (P) ayen (q) is not enough to deduce that). An experimental comparison of the performance of GC(max) and GC(sum) algorithms is included. This concentrates on comparing the actual (as opposed to provable worst scenario) algorithms' running time, as well as the influence of the choice of the seeds on the output.

Color Dependence on Thickness in Topaz Crystal from Brazil

It is well known that crystals of topaz from the Eastern Brazilian Pegmatite Province may turn blue by the irradiation with Co-60 gamma rays followed by heat treatment. Also, it is known that the sensation of color changes with the thickness of these crystals. The dependence of the color, given by 1931 CIE chromaticity coordinates, with the thickness of the crystal was analyzed. The absorbance used in the calculation of these coordinates was given by the sum of Gaussian lines. The parameters of these lines were determined through the decomposition of the optical absorption spectra in the ultraviolet and visible regions. The decomposition revealed several lines, whose assignment was made considering studies in spodumene and beryl crystals and highly accurate quantum mechanical calculations. The transmittance becomes very narrow with increasing thickness, and the CIE chromaticity coordinates converge to the borderline of the CIE Chromaticity Diagram at the wavelength of maximum transmittance. Furthermore, the purity of color increases with increasing thickness, and the dominant wavelength reaches the wavelength of maximum transmittance.

Dependence of brittle-to-ductile transition on crystallographic direction in diamond turning of single-crystal silicon

The objective of this paper is to show the dependence relationship between the crystallographic orientations upon brittle-to-ductile transition during diamond turning of monocrystalline silicon. Cutting tests were performed using a -5 degrees rake angle round nose diamond tool at different machining scales. At the micrometre level, the feedrate was kept constant at 2.5 micrometres per revolution (mu m/r), and the depth of cut was varied from 1 to 5 mu m. At the submicrometre level, the depth of cut was kept constant at 500 nm and the feedrate varied from 5 to 10 mu m/r. At the micrometre level, the uncut shoulder generated with an interrupted cutting test procedure provided a quantitative measurement of the ductile-to-brittle transition. Results show that the critical chip thickness in silicon for ductile material removal reaches a maximum of 285 nm in the [100] direction and a minimum of 115 nm in the [110] direction, when the depth of cut was 5 mu m. It was found that when a submicrometre depth of cut was applied, microcracks were revealed in the [110] direction, which is the softer direction in silicon. Micro Raman spectroscopy was used to estimate surface residual stress after machining. Compressive residual stress in the range 142 MPa and smooth damage free surface finish was probed in the [100] direction for a depth of cut of 5 mu m, whereas residual stresses in the range 350 MPa and brittle damage was probed in the [110] direction for a depth of cut of 500 nm.

Morfologia macro e microscópica das papilas linguais do quati (Nasua nasua)

O quati (Nasua nasua) é um animal que pertence à Família Procyonidae. Foram utilizados três animais ortotanasiados, de ambos os sexos, provenientes do Criatório Científico de Animais Silvestres, Centro Universitário Fundação de Ensino Octávio Bastos (Cecrimpas, Unifeob) autorizado pelo IBAMA (Proc.02027.003731/04-76). Para a análise macroscópica, as línguas foram retiradas, analisadas e foto-documentadas. Para análise microscópica, as línguas foram processadas rotineiramente pela técnica de microscopia eletrônica de varredura e inclusão em Paraplast; pela técnica de microscopia de luz os fragmentos foram cortados em micrótomo, com espessura média de 5mm e corados em HE e Picrosírius com fundo de hematoxilina. Os resultados macroscópicos e microscópicos mostram que a língua do quati apresenta papilas filiformes, fungiformes, valadas e cônicas sendo estas distribuídas nas regiões rostralis, medialis e caudalis. Histologicamente, a língua do quati é revestida por um epitélio pavimentoso estratificado queratinizado apresentando camada basal, espinhosa, granulosa e córnea com fibras de músculos estriados esqueléticos longitudinais e transversais e diversas glândulas. De acordo com os resultados pode-se concluir que a língua do quati possui características macroscópicas e microscópicas semelhantes aos canídeos, tendo como diferença o número de papilas valadas e o grau de queratinização.

Biometry and fetal weight estimation by two-dimensional and three-dimensional ultrasonography: an intraobserver and interobserver reliability and agreement study

Objective To evaluate and compare the intraobserver and interobserver reliability and agreement for the biparietal diameter (BPD), abdominal circumference (AC), femur length (FL) and estimated fetal weight (EFW) obtained by two-dimensional ultrasound (2D-US) and three-dimensional ultrasound (3D-US). Methods Singleton pregnant women between 24 and 40 weeks were invited to participate in this study. They were examined using 2D-US in a blinded manner, twice by one observer, intercalated by a scan by a second observer, to determine BPD, AC and FL. In each of the three examinations, three 3D-US datasets (head, abdomen and thigh) were acquired for measurements of the same parameters. We determined EFW using Hadlock's formula. Systematic errors between 3D-US and 2D-US were examined using the paired t-test. Reliability and agreement were assessed by intraclass correlation coefficients (ICCs), limits of agreement (LoA), SD of differences and proportion of differences below arbitrary points. Results We evaluated 102 singleton pregnancies. No significant systematic error between 2D-US and 3D-US was observed. The ICC values were higher for 3D-US in both intra- and interobserver evaluations; however, only for FL was there no overlap in the 95% CI. The LoA values were wider for 2D-US, suggesting that random errors were smaller when using 3D-US. Additionally, we observed that the SD values determined from 3D-US differences were smaller than those obtained for 2D-US. Higher proportions of differences were below the arbitrarily defined cut-off points when using 3D-US. Conclusion 3D-US improved the reliability and agreement of fetal measurements and EFW compared with 2D-US.

Multivariate analysis of fresh-cut carambola slices stored under different temperatures

Quality of fresh-cut carambola (Averrhoa carambola L) is related to many chemical and biochemical variables especially those involved with softening and browning, both influenced by storage temperature. To study these effects, a multivariate analysis was used to evaluate slices packaged in vacuum-sealed polyolefin bags, and stored at 2.5 degrees C, 5 degrees C and 10 degrees C, for up to 16 d. The quality of slices at each temperature was correlated with the duration of storage, O(2) and CO(2) concentration in the package, physical chemical constituents, and activity of enzymes involved in softening (PG) and browning (PPO) metabolism. Three quality groups were identified by hierarchical cluster analysis, and the classification of the components within each of these groups was obtained from a principal component analysis (PCA). The characterization of samples by PCA clearly distinguished acceptable and non-acceptable slices. According to PCA, acceptable slices presented higher ascorbic acid content, greater hue angles ((o)h) and final lightness (L-5) in the first principal component (PC1). On the other hand, non-acceptable slices presented higher total pectin content. PPO activity in the PC1. Non-acceptable slices also presented higher soluble pectin content, increased pectin solubilisation and higher CO(2) concentration in the second principal component (PC2) whereas acceptable slices showed lower total sugar content. The hierarchical cluster and PCA analyses were useful for discriminating the quality of slices stored at different temperatures. (C) 2011 Elsevier B.V. All rights reserved.

Second-trimester soft markers: relation to first-trimester nuchal translucency in unaffected pregnancies

Objective Genetic sonography following first-trimester combined screening appears to increase substantially detection rates for Down syndrome but it relies on the unproved assumption of independence between these tests. In this study we aimed to investigate the relationship between first-trimester nuchal translucency (NT) and a series of second-trimester soft markers and structural defects in unaffected pregnancies. Methods NT measurement in the first trimester was followed by second-trimester scan (18 to 23 + 6 weeks) including examination for three categorical markers (intracardiac echogenic foci, hyperechogenic bowel and structural defects) and measurement of nasal bone length, nuchal-fold thickness, femur length, humerus length, renal pelvis diameter and prenasal thickness. All continuous variables were expressed in multiples of the median (MoM) for gestation and correlation coefficients between log-transformed NT and second-trimester variables were calculated. In addition, frequencies of soft markers and structural defects in cases with increased NT were compared to those with normal NT, using MoM cut-offs. Results In a dataset of 1970 cases, NT was significantly correlated (P < 0.05) with all second-trimester continuous variables, the correlation being strongest for nuchal-fold thickness (r = 0.10). There was a higher frequency of cases with second-trimester nuchal-fold thickness above the 97.5th centile (10.7 vs. 2.2%) and hyperechogenic bowel (2.4 vs. 0.1%) in cases with increased NT. Conclusions Straightforward reassessment of risk using likelihood ratios derived from the second-trimester genetic sonogram might lead to inaccurate estimates. Multivariate models using continuous second-trimester variables might be preferable in sequential screening strategies. Copyright. 2012 ISUOG. Published by John Wiley & Sons, Ltd.

GIDL behavior of p- and n-MuGFET devices with different TiN metal gate thickness and high-k gate dielectrics

This work studies the gate-induced drain leakage (GIDL) in p- and n-MuGFET structures with different TiN metal gate thickness and high-k gate dielectrics. As a result of this analysis, it was observed that a thinner TiN metal gate showed a larger GIDL due to the different gate oxide thickness and a reduced metal gate work function. In addition, replacing SiON by a high-k dielectric (HfSiON) results for nMuGFETs in a decrease of the GIDL On the other hand, the impact of the gate dielectric on the GIDL for p-channel MuGFETs is marginal. The effect of the channel width was also studied, whereby narrow fin devices exhibit a reduced GIDL current in spite of the larger vertical electric field expected for these devices. Finally, comparing the effect of the channel type, an enhanced GIDL current for pMuGFET devices was observed. (C) 2011 Elsevier Ltd. All rights reserved.

Diametral tensile strength and film thickness of an experimental dental luting agent derived from castor oil

The need to develop new dental luting agents in order to improve the success of treatments has greatly motivated research. Objective: The aim of this study was to evaluate the diametral tensile strength (DTS) and film thickness (FT) of an experimental dental luting agent derived from castor oil (COP) with or without addition of different quantities of filler (calcium carbonate - CaCO3). Material and Methods: Eighty specimens were manufactured (DTS N=40; FT N=40) and divided into 4 groups: Pure COP; COP 10%; COP 50% and zinc phosphate (control). The cements were mixed according to the manufacturers' recommendations and submitted to the tests. The DTS test was performed in the MTS 810 testing machine (10 KN, 0.5 mm/min). For FT test, the cements were sandwiched between two glass plates (2 cm(2)) and a load of 15 kg was applied vertically on the top of the specimen for 10 min. The data were analyzed by means of one-way ANOVA and Tukey's test (alpha=0.05). Results: The values of DTS (MPa) were: Pure COP- 10.94 +/- 1.30; COP 10%- 30.06 +/- 0.64; COP 50%- 29.87 +/- 0.27; zinc phosphate- 4.88 +/- 0.96. The values of FT (pm) were: Pure COP- 31.09 +/- 3.16; COP 10%- 17.05 +/- 4.83; COP 50%- 13.03 +/- 4.83; Zinc Phosphate- 20.00 +/- 0.12. One-way ANOVA showed statistically significant differences among the groups (DTS - p=1.01E-40; FT - p=2.4E-10). Conclusion: The experimental dental luting agent with 50% of filler showed the best diametral tensile strength and film thickness.