Learning definite Horn formulas from closure queries

A definite Horn theory is a set of n-dimensional Boolean vectors whose characteristic function is expressible as a definite Horn formula, that is, as conjunction of definite Horn clauses. The class of definite Horn theories is known to be learnable under different query learning settings, such as learning from membership and equivalence queries or learning from entailment. We propose yet a different type of query: the closure query. Closure queries are a natural extension of membership queries and also a variant, appropriate in the context of definite Horn formulas, of the so-called correction queries. We present an algorithm that learns conjunctions of definite Horn clauses in polynomial time, using closure and equivalence queries, and show how it relates to the canonical Guigues–Duquenne basis for implicational systems. We also show how the different query models mentioned relate to each other by either showing full-fledged reductions by means of query simulation (where possible), or by showing their connections in the context of particular algorithms that use them for learning definite Horn formulas.Peer ReviewedPostprint (author's final draft

Sinonimia entre las dos especies ibéricas del género Macellolophus Attems, 1940 (Diplopoda, Polydesmida, Xystodesmidae)

Macellolophus hispanicus is established as synonym of Macellolophus excavatus. Some nomenclatura1 and systematics aspects concerning the species M. excavatur, are exposed. Diagnosis, habitat characteristic and its much enlarged distribuion are presented. Some biometrical differences are discused.Se establece que Macellolophus hispanicus es sinónimo de M. excavatus. Se expone la diagnosis de la especie y se amplía notablemente el área de distribución, dando algunas precisiones sobre su hábitat. Se comentan diversos aspectos nomenclaturales y sistemáticos que le conciernen, y un tratamiento estadístic0 que evidencia ciertas diferencias biométricas entre los ejemplares de Levante y de Andalucía

Identification and functional validation of genomic boundaries in mammals

Tesis doctoral inédita leída en la Universidad Autónoma de Madrid, Facultad de Ciencias, Departamento de Biología. Fecha de lectura: 30-06-2014Eukaryotic genomes are divided into expression domains, which contain DNA coding sequences together with all the regulatory elements needed for their correct spatio-­‐ temporal expression pattern. Genomic boundaries, also known as insulators, flank these domains preventing undesirable crosstalk between the regulatory elements of neighboring domains. They employ various mechanisms and thus, are functionally rather than structurally defined. For this reason, in an attempt to find boundaries in a genome-­‐ wide unbiased fashion in mammals, we focused on identifying those loci where the presence of boundary function would be required to satisfy a biological need. For example, we hypothesized that adjacent genes with opposite expression patterns would need to be separated by boundaries to maintain the independency of their different expression domains. Also, boundaries could be found partitioning the chromatin into inactive heterochromatic and active euchromatic domains, impeding the deleterious effects the spread of the former would have on the latter. Finally, boundaries could also bracket clusters of co-­‐expressed genes to ensure their co-­‐regulation and co-­‐expression. Different algorithms, based on the analysis of gene expression data, were developed in order to explore these scenarios. The resulting evolutionarily conserved non-­‐coding putative insulator sequences were functionally validated using a number of assays. Their enhancer-­‐ blocking properties were evaluated in vitro in human cells in culture, and then in vivo by using transgenic zebrafish. Additionally, one of the most powerful elements was further tested for its ability to protect from chromosomal position effects in transgenic mice. The description and characterization of new genomic boundaries would shed some light into the way mammalian genomes are organized, as well as expand the repertoire of genetic tools that can be incorporated in heterologous constructs to improve the gene transfer technologies by preventing chromosomal position effects.Los genomas de eucariotas están divididos en dominios de expresión, que se definen como aquellas porciones del genoma que contienen uno o varios genes y todos los elementos reguladores necesarios para que que se expresen de acuerdo con un patrón espacio-­‐temporal concreto. Los aisladores genómicos, también llamados insulators, flanquean estos dominios y los protegen de la influencia no deseada de los elementos reguladores contenidos en los dominios vecinos. Existen diversos mechanismos de aislamiento, por lo que los insulators no se definen por una secuencia de ADN concreta, sino porque comparten una misma función. Así, para encontrar aisladores en el genoma de mamíferos de una forma no sesgada, nos propusimos identificar aquellas posiciones del genoma donde se requiere la presencia de función aisladora para satisfacer un problema biológico. Por ejemplo, genes adyacentes con perfiles de expresión completamente distintos deberían estar separados por aisladores que mantuviesen dominios de expresión independientes. Asimismo, cabe esperar la presencia de aisladores entre dominios silentes de heterocromatina y dominios activos de eucromatina. Aquí, impedirían los efectos perjudiciales que el avance de los primeros tendrían sobre los segundos. Finalmente, también podrían encontrarse aisladores flanqueando grupos de genes co-­‐expresados para asegurar su co-­‐regulación y, por tanto, co-­‐expresión. Basándonos en estos escenarios, se desarrollaron diversos algoritmos que usaban datos de expresión génica para predecir la presencia de aisladores. Como resultado de estos algoritmos, se obtuvo una serie de secuencias conservadas evolutivamente y no codificantes que se validaron funcionalmente empleando varios tests. La capacidad de bloqueo de enhancers se evaluó mediante ensayos in vitro en células humanas en cultivo primero, y luego in vivo mediante el uso de peces cebra transgénicos. Además, se analizó la capacidad de uno de los elementos más potentes para proteger de efectos de posición cromosomales en ratones transgénicos. La descripción y caracterización de nuevos aisladores genómicos no sólo sirve para entender mejor cómo se organizan los genomas de mamíferos. También es útil para ampliar el abanico de herramientas disponibles que se pueden usar en construcciones heterólogas para bloquear los efectos de posición cromosomales que se dan comúnmente en experimentos de transferencia genética

Mechanical characterization of sol–gel epoxy-silylatedhyperbranched poly(ethyleneimine) coatings by meansof Depth Sensing Indentation methods

A series of hybrid epoxy-silica coatings were prepared from a synthesized hyperbranched poly(ethyleneimine) with ethoxysilyl groups at the chain ends and diglycidylether of bisphenol A in different proportions. The curing procedure was based in a first sol-gel reaction performed at 80 °C in a humid chamber followed by the anionic homopolymerization of epoxides initiated by 1-methylimidazole in an oven at 180 °C. The prepared coatings were characterized mechanically by means of Depth Sensing Indentation technique. The influence of physical ageing on indentation hardness has been evaluated. The kinetic of the delayed depth recovery has been analyzed using the phenomenological so-called Kohlrausch-Williams-Watts relaxation function. It has been found that silylated hyperbranched poly(ethyleneimine) improves simultaneously the mechanical coating performance and the elastic recovery.Postprint (author's final draft

Euripides’ Electra 1351-1352: A New Interpretation

Eur. El. 1351–1352 has always been problematic for editors and translators. Usually, they supply the article τό with ὅσιον in order to translate ὅσιον (“piety”) and τὸ δίκαιον (“justice) as coordinated nouns. At the same time, editors never add the article to their texts because it gives a metrically incorrect line. Another issue is that there are no examples in Greek where the article governing two coordinated nouns is given with the second noun but has to be supplied for the first (where it is strictly necessary). This paper proposes that ὅσιον is in fact an adjective (i.e., “pious”), which is not connected to the noun τὸ δίκαιον but to the adjective ϕίλον (“loved”). This interpretation can be justified through the work itself and also by exploring the use of the adjective ὅσιος in different tragedies by Euripides and in other authors. Les vers 1351-1352 de l’Électre d’Euripide ont toujours été problématiques pour les éditeurs et traducteurs. Généralement, ils suppléent l’article τό devant ὅσιον afin de traduire ὅσιον (« piété ») et τὸ δίκαιον (« la justice ») comme des noms coordonnés. En même temps, les éditeurs n’ajoutent jamais l’article à leur texte car il serait incorrect métriquement. Par ailleurs, il n’existe pas d’exemple en grec de situation où l’article coordonnant deux noms est donné pour le deuxième tandis qu’il doit être suppléé pour le premier (alors qu’il est strictement nécessaire). Dans cet article, nous suggérons donc que le mot ὅσιον est en réalité un adjectif (« pieux ») qui n’est pas lié au nom τὸ δίκαιον mais à l’adjectif ϕίλον (« aimé »). Cette interprétation peut être justifiée par l’œuvre elle-même, mais aussi en étudiant l’usage de l’adjectif ὅσιος dans les différentes tragédies d’Euripide et chez d’autres auteurs

Aprender a aprender estudiando Ingeniería del Software

Uno de los retos actuales a los que se enfrentan los alumnos universitarios es el de aprender a aprender. Este reto implica también a los profesores y por tanto conlleva un cambio de mentalidad en los actores del proceso de enseñanza-aprendizaje, es decir, alumnos y profesores. En cuanto a los profesores es parte de su cometido adaptar las asignaturas a esta nueva mentalidad incluyendo actividades y técnicas que enseñen al alumno como aprender a aprender, para que en el futuro sea capaz de aprender por sí mismo los nuevos conocimientos, habilidades y actitudes que la sociedad le va a demandar. En este artículo se presenta este cambio de mentalidad en la docencia de la Ingeniería del Software en la Ingeniería Informática. Se muestra la experiencia llevada a cabo a lo largo de diversos cursos, así como ejemplos de los principales métodos pedagógicos aplicados: contratos de aprendizaje, aprendizaje cooperativo y ePortfolio.Peer Reviewe

A análise de sequências pictóricas por alunos do 4.º ano de escolaridade na promoção do pensamento algébrico

O presente artigo foca um estudo desenvolvido no âmbito do relatório de estágio da primeira autora integrado na Prática de Ensino Supervisionada do Mestrado em Educação Pré-escolar e Ensino do 1.º ciclo do ensino básico relativo à promoção do pensamento algébrico nos primeiros anos no trabalho com sequências pictóricas. O estudo visa compreender como é que alunos do 4.º ano analisam e generalizam sequências pictóricas crescentes, nomeadamente como determinam termos próximos, distantes e como expressam as suas generalizações. A metodologia é qualitativa de cariz interpretativo na modalidade de estudo de caso com três alunos. A recolha de dados é efetuada através de entrevistas clínicas gravadas em áudio e vídeo e das produções escritas destes alunos em duas tarefas com sequências pictóricas distintas que envolvem a descoberta de um termo próximo e um termo distante e uma generalização para determinar qualquer termo de sequências. Os resultados mostram que os três alunos utilizam estratégias distintas em ambas as tarefas, revelando a importância da estrutura dos termos pictóricos nas relações que os alunos estabelecem. Todos os alunos manifestam dificuldade em expressar a generalização.This paper focuses on a study developed by the first author in her internship report on supervised teaching practice of the Masters in Pre-school Education and Teaching in primary school related with the promotion of algebraic thinking in the early years in the work with pictorial sequences. The study aims to understand how students of the 4th year analyze and generalize growing pictorial sequences, in particular how they determine near and far terms and how they express their generalizations. The methodology has a qualitative and interpretative nature with the design of case study with three students. Data collection is performed through clinical interviews recorded in audio and video and written production of these students in two tasks with different pictorial sequences involving the discovery of one near term and one distant term and a generalization to determine any sequence term. The results show that the three students use different strategies in both tasks revealing the importance of the structure of the pictorial terms in the relations that they establish. All students presents difficulty in expressing the generalization.info:eu-repo/semantics/publishedVersio

Apoio social, expectativas e satisfação com o parto em primíparas com e sem preparação para o parto

Dissertação mest., Psicologia, Universidade do Algarve, 2009O nascimento de um filho continua a ser frequentemente associado a alegria e a um momento inesquecível para os pais, família e amigos. No entanto, esta realidade também provoca grandes alterações físicas e psicológicas na mulher, sendo necessário acompanhamento durante a gestação, de forma a permitir à mulher entender o que se passa com o seu corpo e adaptar-se física e psicologicamente à situação, factores que têm sido descritos com facilitadores da satisfação na vivência da maternidade. A gestação dura, previsivelmente, quarenta semanas e é um período caracterizado por forte motivação dos pais para aderirem a comportamentos de saúde e estilos de vida saudáveis, pelo que nem sempre se percebe que razões permitem que o quase total desconhecimento em relação ao parto seja, com frequência, uma realidade, no momento do nascimento. Este estudo foi realizado com os objectivos de: analisar a possível influência da educação para a saúde veiculada através da preparação para o parto, no grau de antecipação ou expectativas e no nível da satisfação da mulher em relação à sua experiência de parto e conhecer a realidade actual dos cursos de preparação para o parto. São estudadas as mulheres primíparas que acederam ao hospital de Faro para ter o seu filho. A amostra é composta por 100 participantes, sendo que se estabeleceram dois grupos, as que fizeram preparação para o parto e as que não fizeram. As participantes foram contactadas em dois momentos distintos: terceiro trimestre de gestação e puerpério. Tinham idades compreendidas entre os 19 e os 43 anos, sendo a média de 28,95 anos. A todas as participantes foi solicitado o preenchimento de um questionário de características sociais, demográficas, e obstétricas, de avaliação do apoio social e familiar e de antecipação do parto no terceiro trimestre de gestação e na fase de puerpério, foi aplicado o questionário de experiência e satisfação com o parto e de Apoio Social, Expectativas e Satisfação com o Parto em Primíparas com e sem Preparação para o Parto Susana Vicente importância atribuída à preparação para o parto, sendo que este último foi construído para este estudo. Este estudo permite concluir que a antecipação que a grávida faz do seu parto, bem como as suas habilitações literárias e a sua idade, influenciam a sua decisão de realizar preparação para o parto. Por outro lado, as grávidas que realizam preparação para o parto, têm níveis de antecipação e satisfação mais positivos em relação a esta experiência. A variável relativa ao apoio social é descrita como influenciadora da antecipação e satisfação com o parto, no entanto para a amostra estudada, não se encontrou relação entre as variáveis referidas. Verificou-se ainda que a preparação para o parto influencia o tipo de parto ocorrido e o facto da parturiente se sentir preparada para o parto quando ele está para ocorrer, o que é relevante para a prática de cuidados em saúde materna, alertando para a necessidade de se implementarem mais cursos de preparação para o parto que possam incluir todas as mulheres grávidas