Fear assessment in pigs exposed to a novel object test

The experiment aimed to study approach and locomotive behaviour as indicators of fear in a novel object test carried out in pigs. Thirty post-weaning (30 kg) and 30 finishing (90 kg) pigs were exposed to visual, auditory and olfactory novel stimuli during 2 different experiments. The facilities consisted of a test pen in which a trough was located. The trough contained chopped apples. Once the animals were trained to enter the test pen individually they were subjected to 3 different fear stimuli. These stimuli were applied in the test pen and next to the trough. The variables studied were feeding behaviour, approach behaviour (the distance and position of the animal with respect to the trough) and locomotive behaviour (general activity, reluctance to move, turning back and retreat attempts). Two groups were studied: saline and midazolam treated group. Twenty minutes before the start of the sessions, 15 post-weaning and finishing pigs received an intramuscular injection of 0.20 and 0.15 mg/kg, respectively, midazolam (Dormicum1). The saline pigs (15 animals per group) were injected with saline. The administration of midazolam increased the feeding behaviour and approaching behaviour, and reduced the locomotive behaviour. In front of the visual and olfactory stimuli post-weaning pigs showed a higher general activity than finishing pigs, but the contrary was found when the auditory stimulus was applied. The olfactory stimulus was more related to the turning back behaviour, whereas the visual stimulus was more related to retreat attempts. Although it could be concluded that reluctant to move was the most common response to the different fear stimuli applied in our study regardless of the age of animals, the combination of reluctant to move and turning back would be a good criterion to assess fear in domestic pigs. The use of midazolam as anxiolytic for studies of fear in commercial conditions in pigs is recommended.

Neonatal exposure to LPS leads to heightened exploratory activity in adolescent rats

Although several reports have demonstrated physiological and behavioral changes in adult rats due to neonatal immune challenges, little is known about their effects in adolescence. Since neonatal exposure to lipopolysaccharide (LPS) alters the neural substrates involved in cognitive disorders, we tested the hypothesis that it may also alter the response to novel environments in adolescent rats. At 3 and 5 days of age, male Wistar rats received intraperitoneal injections of either vehicle solution or E. coli LPS (0.05 mg/kg) or were left undisturbed. In the mid-adolescent period, between 40 and 46 days of age, the rats were exposed to the following behavioral tests: elevated plus-maze, open-field, novel-object exploration task, hole-board and the modified Porsolt forced swim test. The results showed that, in comparison with control animals, LPS-treated rats exhibited (1) less anxiety-related behaviors and enhanced patterns of locomotion and rearing in the plus-maze and the open-field tests, (2) high levels of exploration of both objects in the novel-object task and of corner and central holes in hole-board test, and (3) more time spent diving, an active behavior in the forced swim test. The present findings suggest that neonatal LPS exposure has long-lasting effects on the behavior profile adolescent rats exhibit in response to novelty. This behavioral pattern, characterized by heightened exploratory activity in novel environments, also suggests that early immune stimulation may contribute to the development of impulsive behavior in adolescent rats. (C) 2010 Elsevier B.V. All rights reserved.

Learning Grasp Affordances from Vision

Monimutkaisissa ja muuttuvissa ympäristöissä työskentelevät robotit tarvitsevat kykyä manipuloida ja tarttua esineisiin. Tämä työ tutkii robottitarttumisen ja robottitartuntapis-teiden koneoppimisen aiempaa tutkimusta ja nykytilaa. Nykyaikaiset menetelmät käydään läpi, ja Le:n koneoppimiseen pohjautuva luokitin toteutetaan, koska se tarjoaa parhaan onnistumisprosentin tutkituista menetelmistä ja on muokattavissa sopivaksi käytettävissä olevalle robotille. Toteutettu menetelmä käyttää intensititeettikuvaan ja syvyyskuvaan po-hjautuvia ominaisuuksi luokitellakseen potentiaaliset tartuntapisteet. Tämän toteutuksen tulokset esitellään.

16/6-idiotype expressing antibodies induce brain inflammation and cognitive impairment in mice: the mosaic of central nervous system involvement in lupus

