Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Inverse problems in classical and quantum physics

The subject of this thesis is in the area of Applied Mathematics known as Inverse Problems. Inverse problems are those where a set of measured data is analysed in order to get as much information as possible on a model which is assumed to represent a system in the real world. We study two inverse problems in the fields of classical and quantum physics: QCD condensates from tau-decay data and the inverse conductivity problem. Despite a concentrated effort by physicists extending over many years, an understanding of QCD from first principles continues to be elusive. Fortunately, data continues to appear which provide a rather direct probe of the inner workings of the strong interactions. We use a functional method which allows us to extract within rather general assumptions phenomenological parameters of QCD (the condensates) from a comparison of the time-like experimental data with asymptotic space-like results from theory. The price to be paid for the generality of assumptions is relatively large errors in the values of the extracted parameters. Although we do not claim that our method is superior to other approaches, we hope that our results lend additional confidence to the numerical results obtained with the help of methods based on QCD sum rules. EIT is a technology developed to image the electrical conductivity distribution of a conductive medium. The technique works by performing simultaneous measurements of direct or alternating electric currents and voltages on the boundary of an object. These are the data used by an image reconstruction algorithm to determine the electrical conductivity distribution within the object. In this thesis, two approaches of EIT image reconstruction are proposed. The first is based on reformulating the inverse problem in terms of integral equations. This method uses only a single set of measurements for the reconstruction. The second approach is an algorithm based on linearisation which uses more then one set of measurements. A promising result is that one can qualitatively reconstruct the conductivity inside the cross-section of a human chest. Even though the human volunteer is neither two-dimensional nor circular, such reconstructions can be useful in medical applications: monitoring for lung problems such as accumulating fluid or a collapsed lung and noninvasive monitoring of heart function and blood flow.

Anti-Müllerian hormone levels in girls and adolescents with Turner syndrome are related to karyotype, pubertal development and growth hormone treatment

In girls and adolescents with Turner syndrome (TS), is there a correlation between serum AMH levels and karyotype, spontaneous puberty and other biochemical markers of ovarian function, or growth hormone (GH) therapy? SUMMARY ANSWER: Serum anti-Müllerian hormone (AMH) correlates with karyotype, pubertal development, LH, FSH and are measurable in a higher percentage of TS patients under GH therapy. WHAT IS KNOWN ALREADY: Most girls with TS suffer from incomplete sexual development, premature ovarian failure and infertility due to abnormal ovarian folliculogenesis. Serum AMH levels reflect the ovarian reserve in females, even in childhood. STUDY DESIGN, SIZE, DURATION: Cross-sectional study investigating 270 karyotype proven TS patients aged 0-20 years between 2009 and 2010. PARTICIPANTS/MATERIALS, SETTINGS, METHODS: Studies were conducted at three University Children's hospitals in Europe. Main outcome measures were clinical data concerning pubertal development as well as laboratory data including karyotype, serum AMH, LH, FSH, estradiol (E2), inhibin B and IGF. RESULTS AND THE ROLE OF CHANCE: Serum AMH was detectable in 21.9% of all TS girls and correlated strongly with karyotypes. A measurable serum AMH was found in 77% of TS girls with karyotype 45,X/46,XX, in 25% with 'other' karyotypes and in only 10% of 45,X TS girls. A strong relationship was also observed for measurable serum AMH and signs of spontaneous puberty such as breast development [adjusted odds ratio (OR) 19.3; 95% CI 2.1-175.6; P = 0.009] and menarche (crude OR 47.6; 95% CI 4.8-472.9; P = 0.001). Serum AMH correlated negatively with FSH and LH, but did not correlate with E2 and inhibin B. GH therapy increased the odds of having measurable AMH in TS (adjusted OR 4.1; 95% CI 1.9-8.8; P < 0.001). LIMITATIONS, REASONS FOR CAUTION: The cross-sectional design of the study does not allow longitudinal interpretation of the data; for that further studies are needed. High percentage of non-measurable AMH levels in the cohort of TS require categorized analysis. WIDER IMPLICATIONS OF THE FINDINGS: Serum AMH levels are a useful marker of the follicle pool and thus ovarian function in pediatric patients with TS. These findings are in line with the published literature. The finding that GH therapy may affect AMH levels is novel, but must be confirmed by future longitudinal studies.

