Universitätspublikationen
Refine
Year of publication
- 2009 (608) (remove)
Document Type
- Article (178)
- Doctoral Thesis (115)
- Part of Periodical (101)
- Book (64)
- Review (49)
- Conference Proceeding (26)
- Working Paper (17)
- Report (13)
- Diploma Thesis (11)
- Bachelor Thesis (9)
- Magister's Thesis (7)
- diplomthesis (6)
- Periodical (5)
- Part of a Book (4)
- magisterthesis (3)
Language
- German (366)
- English (225)
- French (7)
- Portuguese (7)
- Spanish (2)
- Multiple languages (1)
Is part of the Bibliography
- no (608)
Keywords
- Europa (7)
- Deutschland (4)
- Lambda-Kalkül (4)
- China (3)
- Forschung (3)
- Frankfurt <Main> / Universität (3)
- Frankreich (3)
- Zeitschrift (3)
- reactive oxygen species (3)
- Adorno (2)
Institute
- Medizin (122)
- Präsidium (75)
- Biochemie und Chemie (46)
- Gesellschaftswissenschaften (46)
- Rechtswissenschaft (41)
- Geowissenschaften (34)
- Physik (33)
- Biowissenschaften (30)
- E-Finance Lab e.V. (24)
- Informatik (24)
Alternative education or teaching radicalism? New literature on Islamic education in Southeast Asia
(2009)
This review article focuses on three recent publications on Islamic education in Southeast Asia. While two are monographs on South Thailand and Myanmar/ Burma, one is a collection of essays on Indonesia, Malaysia, South Thailand, Cambodia, and the Southern Philippines. All works highlight local, regional and international educational networks, as well as their connections to the Indian subcontinent and the Middle East. Based chiefly on first-hand fieldwork, the works deliver an up-to-date and detailed picture of current discussions and developments regarding Islamic education in Southeast Asia. Key words Education ; Islam ; Southeast Asia ; Indonesia ; Malaysia ; Thailand ; Myanmar
Global betrachtet, bestehen große Unterschiede in der menschlichen Entwicklungsfähigkeit sowohl zwischen verschiedenen Gruppierungen innerhalb einer Gesellschaft als auch zwischen unterschiedlichen Gesellschaften. Diese Differenzen bedürfen einer Begründung. Armut mit ihren Begleiterscheinungen Hunger, Unter- und Mangelernährung (Ernährungsunsicherheit) ist ein menschlich und individuell nicht wünschenswerter Zustand. Angemessene Ernährung ist der Grundstein für jegliche Form von Entwicklung. Armut ist ein absoluter Zustand, der die Betroffenen der Erfüllung grundlegender menschlicher Bedürfnisse und der vollwertigen Teilhabe an der Menschengemeinschaft beraubt. Um Armut als ungerecht verstehen zu können, muss sie von einer bestimmten Art (z.B. strukurell) oder Gründen sein. Biodiversität ist ein grundlegender Baustein, um den Fortbestand der Erde und der Menschheit zu sichern. Ohne biologische Vielfalt ist kurzfristig kein qualitativ hochwertiges und langfristig überhaupt kein Leben möglich. Diverse Regionen und gesellschaftliche Gruppierungen sind unterschiedlich stark von ihrer Nutzung für das alltägliche Überleben abhängig und von einem Verlust der (Agro-)Biodiversität betroffen. Biodiverse Ernährungsstrategien werden selten zur Verringerung der Unterernährung eingesetzt. Die Themen Recht auf Nahrung und landwirtschaftliche Vielfalt sind in dieser Form noch nirgends behandelt worden. Es gibt bislang keine normative Debatte bzw. Literatur, die eine moralphilosophische Begründung des Rechts auf Nahrung versucht und sie in Bezug zu relevanten Abkommen und Rechtskommentaren daraufhin untersucht, welche Gerechtigkeits-konzeptionen implizit und explizit vorhanden sind und inwiefern sie die strukturelle Dimension von Armut und Unterernährung thematisieren. Dies ist ein Versuch der partiellen Aufarbeitung, der sowohl normative als auch empirische Elemente enthält. Nach der umfassenden Analyse landwirtschaftlicher Strukturen sowie der strukturellen Bedingtheiten von Armut untersuche ich die Plausibilität der Begründungsoptionen eines sozialen Menschenrechts und prüfe im Anschluss ob sich Elemente einer moralischen Argumentation innerhalb des UN Sozialpakts, der Allgemeinen Anmerkung 12 des UN Wirtschafts- und Sozialrats sowie der Freiwilligen Leitlinien der FAO rechtfertigen lassen. Abschließend plädiere ich für eine vielfältige Landwirtschaft und die Hinwendung von Ernährungssicherungs-strategien zu biodiverser Ernährung.
In previous investigations an impact of cellular copper homeostasis on ageing of the ascomycete Podospora anserina has been demonstrated. Here we provide new data indicating that mitochondria play a major role in this process. Determination of copper in the cytosolic fraction using total reflection X-ray fluorescence spectroscopy analysis and eGfp reporter gene studies indicate an age-related increase of cytosolic copper levels. We show that components of the mitochondrial matrix (i.e. eGFP targeted to mitochondria) become released from the organelle during ageing. Decreasing the accessibility of mitochondrial copper in P. anserina via targeting a copper metallothionein to the mitochondrial matrix was found to result in a switch from a copper-dependent cytochrome-c oxidase to a copper-independent alternative oxidase type of respiration and results in lifespan extension. In addition, we demonstrate that increased copper concentrations in the culture medium lead to the appearance of senescence biomarkers in human diploid fibroblasts (HDFs). Significantly, expression of copper-regulated genes is induced during in vitro ageing in medium devoid of excess copper suggesting that cytosolic copper levels also increase during senescence of HDFs. These data suggest that the identified molecular pathway of age-dependent copper dynamics may not be restricted to P. anserina but may be conserved from lower eukaryotes to humans.
While liberal, redistributive views seek to correct and compensate for past injustices, by resorting to compensatory, procedural arguments for corrective justice, the recognition-based, communitarian arguments tend to promote by means of social movements and struggles for recognition a society free from prejudice and disrespect. In developing democratic societies such as Brazil, Axel Honneth’s contribution to the ongoing debates on Affirmative Action has been evoked, confirming that the dialectics of recognition does not merely seek a theoretical solution to the structural and economic inequalities that constitute some of their worst social pathologies, but allows for practices of self-respect and subjectivation that defy all technologies of social control, as pointed out in Foucault’s critique of power. The phenomenological deficit of critical theory consists thus in recasting the critique of power with a view to unveiling lifeworldly practices that resist systemic domination.
Processes occurring in the tropical upper troposphere and lower stratosphere (UT/LS) are of importance for the global climate, for the stratospheric dynamics and air chemistry, and they influence the global distribution of water vapour, trace gases and aerosols. The mechanisms underlying cloud formation and variability in the UT/LS are of scientific concern as these still are not adequately described and quantified by numerical models. Part of the reasons for this is the scarcity of detailed in-situ measurements in particular from the Tropical Transition Layer (TTL) within the UT/LS. In this contribution we provide measurements of particle number densities and the amounts of non-volatile particles in the submicron size range present in the UT/LS over Southern Brazil, West Africa, and Northern Australia. The data were collected in-situ on board of the Russian high altitude research aircraft M-55 "Geophysica" using the specialised COPAS (COndensation PArticle counting System) instrument during the TROCCINOX (Araçatuba, Brazil, February 2005), the SCOUT-O3 (Darwin, Australia, December 2005), and SCOUT-AMMA (Ouagadougou, Burkina Faso, August 2006) campaigns. The vertical profiles obtained are compared to those from previous measurements from the NASA DC-8 and NASA WB-57F over Costa Rica and other tropical locations between 1999 and 2007. The number density of the submicron particles as function of altitude was found to be remarkably constant (even back to 1987) over the tropical UT/LS altitude band such that a parameterisation suitable for models can be extracted from the measurements. At altitudes corresponding to potential temperatures above 430 K a slight increase of the number densities from 2005/2006 results from the data in comparison to the 1987 to 2007 measurements. The origins of this increase are unknown. By contrast the data from Northern hemispheric mid latitudes do not exhibit such an increase between 1999 and 2006. Vertical profiles of the non-volatile fraction of the submicron particles were also measured by a COPAS channel and are presented here. The resulting profiles of the non-volatile number density fraction show a pronounced maximum of 50% in the tropical TTL over Australia and West Africa. Below and above this fraction is much lower attaining values of 10% and smaller. In the lower stratosphere the fine particles mostly consist of sulphuric acid which is reflected in the low numbers of non-volatile residues measured by COPAS. Without detailed chemical composition measurements the reason for the increase of non-volatile particle fractions cannot yet be given. The long distance transfer flights to Brazil, Australia and West-Africa were executed during a time window of 17 months within a period of relative volcanic quiescence. Thus the data measured during these transfers represent a "snapshot picture" documenting the status of a significant part of the global UT/LS aerosol (with sizes below 1 μm) at low concentration levels 15 years after the last major (i.e., the 1991 Mount Pinatubo) eruption. The corresponding latitudinal distributions of the measured particle number densities are also presented in this paper in order to provide input on the UT/LS background aerosol for modelling purposes.
We investigate methods and tools for analyzing translations between programming languages with respect to observational semantics. The behavior of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
Die Fragestellung der vorliegenden Arbeit betrifft die Rolle der spezifisch gegen Adenovirus Typ 5 und 7 sowie gegen das humane Herpesvirus 6 reagiblen CD4+ T-Lymphozyten als Surrogatmarker der virusspezifischen zellulären Immunität bei lungentransplantierten Patienten. Adenoviren und auch das humane Herpesvirus 6 sind wichtige Pathogene nach der Transplantation von soliden Organen und Knochenmark. Bei lungentransplantierten Patienten sind Adenovirusinfektionen mit einer hohen Mortalität verbunden. Die Reaktivierung des humanen Herpesvirus 6 ist ein Risikofaktor für die Entwicklung von CMV-vermittelten Erkrankungen bei Patienten unter immunsuppressiver Therapie. Bei nierentransplantierten Patienten kann die durchflusszytometrische Quantifizierung von spezifisch gegen Adenoviren und gegen CMV reagiblen CD4+ T-Zellen dazu beitragen, Patienten mit einem hohem Risiko für eine unkontrollierte Virusreplikation zu identifizieren. Die zelluläre Immunantwort bezüglich des humanen Herpesvirus 6 bei lungentransplantierten Patienten ist bisher kaum untersucht worden. Zur Klärung der Frage, inwieweit die durchflusszytometrische Analyse der de-novo-Zytokinsynthese von CD4+ T-Zellen Aussagen über die virusspezifische zelluläre Immunantwort zulässt, wurde bei 22 Patienten nach Lungentransplantation während 12 Monaten regelmäßig venöses Blut mit Adenovirus Typ 5 (Ad5)- und 7 (Ad7)- sowie humanem Herpesvirus 6 (HHV-6 )-Antigen inkubiert und der Anteil [%] von CD4+ TLymphozyten welche eine de-novo-Synthese von Interferon (INF)-γ und CD69 durchführten durchflusszytometrisch bestimmt. Bei n=6 Ad5 positiven Patienten ohne Infekt im Beobachtungszeitraum reagierten im Median 0,31% (Spannweite: 0,09-1,47%), bei n=5 Ad7 positiven Patienten ohne Infektion (kein Nachweis von Adenovirus 5-DNA [copies/ml]) im Beobachtungszeitraum im Median 0,34% (Spannweite: 0,08-1,58%) der CD4+ Lymphozyten, bei n=16 Ad5 negativen Patienten reagierten im Median 0,06% (Spannweite: 0,01-0,25%), bei n=16 Ad7 negativen Patienten 0,05% (Spannweite: 0,01-0,28%) der CD4+ T-Lymphozyten auf die Stimulation mit dem entsprechenden Virus-Antigen mit einer de-novo-Synthese von INF-γ und CD69. Im Gegensatz dazu konnte nach Stimulation mit HHV-6-Antigen bei n=4 HHV-6 positiven Patienten ohne Infektion im Beobachtungszeitraum keine INF-γ- und CD69-Neusynthese nachgewiesen werden. Die in dieser Arbeit gewonnenen Ergebnisse zeigen, dass die durchflusszytometrische Untersuchung Adenovirus-spezifischer CD4+ T-Zellen bei lungentransplantierten Patienten möglich ist. Es hat sich im Verlauf dieser Studie gezeigt, dass die Ergebnisse Ausgangspunkt für weitere Untersuchungen der virusspezifischen zellulären Immunantwort bei Transplantationspatienten sein können. In diesem Sinn ist die Untersuchung einer größeren Patientengruppe bei einer zentralen Durchführung der Methode sinnvoll. Im Bezug auf das humane Herpesvirus 6 bleibt es zu klären, ob auf der Basis von Modifikationen des von uns verwendeten durchflusszytometrischen Verfahrens Aussagen zur virusspezifischen Immunität von lungentransplantierten Patieten möglich sind.
Signal-dependent regulation of actin dynamics is essential for many cellular processes, including directional cell migration. In particular, cell migration is initiated by lamellipodia, actin-based protrusions of the plasma membrane. The formation of these protruding structures require incessant assembly and disassembly of actin filaments. The Arp2/3 complex and WAVE proteins are essential for both lamellipodium formation and its dynamics. WAVEs mediate the activation of the Arp2/3 complex downstream of the small GTPase Rac, thus being critical for Rac- and RTK-induced actin polymerization and cell migration. The WAVE-family proteins are always found associated with multiprotein complexes. The most abundant WAVE-based complex is referred to as the WANP (WAVE2-Abi-1-Nap1-PIR121) complex. IQGAP1 is a huge scaffolding protein with multiple protein-interacting domains. IQGAP1 participates in many fundamental activities, including regulation of the actin cytoskeleton, mitogenic, adhesive and migratory responses, as well as in cell polarity and cellular trafficking. IQGAP1 binds to N-WASP, thus raising the possibility that it might control actin nucleation by the Arp2/3 complex. In this study, IQGAP1 was found co-immunoprecipitated not only with WAVE, but also with the endogenous WANP-complex subunits. Correspondingly, IQGAP1 associated to both anti-WAVE and anti-Abi-1 immuno-complexes. Pull-down experiments proved that IQGAP1 binds directly to the WANP-complex subunits. Physical interaction between IQGAP1 and the reconstituted WANP complex could also be demonstrated. Together, these data indicate that IQGAP1 is an accessory component of the WANP complex. Interestingly, the IQGAP-WANP complex disassembled after either EGF stimulation or transfection with constitutively active Cdc42 and Rac1. HeLa cells devoid of IQGAP1 showed diminished and less persistent ruffling upon EGF, but not HGF, stimulation in comparison with the control. This phenotype was accompanied by a strong reduction in chemotaxis towards both growth factors, which was as dramatic as in WANP-complex knockdown (KD) cells. Moreover, GM130 and Giantin showed a polarized and flat ribbon-like pattern in control cells, as it is expected for cis- and cis/medial-Golgi markers. Conversely, small and dispersed vesicular structures were found in both IQGAP1 KD and WANP-complex KD cells. Importantly, Arp2/3-complex silencing resulted in the same phenotypes. Consistently, Brefeldin A-induced disassembly of the Golgi strongly inhibited the IQGAP1-WANP-complex interaction and chemotaxis towards EGF in wild-type cells. The re-expression of an RNAi-resistant wild-type IQGAP1 in IQGAP1 KD cells fully rescued both the ruffling abilities and Golgi structure. A constitutively active mutant, unable to bind to neither Rac1 /Cdc42 nor the WANP complex, could reconstitute only the former defect. Hence, this study shows that actin dynamics regulated by the IQGAP1-WANP complex controls Golgi-apparatus architecture and its contribution to cell chemotaxis. The working model here proposes that at the Golgi apparatus, recruitment of the WANP complex by IQGAP1 leads to the assembly of actin filaments required to maintain the appropriated Golgi morphology. The dissociation of the complex may be required to allow the remodeling of the Golgi membranes in order to respond following a chemoattractant gradient.
The pictorial art of the Church, as a spiritual product of the Christian civilisation, has continually received great influences from its ecclesiastical tradition and it was defined by its formal aesthetical standards and its iconographic preferences. A more nuanced reading of the parallels can be attained by placing the images in their visual context, which would allow a better appreciation of the meanings within. The biblical story of Adam and Eve, which is the theme of the following thesis, reflects the differentiation between the Eastern and the Western understanding of the events of the history of the holy Oikonomia, a point, which is the major ground for the development of the relative pictorial motifs. The protoplasts are the protagonists from their creation and life in paradise, the fall and expulsion until their resurrection through Christ. Their story is visualised in a number of scenes and episodes, having thus their original sin and resurrection for specific reasons centralised. This doctoral thesis attempts to collect as many parallels of the scenes is possible, trying to collate the Eastern with the Western visual approach in a deductive way, in order to reach our constructive conclusions and make available the combination of the art, theology and liturgy in the scenes of Adam and Eve in Genesis and in Resurrection (Anastasis). The reading we tried to perform was based upon the specific iconographical elements, which were worth to be commented. Our aim was to detect the direct bond between the production of art and the relevant patristic and apocryphal writings or even the theological theories, by quoting texts from the ecclesiastical literature, as well as the liturgical praxis.
Abrupt climate changes of the last deglaciation detected in a western Mediterranean forest record
(2009)
Abrupt changes in Western Mediterranean climate during the last deglaciation (20 to 6 cal ka BP) are detected in marine core MD95-2043 (Alboran Sea) through the investigation of high-resolution pollen data and pollen-based climate reconstructions by the modern analogue technique (MAT) for annual precipitation (Pann) and mean temperatures of the coldest and warmest months (MTCO and MTWA). Changes in temperate Mediterranean forest development and composition and MAT reconstructions indicate major climatic shifts with parallel temperature and precipitation changes at the onsets of Heinrich stadial 1 (equivalent to the Oldest Dryas), the Bölling-Allerød (BA), and the Younger Dryas (YD). Multi-centennial-scale oscillations in forest development occurred throughout the BA, YD, and early Holocene. Shifts in vegetation composition and (Pann reconstructions indicate that forest declines occurred during dry, and generally cool, episodes centred at 14.0, 13.3, 12.9, 11.8, 10.7, 10.1, 9.2, 8.3 and 7.4 cal ka BP. The forest record also suggests multiple, low-amplitude Preboreal (PB) climate oscillations, and a marked increase in moisture availability for forest development at the end of the PB at 10.6 cal ka BP. Dry atmospheric conditions in the Western Mediterranean occurred in phase with Lateglacial events of high-latitude cooling including GI-1d (Older Dryas), GI-1b (Intra-Allerød Cold Period) and GS-1 (YD), and during Holocene events associated with high-latitude cooling, meltwater pulses and N. Atlantic ice-rafting. A possible climatic mechanism for the recurrence of dry intervals and an opposed regional precipitation pattern with respect to Western-central Europe relates to the dynamics of the westerlies and the prevalence of atmospheric blocking highs. Comparison of radiocarbon and ice-core ages for well-defined climatic transitions in the forest record suggests possible enhancement of marine reservoir ages in the Alboran Sea by 200 years (surface water age 600 years) during the Lateglacial.
O texto tenta, num primeiro passo, mostrar que a textura intrínseca da justiça não consiste em bens distribuíveis, mas em relações sociais comumente aceitas que são constituídas por práticas perpassadas de conteúdo moral. Nessas práticas podem ser encontradas aquelas que definem o que significa tratar uma outra pessoa de forma razoável ou justa. Se este ponto de partida é convincente, então algumas consequências metodológicas sobre o conceito de justiça tem que ser tiradas e que são apresentados na segunda etapa: ao invés de construir um procedimento normativo que nos permite deduzir o conteúdo de justiça, temos de começar pela reconstrução das práticas sociais que nos informam sobre o respeito à justiça. O resultado será, tal como indicado em uma terceira etapa, a pluralização do nosso conceito de justiça, que inclui tanto princípios relevantes da justiça como há formas de relações sociais geralmente aceitas e apreciadas.
A new species of the basal araneomorph spider genus Ectatosticta (Araneae, Hypochilidae) from China
(2009)
The hypochilid spider Ectatosticta davidi (Simon) is redescribed on the basis of adults from Mt. Taibaishan in Shaanxi Province, China; the specimens from Qinghai Province previously identified as E. davidi by most modern authors belong to a new species described as E. deltshevi. Keywords: Araneae, Araneomorphae, Hypochilidae, Ectatosticta, China
Atmospheric new particle formation is a general phenomenon observed over coniferous forests. So far nucleation is either parameterised as a function of gaseous sulphuric acid concentration only, which is unable to explain the observed seasonality of nucleation events at different measurement sites, or as a function of sulphuric acid and organic molecules. Here we introduce different nucleation parameters based on the interaction of sulphuric acid and terpene oxidation products and elucidate the individual importance. They include basic trace gas and meteorological measurements such as ozone and water vapour concentrations, temperature (for terpene emission) and UV B radiation as a proxy for OH radical formation. We apply these new parameters to field studies conducted at conducted at Finnish and German measurement sites and compare these to nucleation observations on a daily and annual scale. General agreement was found, although the specific compounds responsible for the nucleation process remain speculative. This can be interpreted as follows: During cooler seasons the emission of biogenic terpenes and the OH availability limits the new particle formation while towards warmer seasons the ratio of ozone and water vapour concentration seems to dominate the general behaviour. Therefore, organics seem to support ambient nucleation besides sulphuric acid or an OH-related compound. Using these nucleation parameters to extrapolate the current conditions to prognosed future concentrations of ozone, water vapour and organic concentrations leads to a significant potential increase in the nucleation event number.
We developed a Monte Carlo event generator for production of nucleon configurations in complex nuclei consistently including effects of nucleon–nucleon (NN) correlations. Our approach is based on the Metropolis search for configurations satisfying essential constraints imposed by short- and long-range NN correlations, guided by the findings of realistic calculations of one- and two-body densities for medium-heavy nuclei. The produced event generator can be used for Monte Carlo (MC) studies of pA and AA collisions. We perform several tests of consistency of the code and comparison with previous models, in the case of high energy proton–nucleus scattering on an event-by-event basis, using nucleus configurations produced by our code and Glauber multiple scattering theory both for the uncorrelated and the correlated configurations; fluctuations of the average number of collisions are shown to be affected considerably by the introduction of NN correlations in the target nucleus. We also use the generator to estimate maximal possible gluon nuclear shadowing in a simple geometric model.
‘The whole is more than the sum of its parts.’ This idea has been brought forward by psychologists such as Max Wertheimer who formulated Gestalt laws that describe our perception. One law is that of collinearity: elements that correspond in their local orientation to their global axis of alignment form a collinear line, compared to a noncollinear line where local and global orientations are orthogonal. Psychophysical studies revealed a perceptual advantage for collinear over non-collinear stimulus context. It was suggested that this behavioral finding could be related to underlying neuronal mechanisms already in the primary visual cortex (V1). Studies have shown that neurons in V1 are linked according to a common fate: cells responding to collinearly aligned contours are predominantly interconnected by anisotropic long-range lateral connections. In the cat, the same holds true for visual interhemispheric connections. In the present study we aimed to test how the perceptual advantage of a collinear line is reflected in the anatomical properties within or between the two primary visual cortices. We applied two neurophysiological methods, electrode and optical recording, and reversibly deactivated the topographically corresponding contralateral region by cooling in eight anesthetized cats. In electrophysiology experiments our results revealed that influences by stimulus context significantly depend on a unit’s orientation preference. Vertical preferring units had on average a higher spike rate for collinear over non-collinear context. Horizontal preferring units showed the opposite result. Optical imaging experiments confirmed these findings for cortical areas assigned to vertical orientation preference. Further, when deactivating the contralateral region the spike rate for horizontal preferring units in the intact hemisphere significantly decreased in response to a collinear stimulus context. Most of the optical imaging experiments revealed a decrease in cortical activity in response to either stimulus context crossing the vertical midline. In conclusion, our results support the notion that modulating influences from stimulus context can be quite variable. We suggest that the kind of influence may depend on a cell’s orientation preference. The perceptual advantage of a collinear line as one of the Gestalt laws proposes is not uniformly represented in the activity of individual cells in V1. However, it is likely that the combined activity of many V1 neurons serves to activate neurons further up the processing stream which eventually leads to the perceptual phenomenon.
A framework for the analysis and visualization of multielectrode spike trains / von Ovidiu F. Jurjut
(2009)
The brain is a highly distributed system of constantly interacting neurons. Understanding how it gives rise to our subjective experiences and perceptions depends largely on understanding the neuronal mechanisms of information processing. These mechanisms are still poorly understood and a matter of ongoing debate remains the timescale on which the coding process evolves. Recently, multielectrode recordings of neuronal activity have begun to contribute substantially to elucidating how information coding is implemented in brain circuits. Unfortunately, analysis and interpretation of multielectrode data is often difficult because of their complexity and large volume. Here we propose a framework that enables the efficient analysis and visualization of multielectrode spiking data. First, using self-organizing maps, we identified reoccurring multi-neuronal spike patterns that evolve on various timescales. Second, we developed a color-based visualization technique for these patterns. They were mapped onto a three-dimensional color space based on their reciprocal similarities, i.e., similar patterns were assigned similar colors. This innovative representation enables a quick and comprehensive inspection of spiking data and provides a qualitative description of pattern distribution across entire datasets. Third, we quantified the observed pattern expression motifs and we investigated their contribution to the encoding of stimulus-related information. An emphasis was on the timescale on which patterns evolve, covering the temporal scales from synchrony up to mean firing rate. Using our multi-neuronal analysis framework, we investigated data recorded from the primary visual cortex of anesthetized cats. We found that cortical responses to dynamic stimuli are best described as successions of multi-neuronal activation patterns, i.e., trajectories in a multidimensional pattern space. Patterns that encode stimulus-specific information are not confined to a single timescale but can span a broad range of timescales, which are tightly related to the temporal dynamics of the stimuli. Therefore, the strict separation between synchrony and mean firing rate is somewhat artificial as these two represent only extreme cases of a continuum of timescales that are expressed in cortical dynamics. Results also indicate that timescales consistent with the time constants of neuronal membranes and fast synaptic transmission (~10-20 ms) appear to play a particularly salient role in coding, as patterns evolving on these timescales seem to be involved in the representation of stimuli with both slow and fast temporal dynamics.
The paper proposes a variation of simulation for checking and proving contextual equivalence in a non-deterministic call-by-need lambda-calculus with constructors, case, seq, and a letrec with cyclic dependencies. It also proposes a novel method to prove its correctness. The calculus’ semantics is based on a small-step rewrite semantics and on may-convergence. The cyclic nature of letrec bindings, as well as nondeterminism, makes known approaches to prove that simulation implies contextual equivalence, such as Howe’s proof technique, inapplicable in this setting. The basic technique for the simulation as well as the correctness proof is called pre-evaluation, which computes a set of answers for every closed expression. If simulation succeeds in finite computation depth, then it is guaranteed to show contextual preorder of expressions.