Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition

Pavlovian fear conditioning, a simple form of associative learning, is thought to involve the induction of associative, NMDA receptor-dependent long-term potentiation (LTP) in the lateral amygdala. Using a combined genetic and electrophysiological approach, we show here that lack of a specific GABA(B) receptor subtype, GABA(B(1a,2)), unmasks a nonassociative, NMDA receptor-independent form of presynaptic LTP at cortico-amygdala afferents. Moreover, the level of presynaptic GABA(B(1a,2)) receptor activation, and hence the balance between associative and nonassociative forms of LTP, can be dynamically modulated by local inhibitory activity. At the behavioral level, genetic loss of GABA(B(1a)) results in a generalization of conditioned fear to nonconditioned stimuli. Our findings indicate that presynaptic inhibition through GABA(B(1a,2)) receptors serves as an activity-dependent constraint on the induction of homosynaptic plasticity, which may be important to prevent the generalization of conditioned fear.

Processing of temporal unpredictability in human and animal amygdala

The amygdala has been studied extensively for its critical role in associative fear conditioning in animals and humans. Noxious stimuli, such as those used for fear conditioning, are most effective in eliciting behavioral responses and amygdala activation when experienced in an unpredictable manner. Here, we show, using a translational approach in mice and humans, that unpredictability per se without interaction with motivational information is sufficient to induce sustained neural activity in the amygdala and to elicit anxiety-like behavior. Exposing mice to mere temporal unpredictability within a time series of neutral sound pulses in an otherwise neutral sensory environment increased expression of the immediate-early gene c-fos and prevented rapid habituation of single neuron activity in the basolateral amygdala. At the behavioral level, unpredictable, but not predictable, auditory stimulation induced avoidance and anxiety-like behavior. In humans, functional magnetic resonance imaging revealed that temporal unpredictably causes sustained neural activity in amygdala and anxiety-like behavior as quantified by enhanced attention toward emotional faces. Our findings show that unpredictability per se is an important feature of the sensory environment influencing habituation of neuronal activity in amygdala and emotional behavior and indicate that regulation of amygdala habituation represents an evolutionary-conserved mechanism for adapting behavior in anticipation of temporally unpredictable events.

Admissibility in Finitely Generated Quasivarieties

Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable. However, since free algebras may be large even for small sets of small algebras and very few generators, this naive method for checking admissibility in Q is not computationally feasible. In this paper, algorithms are introduced that generate a minimal (with respect to a multiset well-ordering on their cardinalities) finite set of algebras such that the validity of a quasiequation in this set corresponds to admissibility of the quasiequation in Q. In particular, structural completeness (validity and admissibility coincide) and almost structural completeness (validity and admissibility coincide for quasiequations with unifiable premises) can be checked. The algorithms are illustrated with a selection of well-known finitely generated quasivarieties, and adapted to handle also admissibility of rules in finite-valued logics.

A distributed, semiotic-inductive and human-Oriented approach to web-scale knowledge retrieval

Web-scale knowledge retrieval can be enabled by distributed information retrieval, clustering Web clients to a large-scale computing infrastructure for knowledge discovery from Web documents. Based on this infrastructure, we propose to apply semiotic (i.e., sub-syntactical) and inductive (i.e., probabilistic) methods for inferring concept associations in human knowledge. These associations can be combined to form a fuzzy (i.e.,gradual) semantic net representing a map of the knowledge in the Web. Thus, we propose to provide interactive visualizations of these cognitive concept maps to end users, who can browse and search the Web in a human-oriented, visual, and associative interface.

Acquiring synaesthesia: insights from training studies