Attempting to improve standardized test results using Study Islands' web-based mastery program

State standardized testing has always been a tool to measure a school’s performance and to help evaluate school curriculum. However, with the school of choice legislation in 1992, the MEAP test became a measuring stick to grade schools by and a major tool in attracting school of choice students. Now, declining enrollment and a state budget struggling to stay out of the red have made school of choice students more important than ever before. MEAP scores have become the deciding factor in some cases. For the past five years, the Hancock Middle School staff has been working hard to improve their students’ MEAP scores in accordance with President Bush's “No Child Left Behind” legislation. In 2005, the school was awarded a grant that enabled staff to work for two years on writing and working towards school goals that were based on the improvement of MEAP scores in writing and math. As part of this effort, the school purchased an internet-based program geared at giving students practice on state content standards. This study examined the results of efforts by Hancock Middle School to help improve student scores in mathematics on the MEAP test through the use of an online program called “Study Island.” In the past, the program was used to remediate students, and as a review with an incentive at the end of the year for students completing a certain number of objectives. It had also been used as a review before upcoming MEAP testing in the fall. All of these methods may have helped a few students perform at an increased level on their standardized test, but the question remained of whether a sustained use of the program in a classroom setting would increase an understanding of concepts and performance on the MEAP for the masses. This study addressed this question. Student MEAP scores and Study Island data from experimental and comparison groups of students were compared to understand how a sustained use of Study Island in the classroom would impact student test scores on the MEAP. In addition, these data were analyzed to determine whether Study Island results provide a good indicator of students’ MEAP performance. The results of the study suggest that there were limited benefits related to sustained use of Study Island and gave some indications about the effectiveness of the mathematics curriculum at Hancock Middle School. These results and implications for instruction are discussed.

Gonadotrophin stimulation for in vitro fertilization significantly alters the hormone milieu in follicular fluid: a comparative study between natural cycle IVF and conventional IVF.

