A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems

Nondeterminism and partially instantiated data structures give logic programming expressive power beyond that of functional programming. However, functional programming often provides convenient syntactic features, such as having a designated implicit output argument, which allow function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic functional extensión, used in the Ciao system, which can be implemented in ISO-standard Prolog systems and covers function application, predefined evaluable functors, functional definitions, quoting, and lazy evaluation. The extensión is also composable with higher-order features and can be combined with other extensions to ISO-Prolog such as constraints. We also highlight the features of the Ciao system which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.

Silencing microRNA-134 produces neuroprotective and prolonged seizure-suppressive effects

Temporal lobe epilepsy is a common, chronic neurological disorder characterized by recurrent spontaneous seizures. MicroRNAs (miRNAs) are small, noncoding RNAs that regulate post-transcriptional expression of protein-coding mRNAs, which may have key roles in the pathogenesis of neurological disorders. In experimental models of prolonged, injurious seizures (status epilepticus) and in human epilepsy, we found upregulation of miR-134, a brain-specific, activity-regulated miRNA that has been implicated in the control of dendritic spine morphology. Silencing of miR-134 expression in vivo using antagomirs reduced hippocampal CA3 pyramidal neuron dendrite spine density by 21% and rendered mice refractory to seizures and hippocampal injury caused by status epilepticus. Depletion of miR-134 after status epilepticus in mice reduced the later occurrence of spontaneous seizures by over 90% and mitigated the attendant pathological features of temporal lobe epilepsy. Thus, silencing miR-134 exerts prolonged seizure-suppressant and neuroprotective actions; determining whether these are anticonvulsant effects or are truly antiepileptogenic effects requires additional experimentation.

Dynamic gamma frequency feedback coupling between higher and lower order visual cortices underlies perceptual completion in humans

To perceive a coherent environment, incomplete or overlapping visual forms must be integrated into meaningful coherent percepts, a process referred to as ?Gestalt? formation or perceptual completion. Increasing evidence suggests that this process engages oscillatory neuronal activity in a distributed neuronal assembly. A separate line of evidence suggests that Gestalt formation requires top-down feedback from higher order brain regions to early visual cortex. Here we combine magnetoencephalography (MEG) and effective connectivity analysis in the frequency domain to specifically address the effective coupling between sources of oscillatory brain activity during Gestalt formation. We demonstrate that perceptual completion of two-tone ?Mooney? faces induces increased gamma frequency band power (55?71 Hz) in human early visual, fusiform and parietal cortices. Within this distributed neuronal assembly fusiform and parietal gamma oscillators are coupled by forward and backward connectivity during Mooney face perception, indicating reciprocal influences of gamma activity between these higher order visual brain regions. Critically, gamma band oscillations in early visual cortex are modulated by top-down feedback connectivity from both fusiform and parietal cortices. Thus, we provide a mechanistic account of Gestalt perception in which gamma oscillations in feature sensitive and spatial attention-relevant brain regions reciprocally drive one another and convey global stimulus aspects to local processing units at low levels of the sensory hierarchy by top-down feedback. Our data therefore support the notion of inverse hierarchical processing within the visual system underlying awareness of coherent percepts.

Climate and grazing control nurse effects in an Ecuadorian dry shrubby community

Positive plant interactions have strong effects on plant diversity at several spatial scales, expanding species distribution under stressful conditions. We evaluated the joint effect of climate and grazing on the nurse effect of Croton wagneri, by monitoring several community attributes at two spatial scales: microhabitat and plant community. Two very close locations that only differed in grazing intensity were surveyed in an Ecuadorian dry scrub ecosystem. At each location, two 30 × 30-m plots were established at four altitudinal levels (1500, 2630, 1959 and 2100 m asl) and 40 microsites were surveyed in each plot. Croton wagneri acted as community hubs, increasing species richness and plant cover at both scales. Beneath nurses mean richness and cover values were 3.4 and 21.9%, and in open areas 2.3 and 4.5%, respectively. Magnitude of nurse effect was dependent on climate and grazing conditions. In ungrazed locations, cover increased and diversity reduced with altitude, while grazed locations showed the opposite trend. In ungrazed plots the interactions shifted from positive to negative with altitude, in grazed locations interactions remained positive. We conclude that the nurse effect is a key mechanism regulating community properties not only at microsite but also at the entire community scale.

Innovación educativa en las redes sociales online: un estudio en la educación superior

