The BRUTUS Automatic Cryptanalytic Framework: Testing CAESAR Authenticated Encryption Candidates for Weaknesses

This report summarizes our results from security analysis covering all 57 competitions for authenticated encryption: security, applicability, and robustness (CAESAR) first-round candidates and over 210 implementations. We have manually identified security issues with three candidates, two of which are more serious, and these ciphers have been withdrawn from the competition. We have developed a testing framework, BRUTUS, to facilitate automatic detection of simple security lapses and susceptible statistical structures across all ciphers. From this testing, we have security usage notes on four submissions and statistical notes on a further four. We highlight that some of the CAESAR algorithms pose an elevated risk if employed in real-life protocols due to a class of adaptive-chosen-plaintext attacks. Although authenticated encryption with associated data are often defined (and are best used) as discrete primitives that authenticate and transmit only complete messages, in practice, these algorithms are easily implemented in a fashion that outputs observable ciphertext data when the algorithm has not received all of the (attacker-controlled) plaintext. For an implementor, this strategy appears to offer seemingly harmless and compliant storage and latency advantages. If the algorithm uses the same state for secret keying information, encryption, and integrity protection, and the internal mixing permutation is not cryptographically strong, an attacker can exploit the ciphertext–plaintext feedback loop to reveal secret state information or even keying material. We conclude that the main advantages of exhaustive, automated cryptanalysis are that it acts as a very necessary sanity check for implementations and gives the cryptanalyst insights that can be used to focus more specific attack methods on given candidates.

Phenotypic consequences of genome mistranslation in Candida albicans

Várias espécies do género Candida traduzem o codão CUG de leucine como serina. Em C. albicans este codão é traduzido pelo tRNACAG Ser de serina que é reconhecido por leucil- e seril-tRNA sintetases (LeuRS e SerRS), permitindo a incorporação de leucina ou serina em posições com CUG. Em condições padrão de crescimento os codões CUG é incorporam 3% de leucina e 97% de serina, no entanto estes valores são flexíveis uma vez que a incorporação de serina pode variar entre 0.6% e 5% em resposta a condições de stress. Estudos anteriores realizados in vivo em Escherichia coli sugeriram que a ambiguidade em codões CUG é regulada pela SerRS. De facto, o gene da SerRS de C. albicans tem um codão CUG na posição 197 (Ser197) cuja descodificação ambígua resulta na produção de duas isoformas de SerRS. A isoforma SerRS_Leu197 é mais ativa, apesar de menos estável, que a isoforma SerRS_Ser197, suportando a ideia da existência de um feedback loop negativo, envolvendo estas duas isoformas de SerRS, a enzima LeuRS e o tRNACAG Ser, que mantem os níveis de incorporação de leucina no codões CUG baixos. Nesta tese demonstramos que tal mecanismo não é operacional nas células de C. albicans. De facto, os níveis de incorporação de leucina em codões CUG flutuam drasticamente em resposta a alterações ambientais. Por exemplo, a incorporação de leucina pode chegar a níveis de 49.33% na presença de macrófagos e anfotericina B, mostrando a notória tolerância de C. albicans à ambiguidade. Para compreender a relevância biológica da ambiguidade do código genético em C. albicans construímos estirpes que incorporam serina em vários codões. Apesar da taxa crescimento ter sido negativamente afetada em condições padrão de crescimento, as estirpes construídas crescem favoravelmente em várias condições de stresse, sugerindo que a ambiguidade desempenha um papel importante na adaptação a novos nichos ecológicos. O transcriptoma das estirpes construídas de C. albicans e Saccharomyces. cerevisiae mostram que as leveduras respondem à ambiguidade dos codões de modo distinto. A ambiguidade induziu uma desregulação moderada da expressão génica de C. albicans, mas ativou uma resposta comum ao stresse em S. cerevisiae. O único processo celular que foi induzido na maioria das estirpes foi a oxidação redução. De salientar, que enriquecimento em elementos cis de fatores de transcrição que regulam a resposta à ambiguidade em ambas as leveduras foi distinta, sugerindo que ambas respondem ao stresse de modo diferente. Na globalidade, o nosso estudo aprofunda o conhecimento da elevada tolerância à ambiguidade de codões em C. albicans. Os resultados sugerem que este fungo usa a ambiguidade do codão CUG durante infeção, possivelmente para modular a sua interação com o hospedeiro e a resposta a drogas antifúngicas.

