Low cost driver device for microclimate maintenance in the pre-milking of dairy cattle

Due to the importance of the environment on animal production and thus environmental control, the study aims to build a system for monitoring and control the meteorological variables, temperature and relative humidity, low cost, which can be associated with an evaporative cooling system (ECS). The system development included all the stages of assembly, test and laboratory calibration, and later the validation of the equipment carried in the field. The validation step showed results which allowed concluding that the system can be safely used in the monitoring of these variables. The controller was efficient in management of the microclimate in the waiting corral and allowed the maintenance of the air temperature within the comfort range for dairy cattle in pre-milking with averaged 25.09 ºC during the afternoon. The equipment showed the lower cost (R$ 325.76) when compared to other middle market (R$ 450.00).

Searching for keys to successful post-merger integration : a longitudinal case-study following a public sector merger

Unsuccessful mergers are unfortunately the rule rather than the exception. Therefore it is necessary to gain an enhanced understanding of mergers and post-merger integrations (PMI) as well as learning more about how mergers and PMIs of information systems (IS) and people can be facilitated. Studies on PMI of IS are scarce and public sector mergers are even less studied. There is nothing however to indicate that public sector mergers are any more successful than those in the private sector. This thesis covers five studies carried out between 2008 and 2011 in two organizations in higher education that merged in January 2010. The most recent study was carried out two years after the new university was established. The longitudinal case-study focused on the administrators and their opinions of the IS, the work situation and the merger in general. These issues were investigated before, during and after the merger. Both surveys and interviews were used to collect data, to which were added documents that both describe and guide the merger process; in this way we aimed at a triangulation of findings. Administrators were chosen as the focus of the study since public organizations are highly dependent on this staff category, forming the backbone of the organization and whose performance is a key success factor for the organization. Reliable and effective IS are also critical for maintaining a functional and effective organization, and this makes administrators highly dependent on their organizations’ IS for the ability to carry out their duties as intended. The case-study has confirmed the administrators’ dependency on IS that work well. A merger is likely to lead to changes in the IS and the routines associated with the administrators’ work. Hence it was especially interesting to study how the administrators viewed the merger and its consequences for IS and the work situation. The overall research objective is to find key issues for successful mergers and PMIs. The first explorative study in 2008 showed that the administrators were confident of their skills and knowledge of IS and had no fear of having to learn new IS due to the merger. Most administrators had an academic background and were not anxious about whether IS training would be given or not. Before the merger the administrators were positive and enthusiastic towards the merger and also to the changes that they expected. The studies carried out before the merger showed that these administrators were very satisfied with the information provided about the merger. This information was disseminated through various channels and even negative information and postponed decisions were quickly distributed. The study conflicts with the theories that have found that resistance to change is inevitable in a merger. Shortly after the merger the (third) study showed disappointment with the fact that fewer changes than expected had been implemented even if the changes that actually were carried out sometimes led to a more problematic work situation. This was seen to be more prominent for routine changes than IS changes. Still the administrators showed a clear willingness to change and to share their knowledge with new colleagues. This knowledge sharing (also tacit) worked well in the merger and the PMI. The majority reported that the most common way to learn to use new ISs and to apply new routines was by asking help from colleagues. They also needed to take responsibility for their own training and development. Five months after the merger (the fourth study) the administrators had become worried about the changes in communication strategy that had been implemented in the new university. This was perceived as being more anonymous. Furthermore, it was harder to get to know what was happening and to contact the new decision makers. The administrators found that decisions, and the authority to make decisions, had been moved to a higher administrative level than they were accustomed to. A directive management style is recommended in mergers in order to achieve a quick transition without distracting from the core business. A merger process may be tiresome and require considerable effort from the participants. In addition, not everyone can make their voice heard during a merger and consensus is not possible in every question. It is important to find out what is best for the new organization instead of simply claiming that the tried and tested methods of doing things should be implemented. A major problem turned out to be the lack of management continuity during the merger process. Especially problematic was the situation in the IS-department with many substitute managers during the whole merger process (even after the merger was carried out). This meant that no one was in charge of IS-issues and the PMI of IS. Moreover, the top managers were appointed very late in the process; in some cases after the merger was carried out. This led to missed opportunities for building trust and management credibility was heavily affected. The administrators felt neglected and that their competences and knowledge no longer counted. This, together with a reduced and altered information flow, led to rumours and distrust. Before the merger the administrators were convinced that their achievements contributed value to their organizations and that they worked effectively. After the merger they were less sure of their value contribution and effectiveness even if these factors were not totally discounted. The fifth study in November 2011 found that the administrators were still satisfied with their IS as they had been throughout the whole study. Furthermore, they believed that the IS department had done a good job despite challenging circumstances. Both the former organizations lacked IS strategies, which badly affected the IS strategizing during the merger and the PMI. IS strategies deal with issues like system ownership; namely who should pay and who is responsible for maintenance and system development, for organizing system training for new IS, and for effectively run IS even during changing circumstances (e.g. more users). A proactive approach is recommended for IS strategizing to work. This is particularly true during a merger and PMI for handling issues about what ISs should be adopted and implemented in the new organization, issues of integration and reengineering of IS-related processes. In the new university an ITstrategy had still not been decided 26 months after the new university was established. The study shows the importance of the decisive management of IS in a merger requiring that IS issues are addressed in the merger process and that IS decisions are made early. Moreover, the new management needs to be appointed early in order to work actively with the IS-strategizing. It is also necessary to build trust and to plan and make decisions about integration of IS and people.

