L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.

An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases

Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.

Audiogram Comparison Of Workers From Five Professional Categories.

Introduction. Noise is a major cause of health disorders in workers and has unique importance in the auditory analysis of people exposed to it. The purpose of this study is to evaluate the arithmetic mean of the auditory thresholds at frequencies of 3, 4, and 6 kHz of workers from five professional categories exposed to occupational noise. Methods. We propose a retrospective cross-sectional cohort study to analyze 2.140 audiograms from seven companies having five sectors of activity: one footwear company, one beverage company, two ceramics companies, two metallurgical companies, and two transport companies. Results. When we compared two categories, we noticed a significant difference only for cargo carriers in comparison to the remaining categories. In all activity sectors, the left ear presented the worst values, except for the footwear professionals (P > 0.05). We observed an association between the noise exposure time and the reduction of audiometric values for both ears. Significant differences existed for cargo carriers in relation to other groups. This evidence may be attributed to different forms of exposure. A slow and progressive deterioration appeared as the exposure time increased.

Prevalence of malocclusions in the 13-20-year-old categories of football athletes

The dentist can offer athletes improvement in their physical performance through the maintenance of oral health, preventing and treating any and all changes in the stomatognathic system, such as dental malocclusions, that compromise the athletes' performance. The objective of this study is to research the presence of dental malocclusions in athletes of the category between 13 and 20 years of age, from the São Paulo Football Club. 84 athletes participated in this study, dealing with the following topics: molar relation (Angle's classification); presence of overbite; underbite; overcrowding; abnormal spacing; open bite; and anterior, posterior, bilateral and unilateral crossbite; midline deviation and facial type (mesofacial, brachyfacial and dolichofacial). Only one table was made, showing percentages. In regard to Angle's molar relation, 89% are in Class I, 8% in Class II, 3% Class III, 9% of the athletes had overbite, 4% had underbite, 13% had overcrowding and 21% had abnormal spacing. In regard to the bite, 11% presented anterior open bite. In regard to crossbite, 7% presented unilateral crossbite on the right side and 2% on the left side; 5% presented posterior crossbite and 4% anterior crossbite. In regard to midline deviations, 4% presented deviation in the maxilla and 33% in the mandible. In regard to facial type: 39% are dolichofacial, 4% brachyfacial and 57% mesofacial. Based on the results shown, proposals for the implementation of dental, phoniatric, and Ear, Nose and Throat (ENT) practices are already being discussed with the multidisciplinary team of the club involved.

Longitudinal double-spin asymmetry for inclusive jet production in (p)over-right-arrow + (p)over-right-arrow collisions at root s=200 GeV

We report a new STAR measurement of the longitudinal double-spin asymmetry A(LL) for inclusive jet production at midrapidity in polarized p+p collisions at a center-of-mass energy of root s = 200 GeV. The data, which cover jet transverse momenta 5 < p(T) < 30 GeV/c, are substantially more precise than previous measurements. They provide significant new constraints on the gluon spin contribution to the nucleon spin through the comparison to predictions derived from one global fit to polarized deep-inelastic scattering measurements. They provide significant new constraints on the gluon spin contribution to the nucleon spin through the comparison to predictions derived from one global fit to polarized deep-inelastic scattering measurements.

Categories of manual asymmetry and their variation with advancing age

Manual asymmetries were analyzed in 18- to 63-year-old right-handers in different motor tasks. This analysis aimed at describing the asymmetry profile for each task and assessing their stability across ages. For this purpose, performance of the right and left hands were analyzed in the following aspects: simple reaction time, rate of sequential finger movements, maximum grip force, accuracy in anticipatory timing, rate of repetitive tapping, and rate of drawing movements. In addition, stability of manual preference across ages was assessed through the Edinburgh inventory (Oldfield, 1971). The results indicated different profiles of manual asymmetry, with identification of three categories across tasks: symmetric performance (asymmetry indices close to zero), inconsistent asymmetry (asymmetry indices variable in magnitude and direction), and consistent asymmetry (asymmetry indices favoring a single hand). The different profiles observed in the young adults were stable across ages with two exceptions: decreased lateral asymmetry for maximum grip force and increased asymmetry for sequential drawing in older individuals. These results indicate that manual asymmetries are task specific. Such task specificity is interpreted to be the result of different sensorimotor requirements imposed by each motor task in association with motor experiences accumulated over the lifetime. Analysis of manual preference showed that strength of preference for the right hand was greater in older individuals. (C) 2008 Elsevier Masson Srl. All rights reserved.

A comparative study of speed expressed by the number of throws between heavier and lighter categories in judo

