Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Profile Following for Inspection of Underwater Structures

We present a seabed profile estimation and following method for close proximity inspection of 3D underwater structures using autonomous underwater vehicles (AUVs). The presented method is used to determine a path allowing the AUV to pass its sensors over all points of the target structure, which is known as coverage path planning. Our profile following method goes beyond traditional seabed following at a safe altitude and exploits hovering capabilities of recent AUV developments. A range sonar is used to incrementally construct a local probabilistic map representation of the environment and estimates of the local profile are obtained via linear regression. Two behavior-based controllers use these estimates to perform horizontal and vertical profile following. We build upon these tools to address coverage path planning for 3D underwater structures using a (potentially inaccurate) prior map and following cross-section profiles of the target structure. The feasibility of the proposed method is demonstrated using the GIRONA 500 AUV both in simulation using synthetic and real-world bathymetric data and in pool trials

Analysis of the process of inspection in recreational craft in Spain. Suggestions for safety improvement

Inspections of pleasure boats in Spain can be carried out by collaborating entities of inspection, entities that must be authorized by the Maritime Administration. This authorization allows to perform effective inspections and technical controls of recreational crafts. Recreational crafts are subjected to surveys that are based on the registration list and on the material used in the hull. In addition, required safety equipment of the recreational boat depends on the distance that the recreational boat is authorized to navigate. Following data obtained from inspections of recreational craft, this paper aims to analyze information about hulls within dry and afloat conditions, about the equipment for rescue and safety, and about other nautical equipment; as well as to perform and improve different verifications during the inspections. All this information points to several aspects relevant for the optimization of the inspection process, the ultimate target being increasing efficiency and effectiveness, and ensuring more safety in recreational craft.

[lean Production And Psychosocial Risks: The Case Of A Multinational Merger In A Metallurgical Company In Brazil].

This study focused on the method known as lean production as a work-related psychosocial risk factor in a Brazilian multinational auto parts company after its merger with other multinational companies. The authors conducted a qualitative analysis of two time points: the first using on-site observation and key interviews with managers and workers during implementation of lean production in 1996; the second, 16 years later, comparing data from a document search in labor inspection records from the Ministry of Labor and Employment and legal proceedings initiated by the Office of the Public Prosecutor for Labor Affairs. The merger led to layoffs, replacements, and an increase in the workday. A class action suit was filed on grounds of aggravated working conditions. The new production model led to psychosocial risks that increased the need for workers' health precautions when changes in the production process introduced new and increased risks of physical and mental illnesses.

Two-dimensional Ultrasound And Ultrasound Elastography Imaging Of Trigger Points In Women With Myofascial Pain Syndrome Treated By Acupuncture And Electroacupuncture: A Double-blinded Randomized Controlled Pilot Study.

Chronic pain has been often associated with myofascial pain syndrome (MPS), which is determined by myofascial trigger points (MTrP). New features have been tested for MTrP diagnosis. The aim of this study was to evaluate two-dimensional ultrasonography (2D US) and ultrasound elastography (UE) images and elastograms of upper trapezius MTrP during electroacupuncture (EA) and acupuncture (AC) treatment. 24 women participated, aged between 20 and 40 years (M ± SD = 27.33 ± 5.05) with a body mass index ranging from 18.03 to 27.59 kg/m2 (22.59 ± 3.11), a regular menstrual cycle, at least one active MTrP at both right (RTPz) and left trapezius (LTPz) and local or referred pain for up to six months. Subjects were randomized into EA and AC treatment groups and the control sham AC (SHAM) group. Intensity of pain was assessed by visual analogue scale; MTrP mean area and strain ratio (SR) by 2D US and UE. A significant decrease of intensity in general, RTPz, and LTPz pain was observed in the EA group (p = 0.027; p < 0.001; p = 0.005, respectively) and in general pain in the AC group (p < 0.001). Decreased MTrP area in RTPz and LTPz were observed in AC (p < 0.001) and EA groups (RTPz, p = 0.003; LTPz, p = 0.005). Post-treatment SR in RTPz and LTPz was lower than pre-treatment in both treatment groups. 2D US and UE effectively characterized MTrP and surrounding tissue, pointing to the possibility of objective confirmation of subjective EA and AC treatment effects.

Mapeamento de semeaduras de soja (Glycine max (L.)Merr.) mediante dados MODIS/Terra E TM/Landsat 5: um comparativo

The objective of this work was to compare the soybean crop mapping in the western of Parana State by MODIS/Terra and TM/Landsat 5 images. Firstly, it was generated a soybean crop mask using six TM images covering the crop season, which was used as a reference. The images were submitted to Parallelepiped and Maximum Likelihood digital classification algorithms, followed by visual inspection. Four MODIS images, covering the vegetative peak, were classified using the Parallelepiped method. The quality assessment of MODIS and TM classification was carried out through an Error Matrix, considering 100 sample points between soybean or not soybean, randomly allocated in each of the eight municipalities within the study area. The results showed that both the Overall Classification (OC) and the Kappa Index (KI) have produced values ranging from 0.55 to 0.80, considered good to very good performances, either in TM or MODIS images. When OC and KI, from both sensors were compared, it wasn't found no statistical difference between them. The soybean mapping, using MODIS, has produced 70% of reliance in terms of users. The main conclusion is that the mapping of soybean by MODIS is feasible, with the advantage to have better temporal resolution than Landsat, and to be available on the internet, free of charge.