Background: The 16/6-idiotype (16/6-Id) of the human anti-DNA antibody was found to induce experimental lupus in naive mice, manifested by production of autoantibodies, leukopenia and elevated inflammatory markers, as well as kidney and brain involvement. We assessed behavior and brain pathology of naive mice injected intracerebra-ventricularly (ICV) with the 16/6-Id antibody. Methods: C3H female mice were injected ICV to the right hemisphere with the human 16/6-Id antibody or commercial human IgG antibodies (control). The mice were tested for depression by the forced swimming test (FST), locomotor and explorative activity by the staircase test, and cognitive functions were examined by the novel object recognition and Y-maze tests. Brain slices were stained for inflammatory processes. Results: 16/6-Id injected mice were cognitively impaired as shown by significant differences in the preference for a new object in the novel object recognition test compared to controls (P = 0.012). Similarly, the preference for spatial novelty in the Y-maze test was significantly higher in the control group compared to the 16/6-Id-injected mice (42% vs. 9%, respectively, P = 0.065). Depression-like behavior and locomotor activity were not significantly different between the16/6-Id-injected and the control mice. Immunohistochemistry analysis revealed an increase in astrocytes and microglial activation in the hippocampus and amygdala, in the 16/6-Id injected group compared to the control. Conclusions: Passive transfer of 16/6-Id antibodies directly into mice brain resulted in cognitive impairments and histological evidence for brain inflammation. These findings shed additional light on the diverse mosaic pathophysiology of neuropsychiatric lupus.

Language experience shapes the development of the mutual exclusivity bias

Halberda (2003) demonstrated that 17-month-old infants, but not 14- or 16-month-olds, use a strategy known as mutual exclusivity (ME) to identify the meanings of new words. When 17-month-olds were presented with a novel word in an intermodal preferential looking task, they preferentially fixated a novel object over an object for which they already had a name. We explored whether the development of this word-learning strategy is driven by children's experience of hearing only one name for each referent in their environment by comparing the behavior of infants from monolingual and bilingual homes. Monolingual infants aged 17–22 months showed clear evidence of using an ME strategy, in that they preferentially fixated the novel object when they were asked to "look at the dax." Bilingual infants of the same age and vocabulary size failed to show a similar pattern of behavior. We suggest that children who are raised with more than one language fail to develop an ME strategy in parallel with monolingual infants because development of the bias is a consequence of the monolingual child's everyday experiences with words.

Cloud bands over southern Africa: seasonality, contribution to rainfall variability, and modulation by the MJO

Tropical-extratropical cloud band systems over southern Africa, known as tropical temperate troughs (TTTs), are known to contribute substantially to South African summer rainfall. This study performs a comprehensive assessment of the seasonal cycle and rainfall contribution of TTTs by using a novel object-based strategy that explicitly tracks these systems for their full life cycle. The methodology incorporates a simple assignment of station rainfall data to each event, thereby creating a database containing detailed rainfall characteristics for each TTT. This is used to explore the importance of TTTs for rain days and climatological rainfall totals in October–March. Average contributions range from 30 to 60 % with substantial spatial heterogeneity observed. TTT rainfall contributions over the Highveld and eastern escarpment are lower than expected. A short analysis of TTT rainfall variability indicates TTTs provide substantial, but not dominant, intraseasonal and interannual variability in station rainfall totals. TTTs are however responsible for a high proportion of heavy rainfall days. Of 52 extreme rainfall events in the 1979–1999 period, 30 are associated with these tropical-extratropical interactions. Cut-off lows were included in the evolution of 6 of these TTTs. The study concludes with an analysis of the question: does the Madden-Julian Oscillation influence the intensity of TTT rainfall over South Africa? Results suggest a weak but significant suppression (enhancement) of intensity during phase 1(6).

An investigation of Hebbian phase sequences as assembly graphs