Las redes sociales son tan antiguas como las relaciones entre los humanos, ya que las labores de cooperación siempre fueron imprescindibles en los procesos de asociación, tanto los formados por simples células hasta los constituidos por seres vivos. La sociedad está formada por una gran cantidad de situaciones que fomentan dicha colaboración. Desde la creación del Espacio Europeo de Educación Superior se ha promovido la utilización de entornos virtuales de aprendizaje que favorezcan una evaluación más transparente y objetiva. Las redes sociales online son las interfaces digitales más utilizadas por los estudiantes universitarios, por lo que son muchos los expertos que recomiendan analizar la utilidad educativa de este tipo de aplicaciones. Siguiendo estas recomendaciones se implementó una red social online, llamada Formatio, que se utilizó para apoyar el proceso de enseñanza y aprendizaje en la educación superior. El objetivo general de esta tesis doctoral fue valorar el nivel de aceptación de este entorno virtual de aprendizaje para los estudiantes universitarios que participaron en este estudio. Para evaluar el uso de la plataforma se analizaron las actividades generadas por los 172 estudiantes, seleccionados aleatoriamente, matriculados en la asignatura de Estadística y TIC en el curso 2010/2011, del Grado en Ciencias de la Actividad Física y el Deporte. Con el objetivo de estimar la utilidad educativa de las redes sociales online se diseñó y validó el instrumento de Valoración de Recursos Educativos Online (VREO), que fue aplicado a otra muestra aleatoria de 452 estudiantes de la misma facultad durante el curso 2011/2012. Los resultados confirman el éxito de este tipo de espacios virtuales gracias a la alta frecuencia de uso conseguida y a las buenas puntuaciones obtenidas por los alumnos, quienes tienen una buena opinión sobre las ventajas de usar las redes sociales online en la educación superior. De todos los recursos analizados la red social online Formatio ha sido la opción mejor valorada, seguida de Moodle y Facebook en segundo y tercer lugar, y de Twitter y YouTube, en cuarta y en quinta posición. Este estudio establece un punto de partida para futuras investigaciones encaminadas a obtener ciertos indicadores cualitativos y cuantitativos que faciliten una evaluación más justa de los actores integrantes de los sistemas educativos, que ayude a abrir las puertas de nuestra sociedad a la responsabilidad, la eficiencia, la transparencia y la objetividad. ABSTRACT Social networks are as old as human relations, since cooperative work has always been indispensable in all processes of association, from those composed of simple cells to those formed by living beings. Society is shaped by a large amount of situations that stimulate this cooperation. Since the creation of the European Higher Education Area, the use of virtual learning environments that favor more transparent and objective evaluation has been promoted. On-line social networks are the digital interfaces most widely used by university students, which is the reason why many experts recommend an analysis of the educational utility of this type of applications. Following these recommendations, an on-line social network called Formatio was created, which was used in order to support the teaching and learning process in higher education. The general objective of this doctoral dissertation was to evaluate the level of acceptance of this virtual learning environment by the university students who participated in this study. In order to evaluate the use of the platform, the activity created by 172 students chosen at random was analyzed; they were registered in the course on Statistics and Information and Communication Technology of the degree program in Sciences of Physical Activity and Sport during the academic year 2010/2011. With the goal of appraising the educational utility of on-line social networks, a tool for Evaluation of On-line Educational Resources (EOER) was designed, validated, and applied to another random sample of 452 students from the same department during the academic year 2011/2012. The results confirm the success of this type of virtual spaces, thanks to the high frequency of use achieved and the good grades obtained by the students who had a favorable opinion of the advantages of using on-line social networks in higher education. Out of all the resources analyzed, the Formatio on-line social network was the option that received the best evaluation, followed by Moodle and Facebook, which were second and third, and Twitter and YouTube, in fourth and fifth place respectively. This study establishes a starting point for future research that aims to obtain certain qualitative and quantitative indicators that will make it easier to engage in a fairer evaluation of the parties involved in education systems, which will help open the doors of our society to responsibility, efficiency, transparency, and objectivity.

Low cost 3D global instability analysis and flow sensitivity based on dynamic mode decomposition and high-order numerical tools

We explore the recently developed snapshot-based dynamic mode decomposition (DMD) technique, a matrix-free Arnoldi type method, to predict 3D linear global flow instabilities. We apply the DMD technique to flows confined in an L-shaped cavity and compare the resulting modes to their counterparts issued from classic, matrix forming, linear instability analysis (i.e. BiGlobal approach) and direct numerical simulations. Results show that the DMD technique, which uses snapshots generated by a 3D non-linear incompressible discontinuous Galerkin Navier?Stokes solver, provides very similar results to classical linear instability analysis techniques. In addition, we compare DMD results issued from non-linear and linearised Navier?Stokes solvers, showing that linearisation is not necessary (i.e. base flow not required) to obtain linear modes, as long as the analysis is restricted to the exponential growth regime, that is, flow regime governed by the linearised Navier?Stokes equations, and showing the potential of this type of analysis based on snapshots to general purpose CFD codes, without need of modifications. Finally, this work shows that the DMD technique can provide three-dimensional direct and adjoint modes through snapshots provided by the linearised and adjoint linearised Navier?Stokes equations advanced in time. Subsequently, these modes are used to provide structural sensitivity maps and sensitivity to base flow modification information for 3D flows and complex geometries, at an affordable computational cost. The information provided by the sensitivity study is used to modify the L-shaped geometry and control the most unstable 3D mode.