Pas de résumé

La technologie de fabrication actuelle permet l'intégration d'un système multiprocesseur complexe sur une seule pièce de silicium (MPSoC pour Multiprocessor System-on-Chip). Une façon de maîtriser la complexité croissante de ces systèmes est d'augmenter le niveau d'abstraction et d'aborder la conception au niveau système. Cependant, l'augmentation du niveau d'abstraction peut engendrer un fossé entre les concepts au niveau système et ceux utilisés pour l'implémentation de l'architecture Matériel/Logiciel du MPSoC. L'objectif de cette thèse est de combler le gap entre les deux niveaux d'abstractions utilisés en proposant une passerelle efficace entre les outils d'aide au développement d'algorithmes (Matlab\Simulink) et les outils de conception des architectures (ROSES et macro-Cell builder). Ceci est accompli : - En définissant un modèle intermédiaire transactionnel dans l'environnement Simulink. Ce modèle intermédiaire combine l'algorithme et l'architecture. Il permet la définition précoce de la plateforme d'implémentation et établit une continuité entre le modèle fonctionnel et le modèle architectural. - En automatisant le passage entre le niveau système et le niveau architectural, dans le but d'accélérer la procédure de la conception des MPSoCs et de réduire la quantité des erreurs provoquées par le travail manuel dans un environnement unifié. La pertinence de ce travail a été évaluée par son application à la conception du décodeur MP3 présenté dans ce mémoire.

Nous proposons une nouvelle méthodologie de simulation symbolique, permettant la vérification des circuits séquentiels décrits à des niveaux d'abstraction différents. Nous avons utilisé un outil automatique de vérification formelle afin de montrer l'équivalence entre une description structurelle précisant les détails de réalisation et sa spécification comportementale. Des descriptions au niveau portes logiques issues d'un outil de synthèse commercial ont été comparées à des spécifications comportementales et structurelles au niveau transfert des registres. Cependant, il n'est pas nécessaire que la spécification soit synthésable ni qu'elle soit équivalente à la réalisation à chaque cycle d'horloge. Ultérieurement cette méthode pourra aussi s'appliquer à la vérification des propriétés. La simulation symbolique est exécutée en suivant des chemins dont l'outil garantit la cohérence logique. Nous obtenons un bon compromis entre précision et vitesse en détectant des équivalences grâce à un ensemble extensible de techniques. Nous utilisons des diagrammes de décisions binaires (OBDD) pour détecter les équivalences dans certains cas particuliers. Nous évitons l'explosion combinatoire en utilisant les résultats des autres techniques de détection et en ne représentant qu'une petite partie du problème à vérifier par des diagrammes de décisions. La coopération de toutes les techniques, et la génération de traces permettant la correction d'erreurs, ont été rendues possibles par le fait que nous associons des relations à des classes d'équivalence, au lieu de manipuler des expressions symboliques.

Thesis (Ph.D.)--University of Delaware, 2009. / Principal faculty advisor: Sunil K. Agrawal, Dept. of Mechanical Engineering. Includes bibliographical references.

MicroRNAs (miRNAs) play a vital role in regulating gene expression. Detecting conserved and novel miRNAs in very large genomic datasets generated using next generation sequencing platforms is a new research area in the field of gene regulation, but finding useful miRNA information from a large wheat genome is a challenging research project. We propose to design a toolchain that will identify conserved miRNAs using various software tools such as Basic Local Alignment Search Tool (BLAST), Bowtie 2, MAFFT and RNAfold. Our toolchain identified 36 wheat conserved miRNA families that matched with 232 experimental sequences. Moreover, we found 87 plant conserved miRNA families that matched between 613 experimental sequences and the miRBase dataset. In addition, we observed significant differential expression for the wheat exposed to the heat stress compared to those exposed to light and UV stresses or no stress (control). / October 2015

No description available.

Αυτή η μεταπτυχιακή εργασία έχει στόχο την ανάπτυξη ενός ολοκληρωμένου ενσωμματωμένου συστήματος, με βάση τον επεξεργαστή ARM9, για την χρήση στα εργαστήρια Συμβολικής γλώσσας, Μικροϋπολογιστών και Αρχιτεκτονικής του τμήματος Μηχανικών Η/Υ & Πληροφορικής, Πανεπιστημίου Πατρών. / The objective of this master thesis is the development of an embedded system, based on ARM9 CPU, that is going to be used in Assembly, Micro and Architecture Labs, in the Computer Engineering and Informatics Department, of University of Patras