Eliciting Security Requirements and Tracing them to Design: An Integration of Common Criteria, Heuristics, and UMLsec

Building secure systems is difficult for many reasons. This paper deals with two of the main challenges: (i) the lack of security expertise in development teams, and (ii) the inadequacy of existing methodologies to support developers who are not security experts. The security standard ISO 14508 (Common Criteria) together with secure design techniques such as UMLsec can provide the security expertise, knowledge, and guidelines that are needed. However, security expertise and guidelines are not stated explicitly in the Common Criteria. They are rather phrased in security domain terminology and difficult to understand for developers. This means that some general security and secure design expertise are required to fully take advantage of the Common Criteria and UMLsec. In addition, there is the problem of tracing security requirements and objectives into solution design,which is needed for proof of requirements fulfilment. This paper describes a security requirements engineering methodology called SecReq. SecReq combines three techniques: the Common Criteria, the heuristic requirements editorHeRA, andUMLsec. SecReqmakes systematic use of the security engineering knowledge contained in the Common Criteria and UMLsec, as well as security-related heuristics in the HeRA tool. The integrated SecReq method supports early detection of security-related issues (HeRA), their systematic refinement guided by the Common Criteria, and the ability to trace security requirements into UML design models. A feedback loop helps reusing experiencewithin SecReq and turns the approach into an iterative process for the secure system life-cycle, also in the presence of system evolution.

Characterization of TRIB2 following PI3K inhibition

Dissertação de mestrado, Oncobiologia,(Mecanismos Moleculares do Cancro), Departamento de Ciências Biomédicas e Medicina, Universidade do Algarve, 2015

Regulatory interactions between the metabolic sensors SIRT1 and AMPK in modulating PPARα linked functions, in obesity-dependent type 2 diabetes mellitus

Tese de doutoramento, Ciências Biomédicas (Ciências Funcionais), Universidade de Lisboa, Faculdade de Medicina, 2014

Beacon

BEACON continuously relays live web searches as they are being made around the world presenting them back in series and at regular intervals as an endless concrete poetry. The beacon has been instigated to act as a silent witness: a feedback loop providing a global snapshot of ourselves to ourselves in real-time.

Fonte de carga de condensadores de alta tensão com compensação de fator potência

Trabalho Final de Mestrado para a obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Primary cilia and the regulation of hedgehog signaling: link to cardiac development