STUDY QUESTION Is the steroid hormone profile in follicular fluid (FF) at the time of oocyte retrieval different in naturally matured follicles, as in natural cycle IVF (NC-IVF), compared with follicles stimulated with conventional gonadotrophin stimulated IVF (cIVF)? SUMMARY ANSWER Anti-Mullerian hormone (AMH), testosterone (T) and estradiol (E2) concentrations are ∼3-fold higher, androstenedione (A2) is ∼1.5-fold higher and luteinizing hormone (LH) is ∼14-fold higher in NC-IVF than in cIVF follicles, suggesting an alteration of the follicular metabolism in conventional gonadotrophin stimulated IVF. WHAT IS KNOWN ALREADY In conventional IVF, the implantation rate of unselected embryos appears to be lower than in NC-IVF, which is possibly due to negative effects of the stimulation regimen on follicular metabolism. In NC-IVF, the intrafollicular concentration of AMH has been shown to be positively correlated with the oocyte fertilization and implantation rates. Furthermore, androgen treatment seems to improve the ovarian response in low responders. STUDY DESIGN, SIZE, DURATION This cross-sectional study involving 36 NC-IVF and 40 cIVF cycles was performed from 2011 to 2013. Within this population, 13 women each underwent 1 NC-IVF and 1 cIVF cycle. cIVF was performed by controlled ovarian stimulation with HMG and GnRH antagonists. PARTICIPANTS/MATERIALS, SETTING, METHODS Follicular fluid was collected from the leading follicles. AMH, T, A2, dehydroepiandrosterone (DHEA), E2, FSH, LH and progesterone (P) were determined by immunoassays in 76 women. Aromatase activity in follicular fluid cells was analysed by a tritiated water release assay in 33 different women. For statistical analysis, the non-parametric Mann-Whitney U or Wilcoxon tests were used. MAIN RESULTS AND ROLE OF CHANCE In follicular fluid from NC-IVF and from cIVF, median levels were 32.8 and 10.7 pmol/l for AMH (P < 0.0001), 47.2 and 18.8 µmol/l for T (P < 0.0001), 290 and 206 nmol/l for A2 (P = 0.0035), 6.7 and 5.6 pg/ml for DHEA (n.s.), 3292 and 1225 nmol/l for E2 (P < 0.0001), 4.9 and 7.2 mU/ml for FSH (P < 0.05), 14.4 and 0.9 mU/ml for LH (P < 0.0001) and 62 940 and 54 710 nmol/l for P (n.s.), respectively. Significant differences in follicular fluid concentrations for AMH, E2 and LH were also found in the 13 patients who underwent both NC-IVF and cIVF when they were analysed separately in pairs. Hormone analysis in serum excluded any relevant impact of AMH, T, A2, and E2 serum concentration on the follicular fluid hormone concentrations. Median serum concentrations were 29.4 and 0.9 mU/ml for LH (P < 0.0001) and 2.7 and 23.5 nmol/l for P (P < 0.0001) after NC-IVF and c-IVF, respectively. Positive correlations were seen for FF-AMH with FF-T (r = 0.35, P = 0.0002), FF-T with FF-LH (r = 0.48, P < 0.0001) and FF-E2 with FF-T (r = 0.75, P < 0.0001). The analysis of aromatase activity was not different in NC-IVF and cIVF follicular cells. LIMITATION, REASONS FOR CAUTION Any association between the hormone concentrations and the implantation potential of the oocytes could not be investigated as the oocytes in cIVF were not treated individually in the IVF laboratory. Since both c-IVF and NC-IVF follicles were stimulated by hCG before retrieval, the endocrine milieu in the natural cycle does not represent the pure physiological situation. WIDER IMPLICATIONS OF THE FINDINGS The endocrine follicular milieu and the concentration of putative markers of oocyte quality, such as AMH, are significantly different in gonadotrophin-stimulated conventional IVF compared with natural cycle IVF. This could be a cause for the suggested lower oocyte quality in cIVF compared with naturally matured oocytes. The reasons for the reduced AMH concentration might be low serum and follicular fluid LH concentrations due to LH suppression, leading initially to low follicular androgen concentrations and then to low follicular AMH production. STUDY FUNDING/COMPETING INTERESTS Funding for this study was obtained from public universities (for salaries) and private industry (for consumables). Additionally, the study was supported by an unrestricted grant from MSD Merck Sharp & Dohme GmbH and IBSA Institut Biochimique SA. The authors are clinically involved in low-dose monofollicular stimulation and IVF therapies, using gonadotrophins from all gonadotrophin distributors on the Swiss market, including Institut Biochimique SA and MSD Merck Sharp & Dohme GmbH. Otherwise, the authors have no competing interests. TRIAL REGISTRATION NUMBER Not applicable.

Health control beliefs in old age - relationship with subjective and objective health and health behavior

The main purpose of this paper is to explore health control beliefs (internality, powerful others, chance) in different age cohorts of elderly people and to examine the relationship between health control beliefs and objective and subjective health, and health behaviour. This contribution shows data from an interdisciplinary longitudinal ageing study: (a) a descriptive analysis of age- and time-correlated changes in health control beliefs of different cohorts of elderly people by taking into account gender as a differential aspect; (b) group comparisons between objectively and subjectively healthy or sick people and their health control beliefs and health relevant behaviour. Participants are 442 community elderly, 309 men, 133 women, aged 65± 94 years (mean age: 74.95 years). Our data demonstrate the dominance of chance control beliefs over internality and powerful others in all age cohorts. It can be concluded that internal control remains stable well into old age, whereas a signi® cant age-correlated increase of externality can be observed. Our results show the signi® cant relationship of subjective health self-evaluations with health control beliefs and health behaviour which is not the case for objective health parameters. Strong gender effects are found for internality and social externality: women have signi® cantly lower internality and powerful others scores than men.

