Towards Parameterized Regular Type Inference Using Set Constraints

We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize \emph{parametric} regular types by extending the scope of the parameters in the type definitions so that such parameters can relate the types of different predicates. We propose a number of enhancements to the procedure for solving the constraint systems that improve the precision of the type descriptions inferred. The resulting algorithm, together with a procedure to establish a set constraint system from a logic program, yields a program analysis that infers tighter safe approximations of the success types of the program than previous comparable work, offering a new and useful efficiency vs. precision trade-off. This is supported by experimental results, which show the feasibility of our analysis

Endoscopic diagnosis of gastric peptic ulcer penetrating into the liver

A 61-year-old man was admitted with upper gastrointestinal bleeding. Endoscopy showed a large gastric peptic ulcer with a pseudotumoral mass protruding from the ulcer bed. Histological examination of biopsies taken from the mass revealed distorted hepatic tissue and inflammatory changes. Hepatic penetration was diagnosed as the cause of bleeding. Surgery findings confirmed the endoscopic diagnosis

Condrosarcoma en pie

El condrosarcoma óseo en el pie es una lesión muy rara. Se presenta 1 caso de bajo grado de malignidad histológico y primario en su origen, que afecta al primer radio, tratado mediante resección amplia y sin signos de recidiva a los 3 años y medio de evolución.Bone chondrosarcoma very rarely affccts the foot. We report a case of primary bone chondrosarcoma vvith low grade malignancy involving the first metatarsal bone. Tumor was treated by wide resection. Three and half years later, there was not signs of recurrence

High-Temperature Superconducting Level Meter for Liquid Argon Detectors

Capacitive devices are customarily used as probes to measure the level of noble liquids in detectors operated for neutrino studies and dark matter searches. In this work we describe the use of a high-temperature superconducting material as an alternative to control the level of a cryogenic noble liquid. Lab measurements indicate that the superconductor shows a linear behaviour, a high degree of stability and offers a very accurate determination of the liquid volume. This device is therefore a competitive instrument and shows several advantages over conventional level meters.Comment: 13 pages, 11 figures. Accepted for publication in JINS

Orientaciones de meta en las clases de educación física : un análisis centrado en la educación secundaria obligatoria

This paper explores the subject of motivation in educational environments, more specifically in physical education. The research study it describes is based on the concept of goal perspectives (Nicholls, 1984, Dweck and Legget, 1988, Ames, 1984, Duda, 1992), and the purpose of the study was to identify the (task or ego) goal orientations shown by secondary school students in physical education classes, together with any possible differences based either on gender or the academic stage in the students education. The sample was composed of 203 secondary school students who all answered the POSQ questionnaire. From the results that were obtained, both goal orientations were observed, with a task-basedorientation predominating. It was also shown that boys are more ego oriented than girls

Dishonest signals of strength in male slender crayfish (Cherax dispar) during agonistic encounters

Many animals resolve disputes without combat by displaying signals of potential strength during threatening displays. Presumably, competitors use each other's displays to assess their relative strengths, and current theory predicts that these signals of strength should generally be honest. We tested this prediction by investigating the relationships among morphology, performance, and social dom inance in males of the slender crayfish Cherax dispar. Crayfish routinely use their enlarged front claws (chelae) for both intimidation and fighting, making this species ideal for studying the honesty of weapon size. We evaluated five competing models relating morphological and physiological traits to dominance during paired competitive bouts. Based on the best model, larger chelae clearly resulted in greater dominance; however, chela strength had no bearing on dominance. Thus, displays of chela size were dishonest signals of strength, and the enlarged chelae of males seemingly function more for intimidation than for fighting. In addition, an analysis of the performance of isolated chela muscle showed that muscle from male crayfish produced only half the force that muscle from female crayfish produced (236.6 +/- 26.4 vs. 459.5 +/- 71.6 kN m(-2)), suggesting that males invest more in developing larger chelae than they do in producing high-quality chela muscle. From our studies of crayfish, we believe dishonest signaling could play a greater role in territorial disputes than previously imagined

Cloud Screening and Quality Control Algorithm for Star Photometer Data: Assessment with Lidar Measurements and with All-sky Images

This paper presents the development and set up of a cloud screening and data quality control algorithm for a star photometer based on CCD camera as detector. These algorithms are necessary for passive remote sensing techniques to retrieve the columnar aerosol optical depth, delta Ae(lambda), and precipitable water vapor content, W, at nighttime. This cloud screening procedure consists of calculating moving averages of delta Ae() and W under different time-windows combined with a procedure for detecting outliers. Additionally, to avoid undesirable Ae(lambda) and W fluctuations caused by the atmospheric turbulence, the data are averaged on 30 min. The algorithm is applied to the star photometer deployed in the city of Granada (37.16 N, 3.60 W, 680 ma.s.l.; South-East of Spain) for the measurements acquired between March 2007 and September 2009. The algorithm is evaluated with correlative measurements registered by a lidar system and also with all-sky images obtained at the sunset and sunrise of the previous and following days. Promising results are obtained detecting cloud-affected data. Additionally, the cloud screening algorithm has been evaluated under different aerosol conditions including Saharan dust intrusion, biomass burning and pollution events

Nonparametric analysis of casein complex genes' epistasis and their effects on phenotypic expression of milk yield and composition in Murciano-Granadina goats

Improving knowledge on the causative polymorphisms or genes regulating the expression of milk quantitative and qualitative traits and their interconnections plays a major role in dairy goat breeding programs and genomic research. This information enables optimization of predictive and selective tools, to obtain better-performing animals to help satisfy market demands more efficiently. Goat milk casein proteins (αS1, αS2, β, and κ) are encoded by 4 loci (CSN1S1, CSN1S2, CSN2, and CSN3) clustered within 250 kb on chromosome 6. Among the statistical methods used to identify epistatic interactions in genome-wide qualitative association studies (GWAS), gene-based methods have recently grown in popularity due to their better statistical power and biological interpretability. However, most of these methods make strong assumptions about the magnitude of the relationships between SNP and phenotype, limiting statistical power. Thus, the aims of this study were to quantify the epistatic relationships among 48 SNP in the casein complex on the expression of milk yield and components (fat, protein, dry matter, lactose, and somatic cells) in MurcianoGranadina goats, to explain the qualitative nature of the SNP used to quantify the genotypes produced as a result. Categorical principal component analysis (CATPCA) was used to delimit and group the number of SNP studied depending on their implications in the explanation of milk yield and components variability. Afterward, nonlinear canonical correlation analysis was used to identify relationships among and within the SNP groups detected by CATPCA. Our results suggest that 79.65% of variability in the traits evaluated may be ascribed to the epistatic relationships across and within 7 SNP groups. Two partially overlapping groups of epistatically interrelated SNP were detected: one group of 21 SNP, explaining 57.56% of variability, and another group of 20 SNP, explaining 42.43% (multiple fit ≥ 0.1). Additionally, SNP18, 32, and 36 (CSN1S2, CSN1S1, and CSN2 loci, respectively) were the most significant SNP to explain intragroup epistatic variability (component loading > |0.5|). Conclusively, milk yield and quality may not only depend on the specific casein gene pool of individuals, but may also be relevantly conditioned by the relationships set across and within such genes. Hence, studying epistasis in isolation may be crucial to optimize selective practices for economically important dairy traits