Synaesthesia denotes a condition of remarkable individual differences in experience characterized by specific additional experiences in response to normal sensory input. Synaesthesia seems to (i) run in families which suggests a genetic component, (ii) is associated with marked structural and functional neural differences, and (iii) is usually reported to exist from early childhood. Hence, synaesthesia is generally regarded as a congenital phenomenon. However, most synaesthetic experiences are triggered by cultural artifacts (e.g., letters, musical sounds). Evidence exists to suggest that synaesthetic experiences are triggered by the conceptual representation of their inducer stimuli. Cases were identified for which the specific synaesthetic associations are related to prior experiences and large scale studies show that grapheme-color associations in synaesthesia are not completely random. Hence, a learning component is inherently involved in the development of specific synaesthetic associations. Researchers have hypothesized that associative learning is the critical mechanism. Recently, it has become of scientific and public interest if synaesthetic experiences may be acquired by means of associative training procedures and whether the gains of these trainings are associated with similar cognitive benefits as genuine synaesthetic experiences. In order to shed light on these issues and inform synaesthesia researchers and the general interested public alike, we provide a comprehensive literature review on developmental aspects of synaesthesia and specific training procedures in non-synaesthetes. Under the light of a clear working definition of synaesthesia, we come to the conclusion that synaesthesia can potentially be learned by the appropriate training.

Modular training in vascular and endovascular surgery exemplified by the Vascular International Foundation and School

The partial shift from patient to model is a reasonable and necessary paradigm shift in surgery in order to increase patient safety and to adapt to the reduced training time periods in hospitals and increased quality demands. Since 1991 the Vascular International Foundation and School has carried out many training courses with more than 2,500 participants. The modular build training system allows to teach many open vascular and endovascular surgical techniques on lifelike models with a pulsatile circulation. The simulation courses cannot replace training in operating rooms but are suitable for supporting the cognitive and associative stages for achieving motor skills. Scientific evaluation of the courses has continually shown that the training principle established since 1991 can lead to significant learning success. They are extremely useful not only for beginners but also for experienced vascular surgeons. They can help to shorten the learning curve, to learn new techniques or to refine previously used techniques in all stages of professional development. Keywords Advanced training · Advanced training regulations · Training model · Vascular International · Certification

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.

Admissibility via natural dualities

It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive lattices, Stone algebras, Kleene algebras and lattices, and De Morgan algebras and lattices.

Developing synaesthesia: A primer (Editorial)

Synaesthesia is a variation of human experience that involves the automatic activation of unusual concurrent experiences in response to ordinary inducing stimuli. The causes for the development of synaesthesia are not well understood yet. Synaesthesia may have a genetic basis resulting in enhanced cortical connectivity during development. However, in some cases synaesthesia has a sudden onset, for example, caused by posthypnotic suggestions, drug exposure, or brain injury. Moreover, associative learning during a critical developmental period also seems to play an important role. Synaesthesia may even be acquired by training in adulthood. In this research topic, we bring together topical hypotheses, theories and empirical studies about the development of synaesthesia.

Applicative theories for logarithmic complexity classes

We present applicative theories of words corresponding to weak, and especially logarithmic, complexity classes. The theories for the logarithmic hierarchy and alternating logarithmic time formalise function algebras with concatenation recursion as main principle. We present two theories for logarithmic space where the first formalises a new two-sorted algebra which is very similar to Cook and Bellantoni's famous two-sorted algebra B for polynomial time [4]. The second theory describes logarithmic space by formalising concatenation- and sharply bounded recursion. All theories contain the predicates WW representing words, and VV representing temporary inaccessible words. They are inspired by Cantini's theories [6] formalising B.

Cathodal HD-tDCS on the right V5 improves motion perception in humans

Brain lesions in the visual associative cortex are known to impair visual perception, i.e., the capacity to correctly perceive different aspects of the visual world, such as motion, color, or shapes. Visual perception can be influenced by non-invasive brain stimulation such as transcranial direct current stimulation (tDCS). In a recently developed technique called high definition (HD) tDCS, small HD-electrodes are used instead of the sponge electrodes in the conventional approach. This is believed to achieve high focality and precision over the target area. In this paper we tested the effects of cathodal and anodal HD-tDCS over the right V5 on motion and shape perception in a single blind, within-subject, sham controlled, cross-over trial. The purpose of the study was to prove the high focality of the stimulation only over the target area. Twenty one healthy volunteers received 20 min of 2 mA cathodal, anodal and sham stimulation over the right V5 and their performance on a visual test was recorded. The results showed significant improvement in motion perception in the left hemifield after cathodal HD-tDCS, but not in shape perception. Sham and anodal HD-tDCS did not affect performance. The specific effect of influencing performance of visual tasks by modulating the excitability of the neurons in the visual cortex might be explained by the complexity of perceptual information needed for the tasks. This provokes a "noisy" activation state of the encoding neuronal patterns. We speculate that in this case cathodal HD-tDCS may focus the correct perception by decreasing global excitation and thus diminishing the "noise" below threshold.