RESUMO: As células eucarióticas evoluíram um sistema de sinalização complexo que lhes permite responder aos sinais extracelulares e intracelulares. Desta forma, as vias de sinalização são essenciais para a sobrevivência da célula e do organismo, uma vez que regulam processos fundamentais, tais como o desenvolvimento, o crescimento, a imunidade, e a homeostase dos tecidos. A via de transdução de sinal Hedgehog (Hh) envolve o receptor Patched1 (Ptch1), que tem um efeito inibidor sobre a proteína Smoothened (Smo) na ausência dos seus ligandos, as proteínas Sonic hedgehog (Shh). Estas proteínas são reguladores fundamentais do desenvolvimento embrionário, como ilustrado pelas malformações drásticas observadas em embriões humanos e de murganho com perturbações da transdução de sinal da via Hh e que incluem polidactilia, defeitos craniofaciais e malformações ósseas. Igualmente importantes são as consequências da ativação inapropriada da via de sinalização Hh na formação de tumores. Curiosamente, os componentes desta via localizam-se nos cílios primários. Além disso, demonstrou-se que esta localização é crucial para a sinalização através da via Hh. Na presença dos ligandos, Ptch1 é internalizado e destinado a degradação ou sequestrado num compartimento da célula de onde não pode desempenhar o seu papel inibitório. A proteína Arl13b é uma pequena GTPase pertencente à família Arf/Arl da superfamília Ras de pequenas GTPases e foi implicada no síndrome de Joubert, uma ciliopatia caracterizada por ataxia congénita cerebelar, hipotonia, atrso mental e cardiopatia congénita. Murganhos deficientes para Arl13b, chamado hennin (hnn) morrem morrem prematuramente ao dia 13,5 de gestação (E13,5) e exibem anomalias morfológicas nos cílios que levam à interrupção da sinalização Hh. Além disso, a Arl13b está diretamente envolvida na regulação da via Hh, controlando a localização de vários componentes desta via nos cílios primários. Neste trabalho, mostramos que a Arl13b se localiza em circular dorsal ruffles (CDRs), que são estruturas de actina envolvidas em macropinocitose e internalização de recetores, e que regula a sua formação. Além disso, aprofundámos o conhecimento do processo de ativação da via de sinalização Hh, mostrando que as CDRs sequestram seletivamente e internalizam o recetor Ptch1. As CDRs formam-se minutos após ativação da via por ligandos Shh ou pelo agonista de Smo SAG e continuam a ser formadas a partir daí, sugerindo uma indução contínua da reorganização do citoesqueleto de actina quando a via está ativada. Observámos ainda que a inibição da formação de CDRs através do silenciamento de WAVE1, uma proteína necessária para a formação destas estruturas, resulta na diminuição da ativação da via de sinalização Hh. Além disso, o bloqueio da macropinocitose, que se segue ao fecho das CDRs, através do silenciamento de uma proteína necessária para a cisão de macropinossomas, nomeadamente a proteína BARS, tem um efeito semelhante. Estes resultados sugerem que as CDRs e a macropinocitose são necessárias para a ativação da via de sinalização Hh e indicam que esta via de internalização controla os níveis de sinal Hh. Durante o desenvolvimento, as células proliferativas dependem do cílio primário para a transdução de várias vias de sinalização. A via Hh induz a diferenciação do músculo cardíaco. Por conseguinte, os murganhos deficientes na via de sinalização Hh exibem uma variedade de defeitos de lateralidade, incluindo alteração do looping do coração, como pode ser visto em murganhos deficientes para Arl13b. Por conseguinte, investigámos o papel da Arl13b no desenvolvimento do coração. Mostramos que a Arl13b é altamente expressa no coração de embriões de murganho e de murganhos adultos ao nível do mRNA e da proteína. Além disso, o perfil de distribuição da Arl13b no coração segue o dos cílios primários, que são essenciais para o desenvolvimento cardíaco. Corações de murganhos hnn no estadio E12,5 mostram um canal átrio-ventricular aberto, espessamento da camada compacta ventricular e aumento do índice mitótico no ventrículo esquerdo. Além disso, um atraso de 1 a 2 dias no desenvolvimento é observado em corações de murganhos hnn, quando comparados com controlos selvagens no estadio E13,5. Assim, estes resultados sugerem que a Arl13b é necessária para o desenvolvimento embrionário do coração e que defeitos cardíacos podem contribuir para a letalidade embrionária de murganhos hnn. Em suma, foi estabelecido um novo mecanismo para a regulação dos níveis de superfície do recetor Ptch1, que envolve a remodelação do citoesqueleto de actina e a formação de CDRs após a ativação da via de sinalização Hh. Este mecanismo permite um feedback negativo que evita a repressão excessiva da via através da remoção de Ptch1 da superfície da célula. Além disso, determinou-se que uma mutação de perda de função na Arl13b causa defeitos cardíacos durante o desenvolvimento, possivelmente relacionados com a associação dos defeitos em cílios primários e na sinalização Hh, existentes em murganhos deficientes para Arl13b. A via de sinalização Hh tem tido um papel central entre as vias de sinalização, uma vez que a sua regulação é crucial para o funcionamento apropriada da célula. Assim, a descoberta de um novo mecanismo de tráfego através de macropinocitose e CDRs que controla a ativação e repressão da via de sinalização Hh traz novas perspetivas de como esta via pode ser regulada e pode ainda conduzir à identificação de novos alvos e estratégias terapêuticas. --------------------ABSTRACT: Eukaryotic cells have evolved a complex signaling system that allows them to respond to extracellular and intracellular cues. Signaling pathways are essential for cell and organism survival, since they regulate fundamental processes such as development, growth, immunity, and tissue homeostasis. The Hedgehog (Hh) pathway of signal transduction involves the receptor Patched1 (Ptch1), which has an inhibitory effect on Smoothened (Smo) in the absence of its ligands, the Sonic hedgehog (Shh) proteins. These proteins are fundamental regulators of embryonic development, as illustrated by the dramatic malformations seen in human and mouse embryos with perturbed Hh signal transduction that include polydactyly, craniofacial defects and skeletal malformations. Equally important are the consequences of inappropriate activation of the Hh signaling response in tumor formation. Interestingly, the components of this pathway localize to primary cilia. Moreover, it has been shown that this localization is crucial for Hh signaling. However, in the presence of the ligands, Ptch1 is internalized and destined for degradation or sequestered in a cell compartment where it no longer can play its inhibitory role. ADP-ribosylation factor-like (Arl) 13b, a small GTPase belonging to Arf/Arl family of the Ras superfamily of small GTPases has been implicated in Joubert syndrome, a ciliopathy characterized by congenital cerebellar ataxia, hypotonia, intellectual disability and congenital heart disease. Arl13b-deficient mice, called hennin (hnn) die at embryonic day 13.5 (E13.5) and display morphological abnormalities in primary cilia that lead to the disruption of Hh signaling. Furthermore, Arl13b is directly involved in the regulation of Hh signaling by controlling the localization of several components of this pathway to primary cilia. Here, we show that Arl13b localizes to and regulates the formation of circular dorsal rufles (CDRs), which are actin-basedstructures known to be involved in macropinocytosis and receptor internalization. Additionally, we extended the knowledge of the Hh signaling activation process by showing that CDRs selectively sequester and internalize Ptch1 receptors. CDRs are formed minutes after Hh activation by Shh ligands or the Smo agonist SAG and keep being formed thereafter, suggesting a continuous induction of actin reorganization when the pathway is switched on. Importantly, we observed that disruption of CDRs by silencing WAVE1, a protein required for CDR formation, results in down-regulation of Hh signaling activation. Moreover, the blockade of macropinocytosis, which follows CDR closure, through silencing of a protein necessary for the fission of macropinosomes, namely BARS has a similar effect. These results suggest that CDRs and macropinocytosis are necessary for activation of Hh signaling and indicate that this pathway of internalization controls Hh signal levels. During development, proliferating cells rely on the primary cilium for the transduction of several signaling pathways. Hh induces the differentiation of cardiac muscle. Accordingly, Hh-deficient mice display a variety of laterality defects, including alteration of heart looping, as seen in Arl13b-deficient mice. Therefore, we investigated the role of Arl13b in heart development. We show that Arl13b is highly expressed in the heart of both embryonic and adult mice at mRNA and protein levels. Also, Arl13b localization profile mimics that of primary cilia, which have been shown to be essential to early heart development. E12.5 hnn hearts show an open atrioventricular channel, increased thickening of the ventricular compact layer and increased mitotic index in the left ventricle. Moreover, a delay of 1 to 2 days in development is observed in hnn hearts, when compared to wild-type controls at E13.5. Hence, these results suggest that Arl13b is necessary for embryonic heart development and that cardiac defects might contribute to the embryonic lethality of hnn mice. Altogether, we established a novel mechanism for the regulation of Ptch1 surface levels, involving cytoskeleton remodeling and CDR formation upon Hh signaling activation. This mechanism allows a negative feedback loop that prevents excessive repression of the pathway by removing Ptch1 from the cell surface. Additionally, we determined that the Arl13b loss-offunction mutation causes cardiac defects during development, possibly related to the associated ciliary and Hh signaling defects found in Arl13b-deficient mice. Hh signaling has taken a center stage among the signaling pathways since its regulation is crucial for the appropriate output and function of the cell. Hence, the finding of a novel trafficking mechanism through CDRs and macropinocytosis that controls Hh signaling activation and repression brings new insights to how this pathway can be regulated and can lead to the discovery of novel therapeutic targets and strategies.