Hebb proposed that synapses between neurons that fire synchronously are strengthened, forming cell assemblies and phase sequences. The former, on a shorter scale, are ensembles of synchronized cells that function transiently as a closed processing system; the latter, on a larger scale, correspond to the sequential activation of cell assemblies able to represent percepts and behaviors. Nowadays, the recording of large neuronal populations allows for the detection of multiple cell assemblies. Within Hebb's theory, the next logical step is the analysis of phase sequences. Here we detected phase sequences as consecutive assembly activation patterns, and then analyzed their graph attributes in relation to behavior. We investigated action potentials recorded from the adult rat hippocampus and neocortex before, during and after novel object exploration (experimental periods). Within assembly graphs, each assembly corresponded to a node, and each edge corresponded to the temporal sequence of consecutive node activations. The sum of all assembly activations was proportional to firing rates, but the activity of individual assemblies was not. Assembly repertoire was stable across experimental periods, suggesting that novel experience does not create new assemblies in the adult rat. Assembly graph attributes, on the other hand, varied significantly across behavioral states and experimental periods, and were separable enough to correctly classify experimental periods (Naïve Bayes classifier; maximum AUROCs ranging from 0.55 to 0.99) and behavioral states (waking, slow wave sleep, and rapid eye movement sleep; maximum AUROCs ranging from 0.64 to 0.98). Our findings agree with Hebb's view that assemblies correspond to primitive building blocks of representation, nearly unchanged in the adult, while phase sequences are labile across behavioral states and change after novel experience. The results are compatible with a role for phase sequences in behavior and cognition.

Investigação do papel modulador do Haloperidol sobre os níveis de proteínas relacionadas à plasticidade e preferência por objetos novos em camudongos

Dopamine (DA) is known to regulate both sleep and memory formations, while sleep plays a critical role in the consolidation of different types of memories. We believe that pharmacological manipulation of dopaminergic pathways might disrupt the sleep-wake cycle, leading to mnemonic deficits, which can be observed in both behavioral and molecular levels. Therefore, here we investigated how systemic injections of haloperidol (0.3 mg/kg), immediately after training in dark and light periods, affects learning assessed in the novel object preference test (NOPT) in mice. We also investigated the hippocampal levels of the plasticity-related proteins Zif-268, brain-derived neurotrophic factor (BDNF) and phosphorylated Ca2+/calmodulin-dependent protein kinases II (CaMKII-P) in non-exposed (naïve), vehicle-injected controls and haloperidol-treated mice at 3, 6 and 12 hours after training in the light period. Haloperidol administration during the light period led to a subsequent impairment in the NOPT. In contrast, preference was not observed during the dark period neither in mice injected with haloperidol, nor in vehicle-injected animals. A partial increase of CaMKII-P in the hippocampal field CA3 of vehicle-injected mice was detected at 3h. Haloperidol-treated mice showed a significant decrease in the dentate gyrus of CaMKII-P levels at 3, 6 and 12h; of Zif-268 levels at 6h, and of BDNF levels at 12h after training. Since the mnemonic effects of haloperidol were only observed in the light period when animals tend to sleep, we suggest that these effects are related to REM sleep disruption after haloperidol injection

Efeitos dos esteroides anabólicos androgênicos sobre funções cognitivas de ratos

The use and the demand for substances that enhance masculinity, strength and sexual power are not novel. Over the years, this search has assisted the research directions in this area, leading to the discovery of the primary male sex hormone testosterone in 1935. Since then, numerous testosterone analogue compounds were synthesized, which are generically called Anabolic Androgenic Steroids (AAS). The AAS were produced for therapeutic purposes, but an increase in the use of these compounds for other purposes occurred over time. Initially they were used mainly to improve performance in athletes. However, recent studies have shown that the use of AAS by non-athletes with aesthetical purposes have been increasing as well. The abuse of AAS with non-clinical purposes can promote a number of physiological alterations, such as heart, liver, respiratory and psychological problems such as changes in mood, levels of anxiety and aggression. Exposure to supraphysiological doses of AAS is associated with behavioral changes, however, little is known about the effects of AAS on cognitive functions. In this work, we aimed to mimic the AAS abuse in humans with intramuscular administration of a supraphysiological dose of testosterone propionate (TP) in rats. We investigated the effects of this treatment on different aspects of cognitive function, specifically learning, memory and anxiety. Adult male Wistar rats were tested in the spontaneous alternation, novel object recognition and plus-maze discriminative avoidance tasks. The control group received intramuscular injections of vegetable oil (vehicle), and the TP group received injections of TP (10 mg/kg, i.m.). The injections were administered for 40 days, with intervals of 48 hours (chronic treatment) or in a single injection (acute treatment). In addition to the behavioral assessments, we performed biochemical analyzes as indicators of the endocrine effects of the treatment. Our results show that chronic treatment with a supraphysiological dose of TP caused memory impairments in the novel object recognition and the discriminative avoidance tasks. The spatial working memory (evaluated by spontaneous alternation task) was not affected. Also, we did not observe changes in anxiety levels. Regarding the biochemical parameters, chronic treatment increased serum levels of glutamicpyruvic transaminase, an indicator of hepatic and pancreatic lesions (as those observed after chronic use of these substances in humans). On the other hand, acute treatment with PT did not promote significant changes in any of these parameters when compared to the control group. In summary, we conclude that chronic treatment with a supraphysiological dose of testosterone propionate produces memory deficits in novel object recognition and retrieval of the discriminative avoidance task in adult male rats

