Impact d’un épisode asphyxique périnatal associé à des convulsions sur le développement des interneurones corticaux : rôle de l’adenosine monophosphate-activated protein kinase (AMPK)

L’encéphalopathie hypoxique-­‐ischémique cause des milliers de victimes à travers le monde chaque année. Les enfants survivants à un épisode hypoxique-­‐ischémique sont à risque de développer des problèmes neurologiques incapacitants comme une paralysie cérébrale, un retard mental, une épilepsie ou des troubles d’ordre comportemental. Les modèles animaux ont amélioré nos connaissances sur les mécanismes sous-­‐jacents aux dommages cérébraux, mais elles sont encore trop incomplètes pour être capables de prévenir les problèmes neurologiques. Ce projet vise à comprendre l’impact d’un épisode asphyxique périnatale associé à des convulsions ainsi que l’activation de l’adenosine monophosphate-­‐activated protein kinase (AMPK) sur les circuits GABAergiques inhibiteurs en développement chez la souris. Dans le but d’investiguer le sort des neurones inhibiteurs, appelés interneurones, suite à un épisode asphyxique périnatal associé à des convulsions avec des animaux transgéniques, nous avons pris avantage d’un nouveau modèle d’hypoxie permettant d’induire des convulsions chez la souris. Deux populations d’interneurones représentant ensemble environ 60% de tous les interneurones corticaux ont été étudiées, soit les cellules exprimant la parvalbumine (PV) et les cellules exprimant la somatostatine (SOM). L’étude stéréologique n’a montré aucune mort neuronale de ces deux populations d’interneurones dans l’hippocampe chez les souris hypoxique d’âge adulte. Par contre, le cortex des souris hypoxiques présentait des zones complètement ou fortement dépourvues de cellules PV alors que les cellules SOM n’étaient pas affectées. L’utilisation d’une lignée de souris transgénique exprimant une protéine verte fluorescente (GFP) dans les cellules PV nous a permis de comprendre que les trous PV sont le reflet de deux choses : 1) une diminution des cellules PV et 2) une immaturité des cellules PV restantes. Puisque les cellules PV sont spécifiquement affectées dans la première partie de notre étude, nous avons voulu étudier les mécanismes moléculaires sous-­‐jacents à cette vulnérabilité. L’AMPK est un senseur d’énergie qui orchestre le rétablissement des i niveaux d’énergie cellulaire dans le cas d’une déplétion énergétique en modulant des voies de signalisation impliquant la synthèse de protéines et l’excitabilité membranaire. Il est possible que l’activation d’AMPK suite à un épisode asphyxique périnatal associé à des convulsions soit néfaste à long-­‐terme pour le circuit GABAergique en développement et modifie l’établissement de l’innervation périsomatique d’une cellule PV sur les cellules pyramidales. Nous avons étudié cette hypothèse dans un modèle de culture organotypique en surexprimant la forme wild-­‐type (WT) de la sous-­‐unité α2 d’AMPK, ainsi qu’une forme mutée dominante négative (DN), dans des cellules PV individuelles. Nous avons montré que pendant la phase de formation synaptique (jours post-­‐natals équivalents EP 10-­‐18), la surexpression de la forme WT désorganise la stabilisation des synapses. De plus, l’abolition de l’activité d’AMPK semble augmenter le nombre de synapses périsomatiques faits par la cellule PV sur les cellules pyramidales pendant la phase de formation et semble avoir l’effet inverse pendant la phase de maturation (EP 16-­‐24). La neurotransmission GABAergique joue plusieurs rôles dans le cerveau, depuis la naissance jusqu’à l’âge adulte des interneurones, et une dysfonction des interneurones a été associée à plusieurs troubles neurologiques, comme la schizophrénie, l’autisme et l’épilepsie. La maturation des circuits GABAergiques se fait majoritairement pendant la période post-­‐natale et est hautement dépendante de l’activité neuronale et de l’expérience sensorielle. Nos résultats révèlent que le lourd fardeau en demande énergétique d’un épisode asphyxique périnatal peut causer une mort neuronale sélective des cellules PV et compromettre l’intégrité de leur maturation. Un des mécanismes sous-­‐ jacents possible à cette immaturité des cellules PV suite à l’épisode hypoxique est l’activation d’AMPK, en désorganisant leur profil d’innervation sur les cellules pyramidales. Nous pensons que ces changements dans le réseau GABAergique pourrait contribuer aux problèmes neurologiques associés à une insulte hypoxique.