Apply response adaptive randomization to group sequential with early stopping

Group sequential methods and response adaptive randomization (RAR) procedures have been applied in clinical trials due to economical and ethical considerations. Group sequential methods are able to reduce the average sample size by inducing early stopping, but patients are equally allocated with half of chance to inferior arm. RAR procedures incline to allocate more patients to better arm; however it requires more sample size to obtain a certain power. This study intended to combine these two procedures. We applied the Bayesian decision theory approach to define our group sequential stopping rules and evaluated the operating characteristics under RAR setting. The results showed that Bayesian decision theory method was able to preserve the type I error rate as well as achieve a favorable power; further by comparing with the error spending function method, we concluded that Bayesian decision theory approach was more effective on reducing average sample size.^

Profesión y Cultura académica de ingenieros en la Universidad Pública Argentina

El tema referido a la profesión académica y a las culturas académicas resulta de particular interés puesto que se considera que los profesores universitarios poseen ciertos rasgos de una cultura académica propia, la cual sería el origen y el soporte que legitima sus pensamientos y por tanto su acción dentro de las Universidades. De la necesidad de desentrañar esta cultura es que surge la idea de estudiar si existe un conjunto de creencias, valores y normas que influirían en cómo piensan y actúan los profesores-ingenieros universitarios. El presente trabajo se propone aportar un acercamiento al estudio de los grupos profesionales de los ingenieros, tratando de conocer más acerca de su identidad, trayectoria y cultura. Se propone una lectura longitudinal en el análisis, reconstruyendo trayectorias y abarcando distintos aspectos de la vida, no solo los laborales, analizando al ingeniero que ocupa un determinado lugar en la estructura social la cual está en constante evolución. La pregunta central que guía esta investigación es de carácter cualitativo y comparativo y se enuncia de la siguiente manera: ¿cómo se configuran la profesión académica y la cultura académica de los ingenieros académicos que se desempeñan en la Carrera de Ingeniería Electrónica de la Facultad de Ciencias Físico Matemáticas y Naturales, Ingeniería en Alimentos e Ingeniería Química pertenecientes ambas a la Facultad de Química, Bioquímica y Farmacia de la Universidad Nacional de San Luis? Para describir y caracterizar la profesión y culturas académicas de los ingenieros en la UNSL, se propuso el trabajo de campo con entrevistas en profundidad a ingenieros que se desempeñan como docentes e investigadores en la Universidad Nacional de San Luis. El estudio es cualitativo.Tras el recorrido de investigación realizado, el argumento central de esta Tesis que surge de la interpretación de los datos empíricos, queda definido de la siguiente manera: La profesión y cultura académica de los ingenieros entrevistados en la UNSL se conforma a partir de la compleja vinculación entre estos tres elementos: trayectoria individual, comunidad disciplinar o grupo disciplinar de referencia y, las características propias de la UNSL como institución. Esta profesión académica se desarrolla en el marco de al menos dos tipos de regulaciones: unas que son externas que provienen de las políticas educativas nacionales (como por ejemplo: las leyes, el sistema de incentivos, la categorización, etc.) y otras que son internas y que operan como exigencias normativas al interior de la disciplina, de la institución y de las propias actividades del cargo. En síntesis, la heterogeneidad de la profesión y cultura académica de los ingenieros entrevistados está definida por: el contexto ?la UNSL- y sus propiedades en tanto contexto de intercambio; las características individuales alrededor de la disciplina y, los intereses y motivos individuales y colectivos. Todo ello da cuenta de las relaciones sociales en la vida académica explicando la heterogeneidad, la diversidad y la dinámica que se genera. La historia de la UNSL, las características de las Facultades, la historia y evolución de las tres carreras -los campos de conocimiento, los distintos recorridos y configuraciones históricas de los mismos- forman parte de ese contexto de intercambio y se reactualizan permanentemente. La particular combinación de las distintas actividades académicas reviste carácter único e intransferible (por ejemplo: la distribución de tareas, los criterios para seleccionar docentes en los concursos, la vinculación entre la industria y la sociedad, etc.). Todo lo expresado a juicio y entender propio da cuenta de un modo especial y particular de entender, vivir y desarrollar la profesión académica de estos ingenieros en la UNSL.