Viitearkkitehtuuri Windows-sovelluksen käyttöliittymän modernisoimiseksi web-sovellukseksi

IT-järjestelmillä on tärkeä rooli organisaation liiketoiminnassa. Koska organisaation liiketoimintavaatimukset ja strategia muuttuvat ympäröivän maailman mukaan, täytyy järjestelmän arkkitehtuurin sopeutua vallitsevaan tilanteeseen sekä mahdollisiin muutoksiin lyhyellä ja pitkällä aikavälillä. Modernin web-sovelluksen arkkitehtuuri sopeutuu organisaation liiketoiminnan haasteisiin. Erityisesti hallinnolliseksi ongelmaksi organisaatiossa muodostuvat Windows-sovellukset, koska niiden ylläpito sitoo henkilöresursseja ja niiden käyttökonteksti on rajallinen. Tästä syystä organisaatiot ovat käyneet etsimään ratkaisuja kuinka korvata Windows-sovellukset web-sovelluksilla. Kustannustehokas ratkaisu on modernisoida Windows-sovelluksen käyttöliittymä web-sovellukseksi. Tämän diplomityön tavoitteena oli laatia Logica Suomi Oy yritykselle viitearkkitehtuuri Win-dows-sovelluksen käyttöliittymän modernisoimiseksi web-sovellukseksi. Työ suoritettiin Proof of Concept projektissa, jossa modernisointiin Logican pääkäyttäjäsovellus. Työn tarkoituksena oli tunnistaa laajalti käytetyt arkkitehtuurimallit ja menetelmät jotka mahdollistavat modernisoinnin toteutuksen. Lisäksi tarkoitus oli tunnistaa menetelmät ja ohjelmistot jotka mahdollistavat kustannustehokkaan ja laadukkaan web-sovelluksen kehittämisen ja toteuttamisen. Työn osatavoitteena oli laatia modernisoitavan pääkäyttäjäsovelluksen kokonaisarkkitehtuuri. Työn tuloksena saatiin viitearkkitehtuuri jota voidaan käyttää ja hyödyntää ohjelmistokehitysprojekteissa, asiakkaan dokumentaatiossa, myynnissä ja markkinoinnissa. Viitearkkitehtuurissa on esitelty modernit web-teknologiat joilla on mahdollista toteuttaa web-sovellus jonka käyttökokemus vastaa Windows-sovellusta. Lisäksi tuloksena saatiin pääkäyttäjäsovelluksen kokonaisarkkitehtuuri, jonka tärkeimpiä tuloksia ovat modernisoinnin tavoitetila ja sovellusarkkitehtuuri. Tärkeimpiä jatkotoimenpiteitä ovat viitearkkitehtuuriin pohjautuvan modernisointiviitekehyksen laadinta sekä modernisointiprojektin arviointiin käytettävien mittareiden määrittely, suunnittelu ja toteutus. Relevanttien mittareiden avulla voidaan todeta, vastaako modernisoitu sovellus organisaation liiketoimintavaatimuksia ja strategiaa.

Improved order fulfillment in paper production

For the paper mill profitability it is crucial to minimize overproduction and underproduction. Overproduction and underproduction both generate undesired costs and profit losses in paper mill production. This master’s thesis examines paper production order fulfillment subject from paper production level point of view. Research and development approach is selected due to clarification requirements in lately implemented manufacturing execution system. Manufacturing execution systems are generally expected to offer reliable and accurate information about mill production details. However, confusions are likely to occur after implementation of new manufacturing execution system. These confusions are usually harmful and become cumulatively more influential the longer they keep occurring. In this master’s thesis is presented actions to improve order fulfillment at paper mill production level. Central points of the improvement actions are a model for successful order fulfillment in paper mill production and manufacturing execution system catalogue configuration redesign. Improvement actions are implemented in Jokilaakso paper production plant and it is examined as a case study. In the end of this master’s thesis is presented performance measurements which demonstrate order fulfillment from case Jokilaakso.