Investigation de l'implication des neurones GABAergiques exprimant la parvalbumine dans les déficits cognitifs associés aux délétions du gène Cacna1a.

Les mutations du gène CACNA1A, encodant la sous-unité α du canal calcique voltage-dépendant CaV2.1, causent l’ataxie épisodique de type 2 (EA2) chez l’humain. Nous avons investigué une cohorte de 16 patients de quatre familles canadiennes-françaises porteurs de mutations induisant une perte de fonction du gène CACNA1A. Outre une ataxie épisodique et un risque élevé d’épilepsie, la majorité de ces patients présentait des symptômes neurocognitifs incluant de l’inattention, des troubles d’apprentissage et une rigidité cognitive. Nous avons récemment démontré qu’une délétion sélective de Cacna1a dans les interneurones (INs) GABAergiques corticaux induit une dysfonction synaptique des IN exprimant la parvalbumine (PV) et suffit à induire une épilepsie généralisée. Cependant, les mécanismes sous-tendant l’atteinte cognitive associée aux délétions du gène CACNA1A sont inconnus. Nous postulons que la perte sélective d’inhibition périsomatique corticale résultant de la dysfonction synaptique des IN PV contribue aux déficits cognitifs associés aux délétions de Cacna1a. Afin d’investiguer cette hypothèse, nous avons généré une lignée de souris mutantes portant une délétion hétérozygote conditionnelle de Cacna1a restreinte aux populations neuronales exprimant la PV (PVcre; Cacna1ac/+). En couplant optogénétique et électrophysiologie, nous avons démontré que cette mutation affecte significativement l’inhibition des cellules pyramidales du cortex orbitofrontal par les IN PV. Nous avons de plus démontré que les mutants PVcre; Cacna1ac/+ présentent des troubles d’impulsivité et de rigidité cognitive dans différents paradigmes comportementaux. En conclusion, nos travaux suggèrent qu’une haploinsuffisance de Cacna1a engendre des déficits cognitifs et comportementaux en partie imputables à une dysfonction de l’inhibition périsomatique au niveau des circuits orbitofrontaux.

FPGA-based object detection using classification circuits

Dans l'apprentissage machine, la classification est le processus d’assigner une nouvelle observation à une certaine catégorie. Les classifieurs qui mettent en œuvre des algorithmes de classification ont été largement étudié au cours des dernières décennies. Les classifieurs traditionnels sont basés sur des algorithmes tels que le SVM et les réseaux de neurones, et sont généralement exécutés par des logiciels sur CPUs qui fait que le système souffre d’un manque de performance et d’une forte consommation d'énergie. Bien que les GPUs puissent être utilisés pour accélérer le calcul de certains classifieurs, leur grande consommation de puissance empêche la technologie d'être mise en œuvre sur des appareils portables tels que les systèmes embarqués. Pour rendre le système de classification plus léger, les classifieurs devraient être capable de fonctionner sur un système matériel plus compact au lieu d'un groupe de CPUs ou GPUs, et les classifieurs eux-mêmes devraient être optimisés pour ce matériel. Dans ce mémoire, nous explorons la mise en œuvre d'un classifieur novateur sur une plate-forme matérielle à base de FPGA. Le classifieur, conçu par Alain Tapp (Université de Montréal), est basé sur une grande quantité de tables de recherche qui forment des circuits arborescents qui effectuent les tâches de classification. Le FPGA semble être un élément fait sur mesure pour mettre en œuvre ce classifieur avec ses riches ressources de tables de recherche et l'architecture à parallélisme élevé. Notre travail montre que les FPGAs peuvent implémenter plusieurs classifieurs et faire les classification sur des images haute définition à une vitesse très élevée.