Conception de miARN artificiels basée sur la caractérisation de la boucle de régulation miR-20/E2F

La biologie moléculaire et, plus spécifiquement, la régulation de l’expression génique ont été révolutionnées par la découverte des microARN (miARN). Ces petits ARN d’une vingtaine de nucléotides sont impliqués dans la majorité des processus cellulaires et leur expression est dérégulée dans plusieurs maladies, comme le cancer. Un miARN reconnaît ses cibles principalement par son noyau, ce qui lui permet de réguler simultanément la traduction de centaines d’ARN messagers. Nos travaux ont montré l’existence d’une boucle de rétro-activation négative, entre deux miARN du polycistron miR-17-92 et trois facteurs de transcription de la famille E2F. E2F1, 2 et 3 induisent la transcription de miR-20 et miR-17 qui par la suite inhibent leur traduction. Nos résultats suggèrent l’implication de cette boucle dans la résistance à l’apoptose induite par E2F1 dans les cellules du cancer de la prostate, ce qui expliquerait en partie le potentiel oncogénique du polycistron miR-17-92. L’étude de ce motif de régulation nous a donc permis de réaliser le potentiel incroyable qu’ont les miARN à inhiber la traduction de plusieurs gènes. Basé sur les règles de reconnaissance des miARN, nous avons développé et validé MultiTar. Cet outil bioinformatique permet de trouver la séquence d’un miARN artificiel ayant le potentiel d’inhiber la traduction de gènes d’intérêts choisis par l’utilisateur. Afin de valider MultiTar, nous avons généré des multitargets pouvant inhiber l’expression des trois E2F, ce qui nous a permis de comparer leur efficacité à celle de miR-20. Nos miARN artificiels ont la capacité d’inhiber la traduction des E2F et de neutraliser leur fonction redondante de la progression du cycle cellulaire de façon similaire ou supérieur à miR-20. La fonctionnalité de notre programme, ouvre la voie à une stratégie flexible pouvant cibler le caractère multigénique de différents processus cellulaires ou maladies complexes, tel que le cancer. L’utilisation de miARN artificiels pourrait donc représenter une alternative intéressante aux stratégies déjà existantes, qui sont limitées à inhiber des cibles uniques. En plus d’élucider un réseau de régulation complexe impliquant les miARN, nous avons pu tirer profit de leur potentiel d’inhibition par la conception de miARN artificiels.

