Neural representation of auditory temporal structure

Neurons in the songbird forebrain nucleus HVc are highly sensitive to auditory temporal context and have some of the most complex auditory tuning properties yet discovered. HVc is crucial for learning, perceiving, and producing song, thus it is important to understand the neural circuitry and mechanisms that give rise to these remarkable auditory response properties. This thesis investigates these issues experimentally and computationally.

Extracellular studies reported here compare the auditory context sensitivity of neurons in HV c with neurons in the afferent areas of field L. These demonstrate that there is a substantial increase in the auditory temporal context sensitivity from the areas of field L to HVc. Whole-cell recordings of HVc neurons from acute brain slices are described which show that excitatory synaptic transmission between HVc neurons involve the release of glutamate and the activation of both AMPA/kainate and NMDA-type glutamate receptors. Additionally, widespread inhibitory interactions exist between HVc neurons that are mediated by postsynaptic GABA_A receptors. Intracellular recordings of HVc auditory neurons in vivo provides evidence that HV c neurons encode information about temporal structure using a variety of cellular and synaptic mechanisms including syllable-specific inhibition, excitatory post-synaptic potentials with a range of different time courses, and burst-firing, and song-specific hyperpolarization.

The final part of this thesis presents two computational approaches for representing and learning temporal structure. The first method utilizes comput ational elements that are analogous to temporal combination sensitive neurons in HVc. A network of these elements can learn using local information and lateral inhibition. The second method presents a more general framework which allows a network to discover mixtures of temporal features in a continuous stream of input.

Temporal synchronization in optical parametric chirped pulse amplification laser system

The effect of temporal synchronization between the chirped signal pulse and the pumping pulse in an optical parametric chirped pulse amplification laser system is researched theoretically and experimentally. The results show that the gain of optical parametric amplification is sensitive to the temporal synchronization. Therefore, accurate temporal synchronization between the chirped signal pulse and the pumping pulse is essential to obtain high optical parametric amplification gain and stable output from an optical parametric chirped pulse amplification laser. Based on our 16.7-TW/120-fs optical parametric chirped pulse amplification laser system with similar to1-ns pumping pulse duration and <10-ps time jitter between the signal and pumping pulse, the effect of the temporal synchronization on optical parametric chirped pulse amplification is demonstrated. The experimental results agree with the calculation. (C) 2004 Society of Photo-Optical Instrumentation Engineers.

Diffraction integral formulas of the pulsed wave field in the temporal domain

To resolve the diffraction problems of the pulsed wave field directly in the temporal domain, we extend the Rayleigh diffraction integrals to the temporal domain and then discuss the approximation condition of this diffraction formula. (C) 1997 Optical Society of America.

Analysis of temporal structure in spike trains of visual cortical area MT

The temporal structure of neuronal spike trains in the visual cortex can provide detailed information about the stimulus and about the neuronal implementation of visual processing. Spike trains recorded from the macaque motion area MT in previous studies (Newsome et al., 1989a; Britten et al., 1992; Zohary et al., 1994) are analyzed here in the context of the dynamic random dot stimulus which was used to evoke them. If the stimulus is incoherent, the spike trains can be highly modulated and precisely locked in time to the stimulus. In contrast, the coherent motion stimulus creates little or no temporal modulation and allows us to study patterns in the spike train that may be intrinsic to the cortical circuitry in area MT. Long gaps in the spike train evoked by the preferred direction motion stimulus are found, and they appear to be symmetrical to bursts in the response to the anti-preferred direction of motion. A novel cross-correlation technique is used to establish that the gaps are correlated between pairs of neurons. Temporal modulation is also found in psychophysical experiments using a modified stimulus. A model is made that can account for the temporal modulation in terms of the computational theory of biological image motion processing. A frequency domain analysis of the stimulus reveals that it contains a repeated power spectrum that may account for psychophysical and electrophysiological observations.

Some neurons tend to fire bursts of action potentials while others avoid burst firing. Using numerical and analytical models of spike trains as Poisson processes with the addition of refractory periods and bursting, we are able to account for peaks in the power spectrum near 40 Hz without assuming the existence of an underlying oscillatory signal. A preliminary examination of the local field potential reveals that stimulus-locked oscillation appears briefly at the beginning of the trial.

Pulse temporal cleaner based on nonlinear ellipse rotation by using BK7 glass plate

We report a new pulse cleaning technique to enhance the contrast ratio of intense ultra-short laser pulses. A pulse temporal cleaner based on nonlinear ellipse rotation by using BK7 glass plate is developed, and a contrast ratio improvement of two orders of magnitude for the milli-joule level femtosecond input pulses is demonstrated, the total transmission efficiency of the pulse cleaner is 16.7%.