Abstract Background: Micro-sized family businesses are facing great challenges in nowadays competitive markets. Marketing is one of the most essential fields if a company wants to suc-ceed. Traditional marketing reveal more and more disadvantages, with competition that is constantly rising, technological marketing methods that are breaking down geographical bur-dens and consumer markets that are getting more demanding. One way to step away from the traditional marketing patterns and differentiate is the implementation and usage of relation-ship marketing. As a novel strategic method, the focus shifts from the product to building a loyal customer relationship foundation. Purpose: Consequently the purpose of this thesis is to investigate which factors influence an implementation of relationship marketing in micro-size family businesses. Using a case study, we will investigate how the potential theories can be successfully translated into reality when using relationship marketing in micro family firms. For reaching this goal, we will mainly identify several influences that impact a relationship marketing implementation in micro family businesses. Method: The data used for our case study has been collected through email in-terviews. Using an abductive approach and a qualitative analysis we are investigating and analysing specific factors and their influence on relationship marketing in micro family busi-nesses, in particular Casa Canela. Although one case cannot act as a role model and offer generalisable suggestions on all micro sized family firms, it presents an interesting example of one case and we hope that the outcomes and results can offer a guideline and inspiration to other micro family businesses as well. Conclusion: All in all, this thesis suggests that relationship marketing can benefit micro-sized family businesses. Moreover, factors like the owner-managers, the location, the financial situation and long-term goals influence the implementation of this strategy. With the help of our case firm Casa Canela and the analysed factors, we concluded that relationship marketing can provide a solid foundation for a successful business performance in the long-run.

Microfluidics refers to devices and methods for controlling and manipulating fluid flows at length scales less than a millimeter. Miniaturization of a laboratory to a small device, usually termed as lab-on-a-chip, is an advanced technology that integrates a microfluidic system including channels, mixers, reservoirs, pumps and valves on a micro scale chip and can manipulate very small sample volumes of fluids. While several flow control concepts for microfluidic devices have been developed to date, here flow control concepts based on thermally responsive polymer solutions are presented. In particular, flow control concepts base on the thermally triggered reversible phase change of aqueous solutions of the polymer Pluronic will be discussed. Selective heating of small regions of microfluidic channels, which leads to localized gel formation in these channels and reversible channel blockage, will be used to control a membrane valve that controls flow in a separate channel. This new technology will allow generating inexpensive portable bioanalysis tools where microvalve actuation occurs simply through heaters at a constant pressure source without a need for large external pressure control systems as is currently the case. Furthermore, a concept for controlled cross-channel transport of particles and potentially cells is presented that relies on the continuous regeneration of a gel wall at the diffusive interface of two co-streaming fluids in a microfluidic channel.

The active state of plasminogen activator inhibitor type-1 (PAI-1) is prolonged when it forms a complex with vitronectin (VN), a major serum protein. Active PAI-1 in the PAI-1:VN complex serves many functions related to fibrinolysis and cell migration but key to these effects is its extracellular distribution. PAI-1:VN complexes can bind to exposed vimentin (VIM) on activated platelet and platelet microparticles, resulting in the assembly of PAI-1:VN:VIM ternary complexes. However, the manner in which the vimentin cytoskeleton is presented extracellularlyi s not well understood. I hypothesized that PAI-1:VN:VIM ternary complex assembly occurs on cell surfaces when microparticle release leads to exposure of vimentin cytoskeleton which can lead to either assembly of the ternary complex or become involved in an autoimmune response specific for vimentin. To follow the intracellular and extracellular fate of PAI-1, I constructed an expression vector encoding PAI-1-dsRed, a fluorescent form of PAI-1, which would permit live cell tracking of PAI-1 in megakaryocytes and endothelial cells. Secondly, to study how vimentin is expressed on platelets and platelet microparticles, flow cytometry was used to isolate vimentin positive platelets or PMP's and atomic force microscopy was performed to image platelets or PMP's at nanoscale resolution. From these studies, I propose a model of vimentin expression in which the junction of microparticle release results in the exposure of cytoskeletal vimentin on both the cell and the microparticle. This exposed vimentin could potentially induce VN multimerization on the same cell surface leading to incorporation of multiple PAI-1:VN complexes. Finally, I investigated how anti-vimentin antibodies can induce platelet:leukocyte conjugate formation. To achieve this, in vitro tests were performed to determine the binding site of anti-vimentin antibodies (AVA's) and how they induce blood cell activation. Overall, my results suggest that vimentin exposure in our model of microparticle release can lead to ternary complex assembly if suitable quantities of PAI-1 are released during platelet activation. In the setting of transplant vasculopathy with high titres of AVA's, vimentin-positive granulocytes can bind these autoantibodies, which then leads to platelet activation and the formation of platelet:leukocyte conjugates.