Influência de fotoperíodo artificial no comportamento de um primata neotropical diurno (Callithrix jacchus)

One of the main environmental cues for the adjustment of temporal organization of the animals is the light-dark cycle (LD), which undergoes changes in phase duration throughout the seasons. Photoperiod signaling by melatonin in mammals allows behavioral changes along the year, as in the activity-rest cycle, in mood states and in cognitive performance. The aim of this study was to investigate if common marmoset (Callithrix jacchus) exhibits behavioral changes under short and long photoperiods in a 24h cycle, assessing their individual behaviors, vocal repertoire, exploratory activity (EA), recognition memory (RM) and the circadian rhythm of locomotor activity (CRA). Eight adult marmosets were exposed to a light-dark cycle of 12:12; LD 08:16; LD 12:12 and LD 16:08, sequentially, for four weeks in each condition. Locomotor activity was recorded 24h/day by passive infrared motion detectors above the individual cages. A video camera system was programmed to record each animal, twice a week, on the first two light hours. From the videos, frequency of behaviors was registered as anxiety-like, grooming, alert, hanging position, staying in nest box and feeding using continuous focal animal sampling method. Simultaneously, the calls emitted in the experimental room were recorded by a single microphone centrally located and categorized as affiliative (whirr, chirp), contact (phee), long distance (loud shrill), agonistic (twitter) and alarm (tsik, seep, see). EA was assessed on the third hour after lights onset on the last week of each condition. In a first session, marmosets were exposed to one unfamiliar object during 15 min and 24h later, on the second session, a novel object was added to evaluate RM. Results showed that long days caused a decreased of amplitude and period variance of the CRA, but not short days. Short days decreased the total daily activity and active phase duration. On long days, active phase duration increased due to an advance of activity onset in relation to symmetric days. However, not all subjects started the activity earlier on long days. The activity offset was similar to symmetric days for the majority of marmosets. Results of EA showed that RM was not affected by short or long days, and that the marmosets exhibited a decreased in duration of EA on long days. Frequency and type of calls and frequency of anxiety-like behaviors, staying in nest box and grooming were lower on the first two light hours on long days. Considering the whole active phase of marmosets as we elucidate the results of vocalizations and behaviors, it is possible that these changes in the first two light hours are due to the shifting of temporal distribution of marmoset activities, since some animals did not advance the activity onset on long days. Consequently, the marmosets mean decreased because the sampling was not possible. In conclusion, marmosets synchronized the CRA to the tested photoperiods and as the phase angle varied a lot among marmosets it is suggested that they can use different strategies. Also, long days had an effect on activity-rest cycle and exploratory behaviors

Competition Between Novelty and Cocaine Conditioned Reward Is Sensitive to Drug Dose and Retention Interval

The conditioned rewarding effects of novelty compete with those of cocaine for control over choice behavior using a place conditioning task. The purpose of the present study was to use multiple doses of cocaine to determine the extent of this competition and to determine whether novelty’s impact on cocaine reward was maintained over an abstinence period. In Experiment 1, rats were conditioned with cocaine (7.5, 20, or 30 mg/kg ip) to prefer one side of an unbiased place conditioning apparatus relative to the other. In a subsequent phase, all rats received alternating daily confinements to the previously cocaine paired and unpaired sides of the apparatus. During this phase, half the rats had access to a novel object on their initially unpaired side; the remaining rats did not receive objects. The ability of novelty to compete with cocaine in a drug free and cocaine challenge test was sensitive to cocaine dose. In Experiment 2, a place preference was established with 10 mg/kg cocaine and testing occurred after 1, 14, or 28 day retention intervals. Findings indicate that choice behaviors mediated by cocaine conditioning are reduced with the passing of time. Taken together, competition between cocaine and novelty conditioned rewards are sensitive to drug dose and retention interval.