Analysis of contamination of endodontic absorbent paper points

PURPOSE: The aim of this study was to assess the contamination status of endodontic absorbent paper points from sterilized or not sterilized commercial packs, as well as paper points exposed to the dental office environment. METHODS: Twenty absorbent paper points were evaluated for contamination status packed under different conditions: commercial/sterilized pack, commercial/non-sterilized pack, exposed to the clinical environment, and intentionally contaminated (positive control). Contamination was determined qualitatively and quantitatively by aerobiosis, capnophilic growth, and pour plate. The Petri dishes were analyzed with a colony counter, and the results were expressed as colony-forming units. The data were analyzed by Kruskal-Wallis test (α=0.05). RESULTS: No difference in colony-forming units was found among the groups of endodontic absorbent paper points. All groups were contaminated by fungi and bacteria. CONCLUSION: It can be concluded that the sterilization of absorbent endodontic paper points before clinical use should be recommended regardless of commercial presentation

Validity and reliability of methods for the detection of secondary caries around amalgam restorations in primary teeth

Secondary caries has been reported as the main reason for restoration replacement. The aim of this in vitro study was to evaluate the performance of different methods - visual inspection, laser fluorescence (DIAGNOdent), radiography and tactile examination - for secondary caries detection in primary molars restored with amalgam. Fifty-four primary molars were photographed and 73 suspect sites adjacent to amalgam restorations were selected. Two examiners evaluated independently these sites using all methods. Agreement between examiners was assessed by the Kappa test. To validate the methods, a caries-detector dye was used after restoration removal. The best cut-off points for the sample were found by a Receiver Operator Characteristic (ROC) analysis, and the area under the ROC curve (Az), and the sensitivity, specificity and accuracy of the methods were calculated for enamel (D2) and dentine (D3) thresholds. These parameters were found for each method and then compared by the McNemar test. The tactile examination and visual inspection presented the highest inter-examiner agreement for the D2 and D3 thresholds, respectively. The visual inspection also showed better performance than the other methods for both thresholds (Az = 0.861 and Az = 0.841, respectively). In conclusion, the visual inspection presented the best performance for detecting enamel and dentin secondary caries in primary teeth restored with amalgam.

Aplicação experimental de um modelo de conduta de inspeção sanitária no comércio varejista de alimentos

Este trabalho teve por objetivo aplicar um procedimento para diagnóstico e modelo de inspeção higiênico-sanitária em estabelecimentos varejistas de alimentos, no Município de Ibiúna, Estado de São Paulo, Brasil, e analisar os resultados com vistas a atingir os objetivos da vigilância sanitária. O trabalho foi desenvolvido durante seis meses em 19 estabelecimentos varejistas de alimentos classificados como padarias, restaurantes e açougues, sendo que na primeira inspeção realizou-se o diagnóstico da situação, com a identificação das não conformidades e avaliação das condições higiênico-sanitárias dos estabelecimentos e foi obtida a pontuação média de 64. Após esta etapa iniciaram-se retornos programados aos estabelecimentos pela equipe da vigilância sanitária a fim de verificar a evolução das adequações sanitárias. No diagnóstico e em todos os retornos programados foi aplicado roteiro de inspeção e produção de relatórios detalhados destinados aos proprietários. Todos os manipuladores de alimentos dos estabelecimentos inspecionados foram capacitados em relação a conceitos básicos de higiene em alimentos. Os resultados mostraram que, após três retornos de inspeções em cada estabelecimento, 100% apresentaram-se como satisfatórios, com pontuação média de 90. O modelo de inspeção sanitária aplicado mostrou-se viável para a promoção da segurança alimentar.

Microbiological indicators for the assessment of performance in the hazard analysis and critical control points (HACCP) system in meat lasagna production

The HACCP system is being increasingly used to ensure food safety. This study investigated the validation of the control measures technique in order to establish performance indicators of this HACCP system in the manufacturing process of Lasagna Bolognese (meat lasagna). Samples were collected along the manufacturing process as a whole, before and after the CCPs. The following microorganism s indicator (MIs) was assessed: total mesophile and faecal coliform counts. The same MIs were analyzed in the final product, as well as, the microbiological standards required by the current legislation. A significant reduction in the total mesophile count was observed after cooking (p < 0.001). After storage, there was a numerical, however non-significant change in the MI count. Faecal coliform counts were also significantly reduced (p < 0.001) after cooking. We were able to demonstrate that the HACCP system allowed us to meet the standards set by both, the company and the Brazilian regulations, proved by the reduction in the established indicators