Étude de Necdin par un modèle de carcinogénèse lié à l’antigène grand T du Virus du polyome

Les virus sont utilisés depuis longtemps dans la recherche sur le cancer et ont grandement contribué à l’avancement des connaissances de même qu’à l’établissement de préceptes importants encore valables aujourd’hui dans le domaine. L’un des défis actuels est de mieux définir les étapes menant à la transition d’une cellule normale à une cellule transformée et c’est sur cette problématique que nous nous sommes penchés. Pour ce faire, nous avons tiré profit de l’utilisation de l’antigène grand-T du virus de polyome (PyLT), un virus capable d’induire des tumeurs chez les rongeurs. Cet oncogène viral à lui seul possède des propriétés intéressantes qui suggèrent que, en plus de l’immortalisation, il peut également contribuer aux événements précoces de la carcinogénèse. Ceci repose principalement sur la capacité de PyLT à induire des tumeurs en souris transgéniques et ce, avec une certaine latence ce qui suggère que des événements supplémentaires sont nécessaires. Ainsi, l’utilisation de PyLT dans un modèle de culture cellulaire permet de disséquer les changements qui lui sont attribuables. Dans un premier temps, l’établissement du profil d'expression génique associé à l'expression de PyLT dans un modèle murin nous a permis de sélectionner un bon nombre de gènes, parmi lesquels figurait Necdin. Nous avons choisi d’étudier Necdin plus en détail puisque peu d’attention était accordée à cette protéine dans le domaine du cancer, malgré que différentes données de la littérature lui suggèrent à la fois des fonctions suppresseurs de tumeur et oncogéniques. Nous avons démontré que, malgré sa fonction proposée de suppresseur de croissance, l’expression de Necdin n’est pas incompatible avec la prolifération dans la lignée cellulaire de souris NIH 3T3 et les cellules primaires humaines (IMR90), bien que l’inhibition de son expression par shARN confère un avantage prolifératif. Nous avons confirmé que Necdin est un gène cible de p53 induit par différents agents génotoxiques, toutefois son expression peut également être régulée de façon p53-indépendante. De plus, Necdin agit négativement sur l’arrêt du cycle cellulaire en réponse à l’activation de p53. Ceci suggère que Necdin est impliqué dans une boucle de régulation négative de la voie de p53 et que l’augmentation anormale de l’expression de Necdin pourrait contribuer à la perturbation la voie du suppresseur de tumeur p53. L’activation de p53 permet l’arrêt transitoire du cycle cellulaire en condition de stress, mais est aussi impliquée dans l’établissement d’un arrêt permanent nommé sénescence. La sénescence est un mécanisme de protection contre l’accumulation de mutations qui peut contribuer à l’initiation du cancer. Vu l’intéressante implication de Necdin dans la régulation de l’activité de p53, nous avons transposé les connaissances acquises du modèle murin à un modèle humain, plus adapté pour l’étude de la sénescence. La caractérisation de l’expression de Necdin dans des fibroblastes primaires humains à différents passages montre que les jeunes cellules en prolifération active expriment Necdin et que son niveau diminue avec l’établissement de la sénescence réplicative. Le même phénomène est observé lors de la sénescence prématurée provoquée par l’expression d’un oncogène et par l’exposition aux radiations ionisantes. De plus, dans des conditions normales de prolifération, la modulation de Necdin par des essais de gain et de perte de fonction n’affecte pas la durée de vie des cellules primaires. Toutefois, en condition de stress génotoxique dû à l’exposition aux irradiations, les cellules surexprimant Necdin présentent une radiorésistance accrue de la même façon que lorsque p53 est inactivé directement. Ce résultat en cellules humaines vient appuyer l’effet observé dans les cellules de souris sur l’impact qu’aura le niveau de Necdin sur la réponse de p53 en condition de stress. Un bref survol a été fait pour aborder de quelle façon nos résultats en culture cellulaire pouvaient se traduire dans des modèles de cancer chez l’humain. Nous avons caractérisé l’expression de Necdin dans deux types différents de cancer. D’abord, dans le cancer de l’ovaire, le niveau élevé de Necdin dans les tumeurs à faible potentiel de malignité (LMP) en comparaison aux cancers agressifs de l’ovaire de type séreux suggère que l’expression de Necdin se limite aux cellules de cancer LMP, qui présente généralement un p53 de type sauvage. Son expression est aussi retrouvée dans deux lignées cellulaires du cancer de l’ovaire non-tumorigéniques en xénogreffe de souris, dont l’une possède un p53 fonctionnel. De plus, la caractérisation de Necdin dans les lignées cellulaires du cancer de la prostate suggère une relation entre son expression et la présence de p53 fonctionnel. Dans le cancer de la prostate, tout comme pour le cancer de l’ovaire, Necdin semble être présent dans les lignées représentant un stade moins avancé de la maladie. L’utilisation de l’oncoprotéine virale PyLT nous a permis de révéler des propriétés intéressantes de Necdin. Nous proposons que dans certains contextes, l’expression constitutive de Necdin pourrait contribuer au cancer en retardant une réponse par p53 appropriée et possiblement en participant à l’augmentation de l’instabilité génomique. La fonction potentiellement oncogénique de Necdin quant à sa relation avec p53 que nous avons révélée requiert davantage d’investigation et les cancers caractérisés ici pourraient constituer de bons modèles à cette fin.