Control of dynamical systems with temporal logic specifications

This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control and hybrid systems communities. Given a system model and a formal task specification, the goal is to automatically synthesize a control policy for the system that ensures that the system satisfies the specification. This thesis presents novel control policy synthesis algorithms for optimal and robust control of dynamical systems with temporal logic specifications. Furthermore, it introduces algorithms that are efficient and extend to high-dimensional dynamical systems.

The first contribution of this thesis is the generalization of a classical linear temporal logic (LTL) control synthesis approach to optimal and robust control. We show how we can extend automata-based synthesis techniques for discrete abstractions of dynamical systems to create optimal and robust controllers that are guaranteed to satisfy an LTL specification. Such optimal and robust controllers can be computed at little extra computational cost compared to computing a feasible controller.

The second contribution of this thesis addresses the scalability of control synthesis with LTL specifications. A major limitation of the standard automaton-based approach for control with LTL specifications is that the automaton might be doubly-exponential in the size of the LTL specification. We introduce a fragment of LTL for which one can compute feasible control policies in time polynomial in the size of the system and specification. Additionally, we show how to compute optimal control policies for a variety of cost functions, and identify interesting cases when this can be done in polynomial time. These techniques are particularly relevant for online control, as one can guarantee that a feasible solution can be found quickly, and then iteratively improve on the quality as time permits.

The final contribution of this thesis is a set of algorithms for computing feasible trajectories for high-dimensional, nonlinear systems with LTL specifications. These algorithms avoid a potentially computationally-expensive process of computing a discrete abstraction, and instead compute directly on the system's continuous state space. The first method uses an automaton representing the specification to directly encode a series of constrained-reachability subproblems, which can be solved in a modular fashion by using standard techniques. The second method encodes an LTL formula as mixed-integer linear programming constraints on the dynamical system. We demonstrate these approaches with numerical experiments on temporal logic motion planning problems with high-dimensional (10+ states) continuous systems.

Temporal and spacial control of RNA stability in the early embryo of Drosophila melanogaster

Early embryogenesis in metazoa is controlled by maternally synthesized products. Among these products, the mature egg is loaded with transcripts representing approximately two thirds of the genome. A subset of this maternal RNA pool is degraded prior to the transition to zygotic control of development. This transfer of control of development from maternal to zygotic products is referred to as the midblastula transition (or MBT). It is believed that the degradation of maternal transcripts is required to terminate maternal control of development and to allow zygotic control of development to begin. Until now this process of maternal transcript degradation and the subsequent timing of the MBT has been poorly understood. I have demonstrated that in the early embryo there are two independent RNA degradation pathways, either of which is sufficient for transcript elimination. However, only the concerted action of both pathways leads to elimination of transcripts with the correct timing, at the MBT. The first pathway is maternally encoded, is triggered by egg activation, and is targeted to specific classes of mRNAs through cis-acting elements in the 3' untranslated region (UTR}. The second pathway is activated 2 hr after fertilization and functions together with the maternal pathway to ensure that transcripts are degraded by the MBT. In addition, some transcripts fail to degrade at select subcellular locations adding an element of spatial control to RNA degradation. The spatial control of RNA degradation is achieved by protecting, or masking, transcripts from the degradation machinery. The RNA degradation and protection events are regulated by distinct cis-elements in the 3' untranslated region (UTR). These results provide the first systematic dissection of this highly conserved process in development and demonstrate that RNA degradation is a novel mechanism used for both temporal and spatial control of development.

Temporal characteristic simulation for stimulated emission depletion microscopy

The imaging technology of stimulated emission depletion (STED) utilizes the nonlinearity relationship between the fluorescence saturation and the excited state stimulated depletion. It implements three-dimensional (3D) imaging and breaks the diffraction barrier of far-field light microscopy by restricting fluorescent molecules at a sub-diffraction spot. In order to improve the resolution which attained by this technology, the computer simulation on temporal behavior of population probabilities of the sample was made in this paper, and the optimized parameters such as intensity, duration and delay time of the STED pulse were given.

Accurate determination of the absolute phase and temporal-pulse phase of few-cycle laser pulses

A Fourier analysis method is used to accurately determine not only the absolute phase but also the temporal-pulse phase of an isolated few-cycle (chirped) laser pulse. This method is independent of the pulse shape and can fully characterize the light wave even though only a few samples per optical cycle are available. It paves the way for investigating the absolute phase-dependent extreme nonlinear optics, and the evolutions of the absolute phase and the temporal-pulse phase of few-cycle laser pulses.