A simplified minimal residual disease polymerase chain reaction method at early treatment points can stratify children with acute lymphoblastic leukemia into good and poor outcome groups

Background Minimal residual disease is an important independent prognostic factor in childhood acute lymphoblastic leukemia. The classical detection methods such as multiparameter flow cytometry and real-time quantitative polymerase chain reaction analysis are expensive, time-consuming and complex, and require considerable technical expertise. Design and Methods We analyzed 229 consecutive children with acute lymphoblastic leukemia treated according to the GBTLI-99 protocol at three different Brazilian centers. Minimal residual disease was analyzed in bone marrow samples at diagnosis and on days 14 and 28 by conventional homo/heteroduplex polymerase chain reaction using a simplified approach with consensus primers for IG and TCR gene rearrangements. Results At least one marker was detected by polymerase chain reaction in 96.4%, of the patients. By combining the minimal residual disease results obtained on days 14 and 28, three different prognostic groups were identified: minimal residual disease negative on days 14 and 28, positive on day 14/negative on day 28, and positive on both. Five-year event-free survival rates were 85%, 75.6%,, and 27.8%, respectively (p<0.0001). The same pattern of stratification held true for the group of intensively treated children. When analyzed in other subgroups of patients such as those at standard and high risk at diagnosis, those with positive B-derived CD10, patients positive for the TEL/AML1 transcript, and patients in morphological remission on a day 28 marrow, the event-free survival rate was found to be significantly lower in patients with positive minimal residual disease on day 28. Multivariate analysis demonstrated that the detection of minimal residual disease on day 28 is the most significant prognostic factor. Conclusions This simplified strategy for detection of minimal residual disease was feasible, reproducible, cheaper and simpler when compared with other methods, and allowed powerful discrimination between children with acute lymphoblastic leukemia with a good and poor outcome.

FLOWS WITHOUT WANDERING POINTS ON COMPACT CONNECTED SURFACES

Given a compact 2 dimensional manifold M we classify all continuous flows phi without wandering points on M. This classification is performed by finding finitely many pairwise disjoint open phi-invariant subsets {U(1), U(2), ..., U(n)} of M such that U(i=1)(n) (U(i)) over bar = M and each U(i) is either a suspension of an interval exchange transformation, or a maximal open cylinder made up of closed trajectories of phi.

Character of magnetic excitations in a quasi-one-dimensional antiferromagnet near the quantum critical points: Impact on magnetoacoustic properties

We report results of magnetoacoustic studies in the quantum spin-chain magnet NiCl(2)-4SC(NH(2))(2) (DTN) having a field-induced ordered antiferromagnetic (AF) phase. In the vicinity of the quantum critical points (QCPs) the acoustic c(33) mode manifests a pronounced softening accompanied by energy dissipation of the sound wave. The acoustic anomalies are traced up to T > T(N), where the thermodynamic properties are determined by fermionic magnetic excitations, the ""hallmark"" of one-dimensional (1D) spin chains. On the other hand, as established in earlier studies, the AF phase in DTN is governed by bosonic magnetic excitations. Our results suggest the presence of a crossover from a 1D fermionic to a three-dimensional bosonic character of the magnetic excitations in DTN in the vicinity of the QCPs.

Precise determination of quantum critical points by the violation of the entropic area law

Finite-size scaling analysis turns out to be a powerful tool to calculate the phase diagram as well as the critical properties of two-dimensional classical statistical mechanics models and quantum Hamiltonians in one dimension. The most used method to locate quantum critical points is the so-called crossing method, where the estimates are obtained by comparing the mass gaps of two distinct lattice sizes. The success of this method is due to its simplicity and the ability to provide accurate results even considering relatively small lattice sizes. In this paper, we introduce an estimator that locates quantum critical points by exploring the known distinct behavior of the entanglement entropy in critical and noncritical systems. As a benchmark test, we use this new estimator to locate the critical point of the quantum Ising chain and the critical line of the spin-1 Blume-Capel quantum chain. The tricritical point of this last model is also obtained. Comparison with the standard crossing method is also presented. The method we propose is simple to implement in practice, particularly in density matrix renormalization group calculations, and provides us, like the crossing method, amazingly accurate results for quite small lattice sizes. Our applications show that the proposed method has several advantages, as compared with the standard crossing method, and we believe it will become popular in future numerical studies.

Nondestructive inspection of plastic deformation in commercial carbon steels using magnetic Barkhausen noise

The present work shows measurements of the Magnetic Barkhausen Noise (MBN) in commercial AISI/SAE 1045 and ASTM 36 steel deformed samples. The correlation between the MBN root mean square, Barkhausen signal profile and MBN power spectrum with the plastic deformation is established. The results show that the power spectral density of the Barkhausen signal is more effective as nondestructive evaluator than root mean square of Barkhausen signal. The Outcomes also suggest the presence of unbalanced tensions between the surface and the bulk of sample due to the presence of plastic deformation.