Mécanismes cellulaires et moléculaires impliqués dans le développement des synapses GABAergiques périsomatiques et dans la plasticité corticale : rôle de l’activité neuronale et de proBDNF/p75NTR

Dans le cortex visuel des mammifères, une cellule à panier (BC) qui représente un sous-type majoritaire d’interneurones GABAergiques, innerve une centaine de neurones par une multitude de synapses localisées sur le soma et sur les dendrites proximales de chacune de ses cibles. De plus, ces cellules sont importantes pour la génération des rythmes gammas, qui régulent de nombreuses fonctions cognitives, et pour la régulation de la plasticité corticale. Bien que la fonction des BC au sein des réseaux corticaux est à l'étude, les mécanismes qui contrôlent le développement de leur arborisation complexe ainsi que de leurs nombreux contacts synaptiques n’ont pas été entièrement déterminés. En utilisant les récepteurs allatostatines couplés aux protéines G de la drosophile (AlstR), nous démontrons in vitro que la réduction de l'excitation ainsi que la réduction de la libération des neurotransmetteurs par les BCs corticales individuelles des souris, diminuent le nombre de cellules innervées sans modifier le patron d'innervation périsomatique, durant et après la phase de prolifération des synapses périsomatiques. Inversement, lors de la suppression complète de la libération des neurotransmetteurs par les BCs individuelles avec l’utilisation de la chaîne légère de la toxine tétanus, nous observons des effets contraires selon le stade de développement. Les BCs exprimant TeNT-Lc pendant la phase de prolifération sont caractérisées par des arborisations axonales plus denses et un nombre accru de petits boutons homogènes autour des somas innervés. Toutefois, les cellules transfectées avec TeNT-Lc après la phase de la prolifération forment une innervation périsomatique avec moins de branchements terminaux d’axones et un nombre réduit de boutons avec une taille irrégulière autour des somas innervés. Nos résultats révèlent le rôle spécifique des niveaux de l’activité neuronale et de la neurotransmission dans l'établissement du territoire synaptique des cellules GABAergiques corticaux. Le facteur neurotrophique dérivé du cerveau (BDNF) est un modulateur puissant de la maturation activité-dépendante des synapses GABAergiques. Grâce à l'activation et à la signalisation de son récepteur tyrosine kinase B (TrkB), la liaison de mBDNF module fortement la prolifération des synapses périsomatiques GABAergiques formés par les BCs. Par contre, le rôle du récepteur neurotrophique de faible affinité, p75NTR, dans le développement du territoire synaptique des cellules reste encore inconnu. Dans ce projet, nous démontrons que la suppression de p75NTR au niveau des BCs individuelles in vitro provenant de souris p75NTRlox induit la formation d'une innervation périsomatique exubérante. BDNF est synthétisé sous une forme précurseur, proBDNF, qui est par la suite clivée par des enzymes, y compris la plasmine activée par tPA, pour produire une forme mature de BDNF (m)BDNF. mBDNF et proBDNF se lient avec une forte affinité à TrkB et p75NTR, respectivement. Nos résultats démontrent qu’un traitement des cultures organotypiques avec la forme résistante au clivage de proBDNF (mut-proBDNF) réduit fortement le territoire synaptique des BCs. Les cultures traitées avec le peptide PPACK, qui inactive tPA, ou avec tPA altèrent et favorisent respectivement la maturation de l’innervation synaptique des BCs. Nous démontrons aussi que l’innervation exubérante formée par les BCs p75NTR-/- n’est pas affectée par un traitement avec mut-proBDNF. L’ensemble de ces résultats suggère que l'activation de p75NTR via proBDNF régule négativement le territoire synaptique des BCs corticaux. Nous avons ensuite examiné si mut-proBDNF affecte l’innervation périsomatique formée par les BCs in vivo, chez la souris adulte. Nous avons constaté que les boutons GABAergiques périsomatiques sont significativement diminués dans le cortex infusé avec mut-proBDNF par rapport à l’hémisphère non-infusé ou traité avec de la saline. En outre, la plasticité de la dominance oculaire (OD) est rétablie par ce traitement chez la souris adulte. Enfin, en utilisant des souris qui ne possèdent pas le récepteur p75NTR dans leurs BCs spécifiquement, nous avons démontré que l'activation de p75NTR via proBDNF est nécessaire pour induire la plasticité de la OD chez les souris adultes. L’ensemble de ces résultats démontre un rôle critique de l'activation de p75NTR dans la régulation et le maintien de la connectivité des circuits GABAergiques, qui commencent lors du développement postnatal précoce jusqu’à l'âge adulte. De plus, nous suggérons que l'activation contrôlée de p75NTR pourrait être un outil utile pour restaurer la plasticité dans le cortex adulte.