El juego en la vejez, relatos de viejos marplatenses

En este texto se intenta problematizar la temática del juego en la vejez. Para ello la autora recurre a la descripción de una experiencia realizada en la ciudad de Mar del Plata en el contexto de la Formación Docente y que tiene como actores a personas adultas mayores y a estudiantes del cuarto año de estudios del Profesorado en Educación Física provincial. Se tiene en cuenta como marco teórico el material bibliográfico aportado por el Seminario Teoría de los Juegos cursado por la autora en su trayecto para lograr el postítulo de Magíster en Educación Corporal y se entrecruzan con otros estudios pertinentes a la temática gerontológica. Asimismo, los datos obtenidos por medio de la realización de entrevistas en un trabajo de campo allí descripto son los insumos necesarios para analizar, por un lado, tanto las conceptualizaciones que se tiene sobre la vejez y el envejecimiento como las ideas y preconceptos acerca del juego en los adultos mayores. Por otro lado, los juegos de hoy y ayer y la multiplicidad de sentidos que estos adquieren en la vejez, a partir de las voces de los propios protagonistas de la experiencia

La producción de leche orgánica en la región Puno : Una alternativa de desarrollo sostenible

El consumo de productos orgánicos viene creciendo en todo el mundo y la leche orgánica no es la excepción. En Puno, por sus características geográficas, culturales e históricas, la producción agropecuaria aún mantiene tecnologías de producción ancestrales, buscando el equilibrio con el medio ambiente, con un uso mínimo de fertilizantes y pesticidas, con lo que se muestra un enfoque en la sostenibilidad y una tendencia a producir orgánicamente. El objetivo de este trabajo fue determinar mediante una simulación la viabilidad económica y el riesgo de producir leche orgánica como una alternativa de desarrollo sostenible. Se consideró la producción por encima de los 3.000 metros de altura, área de 6,5 has, una vaca (criolla) por hectárea produciendo 10 litros de leche/día. Los indicadores económicos resultaron positivos: el VAN fue S/. 2.916,38, TIR 24, VAE S/. 866,33, ratio B/C S/. 1,48 (se aclaro en la metodología) y el período de recuperación de la inversión resultó de 5,88 años, evidenciando que la producción de leche orgánica es económicamente viable pero con riesgo elevado: la simulación de Monte Carlo mostró que existe 71,43 de probabilidad de no resultar viable

Profesión y Cultura académica de ingenieros en la Universidad Pública Argentina

