Spike timing dependent plasticity: a consequence of more fundamental learning rules.

Spike timing dependent plasticity (STDP) is a phenomenon in which the precise timing of spikes affects the sign and magnitude of changes in synaptic strength. STDP is often interpreted as the comprehensive learning rule for a synapse - the "first law" of synaptic plasticity. This interpretation is made explicit in theoretical models in which the total plasticity produced by complex spike patterns results from a superposition of the effects of all spike pairs. Although such models are appealing for their simplicity, they can fail dramatically. For example, the measured single-spike learning rule between hippocampal CA3 and CA1 pyramidal neurons does not predict the existence of long-term potentiation one of the best-known forms of synaptic plasticity. Layers of complexity have been added to the basic STDP model to repair predictive failures, but they have been outstripped by experimental data. We propose an alternate first law: neural activity triggers changes in key biochemical intermediates, which act as a more direct trigger of plasticity mechanisms. One particularly successful model uses intracellular calcium as the intermediate and can account for many observed properties of bidirectional plasticity. In this formulation, STDP is not itself the basis for explaining other forms of plasticity, but is instead a consequence of changes in the biochemical intermediate, calcium. Eventually a mechanism-based framework for learning rules should include other messengers, discrete change at individual synapses, spread of plasticity among neighboring synapses, and priming of hidden processes that change a synapse's susceptibility to future change. Mechanism-based models provide a rich framework for the computational representation of synaptic plasticity.

Persistence of Artemisia steppe in the Tangra Yumco Basin, west-central Tibet, China: despite or in consequence of Holocene lake-level changes?

The closed Tangra Yumco Basin underwent the strongest Quaternary lake-level changes so far recorded on the Tibetan Plateau. It was hitherto unknown what effect this had on local Holocene vegetation development. A 3.6-m sediment core from a recessional lake terrace at 4,700 m a.s.l., 160 m above the present lake level of Tangra Yumco, was studied to reconstruct Holocene flooding phases (sedimentology and ostracod analyses), vegetation dynamics and human influence (palynology, charcoal and coprophilous fungi analyses). Peat at the base of the profile proves lake level was below 4,700 m a.s.l. during the Pleistocene/Holocene transition. A deep-lake phase started after 11 cal ka BP, but the ostracod record indicates the level was not higher than similar to 4,720 m a.s.l. (180 m above present) and decreased gradually after the early Holocene maximum. Additional sediment ages from the basin suggest recession of Tangra Yumco from the coring site after 2.6 cal ka BP, with a shallow local lake persisting at the site until similar to 1 cal ka BP. The final peat formation indicates drier conditions thereafter. Persistence of Artemisia steppe during the Holocene lake high-stand resembles palynological records from west Tibet that indicate early Holocene aridity, in spite of high lake levels that may have resulted from meltwater input. Yet pollen assemblages indicate humidity closer to that of present potential forest areas near Lhasa, with 500-600 mm annual precipitation. Thus, the early mid-Holocene humidity was sufficient to sustain at least juniper forest, but Artemisia dominance persisted as a consequence of a combination of environmental disturbances such as (1) strong early Holocene climate fluctuations, (2) inundation of habitats suitable for forest, (3) extensive water surfaces that served as barriers to terrestrial diaspore transport from refuge areas, (4) strong erosion that denuded the non-flooded upper slopes and (5) increasing human influence since the late glacial.

Logical omniscience as infeasibility

Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents is to be maintained. We provide a quantitative solution to the problem compatible with the two important facets of the reasoning agent: rationality and resource boundedness. More precisely, we provide a test for the logical omniscience problem in a given formal theory of knowledge. The quantitative measures we use are inspired by the complexity theory. We illustrate our framework with a number of examples ranging from the traditional implicit representation of knowledge in modal logic to the language of justification logic, which is capable of spelling out the internal inference process. We use these examples to divide representations of knowledge into logically omniscient and not logically omniscient, thus trying to determine how much information about the reasoning process needs to be present in a theory to avoid logical omniscience.

Tako-tsubo syndrome as a consequence and cause of stroke.

Since tako-tsubo syndrome (TS) frequently appears soon after stroke (usually stroke involving the insular cortex), it is believed to be a consequence rather than a cause of stroke. Herein, we describe a 70-year-old woman presenting with a left middle cerebral artery stroke (involving the insular cortex) who developed a further contralateral ischemic stroke with concomitant detection of a transient intracardiac mural thrombus attributable to TS. It can reasonably be maintained that that in our patient insular stroke triggered the TS, which in turn became the embolic cause of a further stroke. Given the association between TS and the risk of embolic stroke, congestive heart failure and sudden death, stroke physicians need to promptly detect and appropriately manage this condition.

