Characterization of the neural mechanisms supporting the implementation of cognitive control in human decision making

Humans are particularly adept at modifying their behavior in accordance with changing environmental demands. Through various mechanisms of cognitive control, individuals are able to tailor actions to fit complex short- and long-term goals. The research described in this thesis uses functional magnetic resonance imaging to characterize the neural correlates of cognitive control at two levels of complexity: response inhibition and self-control in intertemporal choice. First, we examined changes in neural response associated with increased experience and skill in response inhibition; successful response inhibition was associated with decreased neural response over time in the right ventrolateral prefrontal cortex, a region widely implicated in cognitive control, providing evidence for increased neural efficiency with learned automaticity. We also examined a more abstract form of cognitive control using intertemporal choice. In two experiments, we identified putative neural substrates for individual differences in temporal discounting, or the tendency to prefer immediate to delayed rewards. Using dynamic causal models, we characterized the neural circuit between ventromedial prefrontal cortex, an area involved in valuation, and dorsolateral prefrontal cortex, a region implicated in self-control in intertemporal and dietary choice, and found that connectivity from dorsolateral prefrontal cortex to ventromedial prefrontal cortex increases at the time of choice, particularly when delayed rewards are chosen. Moreover, estimates of the strength of connectivity predicted out-of-sample individual rates of temporal discounting, suggesting a neurocomputational mechanism for variation in the ability to delay gratification. Next, we interrogated the hypothesis that individual differences in temporal discounting are in part explained by the ability to imagine future reward outcomes. Using a novel paradigm, we imaged neural response during the imagining of primary rewards, and identified negative correlations between activity in regions associated the processing of both real and imagined rewards (lateral orbitofrontal cortex and ventromedial prefrontal cortex, respectively) and the individual temporal discounting parameters estimated in the previous experiment. These data suggest that individuals who are better able to represent reward outcomes neurally are less susceptible to temporal discounting. Together, these findings provide further insight into role of the prefrontal cortex in implementing cognitive control, and propose neurobiological substrates for individual variation.

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.

Estudos para composição do eu e do(s) outro(s): enunciação, polifonia e imagens discursivas na cartilha da Campanha Nacional O Petróleo Tem que Ser Nosso

O anúncio dos gigantescos campos do pré-sal brasileiro recolocou o petróleo no alvo dos holofotes. A propriedade desta imensa riqueza e as inevitáveis mudanças na legislação do setor são as principais questões que derivam deste fato. Com efeito, temos assistido a uma proliferação de discursos acerca do tema. Esta dissertação se insere num conjunto de reflexões que tomam o petróleo como objeto de interesse. Privilegiamos um espaço específico de produção discursiva, a saber, o instituído pela Campanha Nacional O Petróleo Tem que Ser Nosso. Um primeiro procedimento metodológico de coleta de dados possibilitou identificar que, entre os seus materiais de mobilização, ganha destaque a cartilha de massas do movimento, que desde julho de 2009 circula pelo território nacional. Inscritos numa perspectiva da Análise do Discurso de base enunciativa, cuidamos de construir uma reflexão sobre alguns dos modos de inscrição do(s) sujeito(s) no discurso. Nossas considerações acerca dos gêneros do discurso revelaram o hibridismo da cartilha; tal peculiaridade nos obrigou a construir dispositivos distintos de análise. Num primeiro memento, decidimos observar as marcas de pessoa, os marcadores temporais e espaciais, com vistas a identificar uma dada cenografia discursiva (Maingueneau, 1997) que nos remetesse às imagens dos coenunciadores; consideramos, num segundo momento, os discursos relatados (Bakhtin, 2006; Authier-Revuz, 1998 e outros) para compreender a polifonia inerente à cartilha. Nossa análise verificou de que maneira um regime de verdade e uma memória se instituem pela cenografia discursiva; a análise dos discursos relatados, com ênfase nos discursos direto, indireto e narrativizado, nos permitiu identificar, no agenciamento das vozes, um espaço de confronto entre formações discursivas divergentes

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.

Temporal and spatial variations in the quality of water in El Gergal Reservior, Seville, Spain

It is often difficult to define ‘water quality’ with any degree of precision. One approach is that suggested by Battarbee (1997) and is based on the extent to which individual lakes have changed compared with their natural ‘baseline’ status. Defining the base-line status of artificial lakes and reservoirs however, is, very difficult. In ecological terms, the definition of quality must include some consideration of their functional characteristics and the extent to which these characteristics are self-sustaining. The challenge of managing lakes in a sustainable way is particularly acute in semi-arid, Mediterranean countries. Here the quality of the water is strongly influenced by the unpredictability of the rainfall as well as year-to-year variations in the seasonal averages. Wise management requires profound knowledge of how these systems function. Thus a holistic approach must be adopted and the factors influencing the seasonal dynamics of the lakes quantified over a range of spatial and temporal scales. In this article, the authors describe some of the ways in which both long-term and short-term changes in the weather have influenced the seasonal and spatial dynamics of phytoplankton in El Gergal, a water supply reservoir situated in the south of Spain. The quality of the water stored in this reservoir is typically very good but surface blooms of algae commonly appear during warm, calm periods when the water level is low. El Gergal reservoir is managed by the Empresa Municipal de Abastecimiento y Saneamiento (EMASESA) and supplies water for domestic, commercial and industrial use to an area which includes the city of Seville and twelve of its surrounding towns (ca. 1.3 million inhabitants). El Gergal is the last of two reservoirs in a chain of four situated in the Rivera de Huelva basin, a tributary of the Guadalquivir river. It was commissioned by EMASESA in 1979 and since then the company has monitored its main limnological parameters on, at least, a monthly basis and used this information to improve the management of the reservoir. As a consequence of these intensive studies the physical, chemical and biological information acquired during this period makes the El Gergal database one of the most complete in Spain. In this article the authors focus on three ‘weather-related’ effects that have had a significant impact on the composition and distribution of phytoplankton in El Gergal: (i) the changes associated with severe droughts; (ii) the spatial variations produced by short-term changes in the weather; (iii) the impact of water transfers on the seasonal dynamics of the dinoflagellate Ceratium.

Finite differences and a coupled analytic technique with applications to explosions and earthquakes

An analytic technique is developed that couples to finite difference calculations to extend the results to arbitrary distance. Finite differences and the analytic result, a boundary integral called two-dimensional Kirchhoff, are applied to simple models and three seismological problems dealing with data. The simple models include a thorough investigation of the seismologic effects of a deep continental basin. The first problem is explosions at Yucca Flat, in the Nevada test site. By modeling both near-field strong-motion records and teleseismic P-waves simultaneously, it is shown that scattered surface waves are responsible for teleseismic complexity. The second problem deals with explosions at Amchitka Island, Alaska. The near-field seismograms are investigated using a variety of complex structures and sources. The third problem involves regional seismograms of Imperial Valley, California earthquakes recorded at Pasadena, California. The data are shown to contain evidence of deterministic structure, but lack of more direct measurements of the structure and possible three-dimensional effects make two-dimensional modeling of these data difficult.