Sur un modèle d'érythropoïèse comportant un taux de mortalité dynamique

Ce mémoire concerne la modélisation mathématique de l’érythropoïèse, à savoir le processus de production des érythrocytes (ou globules rouges) et sa régulation par l’érythropoïétine, une hormone de contrôle. Nous proposons une extension d’un modèle d’érythropoïèse tenant compte du vieillissement des cellules matures. D’abord, nous considérons un modèle structuré en maturité avec condition limite mouvante, dont la dynamique est capturée par des équations d’advection. Biologiquement, la condition limite mouvante signifie que la durée de vie maximale varie afin qu’il y ait toujours un flux constant de cellules éliminées. Par la suite, des hypothèses sur la biologie sont introduites pour simplifier ce modèle et le ramener à un système de trois équations différentielles à retard pour la population totale, la concentration d’hormones ainsi que la durée de vie maximale. Un système alternatif composé de deux équations avec deux retards constants est obtenu en supposant que la durée de vie maximale soit fixe. Enfin, un nouveau modèle est introduit, lequel comporte un taux de mortalité augmentant exponentiellement en fonction du niveau de maturité des érythrocytes. Une analyse de stabilité linéaire permet de détecter des bifurcations de Hopf simple et double émergeant des variations du gain dans la boucle de feedback et de paramètres associés à la fonction de survie. Des simulations numériques suggèrent aussi une perte de stabilité causée par des interactions entre deux modes linéaires et l’existence d’un tore de dimension deux dans l’espace de phase autour de la solution stationnaire.