Bases moléculaires et cellulaires d’un trouble neurodéveloppemental causé par l’haploinsuffisance de SYNGAP1.

La déficience intellectuelle est la cause d’handicap la plus fréquente chez l’enfant. De nombreuses évidences convergent vers l’idée selon laquelle des altérations dans les gènes synaptiques puissent expliquer une fraction significative des affections neurodéveloppementales telles que la déficience intellectuelle ou encore l’autisme. Jusqu’à récemment, la majorité des mutations associées à la déficience intellectuelle a été liée au chromosome X ou à la transmission autosomique récessive. D’un autre côté, plusieurs études récentes suggèrent que des mutations de novo dans des gènes à transmission autosomique dominante, requis dans les processus de la plasticité synaptique peuvent être à la source d’une importante fraction des cas de déficience intellectuelle non syndromique. Par des techniques permettant la capture de l’exome et le séquençage de l’ADN génomique, notre laboratoire a précédemment reporté les premières mutations pathogéniques dans le gène à transmission autosomique dominante SYNGAP1. Ces dernières ont été associées à des troubles comportementaux tels que la déficience intellectuelle, l’inattention, des problèmes d’humeur, d’impulsivité et d’agressions physiques. D’autres patients sont diagnostiqués avec des troubles autistiques et/ou des formes particulières d’épilepsie généralisée. Chez la souris, le knock-out constitutif de Syngap1 (souris Syngap1+/-) résulte en des déficits comme l’hyperactivité locomotrice, une réduction du comportement associée à l’anxiété, une augmentation du réflexe de sursaut, une propension à l’isolation, des problèmes dans le conditionnement à la peur, des troubles dans les mémoires de travail, de référence et social. Ainsi, la souris Syngap1+/- représente un modèle approprié pour l’étude des effets délétères causés par l’haploinsuffisance de SYNGAP1 sur le développement de circuits neuronaux. D’autre part, il est de première importance de statuer si les mutations humaines aboutissent à l’haploinsuffisance de la protéine. SYNGAP1 encode pour une protéine à activité GTPase pour Ras. Son haploinsuffisance entraîne l’augmentation des niveaux d’activité de Ras, de phosphorylation de ERK, cause une morphogenèse anormale des épines dendritiques et un excès dans la concentration des récepteurs AMPA à la membrane postsynaptique des neurones excitateurs. Plusieurs études suggèrent que l’augmentation précoce de l’insertion des récepteurs AMPA au sein des synapses glutamatergiques contribue à certains phénotypes observés chez la souris Syngap1+/-. En revanche, les conséquences de l’haploinsuffisance de SYNGAP1 sur les circuits neuronaux GABAergiques restent inconnues. Les enjeux de mon projet de PhD sont: 1) d’identifier l’impact de mutations humaines dans la fonction de SYNGAP1; 2) de déterminer si SYNGAP1 contribue au développement et à la fonction des circuits GABAergiques; 3) de révéler comment l’haploinsuffisance de Syngap1 restreinte aux circuits GABAergiques affecte le comportement et la cognition. Nous avons publié les premières mutations humaines de type faux-sens dans le gène SYNGAP1 (c.1084T>C [p.W362R]; c.1685C>T [p.P562L]) ainsi que deux nouvelles mutations tronquantes (c.2212_2213del [p.S738X]; c.283dupC [p.H95PfsX5]). Ces dernières sont toutes de novo à l’exception de c.283dupC, héritée d’un père mosaïque pour la même mutation. Dans cette étude, nous avons confirmé que les patients pourvus de mutations dans SYNGAP1 présentent, entre autre, des phénotypes associés à des troubles comportementaux relatifs à la déficience intellectuelle. En culture organotypique, la transfection biolistique de l’ADNc de Syngap1 wild-type dans des cellules pyramidales corticales réduit significativement les niveaux de pERK, en fonction de l’activité neuronale. Au contraire les constructions plasmidiques exprimant les mutations W362R, P562L, ou celle précédemment répertoriée R579X, n’engendre aucun effet significatif sur les niveaux de pERK. Ces résultats suggèrent que ces mutations faux-sens et tronquante résultent en la perte de la fonction de SYNGAP1 ayant fort probablement pour conséquences d’affecter la régulation du développement cérébral. Plusieurs études publiées suggèrent que les déficits cognitifs associés à l’haploinsuffisance de SYNGAP1 peuvent émerger d’altérations dans le développement des neurones excitateurs glutamatergiques. Toutefois, si, et auquel cas, de quelle manière ces mutations affectent le développement des interneurones GABAergiques résultant en un déséquilibre entre l’excitation et l’inhibition et aux déficits cognitifs restent sujet de controverses. Par conséquent, nous avons examiné la contribution de Syngap1 dans le développement des circuits GABAergiques. A cette fin, nous avons généré une souris mutante knockout conditionnelle dans laquelle un allèle de Syngap1 est spécifiquement excisé dans les interneurones GABAergiques issus de l’éminence ganglionnaire médiale (souris Tg(Nkx2.1-Cre);Syngap1flox/+). En culture organotypique, nous avons démontré que la réduction de Syngap1 restreinte aux interneurones inhibiteurs résulte en des altérations au niveau de leur arborisation axonale et dans leur densité synaptique. De plus, réalisés sur des coupes de cerveau de souris Tg(Nkx2.1-Cre);Syngap1flox/+, les enregistrements des courants inhibiteurs postsynaptiques miniatures (mIPSC) ou encore de ceux évoqués au moyen de l’optogénétique (oIPSC) dévoilent une réduction significative de la neurotransmission inhibitrice corticale. Enfin, nous avons comparé les performances de souris jeunes adultes Syngap1+/-, Tg(Nkx2.1-Cre);Syngap1flox/+ à celles de leurs congénères contrôles dans une batterie de tests comportementaux. À l’inverse des souris Syngap1+/-, les souris Tg(Nkx2.1-Cre);Syngap1flox/+ ne présentent pas d’hyperactivité locomotrice, ni de comportement associé à l’anxiété. Cependant, elles démontrent des déficits similaires dans la mémoire de travail et de reconnaissance sociale, suggérant que l’haploinsuffisance de Syngap1 restreinte aux interneurones GABAergiques dérivés de l’éminence ganglionnaire médiale récapitule en partie certains des phénotypes cognitifs observés chez la souris Syngap1+/-. Mes travaux de PhD établissent pour la première fois que les mutations humaines dans le gène SYNGAP1 associés à la déficience intellectuelle causent la perte de fonction de la protéine. Mes études dévoilent, également pour la première fois, l’influence significative de ce gène dans la régulation du développement et de la fonction des interneurones. D’admettre l’atteinte des cellules GABAergiques illustre plus réalistement la complexité de la déficience intellectuelle non syndromique causée par l’haploinsuffisance de SYNGAP1. Ainsi, seule une compréhension raffinée de cette condition neurodéveloppementale pourra mener à une approche thérapeutique adéquate.