Herbivore-Induced Plant Volatiles Can Serve as Host Location Cues for a Generalist and a Specialist Egg Parasitoid

Herbivore-induced plant volatiles are important host finding cues for larval parasitoids, and similarly, insect oviposition might elicit the release of plant volatiles functioning as host finding cues for egg parasitoids. We hypothesized that egg parasitoids also might utilize HIPVs of emerging larvae to locate plants with host eggs. We, therefore, assessed the olfactory response of two egg parasitoids, a generalist, Trichogramma pretiosum (Tricogrammatidae), and a specialist, Telenomus remus (Scelionidae) to HIPVs. We used a Y-tube olfactometer to tests the wasps’ responses to volatiles released by young maize plants that were treated with regurgitant from caterpillars of the moth Spodoptera frugiperda (Noctuidae) or were directly attacked by the caterpillars. The results show that the generalist egg parasitoid Tr. pretiosum is innately attracted by volatiles from freshly-damaged plants 0–1 and 2–3 h after regurgitant treatment. During this interval, the volatile blend consisted of green leaf volatiles (GLVs) and a blend of aromatic compounds, mono- and homoterpenes, respectively. Behavioral assays with synthetic GLVs confirmed their attractiveness to Tr. pretiosum. The generalist learned the more complex volatile blends released 6–7 h after induction, which consisted mainly of sesquiterpenes. The specialist T. remus on the other hand was attracted only to volatiles emitted from fresh and old damage after associating these volatiles with oviposition. Taken together, these results strengthen the emerging pattern that egg and larval parasitoids behave in a similar way in that generalists can respond innately to HIPVs, while specialists seems to rely more on associative learning.

The Role of Fresh versus Old Leaf Damage in the Attraction of Parasitic Wasps to Herbivore-Induced Maize Volatiles

The odor produced by a plant under herbivore attack is often used by parasitic wasps to locate hosts. Any type of surface damage commonly causes plant leaves to release so-called green leaf volatiles, whereas blends of inducible compounds are more specific for herbivore attack and can vary considerably among plant genotypes. We compared the responses of naïve and experienced parasitoids of the species Cotesia marginiventris and Microplitis rufiventris to volatiles from maize leaves with fresh damage (mainly green leaf volatiles) vs. old damage (mainly terpenoids) in a six-arm olfactometer. These braconid wasps are both solitary endoparasitoids of lepidopteran larvae, but differ in geographical origin and host range. In choice experiments with odor blends from maize plants with fresh damage vs. blends from plants with old damage, inexperienced C. marginiventris showed a preference for the volatiles from freshly damaged leaves. No such preference was observed for inexperienced M. rufiventris. After an oviposition experience in hosts feeding on maize plants, C. marginiventris females were more attracted by a mixture of volatiles from fresh and old damage. Apparently, C. marginiventris has an innate preference for the odor of freshly damaged leaves, and this preference shifts in favor of a blend containing a mixture of green leaf volatiles plus terpenoids, after experiencing the latter blend in association with hosts. M. rufiventris responded poorly after experience and preferred fresh damage odors. Possibly, after associative learning, this species uses cues that are more directly related with the host presence, such as volatiles from host feces, which were not present in the odor sources offered in the olfactometer. The results demonstrate the complexity of the use of plant volatiles by parasitoids and show that different parasitoid species have evolved different strategies to exploit these signals.

Exact Unification and Admissibility

A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive lattices, idempotent semigroups, and MV-algebras, which all have nullary unification type, have unitary or finitary exact type. These results are obtained via an algebraic interpretation of exact unification, inspired by Ghilardi's algebraic approach to equational unification.