Piezoresistive cantilevers with an integrated bimorph actuator

Scanning Probe Microscopy (SPM) has become of fundamental importance for research in area of micro and nano-technology. The continuous progress in these fields requires ultra sensitive measurements at high speed. The imaging speed limitation of the conventional Tapping Mode SPM is due to the actuation time constant of piezotube feedback loop that keeps the tapping amplitude constant. In order to avoid this limit a deflection sensor and an actuator have to be integrated into the cantilever. In this work has been demonstrated the possibility of realisation of piezoresistive cantilever with an embedded actuator. Piezoresistive detection provides a good alternative to the usual optical laser beam deflection technique. In frames of this thesis has been investigated and modelled the piezoresistive effect in bulk silicon (3D case) for both n- and p-type silicon. Moving towards ultra-sensitive measurements it is necessary to realize ultra-thin piezoresistors, which are well localized to the surface, where the stress magnitude is maximal. New physical effects such as quantum confinement which arise due to the scaling of the piezoresistor thickness was taken into account in order to model the piezoresistive effect and its modification in case of ultra-thin piezoresistor (2D case). The two-dimension character of the electron gas in n-type piezoresistors lead up to decreasing of the piezoresistive coefficients with increasing the degree of electron localisation. Moreover for p-type piezoresistors the predicted values of the piezoresistive coefficients are higher in case of localised holes. Additionally, to the integration of the piezoresistive sensor, actuator integrated into the cantilever is considered as fundamental for realisation of fast SPM imaging. Actuation of the beam is achieved thermally by relying on differences in the coefficients of thermal expansion between aluminum and silicon. In addition the aluminum layer forms the heating micro-resistor, which is able to accept heating impulses with frequency up to one megahertz. Such direct oscillating thermally driven bimorph actuator was studied also with respect to the bimorph actuator efficiency. Higher eigenmodes of the cantilever are used in order to increase the operating frequencies. As a result the scanning speed has been increased due to the decreasing of the actuation time constant. The fundamental limits to force sensitivity that are imposed by piezoresistive deflection sensing technique have been discussed. For imaging in ambient conditions the force sensitivity is limited by the thermo-mechanical cantilever noise. Additional noise sources, connected with the piezoresistive detection are negligible.

Characterization of the molecular clockwork in the cockroach Rhyparobia maderae