Synthesis, Characterisation and Properties of (Ba1-xSrx) (Nd1/2Nb1/2 ) 03 Ceramics for Application as Dielectric Resonators in Microwave Circuits

The (Ba1-x Srx) (Nd1/2, Nb1/2) O3 ceramics have been prepared by the conventional ceramic route for different values of x. Addition of a small amount of CeO2(1 wt%) as a sintering aid increased the density of the samples. The structure and microstructure of the sintered samples are studied by X-ray diffraction and SEM methods. The dielectric properties of the samples are measured in the microwave frequency region as a function of composition. The dielectric constant decreases as x increases. The coefficient of thermal variation of resonant frequency decreases as the Sr content increases and goes to the negative side. The dielectric properties of (Ba1-x Srx) (Nd1/2, Nb1/2) O3 are in the range suitable for application as dielectric resonators in microwave circuits

A Faster 2D Technique for the design of Combinational Digital Circuits Using Genetic Algorithm

Combinational digital circuits can be evolved automatically using Genetic Algorithms (GA). Until recently this technique used linear chromosomes and and one dimensional crossover and mutation operators. In this paper, a new method for representing combinational digital circuits as 2 Dimensional (2D) chromosomes and suitable 2D crossover and mutation techniques has been proposed. By using this method, the convergence speed of GA can be increased significantly compared to the conventional methods. Moreover, the 2D representation and crossover operation provides the designer with better visualization of the evolved circuits. In addition to this, a technique to display automatically the evolved circuits has been developed with the help of MATLAB