Objective. - The objective of this work was to verify if there was a difference in throwing speed performance between heavier and lighter weight categories in judo. Methods and subjects. - Sixteen (16) judoists 18 +/- 3 years old, eight considered in the lightweight category (< 66 kg) and eight considered in the heavyweight (> 73 kg) category, participated in the study after signing a term of informed consent. A force-velocity test was used to determine the anaerobic power, strength, and pedal speed for each subject. In addition, three trials of Nage-komi exercise, each comprised of a set of Osoto-gari (15s), Uchi-mata (15s) and Seoi-nage (15s) throws were performed by each subject to ascertain throwing speed. Throws within the sets were intersected by one period of three minutes passive rest, while the trials were separated by one period of 10 minutes passive rest. Heart rate and the greatest number of throws within each set were measured for three trials. One-way analysis of variance (Anova) was used to compare the number of throws between the two weight categories and a ""Student"" test when the difference was significant. A correlation was used to examine the link between the different parameters. Results. - The force-velocity test did not show a significant difference in pedal speed between the two categories. However, there was a significant difference between the two categories when throwing speed was measured by the number of throws (p < 0.05) executed during the Seoi-nage (p < 0.01) and Uchi-mata (p <0.05) techniques. There was however, no significant difference between the two categories in Osoto-gari technique. Conclusion. - The throwing speed of judoists represented by the number of throws is significantly different between the two categories. The lighter category has more speed than the heavier category using the arm technique (Seoi-nage), while the heavier category has more speed using the leg technique with half turn of the attacker`s body (Uchi-mata). As a result, throwing speed is related to the type of technique used and not weight category. (C) 2007 Elsevier Masson SAS. All rights reserved.

a-SiC : H anti-resonant layer ARROW waveguides

Over the last decades, anti-resonant reflecting optical waveguides (ARROW) have been used in different integrated optics applications. In this type of waveguide, light confinement is partially achieved through an anti-resonant reflection. In this work, the simulation, fabrication and characterization of ARROW waveguides using dielectric films deposited by a plasma-enhanced chemical vapor deposition (PECVD) technique, at low temperatures(similar to 300 degrees C), are presented. Silicon oxynitride (SiO(x)N(y)) films were used as core and second cladding layers and amorphous hydrogenated silicon carbide(a-SiC:H) films as first cladding layer. Furthermore, numerical simulations were performed using homemade routines based on two computational methods: the transfer matrix method (TMM) for the determination of the optimum thickness of the Fabry-Perot layers; and the non-uniform finite difference method (NU-FDM) for 2D design and determination of the maximum width that yields single-mode operation. The utilization of a silicon carbide anti-resonant layer resulted in low optical attenuations, which is due to the high refractive index difference between the core and this layer. Finally, for comparison purposes, optical waveguides using titanium oxide (TiO(2)) as the first ARROW layer were also fabricated and characterized.

Quasispin graded-fermion formalism and gl(m vertical bar n)down arrow osp(m vertical bar n) branching rules

The graded-fermion algebra and quasispin formalism are introduced and applied to obtain the gl(m\n)down arrow osp(m\n) branching rules for the two- column tensor irreducible representations of gl(m\n), for the case m less than or equal to n(n > 2). In the case m < n, all such irreducible representations of gl(m\n) are shown to be completely reducible as representations of osp(m\n). This is also shown to be true for the case m=n, except for the spin-singlet representations, which contain an indecomposable representation of osp(m\n) with composition length 3. These branching rules are given in fully explicit form. (C) 1999 American Institute of Physics. [S0022-2488(99)04410-2].

Risk Categories Disclosed in the Administration Reports of Brazilian Companies with ADRs

The study aims to find the categories of risks disclosed in the Administration Reports of Brazilian companies with the issuance of ADR`s. The research is characterized as descriptive, accomplished through doucmentary analysis. The sample includes 28 Brazilian companies with the issuance of American Depository Receipt (ADR`s) in the Stock Exchange of New York (USA). We have tried to identify the categories of risk, presented by the companies surveyed in the Administration Reports (AR) of 2007. Seven categories of corporate risks were considered, identified through COSO (2004) methodology strategic risks, operational risks, legal risks and image risks,. The survey results show that in general there is no standaardization of the types sof risks disclosed by the companies. A total of 14 types of risks havd been identified. The predominant category in the disclosure was the operational risk, with 20.72% of the observations. There was no disclosre of image risk in the AR of the companies surveyed. It was found that 19 companies, 67.86% of the surveyed companies, demonstrate some kind of risk to which they are exposed. On the other hand, nine companies (32.14%) did not show any kind of risk.

Categories of indigenous 'homelessness' people and good practice responses to their needs

Mainstream concepts of homelessness do not serve Indigenous people well. Those designing policies or programs for Indigenous homeless people may need to re-think or change their concepts of homeless in order to adequately understand and respond to the needs of this group of people.