Improving self-control by practicing logical reasoning

We tested the hypothesis that practicing logical reasoning can improve self-control. In an experimental training study (N = 49 undergraduates), for one week participants engaged in daily mental exercises with or without the requirement to practice logical reasoning. Participants in the logic group showed improvements in self-control, as revealed by anagram performance after a depleting self-control task. The benefits of the intervention were short-lived; participants in the two groups performed similarly just one week after the intervention had ended. We discuss the findings with respect to the strength model of self-control and consider possible benefits of regular cognitive challenges in education.

A Logical Descriptor for Regular Languages via Stone Duality

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Is choking under pressure a consequence of skill-focus or increased distractibility? Results from a tennis serve task

It has been repeatedly demonstrated that athletes often choke in high pressure situations because anxiety can affect attention regulation and in turn performance. There are two competing theoretical approaches to explain the negative anxiety-performance relationship. According to skillfocus theories, anxious athletes’ attention is directed at how to execute the sport-specific movements which interrupts execution of already automatized movements in expert performers. According to distraction theories, anxious athletes are distractible and focus less on the relevant stimuli. We tested these competing assumptions in a between-subject design, as semi-professional tennis players were either assigned to an anxiety group (n = 25) or a neutral group (n = 28), and performed a series of second tennis serves into predefined target areas. As expected, anxiety was negatively related to serve accuracy. However, mediation analyses with the bootstrapping method revealed that this relationship was fully mediated by self-reported distraction and not by skill-focus.

The Nile perch invasion in Lake Victoria: cause or consequence of the haplochromine decline?

We review alternative hypotheses and associated mechanisms to explain Lake Victoria’s Nile perch takeover and concurrent reduction in haplochromines through a (re)analysis of long term climate, limnological and stock observations in comparison with size-spectrum model predictions of co-existence, extinction and demographic change. The empirical observations are in agreement with the outcomes of the model containing two interacting species with life-histories matching Nile perch and a generalized haplochromine. The dynamic interactions may have depended on size related differences in early juvenile mortality: mouth-brooding haplochromines escape predation mortality in early life stages, unlike Nile perch that have miniscule planktonic eggs and larvae. In our model predation on the latter by planktivorous haplochromine fry act as a stabilizing factor for co-existence, but external mortality on the haplochromines would disrupt this balance in favor of Nile perch. To explain the observed switch, mortality on haplochromines would need to be much higher than the fishing mortality that can be realistically re-constructed from observations. Abrupt concomitant changes in algal and zooplankton composition, decreased water column transparency, and widespread hypoxia from increased eutrophication most likely caused haplochromine biomass decline. We hypothesize that the shift to Nile perch was a consequence of an externally caused, climate triggered, decrease in haplochromine biomass and associated recruitment failure rather than a direct cause of the introduction.

Impaired learning of predators and lower prey survival under elevated CO2: a consequence of neurotransmitter interference

Ocean acidification is one of the most pressing environmental concerns of our time, and not surprisingly, we have seen a recent explosion of research into the physiological impacts and ecological consequences of changes in ocean chemistry. We are gaining considerable insights from this work, but further advances require greater integration across disciplines. Here, we showed that projected near-future CO2 levels impaired the ability of damselfish to learn the identity of predators. These effects stem from impaired neurotransmitter function; impaired learning under elevated CO2 was reversed when fish were treated with gabazine, an antagonist of the GABA-A receptor - a major inhibitory neurotransmitter receptor in the brain of vertebrates. The effects of CO2 on learning and the link to neurotransmitter interference were manifested as major differences in survival for fish released into the wild. Lower survival under elevated CO2 , as a result of impaired learning, could have a major influence on population recruitment.

Data-Flow analysis of prolog programs with extra-logical features

Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.

La cabaña moderna. Microrrelatos de arquitecturas en busca de sentido