El tema referido a la profesión académica y a las culturas académicas resulta de particular interés puesto que se considera que los profesores universitarios poseen ciertos rasgos de una cultura académica propia, la cual sería el origen y el soporte que legitima sus pensamientos y por tanto su acción dentro de las Universidades. De la necesidad de desentrañar esta cultura es que surge la idea de estudiar si existe un conjunto de creencias, valores y normas que influirían en cómo piensan y actúan los profesores-ingenieros universitarios. El presente trabajo se propone aportar un acercamiento al estudio de los grupos profesionales de los ingenieros, tratando de conocer más acerca de su identidad, trayectoria y cultura. Se propone una lectura longitudinal en el análisis, reconstruyendo trayectorias y abarcando distintos aspectos de la vida, no solo los laborales, analizando al ingeniero que ocupa un determinado lugar en la estructura social la cual está en constante evolución. La pregunta central que guía esta investigación es de carácter cualitativo y comparativo y se enuncia de la siguiente manera: ¿cómo se configuran la profesión académica y la cultura académica de los ingenieros académicos que se desempeñan en la Carrera de Ingeniería Electrónica de la Facultad de Ciencias Físico Matemáticas y Naturales, Ingeniería en Alimentos e Ingeniería Química pertenecientes ambas a la Facultad de Química, Bioquímica y Farmacia de la Universidad Nacional de San Luis? Para describir y caracterizar la profesión y culturas académicas de los ingenieros en la UNSL, se propuso el trabajo de campo con entrevistas en profundidad a ingenieros que se desempeñan como docentes e investigadores en la Universidad Nacional de San Luis. El estudio es cualitativo.Tras el recorrido de investigación realizado, el argumento central de esta Tesis que surge de la interpretación de los datos empíricos, queda definido de la siguiente manera: La profesión y cultura académica de los ingenieros entrevistados en la UNSL se conforma a partir de la compleja vinculación entre estos tres elementos: trayectoria individual, comunidad disciplinar o grupo disciplinar de referencia y, las características propias de la UNSL como institución. Esta profesión académica se desarrolla en el marco de al menos dos tipos de regulaciones: unas que son externas que provienen de las políticas educativas nacionales (como por ejemplo: las leyes, el sistema de incentivos, la categorización, etc.) y otras que son internas y que operan como exigencias normativas al interior de la disciplina, de la institución y de las propias actividades del cargo. En síntesis, la heterogeneidad de la profesión y cultura académica de los ingenieros entrevistados está definida por: el contexto ?la UNSL- y sus propiedades en tanto contexto de intercambio; las características individuales alrededor de la disciplina y, los intereses y motivos individuales y colectivos. Todo ello da cuenta de las relaciones sociales en la vida académica explicando la heterogeneidad, la diversidad y la dinámica que se genera. La historia de la UNSL, las características de las Facultades, la historia y evolución de las tres carreras -los campos de conocimiento, los distintos recorridos y configuraciones históricas de los mismos- forman parte de ese contexto de intercambio y se reactualizan permanentemente. La particular combinación de las distintas actividades académicas reviste carácter único e intransferible (por ejemplo: la distribución de tareas, los criterios para seleccionar docentes en los concursos, la vinculación entre la industria y la sociedad, etc.). Todo lo expresado a juicio y entender propio da cuenta de un modo especial y particular de entender, vivir y desarrollar la profesión académica de estos ingenieros en la UNSL.

El juego en la vejez, relatos de viejos marplatenses

En este texto se intenta problematizar la temática del juego en la vejez. Para ello la autora recurre a la descripción de una experiencia realizada en la ciudad de Mar del Plata en el contexto de la Formación Docente y que tiene como actores a personas adultas mayores y a estudiantes del cuarto año de estudios del Profesorado en Educación Física provincial. Se tiene en cuenta como marco teórico el material bibliográfico aportado por el Seminario Teoría de los Juegos cursado por la autora en su trayecto para lograr el postítulo de Magíster en Educación Corporal y se entrecruzan con otros estudios pertinentes a la temática gerontológica. Asimismo, los datos obtenidos por medio de la realización de entrevistas en un trabajo de campo allí descripto son los insumos necesarios para analizar, por un lado, tanto las conceptualizaciones que se tiene sobre la vejez y el envejecimiento como las ideas y preconceptos acerca del juego en los adultos mayores. Por otro lado, los juegos de hoy y ayer y la multiplicidad de sentidos que estos adquieren en la vejez, a partir de las voces de los propios protagonistas de la experiencia

La producción de leche orgánica en la región Puno : Una alternativa de desarrollo sostenible

El consumo de productos orgánicos viene creciendo en todo el mundo y la leche orgánica no es la excepción. En Puno, por sus características geográficas, culturales e históricas, la producción agropecuaria aún mantiene tecnologías de producción ancestrales, buscando el equilibrio con el medio ambiente, con un uso mínimo de fertilizantes y pesticidas, con lo que se muestra un enfoque en la sostenibilidad y una tendencia a producir orgánicamente. El objetivo de este trabajo fue determinar mediante una simulación la viabilidad económica y el riesgo de producir leche orgánica como una alternativa de desarrollo sostenible. Se consideró la producción por encima de los 3.000 metros de altura, área de 6,5 has, una vaca (criolla) por hectárea produciendo 10 litros de leche/día. Los indicadores económicos resultaron positivos: el VAN fue S/. 2.916,38, TIR 24, VAE S/. 866,33, ratio B/C S/. 1,48 (se aclaro en la metodología) y el período de recuperación de la inversión resultó de 5,88 años, evidenciando que la producción de leche orgánica es económicamente viable pero con riesgo elevado: la simulación de Monte Carlo mostró que existe 71,43 de probabilidad de no resultar viable