Temporal confinement and enhancement of high-order harmonic emission with a synthesized laser field

We demonstrated that a synthesized laser field consisting of an intense long (45 fs, multi-optical-cycle) laser pulse and a weak short (7 fs, few-optical-cycle) laser pulse can control the electron dynamics and high-order harmonic generation in argon, and generate extreme ultraviolet supercontinuum towards the production of a single strong attosecond pulse. The long pulse offers a large amplitude field, and the short pulse creates a temporally narrow enhancement of the laser field and a gate for the highest energy harmonic emission. This scheme paves the way to generate intense isolated attosecond pulses with strong multi-optical-cycle laser pulses.

Hunting spectro-temporal information in unevenly spaced paleoclimate time series

18 p.

Estimación de concentraciones de radicales nitrato (NO . 3) e hidroxilo ( . OH) en la atmósfera a partir de medidas de HCNM de alta resolución temporal

[ES]Los radicales nitrato e hidroxilo son especies químicas implicadas en la contaminación atmosférica. En el presente trabajo se ha tratado de estimar sus concentraciones empleando para ello medidas de las concentraciones de varios compuestos orgánicos volátiles registradas en el Parque Natural de Valderejo (Araba). La metodología de cálculo ya había sido empleada anteriormente para el ·OH y es la primera vez que se ha aplicado a concentraciones de NO·3 en una zona rural. Las concentraciones de radical hidroxilo calculadas (6,02·106 - 8,06·106 molec. cm-3) concuerdan con las obtenidas en medidas y estudios anteriores. En el caso del radical nitrato, las concentraciones estimadas (2,13·1011 – 2,02·1012 molec. cm-3) son bastante superiores a las encontradas en la bibliografía, por lo que se ha concluido que esta técnica de medida no es válida para el cálculo de NO·3 en una atmósfera de fondo rural como Valderejo. Esta desviación se debe probablemente a otros procesos no contemplados en la hipótesis de cálculo, por lo que se propone continuar con el estudio en este área.

O argumento pragmático ou consequencialista de cunho econômico e a modulação temporal dos efeitos das decisões do Supremo Tribunal Federal em matéria tributária

A tese analisa a relação íntima que há entre o pragmatismo ou o conseqüencialismo e a modulação temporal dos efeitos das decisões judiciais. Nesta relação, interessa ressaltar o ponto de interseção que certamente sobressai em várias ocasiões: o argumento de cunho econômico. Tal tipo de argumento pode assumir especial relevo quando do exame da oportunidade e conveniência na tomada das decisões eminentemente políticas. No âmbito jurisdicional, no entanto, o argumento pragmático ou consequencialista de cunho econômico não deve prevalecer como fundamento das decisões judiciais, especialmente cuidando-se de matéria tributária. Os problemas que centralizam o estudo podem ser colocados através das seguintes indagações: é possível que o Supremo Tribunal Federal compute, no julgamento de certa matéria tributária, argumento como o eventual rombo de X bilhões de reais que a decisão contrária ao Fisco possa acarretar para os cofres públicos? A fundamentação de eventual decisão judicial calcada exclusiva ou predominantemente em tal argumento é legítima ou ilegítima? Que importância pode ter na tomada de decisão judicial? Quando aplicada, há parâmetros a serem seguidos? Quais? Demonstramos que a prevalência de tal argumento é inadequada na seara judicial, ou seja, deve ter peso reduzido ou periférico, servindo para corroborar ou reforçar os argumentos jurídicos que centralizam o debate submetido ao exame do Poder Judiciário de modo geral, e do Supremo Tribunal Federal, de maneira particular. Em busca de esclarecer quais os principais limites e possibilidades de tal argumento, especialmente relacionando-o à modulação temporal dos efeitos da decisão judicial, explicitamos algumas regras necessárias para a sua adequada utilização, sob pena de inconcebível subversão de variados princípios e direitos fundamentais assegurados em sede constitucional. No exame das questões submetidas à apreciação da Corte Suprema em matéria tributária, o seu parâmetro consiste na maior efetividade e concretude ao texto constitucional. A modulação temporal dos efeitos se aplica a uma decisão que, declarando a inconstitucionalidade do ato normativo, se afastaria ainda mais da vontade constitucional, caso fosse aplicado o tradicional efeito ex tunc (retroativo até o nascimento da lei). Nestas situações específicas e excepcionais se justifica aplicar a modulação, com vistas a dar maior concretude e emprestar maior eficácia à Constituição. A tese proposta, ao final, consiste na reunião das regras explicitadas no trabalho e em proposta legislativa.