Der Wechsel von Tag und Nacht erzeugt einen regelmäßigen Rhythmus von verschiedenen Umweltreizen, allen voran Licht und Temperatur. Fast jedes bis zum heutigen Tage untersuchte Lebewesen besitzt einen endogenen Mechanismus zur Zeitwahrnehmung, und diese "innere Uhr" befähigt Lebewesen dazu, sich vorausschauend an rhythmische Umwelt-Änderungen anzupassen. Circadiane Rhythmen bestehen auch ohne jegliche äußere Reize und basieren auf einem molekularen Rückkopplungs-Mechanismus, der Rhythmen in Genexpression und Proteinkonzentration von etwa 24 Stunden erzeugt. Obwohl sich die grundsätzlichen Mechanismen und Komponenten dieses molekularen Uhrwerks in allen Insekten ähneln, zeigte sich jedoch immer mehr, dass es im Detail doch wesentliche Unterschiede zwischen verschiedenen Insektengruppen gibt. Während das molekulare Uhrwerk der Fruchtfliege Drosophila melanogaster inzwischen sehr gut untersucht ist, fehlen bei den meisten Insektengruppen immernoch eingehende Untersuchungen. Fast nichts ist über die molekulare Basis von circadianen Rhythmen bei der Schabe Rhyparobia maderae bekannt, obwohl diese Art bereits seit Langem als Modellorganismus in der Chronobiologie dient. Um mit der Forschung am molekularen, circadianen System von R. maderae zu beginnen, wurde die Struktur und das Expressionsprofil der core feedback loop Gene per, tim1 und cry2 analysiert. Mittels degenerierten Primern und RACE konnte das vollständige offene Leseraster (OLR) von rmPer und rmCry2, und ein Teil des rmTim1 OLR kloniert werden. Eine phylogenetische Analyse gruppierte rmPER und rmCRY2 gemeinsam mit den Orthologa hemimetaboler Insekten. Viele bei D. melanogaster funktionell charakterisierte Domänen sind bei diesen Proteinen konserviert, was auf eine ähnliche Funktion in der inneren Uhr von R. maderae hinweist. Mittels quantitativer PCR konnte gezeigt werden, dass die mRNA von rmPer, rmTim1 und rmCry2 in verschiedenen Lichtregimen in der gleichen Phasenlage Tageszeit-abhängig schwankt. Die Phasenlage stellte sich bei unterschiedlichen Photoperioden jeweils relativ zum Beginn der Skotophase ein, mit Maxima in der ersten Hälfte der Nacht. Auch im Dauerdunkel zeigen sich Rhythmen in der rmTim1 und rmCry2 Expression. Die Amplitude der rmPer Expressionsrhythmen war jedoch so gering, dass keine signifikanten Unterschiede zwischen den einzelnen Zeitgeberzeiten (ZT) festgestellt werden konnten. Mittels Laufrad-Assays wurde untersucht wie Kurz- und Langtag Lichtregime die Verhaltensrhythmen beeinflussen. Es konnten nur Unterschiede in der Periodenlänge unter freilaufenden Bedingungen festgestellt werden, wenn höhere Lichtintensitäten (1000lx) zur Synchronisation (entrainment) genutzt wurden. Die Periode des freilaufenden Rhythmus war bei Tieren aus dem Kurztag länger. Die photoperiodische Plastizität zeigte sich also auch auf Verhaltensebene, obwohl höhere Lichtintensitäten notwendig waren um einen Effekt zu beobachten. Basierend auf den Sequenzen der zuvor klonierten OLR wurden gegen rmPER, rmTIM1 und rmCRY2 gerichtete Antikörper hergestellt. Die Antikörper gegen rmPER und rmTIM1 erkannten in western blots sehr wahrscheinlich spezifisch das jeweilige Protein. Zeitreihen von Gehirngewebe-Homogenisaten zeigten keinen offensichtlichen circadianen Rhythmus in der Proteinkonzentration, wahrscheinlich auf Grund einer Oszillation mit niedriger Amplitude. In Immunhistochemischen Färbungen konnte nur mit dem gegen rmPER gerichteten Antikörper aus Kaninchen ein Signal beobachtet werden. Beinahe jede Zelle des Zentralnervensystems war rmPER-immunreaktiv im Zellkern. Es konnten keine Unterschiede zwischen den untersuchten ZTs festgestellt werden, ähnlich wie bei den western blot Zeitreihen. In dieser Studie konnten erstmals molekulare Daten der circadianen Uhr von R. maderae erfasst und dargestellt werden. Die Uhrgene per, tim1 und cry2 werden in dieser Schabenart exprimiert und ihre Domänenstruktur sowie das circadiane Expressionsmuster ähneln dem hypothetischen ursprünglichen Insektenuhrwerk, welches der circadianen Uhr von Vertebraten nahesteht. Das molekulare Uhrwerk von R. maderae kann sich an unterschiedliche Photoperioden anpassen, und diese Anpassungen manifestieren sich im Expressionsprofil der untersuchten Uhrgene ebenso wie im Verhalten.

A Systems Approach to the Torque Control of a Permanent Magnet Brushless Motor

Many approaches to force control have assumed the ability to command torques accurately. Concurrently, much research has been devoted to developing accurate torque actuation schemes. Often, torque sensors have been utilized to close a feedback loop around output torque. In this paper, the torque control of a brushless motor is investigated through: the design, construction, and utilization of a joint torque sensor for feedback control; and the development and implementation of techniques for phase current based feedforeward torque control. It is concluded that simply closing a torque loop is no longer necessarily the best alternative since reasonably accurate current based torque control is achievable.

Using Recurrent Networks for Dimensionality Reduction

This report explores how recurrent neural networks can be exploited for learning high-dimensional mappings. Since recurrent networks are as powerful as Turing machines, an interesting question is how recurrent networks can be used to simplify the problem of learning from examples. The main problem with learning high-dimensional functions is the curse of dimensionality which roughly states that the number of examples needed to learn a function increases exponentially with input dimension. This thesis proposes a way of avoiding this problem by using a recurrent network to decompose a high-dimensional function into many lower dimensional functions connected in a feedback loop.