An Improved Design of Combinational Digital Circuits with Multiplexers using Genetic Algorithm

This paper presents a new approach to the design of combinational digital circuits with multiplexers using Evolutionary techniques. Genetic Algorithm (GA) is used as the optimization tool. Several circuits are synthesized with this method and compared with two design techniques such as standard implementation of logic functions using multiplexers and implementation using Shannon’s decomposition technique using GA. With the proposed method complexity of the circuit and the associated delay can be reduced significantly

Role of Rab5 in synaptic vesicle recycling

During synaptic transmission, NT-filled synaptic vesicles are released by Ca2+-triggered exocytosis at the active zone. Following exocytosis, SV membrane is immediately re-internalized and synaptic vesicles (SVs) are regenerated by a local recycling mechanism within the presynaptic terminal. It is debated whether an endosomal compartment is involved in this recycling process. In contrast, it is well known from cultured mammalian cells, that endocytic vesicles fuse to the early sorting endosome. The early endosome is a major sorting station of the cell where cargo is send into the degradative pathway to late endosome and lysosome or towards recycling. Each trafficking step is mediated by a certain protein of the Rab family. Rab proteins are small GTPases belonging to the Ras superfamily. They accumulate at their target compartments and have thereby been used as markers for the different endocytic organelles in cultured mammalian cells. Rab5 controls trafficking from the PM to the early endosome and has thereby been used as marker for this compartment. A second marker is based on the specific binding of the FYVE zinc finger protein domain to the lipid PI(3)P that is specifically generated at the early endosomal membrane. This study used the Drosophila NMJ as a model system to investigate the SV recycling process. In particular, three questions were addressed: First, is an endosomal compartment present at the synapse? Second, do SVs recycle through an endosome? Third, is Rab5 involved in SV recycling? We used GFP fusions of Rab5 and 2xFYVE to visualize endosomal compartments at the presynaptic terminal of Drosophila third instar larval NMJs. Furthermore, the endosomes are located within the pool of recycling SVs, labeled with the styryl-dye FM5-95. Using the temperature-sensitive mutation in Dynamin, shibirets, we showed that SV recycling involves trafficking through an intermediate endosomal compartment. In cultured mammalian cells, interfering with Rab5 function by expressing the dominant negative version, Rab5SN causes the fragmentation of the endosome and the accumulation of endocytic vesicles. In contrast, when Rab5 is overexpressed enlarged endosomal compartments were observed. In Drosophila, the endosomal compartment was disrupted when loss of function and dominant negative mutants of Rab5 were expressed. In addition, at the ultrastructural we observed an accumulation of endocytic vesicles in Rab5S43N expressing terminals and enlarged endosomes when Rab5 was overexpressed. Furthermore, interfering with Rab5 function using the dominant negative Rab5S43N caused a decrease in the SV recycling kinetics as shown by FM1-43 experiments. In contrast, overexpression of Rab5 or GFP-Rab5 caused an increase in the FM1-43 internalization rate. Finally, standard electrophysiological techniques were used to measure synaptic function. We found that the Rab5-mediated endosomal SV recycling pathway generates vesicles with a higher fusion efficacy during Ca2+-triggered release, compared to SVs recycled when Rab5 function was impaired. We therefore suggest a model in which the endosome serves as organelle to control the SV fusion efficacy and thereby the synaptic strength. Since changes in the synaptic strength are occuring during learning and memory processes, controlling endosomal SV recycling might be a new molecular mechanism involved in learning and memory.

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Taming Chaotic Circuits

