1,356,173 research outputs found
Taype: a Policy-Agnostic Language for Oblivious Computation: PLDI23 Artifact
No full textThis is the artifact for the PLDI23 submission "Taype: a Policy-Agnostic Language for Oblivious Computation". It contains:
- README.md
- taype-image-amd64.tar.xz: docker image for amd64 (x86_64) architecture
- taype-image-arm64.tar.xz: docker image for arm64 architecture
- Dockerfile: the docker file used to generate the docker images
- taype.tar.xz: the source code of the Taype compiler and examples
- taype-driver-plaintext.tar.xz: the source code of a driver implementing Taype's required cryptographic primitives; this is the plaintext driver, so it does not actually perform any cryptographic operations
- taype-driver-emp.tar.xz: the source code of a driver implementing Taype's required cryptographic primitives; this is based on EMP toolkit
- taype-vscode.tar.xz: the source code of a VS Code extension that provides basic syntax highlighting for Taype programs
See README.md for details about this artifact and evaluation instructions. The same README.md is also available in the docker images (taype-image-amd64.tar.xz or taype-image-arm64.tar.xz)
Taype: A Policy-Agnostic Language for Oblivious Computation: PLDI23 Artifact
No full text<p>This is the artifact for the PLDI23 paper "Taype: A Policy-Agnostic Language for Oblivious Computation". It contains:</p>
<p>- README.md (<a href="https://ccyip.github.io/taype/pldi23">Rendered version</a>)</p>
<p>- taype-image-amd64.tar.xz: docker image for amd64 (x86_64) architecture</p>
<p>- taype-image-arm64.tar.xz: docker image for arm64 architecture</p>
<p>- Dockerfile: docker file used to generate the docker images</p>
<p>- taype.tar.xz: source code of the Taype compiler and examples (<a href="https://github.com/ccyip/taype/tree/pldi23">Github repository</a>)</p>
<p>- taype-driver-plaintext.tar.xz: source code of a driver implementing Taype's required cryptographic primitives; this is the plaintext driver, so it does not actually perform any cryptographic operations (<a href="https://github.com/ccyip/taype-driver-plaintext/tree/pldi23">Github repository</a>)</p>
<p>- taype-driver-emp.tar.xz: source code of a driver implementing Taype's required cryptographic primitives; this is based on EMP toolkit (<a href="https://github.com/ccyip/taype-driver-emp/tree/pldi23">Github repository</a>)</p>
<p>- taype-theories.tar.xz: Coq formalization of the Taype core calculus (<a href="https://github.com/ccyip/oadt/tree/pldi23">Github repository</a>)</p>
<p>- taype-vscode.tar.xz: source code of a VS Code extension that provides basic syntax highlighting for Taype programs (<a href="https://github.com/ccyip/taype-vscode/tree/pldi23">Github repository</a>)</p>
<p> </p>
<p>See README.md for details about this artifact and evaluation instructions. The same README.md is also available in the docker images (taype-image-amd64.tar.xz or taype-image-arm64.tar.xz).</p>
Rondan Hyder
No full textRondan Hyder poses in his uniform. He attended Milligan College as a member of the class of 1927
Biparental inbreeding depression, genetic relatedness and progeny vigour in a wind-pollinated treeline species in Argentina
No full textSpatially restricted gene flow and resulting spatial genetic structure are generally considered as being the primary controlling factors in the dynamics of biparental inbreeding depression in a wide range of plant species. However, wind-pollinated angiosperm trees have not been adequately studied in this respect. The present study analyses the relationships between parental genetic similarity, outcrossing distances and progeny vigour in Polylepis australis (Rosaceae), a wind-pollinated treeline species endemic to Argentina. We investigated whether spatial genetic structuring occurs in anthropogenically fragmented P. australis woodlands of the Córdoba Mountains. We also performed a controlled crossing experiment using pollen collected from different distances. Genetic variability (using RAPD-PCR) and vigour (survival and N metabolism capacity) of the resulting progeny were contrasted with progeny from unmanipulated flowers. We found a continuous decrease in parental genetic similarity with spatial distance among mates and an increase in genetic variability, survival and N metabolism capacity in the progeny produced from pollen at increasing distances. However, our further results suggest fragment connectivity in P. australis through effective long-distance pollen-mediated gene flow with no effective inbreeding depression problems observed under present day conditions.Fil: Seltmann, Peggy. Martin-Luther-University Halle-Wittenberg; AlemaniaFil: Hensen, Isabell. Martin-Luther-University Halle-Wittenberg; AlemaniaFil: Renison, Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones Biológicas y Tecnológicas. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Instituto de Investigaciones Biológicas y Tecnológicas; ArgentinaFil: Wesche, Karsten. Universität Göttingen; AlemaniaFil: Ploch, Sebastián. Universidad de Hohenheim; AlemaniaFil: Rondan Dueñas, Juan. Universidad Nacional de Córdoba; ArgentinaFil: Cocucci, Andrea Aristides. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; ArgentinaFil: Jung, Klaus. Helmholtz Centre for Environmental Research; Alemani
Promoción de emprendimientos económicos en la cadena productiva de turismo rural como alternativa de desarrollo en las comunidades de Kana y Taype del distrito de Ayapata
No full textCon el propósito de emprender y mejorar la promoción del desarrollo de las actividades económicas en el ámbito espacial de Kana y Taype de acuerdo a sus potencialidades y oportunidades, en el presente trabajo se propone el diagnóstico de recursos turísticos e identificación de actores para la conformación de la cadena productiva de turismo para una gestión integral del mismo en el circuito turístico propuesto denominado “Circuito Vivencial Valle Ayapata”; las zonas que abarca esta propuesta inicia desde el sector Levita (zona principal) que pertenece a Kana, pasa por los sectores de Taype que son: Markanchaca, Pacu Pacu, Taype, Ccochahuma (zona principal) finalmente complejo arqueológico Pitumarka. Por tanto, la investigación mediante los resultados afirma que estas comunidades cuentan con recursos turísticos necesarios y por su ubicación estratégica se considera factible para el planteamiento de una propuesta de desarrollo local mediante el Turismo vivencial. Como también existe un fuerte interés en el turismo vivencial por parte de los actores locales tal es así que la población de Kana y Taype en un 80% y 73,3% respectivamente creen que debe desarrollarse esta actividad en la zona. Por ello es necesario organizar a los actores de la cadena productiva del turismo para un trabajo cohesionado, permitiendo así una adecuada prestación de servicios al visitante, influyendo de esta manera en mejores condiciones económicas como también elevando la calidad de vida de la población localTesi
Violencia Familiar, Autoestima y Rendimiento Académico en adolescentes de instituciones educativas de San Juan de Lurigancho, 2018
No full textLa presente investigación tiene como objetivo determinar el efecto de la autoestima sobre la relación entre la violencia familiar y el rendimiento académico en adolescentes de instituciones educativas de San Juan de Lurigancho, 2018.
El tipo de estudio fue cuantitativo y el diseño de investigación fue es no experimental, corte transversal, de tipo explicativa – asociativa. La muestra estuvo representada por 479 adolescentes de instituciones educativas. Se utilizó la técnica de la recolección de datos fue la encuesta.
Entre los resultados obtenidos en la prueba estadística tenemos en la violencia familiar un alfa cronbach (.936), en rendimiento académico un alfa de cronbach (.877), y en autoestima un alfa de cronbach (.724). Por todo ello, se puede concluir que la violencia familiar influye directamente a la autoestima (β= -24, p=.011); la violencia familiar influye directamente al rendimiento académico (β= -.13, p=.027); la autoestima influye indirectamente al rendimiento académico (β= .43) y muy significante. Es así que finalmente se concluye que la violencia familiar y la autoestima tienen un efecto sobre el rendimiento académico
ESPÏRITUS QUE RONDAN POR LA PREPA 1
No full textElaborar una crónica sobre espíritus que rondan en el Plantel “Lic. Adolfo López Mateos” de la Escuela Preparatoria de la UAEMéx, nació al leer una crónica sobre la famosa chica de tacones que se aparece en la Torre Académica también de la UAEMéx. Es así como, tanto docentes, administrativos y alumnos en voz de sus profesores en turno, comenzaron a relatarme algunos sucesos que no tienen explicación racional y que les han sucedido por algunos espacios del plantel. De la misma forma, la presente crónica rebaso fronteras al mencionar algunos casos de zonas habitacionales y espacios académicos cerca de la Prepa 1
Características de las páginas web en español que brindan información sobre aborto
No full textIntroducción. Las mujeres que deciden abortar buscan información al respecto por diferentes medios, incluyendo páginas web que pueden tener datos erróneos o de mala calidad.Objetivos. Describir las características de las páginas web en español que brindan información sobre aborto y evaluar la calidad de aquellas que incluyan recomendaciones sobre la autorrealización de este procedimiento.Materiales y métodos. Se realizó una búsqueda sistemática en Google de páginas web en español que brindan información sobre aborto y se midió la frecuencia de páginas con algún enunciado incorrecto. Para evaluar sus factores asociados se realizaron regresiones de Poisson calculando razones de prevalencia (RP) e intervalos de confianza al 95% (IC95%). La calidad de sitios que brindan recomendaciones sobre la autorrealización del aborto fue evaluada mediante criterios de Curró.Resultados. Se obtuvieron 73 páginas web, de las cuales 38 tuvieron algún enunciado incorrecto, siendo esto más frecuente en blogs (RP=1.58; IC95%: 1.03-2.41). Las áreas en las que más se encontraron enunciados incorrectos fueron “métodos abortivos que no funcionan” e “instrucciones para la realización del aborto”. De las 19 páginas web con recomendaciones sobre autorrealización del aborto, 1 presentó adherencia completa a las guías terapéuticas, 16 no tenían referencias y 18 tenían patrocinio comercial.Conclusiones. Una cantidad considerable de páginas web en español que brindan información sobre aborto tienen enunciados incorrectos y no se adhieren a las guías terapéuticas. Esto puede promover prácticas riesgosas para la salud de mujeres que buscan información al respecto.</jats:p
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Latin American psychology journals in Scopus [Revistas latinoamericanas de psicología indexadas en Scopus]
No full text[No abstract available
- …