Desde la revolución ilustrada e industrial de finales del s. XVIII se ha venido desarrollando, con fuerza inigualada a lo largo de la historia, algo que es consustancial al hombre y que le ha permitido constituirse como tal frente al resto de animales: la técnica. Como sentencia Ortega, no hay hombre sin técnica. Pero, al mismo tiempo, va quedando cada vez más claro -como también nos señala Ortega- que el sentido y la causa de la técnica están fuera de ella, y que la técnica no es en rigor lo primero, sino que su finalidad le ha de ser prefijada por un deseo original pre-técnico. Si esto no fuera así el hombre perdería su propio sentido, pues el hombre es puro afán, un ente cuyo ser consiste no en lo que ya es, sino en la que aún no es. Sin embargo, el progresivo desencantamiento del mundo como consecuencia del desarrollo de la sociedad industrial vino a sustituir los viejos mitos por una interpretación racional y abstracta que renunciaba a cualquier búsqueda de sentido que trascendiese los hechos brutos. De este modo, la perdida de sentido del hombre frente a la técnica desarrollada por él mismo le dejaba desnortado y convertido en un sujeto pasivo en manos de un malentendido progreso. Frente a esta pérdida de sentido detectada ya a principios del siglo XX y denunciada con más fuerza a partir de la Segunda Guerra Mundial, el postmodernismo del último tramo del pasado siglo pudo no sólo oficializar su desaparición, sino consignar su deslegitimación. Ante a esto, sostenemos la necesaria existencia de sentido en cualquier arquitectura que se desarrolle plenamente y, especialmente, en la arquitectura de la modernidad -y aún de la modernidad tardía o postmodernidad- muchas de las veces no explicitado como tal frente al sobredimensionamiento técnico que ha venido marcando la pauta desde la revolución industrial. Al mismo tiempo, ya no se puede hablar de un único sentido, universalizable, sino de una pluralidad de sentidos que definirán distintas arquitecturas. Partiendo de la petitio principii de que el tema capital de la arquitectura en la modernidad ha sido la vivienda, el objeto arquitectónico que reúne las mejores características para desarrollar esta búsqueda de sentido lo hemos encontrado en la cabaña moderna, donde se cumple el aforismo corbusierano que señala que “quand l’économie est au maximum, l’intensité est au maximum”. Al mismo tiempo “al representar la plenitud a través de su misma negación”, la cabaña moderna se puede entender como una sublimación de la arquitectura a través de pequeños objetos donde han quedado destiladas las distintas esencias de la modernidad. Mediante el análisis de seis pequeñas construcciones situadas en archipiélagos arquitectónicos radicalmente distantes –el campamento de Ocatillo (F. Ll. Wright, 1929); la Caja (R. Erskine, 1942); el Cabanon (Le Corbusier, 1952); la casa cúpula en Carbondale (R. B. Fuller, 1960); el refugio en Oropesa (F. J. Sáenz de Oíza, c.1967-1977) y el pabellón de invitados en Kempsey (G. Murcutt, 1992)- la aparente aporía que supone la cabaña moderna, frente a la más lógica, en principio, cabaña primitiva, cobra sentido. Efectiva mente, el referente mítico de la cabaña primitiva, tal y como fue enunciado por Laugier, se correspondía con el estadio más primitivo de la modernidad, con sus orígenes, precisamente porque la crítica que se hacía en ella de la arquitectura se basaba en criterios exclusivamente técnicos que remitían a los orígenes constructivos de la arquitectura como fórmula para salir del entramado retórico en el que ésta se encontraba perdida. La cabaña moderna trasciende, sin embargo, aquella primitiva fase de la modernidad, de la que la cabaña de Laugier es paradigma, en la medida en que la crítica que se realiza ahora es doble, pues a la crítica de carácter técnico que encontramos en cada una de las cabañas se le añade una crítica de sentido que no se encuentra supeditada, en ninguno de los casos, a la componente técnica, tal y como sin embargo sucedía con Laugier, donde la pretendida regeneración moral de la arquitectura era consecuencia directa de su depuración técnica. En la cabaña moderna, al contrario, encontramos una pluralidad de sentidos que orientan y fuerzan el desarrollo de la techné en direcciones que llegan a ser radicalmente diferentes, construyendo unos relatos que habrán de ser, por tanto, necesariamente parciales, pero de los que la arquitectura, en cualquier caso no podrá prescindir si es que quiere seguir siendo fiel a sí misma, tal y como, efectivamente, lo comprendieron Wright, Erskine, Le Corbusier, Fuller, Sáenz de Oíza y Murcutt, cuando se esforzaron por que estas pequeñas arquitecturas que hemos visitado, tan sólo unas cabañas, fueran unas cabañas con sentido, unas cabañas modernas. ABSTRACT Since the illustrated and industrial revolution of the XVIII century it has been developing, with unequally strength through history, something that is inherent to man and that has allowed him to become himself against the rest of animals: technique. As Ortega says, there is no man without technique. But, at the same time, it is becoming increasingly clear –as Ortega also says- that the sense and the cause of the technique are beyond technique itself, and that technique is not actually the first thing, but that its purpose must be predefined by a pre-technique original desire. If it were not like this, man would lose his own sense, because man is pure desire, an entity whose being is not what already is, but what still doesn’t is. However, the progressive disenchantment of the world as the result of the development of the industrial society came to change the old myths by a rational and abstract interpretation that renounced to any search of meaning that transcended the brute facts. Thereby, the loss of sense of man against the technique developed by man himself let him aimless and converted in a passive object in the hands of a misunderstood progress. Against this loss of sense already detected at the beginning of the XX century and denounced in a stronger way since the Second World War, the postmodernism of the late decades of the last century could not only formalize its disappearance, but also consign its delegitimization. On the contrary, we maintain the necessary existence of sense in any architecture that is fully developed and, specially, in the modern architecture –and even in the late Modernism or Postmodernism- many times not made explicit as such against the technique oversizing that has been setting the pattern since the industrial revolution. At the same time, we can not talk about an only and universal sense, but about a plurality of senses that will define different architectures. On the basis of the petitio principii that dwelling has been the capital issue of modern architecture, the architectonic object that possesses the best features for developing this search of sense has been found in the modern hut, where is fulfil the Corbusieran aphorism that says that “quand l’économie est au maximum, l’intensité est au maximum”. At the same time, “representing plenitude through its own negation” the modern hut can be understood as a sublimation of architecture through small objects where the different essences of modernity have been distilled. Through the analysis of six small buildings located in radically distant architectonic archipelagos –the Ocatillo dessert camp (F. Ll. Wright, 1929); the Box (R. Erskine, 1942); the Cabanon (Le Corbusier, 1952); the dome-home in Carbondale (R. B. Fuller, 1960); the retreat in Oropesa (F. J. Sáenz de Oíza, c. 1967-1977) and the guest house in Kimpsey (G. Murcutt, 1992)- the apparent aporia that represents the modern hut, against the, initially, more logical primitive hut, makes sense. Indeed, the mythical reference of the primitive hut, as it was enunciated by Laugier, belonged to the most primitive state of modernity, with its origins, precisely because the criticism of the architecture that was made there was based in exclusively technique criteria, referring to the constructive origins of architecture as the formula to get out of the rhetoric labyrinth in which architecture was lost at the moment. However, the modern hut transcends that primitive phase of modernity, of which Laugier’s hut is paradigm, since the criticism that is made is double, because to the criticism on the technique that we find in every hut we must add a criticism on the sense that is never subordinated to the technique component, as it was the case in Laugier, where the intended architectonic moral regeneration was a direct consequence of its technical depuration. In the modern hut, on the contrary, we find a plurality of senses that guides and drives the development of techné in radically different directions, building narratives that must be, then, necessarilly partial, but of which architecture could never leave aside if it still wants to be faithful to itself, as Wright, Erskine, Le Corbusier, Fuller, Sáenz de Oíza and Murcutt seemed to understand when they tried hardly to make these small architectures that we have visited, these huts, huts full of sense, modern huts.