Reusable formal architectures for networked systems

Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability of the simulated/verified systems is not thoroughly ensured. To address these challenges, the use of formal techniques to reason about network system development is growing, while at the same time, the mathematical background necessary for using formal techniques is a barrier for network designers to efficiently employ them. Thus, these techniques are not vastly used for developing networked systems. The objective of this thesis is to propose formal approaches for the development of reliable networked systems, by taking efficiency into account. With respect to reliability, we propose the architectural development of correct-by-construction networked system models. With respect to efficiency, we propose reusable network architectures as well as network development. At the core of our development methodology, we employ the abstraction and refinement techniques for the development and analysis of networked systems. We evaluate our proposal by employing the proposed architectures to a pervasive class of dynamic networks, i.e., wireless sensor network architectures as well as to a pervasive class of static networks, i.e., network-on-chip architectures. The ultimate goal of our research is to put forward the idea of building libraries of pre-proved rules for the efficient modelling, development, and analysis of networked systems. We take into account both qualitative and quantitative analysis of networks via varied formal tool support, using a theorem prover the Rodin platform and a statistical model checker the SMC-Uppaal.

Simulation of Active Control Using Fuzzy Logic Applied to a Pulse Combustor

This work analyzes an active fuzzy logic control system in a Rijke type pulse combustor. During the system development, a study of the existing types of control for pulse combustion was carried out and a simulation model was implemented to be used with the package Matlab and Simulink. Blocks which were not available in the simulator library were developed. A fuzzy controller was developed and its membership functions and inference rules were established. The obtained simulation showed that fuzzy logic is viable in the control of combustion instabilities. The obtained results indicated that the control system responded to pulses in an efficient and desirable way. It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms. The effects of delay variation were studied. Convergence was always obtained and general performance was not affected by the delay. The controller sends a pressure signal in phase with the Rijke tube internal pressure signal, through the speakers, when an increase the oscillations pressure amplitude is desired. On the other hand, when a decrease of the tube internal pressure amplitude is desired, the controller sends a signal 180º out of phase.

ERP Systems as Investments: Analysing Costs vs. Benefits

An ERP system investment analysis method using a Fuzzy Pay-Off approach for Real Option valuation is examined. It is studied, how the investment can be incrementally adopted and analyzed as a compounding Real Option model. The modeling allows follow-up. IS system development model COCOMO is presented as an example for investment analysis. The thesis presents the usage of Real Options as an alternative for the valuation of an investment. An idea is presented to use a continuous investment follow-up during the investment. This analysis can be performed using Real Options. As a tool for the analysis, the Fuzzy Pay-Off method is presented as an alternative for investment valuation.

SobekCM’s Community Ecosystems & Socio-Technical Practices

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Cross-talk between neurons and glia: highlights on soluble factors

The development of the nervous system is guided by a balanced action between intrinsic factors represented by the genetic program and epigenetic factors characterized by cell-cell interactions which neural cells might perform throughout nervous system morphogenesis. Highly relevant among them are neuron-glia interactions. Several soluble factors secreted by either glial or neuronal cells have been implicated in the mutual influence these cells exert on each other. In this review, we will focus our attention on recent advances in the understanding of the role of glial and neuronal trophic factors in nervous system development. We will argue that the functional architecture of the brain depends on an intimate neuron-glia partnership.

Transient outward potassium current and Ca2+ homeostasis in the heart: beyond the action potential

Normal central nervous system development relies on accurate intrinsic cellular programs as well as on extrinsic informative cues provided by extracellular molecules. Migration of neuronal progenitors from defined proliferative zones to their final location is a key event during embryonic and postnatal development. Extracellular matrix components play important roles in these processes, and interactions between neurons and extracellular matrix are fundamental for the normal development of the central nervous system. Guidance cues are provided by extracellular factors that orient neuronal migration. During cerebellar development, the extracellular matrix molecules laminin and fibronectin give support to neuronal precursor migration, while other molecules such as reelin, tenascin, and netrin orient their migration. Reelin and tenascin are extracellular matrix components that attract or repel neuronal precursors and axons during development through interaction with membrane receptors, and netrin associates with laminin and heparan sulfate proteoglycans, and binds to the extracellular matrix receptor integrins present on the neuronal surface. Altogether, the dynamic changes in the composition and distribution of extracellular matrix components provide external cues that direct neurons leaving their birthplaces to reach their correct final location. Understanding the molecular mechanisms that orient neurons to reach precisely their final location during development is fundamental to understand how neuronal misplacement leads to neurological diseases and eventually to find ways to treat them.