Memory-rescuing effects of cannabidiol in an animal model of cognitive impairment relevant to neurodegenerative disorders

Rationale Cannabidiol, the main nonpsychotropic constituent of Cannabis sativa, possesses a large number of pharmacological effects including anticonvulsive, sedative, hypnotic, anxiolytic, antipsychotic, anti-inflammatory, and neuroprotective, as demonstrated in clinical and preclinical studies. Many neurodegenerative disorders involve cognitive deficits, and this has led to interest in whether cannabidiol could be useful in the treatment of memory impairment associated to these diseases. Objectives We used an animal model of cognitive impairment induced by iron overload in order to test the effects of cannabidiol in memory-impaired rats. Methods Rats received vehicle or iron at postnatal days 12-14. At the age of 2 months, they received an acute intraperitoneal injection of vehicle or cannabidiol (5.0 or 10.0 mg/kg) immediately after the training session of the novel object recognition task. In order to investigate the effects of chronic cannabidiol, iron-treated rats received daily intraperitoneal injections of cannabidiol for 14 days. Twenty-four hours after the last injection, they were submitted to object recognition training. Retention tests were performed 24 h after training. Results A single acute injection of cannabidiol at the highest dose was able to recover memory in iron-treated rats. Chronic cannabidiol improved recognition memory in iron-treated rats. Acute or chronic cannabidiol does not affect memory in control rats. Conclusions The present findings provide evidence suggesting the potential use of cannabidiol for the treatment of cognitive decline associated with neurodegenerative disorders. Further studies, including clinical trials, are warranted to determine the usefulness of cannabidiol in humans suffering from neurodegenerative disorders.

Role of nitric oxide and endocannabinoids in synaptic plasticity in the perirhinal cortex and in visual recognition memory

Introduction and aims of the research Nitric oxide (NO) and endocannabinoids (eCBs) are major retrograde messengers, involved in synaptic plasticity (long-term potentiation, LTP, and long-term depression, LTD) in many brain areas (including hippocampus and neocortex), as well as in learning and memory processes. NO is synthesized by NO synthase (NOS) in response to increased cytosolic Ca2+ and mainly exerts its functions through soluble guanylate cyclase (sGC) and cGMP production. The main target of cGMP is the cGMP-dependent protein kinase (PKG). Activity-dependent release of eCBs in the CNS leads to the activation of the Gαi/o-coupled cannabinoid receptor 1 (CB1) at both glutamatergic and inhibitory synapses. The perirhinal cortex (Prh) is a multimodal associative cortex of the temporal lobe, critically involved in visual recognition memory. LTD is proposed to be the cellular correlate underlying this form of memory. Cholinergic neurotransmission has been shown to play a critical role in both visual recognition memory and LTD in Prh. Moreover, visual recognition memory is one of the main cognitive functions impaired in the early stages of Alzheimer’s disease. The main aim of my research was to investigate the role of NO and ECBs in synaptic plasticity in rat Prh and in visual recognition memory. Part of this research was dedicated to the study of synaptic transmission and plasticity in a murine model (Tg2576) of Alzheimer’s disease. Methods Field potential recordings. Extracellular field potential recordings were carried out in horizontal Prh slices from Sprague-Dawley or Dark Agouti juvenile (p21-35) rats. LTD was induced with a single train of 3000 pulses delivered at 5 Hz (10 min), or via bath application of carbachol (Cch; 50 μM) for 10 min. LTP was induced by theta-burst stimulation (TBS). In addition, input/output curves and 5Hz-LTD were carried out in Prh slices from 3 month-old Tg2576 mice and littermate controls. Behavioural experiments. The spontaneous novel object exploration task was performed in intra-Prh bilaterally cannulated adult Dark Agouti rats. Drugs or vehicle (saline) were directly infused into the Prh 15 min before training to verify the role of nNOS and CB1 in visual recognition memory acquisition. Object recognition memory was tested at 20 min and 24h after the end of the training phase. Results Electrophysiological experiments in Prh slices from juvenile rats showed that 5Hz-LTD is due to the activation of the NOS/sGC/PKG pathway, whereas Cch-LTD relies on NOS/sGC but not PKG activation. By contrast, NO does not appear to be involved in LTP in this preparation. Furthermore, I found that eCBs are involved in LTP induction, but not in basal synaptic transmission, 5Hz-LTD and Cch-LTD. Behavioural experiments demonstrated that the blockade of nNOS impairs rat visual recognition memory tested at 24 hours, but not at 20 min; however, the blockade of CB1 did not affect visual recognition memory acquisition tested at both time points specified. In three month-old Tg2576 mice, deficits in basal synaptic transmission and 5Hz-LTD were observed compared to littermate controls. Conclusions The results obtained in Prh slices from juvenile rats indicate that NO and CB1 play a role in the induction of LTD and LTP, respectively. These results are confirmed by the observation that nNOS, but not CB1, is involved in visual recognition memory acquisition. The preliminary results obtained in the murine model of Alzheimer’s disease indicate that deficits in synaptic transmission and plasticity occur very early in Prh; further investigations are required to characterize the molecular mechanisms underlying these deficits.

