Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

Prevención, seguimiento y evaluación de la descontaminación de percloroetileno en suelo y aguas subterráneas en un terreno industrial

La contaminación de suelos y aguas subterráneas es uno de los problemas ambientales más extendidos en gran parte de los terrenos industriales de Cataluña. En este proyecto se ha analizado el proceso de gestión de la contaminación: caracterización, remediación y seguimiento de la descontaminación en suelos y aguas subterráneas por un caso de afección por organoclorados (percloroetileno) y otros contaminantes (hidrocarburos, selenio y cromo) en un emplazamiento industrial situado en una zona agroforestal (superficie de 81.462 m2). A partir de la implantación en la empresa del sistema de gestión ISO 14.001 en 1.996, se abrieron diferentes proyectos de gestión para los posibles contaminantes. Por las mismas fechas, también se detectó una afección por selenio en aguas subterráneas, ajena a la empresa de estudio. Por el momento, el único contaminante que ha requerido de un proceso de descontaminación ha sido el percloroetileno. En suelos se emplea el método “soil vapor extraction” y en aguas subterráneas el método “airstripping”. Finalmente, se ha llevado a cabo una comparación de los costes reales derivados del proceso de descontaminación del percloroetileno en contra de los costes que se hubiesen derivado la implantación de medidas de prevención de la contaminación. El resultado de la valoración indica que la descontaminación de éste compuesto requiere de una inversión económica importante, unas 10 veces más elevada que los costes derivados de las medidas de prevención.

PANG 3D

El projecte consisteix en una versió 3D del famós joc Pang. El joc original va ser publicat per Mitchell, una companyia que ja no existeix, el 1989 en format COIN-OP1. Des de la seva data de publicació va representar un gran èxit de públic i de vendes per a la companyia, que en va treure algunes versions més.

Estimating learning models from experimental data

We study the statistical properties of three estimation methods for a model of learning that is often fitted to experimental data: quadratic deviation measures without unobserved heterogeneity, and maximum likelihood withand without unobserved heterogeneity. After discussing identification issues, we show that the estimators are consistent and provide their asymptotic distribution. Using Monte Carlo simulations, we show that ignoring unobserved heterogeneity can lead to seriously biased estimations in samples which have the typical length of actual experiments. Better small sample properties areobtained if unobserved heterogeneity is introduced. That is, rather than estimating the parameters for each individual, the individual parameters are considered random variables, and the distribution of those random variables is estimated.

Imatge i ús dels serveis d'informació en els alumnes de l'Escola Universitària de Biblioteconomia i Documentació Jordi Rubió i Balaguer (II)

Aquesta és la segona part de l'article aparegut en el número 20 d'ítem. En aquella es presentaven les conclusions de l'estudi realitzat sobre els hàbits en l'ús dels serveis d'informació dels alumnes de primer de l'Escola del curs Í996-Í997. En aquesta segona es pretén veure quin és el punt de vista dels alumnes de segon i tercer curs, per tal d'analitzar els canvis soferts a mesura que van aprofundint en el coneixement dels centres i veure fins a quin punt aquests canvis poden atribuir-se al procés currícular dels alumnes.

Anàlisi factorial confirmatòria per a variables categòriques: Aplicació al qüestionari de discapacitat WHODAS-II

Objective: To describe the methodology of Confirmatory Factor Analyis for categorical items and to apply this methodology to evaluate the factor structure and invariance of the WHO-Disability Assessment Schedule (WHODAS-II) questionnaire, developed by the World HealthOrganization.Methods: Data used for the analysis come from the European Study of Mental Disorders(ESEMeD), a cross-sectional interview to a representative sample of the general population of 6 european countries (n=8796). Respondents were administered a modified version of theWHODAS-II, that measures functional disability in the previous 30 days in 6 differentdimensions: Understanding and Communicating; Self-Care, Getting Around, Getting Along withOthers, Life Activities and Participation. The questionnaire includes two types of items: 22severity items (5 points likert) and 8 frequency items (continuous). An Exploratory factoranalysis (EFA) with promax rotation was conducted on a random 50% of the sample. Theremaining half of the sample was used to perform a Confirmatory Factor Analysis (CFA) inorder to compare three different models: (a) the model suggested by the results obtained in theEFA; (b) the theoretical model suggested by the WHO with 6 dimensions; (c) a reduced modelequivalent to model b where 4 of the frequency items are excluded. Moreover, a second orderfactor was also evaluated. Finally, a CFA with covariates was estimated in order to evaluatemeasurement invariance of the items between Mediterranean and non-mediterranean countries.Results: The solution that provided better results in the EFA was that containing 7 factors. Twoof the frequency items presented high factor loadings in the same factor, and one of thempresented factor loadings smaller than 0.3 with all the factors. With regard to the CFA, thereduced model (model c) presented the best goodness of fit results (CFI=0.992,TLI=0.996,RMSEA=0.024). The second order factor structure presented adequate goodness of fit (CFI=0.987,TLI=0.991, RMSEA=0.036). Measurement non-invariance was detected for one of the items of thequestionnaire (FD20 ¿ Embarrassment due to health problems).Conclusions: AFC confirmed the initial hypothesis about the factorial structure of the WHODAS-II in 6factors. The second order factor supports the existence of a global dimension of disability. The use of 4of the frequency items is not recommended in the scoring of the corresponding dimensions.