Power and Performance Management Strategies on NoC-Based Multicore Platforms, Using DVFS, Adaptive Algorithm and Task Parallelism

This work presents synopsis of efficient strategies used in power managements for achieving the most economical power and energy consumption in multicore systems, FPGA and NoC Platforms. In this work, a practical approach was taken, in an effort to validate the significance of the proposed Adaptive Power Management Algorithm (APMA), proposed for system developed, for this thesis project. This system comprise arithmetic and logic unit, up and down counters, adder, state machine and multiplexer. The essence of carrying this project firstly, is to develop a system that will be used for this power management project. Secondly, to perform area and power synopsis of the system on these various scalable technology platforms, UMC 90nm nanotechnology 1.2v, UMC 90nm nanotechnology 1.32v and UMC 0.18 μmNanotechnology 1.80v, in order to examine the difference in area and power consumption of the system on the platforms. Thirdly, to explore various strategies that can be used to reducing system’s power consumption and to propose an adaptive power management algorithm that can be used to reduce the power consumption of the system. The strategies introduced in this work comprise Dynamic Voltage Frequency Scaling (DVFS) and task parallelism. After the system development, it was run on FPGA board, basically NoC Platforms and on these various technology platforms UMC 90nm nanotechnology1.2v, UMC 90nm nanotechnology 1.32v and UMC180 nm nanotechnology 1.80v, the system synthesis was successfully accomplished, the simulated result analysis shows that the system meets all functional requirements, the power consumption and the area utilization were recorded and analyzed in chapter 7 of this work. This work extensively reviewed various strategies for managing power consumption which were quantitative research works by many researchers and companies, it's a mixture of study analysis and experimented lab works, it condensed and presents the whole basic concepts of power management strategy from quality technical papers.

Effets de l’alcoolisme fœtal sur le développement du corps genouillé latéral du singe

L’exposition du fœtus à l’éthanol est reconnue comme étant la principale cause de maladies évitables lors du développement. Une forte exposition à l’alcool durant la gestation peut occasionner des dysmorphies cranio-faciales et des retards mentaux, ainsi que des troubles d’apprentissages et du comportement. Le développement du système visuel est également perturbé chez une grande majorité d’enfants qui ont été exposés à l’alcool. Lorsque les doses prises sont élevées, le système visuel peut présenter une panoplie de symptômes comme une augmentation de la tortuosité des vaisseaux rétiniens, de la myopie, de l’hypermétropie, du strabisme et une hypoplasie du nerf optique. Cependant, très peu d’études se sont penchées sur les effets de plus faibles doses sur le développement du système visuel du primate. Le singe est un excellent modèle pour étudier le système visuel car il possède plusieurs similitudes avec l’humain tant au niveau développemental qu’au niveau structurel. De plus, le singe utilisé, le Chlrocebus aethiops sabeus, possède l’avantage que des individus de cette espèce ont une consommation naturelle et volontaire à l’alcool. Une étude (Clarren et al., 1990) a suggéré qu’une faible exposition à l’alcool du fœtus du primate non humain occasionnait une diminution du nombre de cellules ganglionnaires de la rétine (CGRs). Étant donné que le corps genouillé latéral dorsal (CGLd) reçoit la plupart de ses intrants de la rétine, il est raisonnable d’assumer que les couches rétino-récipientes du CGLd devraient être aussi affectées. Nous avons alors émis l’hypothèse que le CGLd devrait également subir une diminution du nombre de neurones. Pour la première fois, nous avons utilisé une méthode stéréologique pour quantifier le nombre de cellules dans les couches parvo- (P) et magnocellulaires (M) du CGLd. Contrairement à notre hypothèse de départ, nous n’avons pas observé de diminution dans le nombre global de neurones dans le CGLd des animaux exposés à l’alcool par rapport à des sujets contrôles, ni une diminution de son volume. Nous avons toutefois observé une diminution de la taille du corps cellulaire seulement dans la population M du CGLd. Ces résultats suggèrent que le système visuel est affecté par une faible exposition à l’alcool durant son développement qui devrait se traduire sur le comportement par des déficits dans les fonctions de la voie M.

Étude du rôle de Pax6 dans la gliogenèse