Control algorithms that exploit chaotic behavior can vastly improve the performance of many practical and useful systems. The program Perfect Moment is built around a collection of such techniques. It autonomously explores a dynamical system's behavior, using rules embodying theorems and definitions from nonlinear dynamics to zero in on interesting and useful parameter ranges and state-space regions. It then constructs a reference trajectory based on that information and causes the system to follow it. This program and its results are illustrated with several examples, among them the phase-locked loop, where sections of chaotic attractors are used to increase the capture range of the circuit.

Vector-Based Integration of Local and Long-Range Information in Visual Cortex

Integration of inputs by cortical neurons provides the basis for the complex information processing performed in the cerebral cortex. Here, we propose a new analytic framework for understanding integration within cortical neuronal receptive fields. Based on the synaptic organization of cortex, we argue that neuronal integration is a systems--level process better studied in terms of local cortical circuitry than at the level of single neurons, and we present a method for constructing self-contained modules which capture (nonlinear) local circuit interactions. In this framework, receptive field elements naturally have dual (rather than the traditional unitary influence since they drive both excitatory and inhibitory cortical neurons. This vector-based analysis, in contrast to scalarsapproaches, greatly simplifies integration by permitting linear summation of inputs from both "classical" and "extraclassical" receptive field regions. We illustrate this by explaining two complex visual cortical phenomena, which are incompatible with scalar notions of neuronal integration.

Biologically Plausible Neural Circuits for Realization of Maximum Operations

Object recognition in the visual cortex is based on a hierarchical architecture, in which specialized brain regions along the ventral pathway extract object features of increasing levels of complexity, accompanied by greater invariance in stimulus size, position, and orientation. Recent theoretical studies postulate a non-linear pooling function, such as the maximum (MAX) operation could be fundamental in achieving such invariance. In this paper, we are concerned with neurally plausible mechanisms that may be involved in realizing the MAX operation. Four canonical circuits are proposed, each based on neural mechanisms that have been previously discussed in the context of cortical processing. Through simulations and mathematical analysis, we examine the relative performance and robustness of these mechanisms. We derive experimentally verifiable predictions for each circuit and discuss their respective physiological considerations.

Preliminary Characterisation of Low-Temperature Bonded Copper Interconnects for 3-D Integrated Circuits

Three dimensional (3-D) integrated circuits can be fabricated by bonding previously processed device layers using metal-metal bonds that also serve as layer-to-layer interconnects. Bonded copper interconnects test structures were created by thermocompression bonding and the bond toughness was measured using the four-point test. The effects of bonding temperature, physical bonding and failure mechanisms were investigated. The surface effects on copper surface due to pre-bond clean (with glacial acetic acid) were also looked into. A maximum average bond toughness of approximately 35 J/m² was obtained bonding temperature 300 C.