Embedding logical frameworks in scala

El Framework Lógico de Edimburgo ha demostrado ser una poderosa herramienta en el estudio formal de sistemas deductivos, como por ejemplo lenguajes de programación. Sin embargo su principal implementación, el sistema Twelf, carece de expresividad, obligando al programador a escribir código repetitivo. Este proyecto presenta una manera alternativa de utilizar Twelf: a través de un EDSL (Lenguaje Embebido de Dominio Específico) en Scala que permite representar firmas del Framework Lógico, y apoyándonos en Twelf como backend para la verificación, abrimos la puerta a diversas posibilidades en términos de metaprogramación. El código fuente, así como instrucciones para instalar y configurar, está accesible en https://github.com/akathorn/elfcala. ---ABSTRACT---The Edinburgh Logical Framework has proven to be to be a powerful tool in the formal study of deductive systems, such as programming languages. However, its main implementation, the Twelf system, lacks expressiveness, requiring the programmer to write repetitive code. This project presents an alternative way of using Twelf: by providing a Scala EDSL (Embedded Domain Specific Language) that can encode Logical Framework signatures and relying on Twelf as a backend for the verification, we open the door to different possibilities in terms of metaprogramming. The source code, along with instructions to install and configure, is accessible at https://github.com/akathorn/elfcala