Les astrocytes sont des cellules gliales présentes dans le système nerveux central, qui exercent de nombreuses fonctions physiologiques essentielles et sont impliquées dans la réponse aux lésions et dans plusieurs pathologies du cerveau. Les astrocytes sont générés par les cellules de la glie radiale, les précurseurs communs de la plupart des cellules neuronales et gliales du cerveau, après le début de la production des neurones. Le passage de la neurogenèse à la gliogenèse est le résultat de mécanismes moléculaires complexes induits par des signaux intrinsèques et extrinsèques responsables du changement de propriété des précurseurs et de leur spécification. Le gène Pax6 code pour un facteur de transcription hautement conservé, impliqué dans plusieurs aspects du développement du système nerveux central, tels que la régionalisation et la neurogenèse. Il est exprimé à partir des stades les plus précoces dans les cellules neuroépithéliales (les cellules souches neurales) et dans la glie radiale, dérivant de la différenciation de ces cellules. L’objectif de cette étude est d’analyser le rôle de Pax6 dans la différenciation et dans le développement des astrocytes. À travers l’utilisation d’un modèle murin mutant nul pour Pax6, nous avons obtenu des résultats suggérant que la suppression de ce gène cause l'augmentation de la prolifération et de la capacité d'auto-renouvellement des cellules souches neurales embryonnaires. In vitro, les cellules mutantes prolifèrent de façon aberrante et sous-expriment les gènes p57Kip2, p16Ink4a, p19Arf et p21Cip1, qui inhibent la progression du le cycle cellulaire. De plus, Pax6 promeut la différenciation astrocytaire des cellules souches neurales embryonnaires et est requis pour la différenciation des astrocytes dans la moëlle épinière. Les mutants nuls pour Pax6 meurent après la naissance à cause de graves défauts développementaux dus aux fonctions essentielles de ce gène dans le développement embryonnaire de plusieurs organes. En utilisant un modèle murin conditionnel basé sur le système CRE/ loxP (hGFAP-CRE/ Pax6flox/flox) qui présente l’inactivation de Pax6 dans les cellules de la glie radiale, viable après la naissance, nous avons montré que Pax6 est impliqué dans la maturation et dans le développement post-natal des astrocytes. Le cortex cérébral des souris mutantes conditionnelles ne présente pas d’astrocytes matures à l’âge de 16 jours et une très faible quantité d’astrocytes immatures à l’âge de trois mois, suggérant que Pax6 promeut la différenciation et la maturation des astrocytes. De plus, Pax6 semble jouer un rôle même dans le processus de différenciation et de maturation de cellules gliales rétiniennes. L’étude des gènes et des mécanismes moléculaires impliqués dans la génération des astrocytes est crucial pour mieux comprendre le rôle physiologique et les altérations pathologiques des ces cellules.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Localisation régionale et subcellulaire du récepteur EphA7 dans l'hippocampe et le cervelet du rat adulte

EphA7 est un membre de la famille des récepteurs à tyrosine kinase, Eph, qui assume plusieurs rôles durant le développement du système nerveux central. Par ailleurs, il continue d’être fortement exprimé dans le cerveau adulte, notamment dans les régions reconnues pour leur grande plasticité synaptique, telles que l’hippocampe et le cervelet. Par hybridation in situ, nous avons cartographié la distribution de l’ARNm d’EphA7 dans le cerveau de rats et souris adultes. Les couches pyramidales du CA1 et CA3 et granulaire du gyrus dentelé de la formation de l’hippocampe ont montré le plus fort marquage. Un niveau d’ARNm d’EphA7 plus modéré a été observé dans l’habenula, le striatum, l’amygdale, le cervelet et le cortex cingulaire, piriforme et entorhinal. Quant à la protéine détectée par immunohistochimie, elle était fortement exprimée dans le neuropile de l’hippocampe et la couche des cellules de Purkinje du cervelet. En microscopie électronique, dans toutes les couches de l’hippocampe et du cervelet examinées, des épines dendritiques, des dendrites, des axones non-myélinisés, des terminaisons axonales et quelquefois des prolongements astrocytaires constituaient les éléments immunopositifs. Comme on pouvait déjà le voir en microscopie photonique, les corps cellulaires des cellules pyramidales et granulaires de l’hippocampe ainsi que des cellules de Purkinje du cervelet montraient aussi du marquage, surtout intracellulaire. L’analyse quantitative a révélé la localisation préférentielle d’EphA7 dans des dendrites et épines dendritiques. La majorité des épines marquées formaient des synapses asymétriques (excitatrices) avec des terminaisons axonales non marquées. La double localisation préférentielle d’EphA7 dans les dendrites ainsi que les densités post-synaptiques des épines dendritiques est compatible avec l’hypothèse d’un rôle d’EphA7 dans le maintien ou la fonction de certaines synapses du SNC adulte.