Profesión y Cultura académica de ingenieros en la Universidad Pública Argentina

El tema referido a la profesión académica y a las culturas académicas resulta de particular interés puesto que se considera que los profesores universitarios poseen ciertos rasgos de una cultura académica propia, la cual sería el origen y el soporte que legitima sus pensamientos y por tanto su acción dentro de las Universidades. De la necesidad de desentrañar esta cultura es que surge la idea de estudiar si existe un conjunto de creencias, valores y normas que influirían en cómo piensan y actúan los profesores-ingenieros universitarios. El presente trabajo se propone aportar un acercamiento al estudio de los grupos profesionales de los ingenieros, tratando de conocer más acerca de su identidad, trayectoria y cultura. Se propone una lectura longitudinal en el análisis, reconstruyendo trayectorias y abarcando distintos aspectos de la vida, no solo los laborales, analizando al ingeniero que ocupa un determinado lugar en la estructura social la cual está en constante evolución. La pregunta central que guía esta investigación es de carácter cualitativo y comparativo y se enuncia de la siguiente manera: ¿cómo se configuran la profesión académica y la cultura académica de los ingenieros académicos que se desempeñan en la Carrera de Ingeniería Electrónica de la Facultad de Ciencias Físico Matemáticas y Naturales, Ingeniería en Alimentos e Ingeniería Química pertenecientes ambas a la Facultad de Química, Bioquímica y Farmacia de la Universidad Nacional de San Luis? Para describir y caracterizar la profesión y culturas académicas de los ingenieros en la UNSL, se propuso el trabajo de campo con entrevistas en profundidad a ingenieros que se desempeñan como docentes e investigadores en la Universidad Nacional de San Luis. El estudio es cualitativo.Tras el recorrido de investigación realizado, el argumento central de esta Tesis que surge de la interpretación de los datos empíricos, queda definido de la siguiente manera: La profesión y cultura académica de los ingenieros entrevistados en la UNSL se conforma a partir de la compleja vinculación entre estos tres elementos: trayectoria individual, comunidad disciplinar o grupo disciplinar de referencia y, las características propias de la UNSL como institución. Esta profesión académica se desarrolla en el marco de al menos dos tipos de regulaciones: unas que son externas que provienen de las políticas educativas nacionales (como por ejemplo: las leyes, el sistema de incentivos, la categorización, etc.) y otras que son internas y que operan como exigencias normativas al interior de la disciplina, de la institución y de las propias actividades del cargo. En síntesis, la heterogeneidad de la profesión y cultura académica de los ingenieros entrevistados está definida por: el contexto ?la UNSL- y sus propiedades en tanto contexto de intercambio; las características individuales alrededor de la disciplina y, los intereses y motivos individuales y colectivos. Todo ello da cuenta de las relaciones sociales en la vida académica explicando la heterogeneidad, la diversidad y la dinámica que se genera. La historia de la UNSL, las características de las Facultades, la historia y evolución de las tres carreras -los campos de conocimiento, los distintos recorridos y configuraciones históricas de los mismos- forman parte de ese contexto de intercambio y se reactualizan permanentemente. La particular combinación de las distintas actividades académicas reviste carácter único e intransferible (por ejemplo: la distribución de tareas, los criterios para seleccionar docentes en los concursos, la vinculación entre la industria y la sociedad, etc.). Todo lo expresado a juicio y entender propio da cuenta de un modo especial y particular de entender, vivir y desarrollar la profesión académica de estos ingenieros en la UNSL.