Stimulus-induced gamma activity in the electrocorticogram of freely moving telemetric implanted rats: the neuronal signature of novelty detection

During this thesis a new telemetric recording system has been developed allowing ECoG/EEG recordings in freely behaving rodents (Lapray et al., 2008; Lapray et al., in press). This unit has been shown to not generate any discomfort in the implanted animals and to allow recordings in a wide range of environments. In the second part of this work the developed technique has been used to investigate what cortical activity was related to the process of novelty detection in rats’ barrel cortex. We showed that the detection of a novel object is accompanied in the barrel cortex by a transient burst of activity in the γ frequency range (40-47 Hz) around 200 ms after the whiskers contact with the object (Lapray et al., accepted). This activity was associated to a decrease in the lower range of γ frequencies (30-37 Hz). This network activity may represent the optimal oscillatory pattern for the propagation and storage of new information in memory related structures. The frequency as well as the timing of appearance correspond well with other studies concerning novelty detection related burst of activity in other sensory systems (Barcelo et al., 2006; Haenschel et al., 2000; Ranganath & Rainer, 2003). Here, the burst of activity is well suited to induce plastic and long-lasting modifications in neuronal circuits (Harris et al., 2003). The debate is still open whether synchronised activity in the brain is a part of information processing or an epiphenomenon (Shadlen & Movshon, 1999; Singer, 1999). The present work provides further evidence that neuronal network activity in the γ frequency range plays an important role in the neocortical processing of sensory stimuli and in higher cognitive functions.

Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity

El Análisis de Consumo de Recursos o Análisis de Coste trata de aproximar el coste de ejecutar un programa como una función dependiente de sus datos de entrada. A pesar de que existen trabajos previos a esta tesis doctoral que desarrollan potentes marcos para el análisis de coste de programas orientados a objetos, algunos aspectos avanzados, como la eficiencia, la precisión y la fiabilidad de los resultados, todavía deben ser estudiados en profundidad. Esta tesis aborda estos aspectos desde cuatro perspectivas diferentes: (1) Las estructuras de datos compartidas en la memoria del programa son una pesadilla para el análisis estático de programas. Trabajos recientes proponen una serie de condiciones de localidad para poder mantener de forma consistente información sobre los atributos de los objetos almacenados en memoria compartida, reemplazando éstos por variables locales no almacenadas en la memoria compartida. En esta tesis presentamos dos extensiones a estos trabajos: la primera es considerar, no sólo los accesos a los atributos, sino también los accesos a los elementos almacenados en arrays; la segunda se centra en los casos en los que las condiciones de localidad no se cumplen de forma incondicional, para lo cual, proponemos una técnica para encontrar las precondiciones necesarias para garantizar la consistencia de la información acerca de los datos almacenados en memoria. (2) El objetivo del análisis incremental es, dado un programa, los resultados de su análisis y una serie de cambios sobre el programa, obtener los nuevos resultados del análisis de la forma más eficiente posible, evitando reanalizar aquellos fragmentos de código que no se hayan visto afectados por los cambios. Los analizadores actuales todavía leen y analizan el programa completo de forma no incremental. Esta tesis presenta un análisis de coste incremental, que, dado un cambio en el programa, reconstruye la información sobre el coste del programa de todos los métodos afectados por el cambio de forma incremental. Para esto, proponemos (i) un algoritmo multi-dominio y de punto fijo que puede ser utilizado en todos los análisis globales necesarios para inferir el coste, y (ii) una novedosa forma de almacenar las expresiones de coste que nos permite reconstruir de forma incremental únicamente las funciones de coste de aquellos componentes afectados por el cambio. (3) Las garantías de coste obtenidas de forma automática por herramientas de análisis estático no son consideradas totalmente fiables salvo que la implementación de la herramienta o los resultados obtenidos sean verificados formalmente. Llevar a cabo el análisis de estas herramientas es una tarea titánica, ya que se trata de herramientas de gran tamaño y complejidad. En esta tesis nos centramos en el desarrollo de un marco formal para la verificación de las garantías de coste obtenidas por los analizadores en lugar de analizar las herramientas. Hemos implementado esta idea mediante la herramienta COSTA, un analizador de coste para programas Java y KeY, una herramienta de verificación de programas Java. De esta forma, COSTA genera las garantías de coste, mientras que KeY prueba la validez formal de los resultados obtenidos, generando de esta forma garantías de coste verificadas. (4) Hoy en día la concurrencia y los programas distribuidos son clave en el desarrollo de software. Los objetos concurrentes son un modelo de concurrencia asentado para el desarrollo de sistemas concurrentes. En este modelo, los objetos son las unidades de concurrencia y se comunican entre ellos mediante llamadas asíncronas a sus métodos. La distribución de las tareas sugiere que el análisis de coste debe inferir el coste de los diferentes componentes distribuidos por separado. En esta tesis proponemos un análisis de coste sensible a objetos que, utilizando los resultados obtenidos mediante un análisis de apunta-a, mantiene el coste de los diferentes componentes de forma independiente. Abstract Resource Analysis (a.k.a. Cost Analysis) tries to approximate the cost of executing programs as functions on their input data sizes and without actually having to execute the programs. While a powerful resource analysis framework on object-oriented programs existed before this thesis, advanced aspects to improve the efficiency, the accuracy and the reliability of the results of the analysis still need to be further investigated. This thesis tackles this need from the following four different perspectives. (1) Shared mutable data structures are the bane of formal reasoning and static analysis. Analyses which keep track of heap-allocated data are referred to as heap-sensitive. Recent work proposes locality conditions for soundly tracking field accesses by means of ghost non-heap allocated variables. In this thesis we present two extensions to this approach: the first extension is to consider arrays accesses (in addition to object fields), while the second extension focuses on handling cases for which the locality conditions cannot be proven unconditionally by finding aliasing preconditions under which tracking such heap locations is feasible. (2) The aim of incremental analysis is, given a program, its analysis results and a series of changes to the program, to obtain the new analysis results as efficiently as possible and, ideally, without having to (re-)analyze fragments of code that are not affected by the changes. During software development, programs are permanently modified but most analyzers still read and analyze the entire program at once in a non-incremental way. This thesis presents an incremental resource usage analysis which, after a change in the program is made, is able to reconstruct the upper-bounds of all affected methods in an incremental way. To this purpose, we propose (i) a multi-domain incremental fixed-point algorithm which can be used by all global analyses required to infer the cost, and (ii) a novel form of cost summaries that allows us to incrementally reconstruct only those components of cost functions affected by the change. (3) Resource guarantees that are automatically inferred by static analysis tools are generally not considered completely trustworthy, unless the tool implementation or the results are formally verified. Performing full-blown verification of such tools is a daunting task, since they are large and complex. In this thesis we focus on the development of a formal framework for the verification of the resource guarantees obtained by the analyzers, instead of verifying the tools. We have implemented this idea using COSTA, a state-of-the-art cost analyzer for Java programs and KeY, a state-of-the-art verification tool for Java source code. COSTA is able to derive upper-bounds of Java programs while KeY proves the validity of these bounds and provides a certificate. The main contribution of our work is to show that the proposed tools cooperation can be used for automatically producing verified resource guarantees. (4) Distribution and concurrency are today mainstream. Concurrent objects form a well established model for distributed concurrent systems. In this model, objects are the concurrency units that communicate via asynchronous method calls. Distribution suggests that analysis must infer the cost of the diverse distributed components separately. In this thesis we propose a novel object-sensitive cost analysis which, by using the results gathered by a points-to analysis, can keep the cost of the diverse distributed components separate.