Relevant bibliographies by topics / Rtl1 / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Rtl1.

Dissertations / Theses on the topic 'Rtl1'

Author: Grafiati
Published: 4 June 2021
Last updated: 9 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Rtl1.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Youngson, Neil Alexander. "Characterisation, epigenetic regulation and genome function of the imprinted mouse Rtl1 gene and related genes." Thesis, University of Cambridge, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.614915.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sehki, Hayat. "Rôle d’un suppresseur endogène de RNAi dans le développement de la plante et ses interactions avec les pathogènes." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASB034.

Full text
Abstract:
Le Post-Transcriptional Gene Silencing (PTGS) est un mécanisme dirigé contre les acides nucléiques invasifs endogènes (transposons) et exogènes (pathogènes, transgènes). Dans le cas des virus, le PTGS peut s’attaquer aux ARNs double-brin (dsRNAs) intermédiaires de la réplication virale et aux ARNs simple-brin viraux, mais il est souvent inhibé par des protéines virales appelées Viral Suppressor of RNAi (VSR). Chez la plante modèle Arabidopsis thaliana, une enzyme appelée RNase THREE-LIKE 1 (RTL1) est induite en réponse à l'infection virale et détruit les dsRNAs de manière non sélective. Cette
APA, Harvard, Vancouver, ISO, and other styles
3

Riordan, Jesse Daniel. "A forward genetics approach to identify molecular drivers of liver cancer using Sleeping Beauty mouse models." Diss., University of Iowa, 2013. https://ir.uiowa.edu/etd/5049.

Full text
Abstract:
Each year liver cancer kills more than half a million people, making it the third leading cause of cancer-related death worldwide. Annual incidence continues to rise steadily, both domestically and globally, increasing the burden of this disease. Advancements in the ability to obtain detailed molecular profiles of tumors have led to the successful development of targeted therapies for a number of different cancers. Unfortunately, however, the molecular pathogenesis of liver cancer is poorly understood relative to many other types of malignancies. Thus, the identification of factors contributin
APA, Harvard, Vancouver, ISO, and other styles
4

Borie, Raphaël. "Génétique des fibroses pulmonaires familiales de l’adulte." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC208/document.

Full text
Abstract:
Environ 10 % des patients atteints de fibrose pulmonaire idiopathique (FPI) ont au moins un apparenté atteint de pneumopathie interstitielle diffuse (PID). Des mutations avaient été mises en évidence sur les gènes codant pour les protéines impliquées dans le métabolisme du surfactant et les protéines du complexe télomérase. Chez l’adulte, les mutations de TERT étaient les plus fréquentes (˜15 %), les mutations de TERC, DKC1 et TINF2 plus rarement retrouvées. Environ 80 % des formes familiales de fibroses pulmonaires chez l’adulte étaient sans cause identifiée. Les objectifs de cette thèse étai
APA, Harvard, Vancouver, ISO, and other styles
5

Hammerin, Karl, and Ramona Streitenberger. "RTLS – the missing link to optimizing Logistics Management?" Thesis, Tekniska Högskolan, Högskolan i Jönköping, JTH, Industriell organisation och produktion, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-45264.

Full text
Abstract:
The purpose of this thesis was to investigate how potentials of Real-Time Location Systems (RTLS) in relation to Just In Time (JIT) management could be utilized within logistics management. For this, a framework, based on previous research of the interrelations of RTLS and JIT management, is proposed, to assess the effects of RTLS on logistics management, both on a managerial - as well as on an operational level. To answer the proposed research questions, the study followed a deductive and exploratory case study design, which was conducted at a company within the automotive industry. To unders
APA, Harvard, Vancouver, ISO, and other styles
6

Porreca, Rosa Maria. "The role of human RTEL1 in telomere maintenance." Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066422.

Full text
Abstract:
Rtel1 est une hélicase qui a été identifiée comme un facteur essentiel pour maintenir les télomères longs et le génome stable chez la souris. Chez l'homme, des mutations germinales dans RTEL1 ont été trouvées chez les patients atteints du syndrome de Hoyeraal-Hreidarsson (HHS), une forme grave de la dyskératose congénitale. Cependant, le mécanisme selon lequel cette protéine agit dans les cellules humaines reste en grande partie inconnu. Pour étudier la fonction de RTEL1 sur le métabolisme des télomères nous avons réduit l'expression de RTEL1 par ARN interférent dans plusieurs lignées de cellu
APA, Harvard, Vancouver, ISO, and other styles
7

Chen, Wei. "RTL implementation of Viterbi Decoder." Thesis, Linköping University, Department of Electrical Engineering, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-6949.

Full text
Abstract:
<p>A forward error correction technique known as convolutional coding with Viterbi decoding was explored in this final thesis. This Viterbi project is part of the baseband Error control project at electrical engineering department, Linköping University.</p><p>In this project, the basic Viterbi decoder behavior model was built and simulated. The convolutional encoder, puncturing, 3 bit soft decision, BPSK and AWGN channel were implemented in MATLAB code. The BER was tested to evaluate the decoding performance.</p><p>The main issue of this thesis is to implement the RTL level model of Viterbi de
APA, Harvard, Vancouver, ISO, and other styles
8

Kalsing, Arthur. "Power-Intent Management During RTL Optimizations." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAT115.

Full text
Abstract:
Répondre aux exigences de la conception de puces basse consommation constitue un véritable défi pour l’industrie des semi-conducteurs. Au cours de ces dernières années, de nouvelles méthodologies ont été développées pour aider les ingénieurs à traiter la complexité croissante des puces. L’une de ces méthodologies traite l'unification des descriptions dites power-intent dans la norme IEEE-1801 en définissant un langage standard structuré pour annoter le power-intent dans la description des circuits. Tout en permettant de nombreuses améliorations lors de la conception, la vérification et la mise
APA, Harvard, Vancouver, ISO, and other styles
9

Agrawal, Akash. "Static Analysis to improve RTL Verification." Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/75293.

Full text
Abstract:
Integrated circuits have traveled a long way from being a general purpose microprocessor to an application specific circuit. It has become an integral part of the modern era of technology that we live in. As the applications and their complexities are increasing rapidly every day, so are the sizes of these circuits. With the increase in the design size, the associated testing effort to verify these designs is also increased. The goal of this thesis is to leverage some of the static analysis techniques to reduce the effort of testing and verification at the register transfer level. Studying a d
APA, Harvard, Vancouver, ISO, and other styles
10

Rivarola, Maximo Lisandro. "Insights into the regulation of ethylene receptor signaling by RTE1." College Park, Md.: University of Maryland, 2008. http://hdl.handle.net/1903/8784.

Full text
Abstract:
Thesis (Ph. D.) -- University of Maryland, College Park, 2008.<br>Thesis research directed by: Dept. of Cell Biology and Molecular Genetics. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
APA, Harvard, Vancouver, ISO, and other styles
11

Kevorkov, Ruslan. "Sounding Rocket ExperimentElectronics – RTL Design and Validation." Thesis, KTH, Rymd- och plasmafysik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-149252.

Full text
Abstract:
The Infrared Spectroscopy to Analyse the middle Atmosphere Composition (ISAAC) is an experimental module designed by KTH students. It consists of a Rocket Mounted Unit (RMU) and two Free-Falling Units (FFU) carried inside. The main objective of the experiment is to demonstrate ability of one FFU to track the other and to carry out measurements in cooperation. This Master’s thesis covers the development and implementation of the ejection system as well as data acquisition for the ISAAC experiment to have well-timed ejection of the FFUs and data for a post-flight analysis. Ejection control and
APA, Harvard, Vancouver, ISO, and other styles
12

Paakkolanvaara, J. (Janne). "Muunneltavan FPGA-testiympäristön käyttö reaaliaikaisessa RTL-verifioinnissa." Master's thesis, University of Oulu, 2018. http://urn.fi/URN:NBN:fi:oulu-201806052450.

Full text
Abstract:
Prototypointi on kasvattanut osaansa ASIC-piirien suunnittelussa viimeisen kahden vuosikymmenen aikana RTL-suunnitelmien kasvaessa valtavasti. Prototypoinnissa voidaan varmentaa suunnitelmaa reaalimaailmassa ennen, kuin se valmistetaan piille. Tämä säästää valtavasti kustannuksia, sillä ASICpiirin uudelleen valmistaminen on erittäin kallista. Prototypoinnissa voidaan myös aloittaa ohjelmistokehitys ennen kuin varsinainen piille painettu piiri valmistuu. Tämä nopeuttaa piirin markkinoille pääsyä huomattavasti. Prototypointia tehdään tyypillisesti emulaattorilla ja tässä työssä keskiössä olevill
APA, Harvard, Vancouver, ISO, and other styles
13

Gasengayire, Monique. "Analyse du discours médiatique et le genocide Rwandais, Kangura et RTLM." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2002. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp05/MQ65621.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

David, Alain. "Exploring the Regulation of Mitotic PP2A-Rts1 Activity in Saccharomyces cerevisiae." Thesis, Université d'Ottawa / University of Ottawa, 2021. http://hdl.handle.net/10393/42437.

Full text
Abstract:
Protein phosphorylation is an essential post-translational modification used in cells for regulating multiple biological processes in all organisms. Particularly, mitotic onset is regulated in all eukaryotes by an increase in cyclin-dependent kinase 1 (Cdk1) activity caused by the dephosphorylation of Cdk1 on a conserved tyrosine residue. PP2ARts1 is a phosphatase that participates in dephosphorylating the conserved tyrosine residue, tyrosine-19 (Y19). PP2ARts1 dephosphorylates phosphorylated serine and threonine residues. However, in vitro experiments suggest that in conjunction with the mamm
APA, Harvard, Vancouver, ISO, and other styles
15

Chiana, Lorenzo. "Studio e sperimentazione di un algoritmo RTLS per il posizionamento indoor." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021.

Find full text
Abstract:
Il presente lavoro di tesi si occupa di sistemi RTLS, ossia sistemi di localizzazione in tempo reale che vengono impiegati per l'identificazione e il tracciamento automatico della posizione di oggetti o persone, tipicamente in ambienti indoor. La loro applicazione offre la possibilità di acquisire importati informazioni a supporto di funzioni di pianificazione, produzione, logistica, sicurezza, ottimizzazione operativa o di comprensione del comportamento di individui (e.g., clienti, collaboratori, etc.). Questo elaborato riguarda lo studio di nuovi algoritmi nell'ambito di un progetto dell'az
APA, Harvard, Vancouver, ISO, and other styles
16

Labitzke, Nicole. "Ordnungsfiktionen das Tagesprogramm von RTL, Sat1 und ProSieben." Konstanz UVK-Verl.-Ges, 2008. http://d-nb.info/991008812/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Pinto, Sonal. "RTL Functional Test Generation Using Factored Concolic Execution." Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/78397.

Full text
Abstract:
This thesis presents a novel concolic testing methodology and CORT, a test generation framework that uses it for high-level functional test generation. The test generation effort is visualized as the systematic unraveling of the control-flow response of the design over multiple (factored) explorations. We begin by transforming the Register Transfer Level (RTL) source for the design into a high-performance C++ compiled functional simulator which is instrumented for branch coverage. An exploration begins by simulating the design with concrete stimuli. Then, we perform an interleaved cycle-by-cyc
APA, Harvard, Vancouver, ISO, and other styles
18

Khanna, Tania. "Guiding RTL Test Generation Using Relevant Potential Invariants." Thesis, Virginia Tech, 2018. http://hdl.handle.net/10919/84483.

Full text
Abstract:
In this thesis, we propose to use relevant potential invariants in a simulation-based swarmintelligence-based test generation technique to generate relevant test vectors for design validation at the Register Transfer Level (RTL). Providing useful guidance to the test generator for such techniques is critical. In our approach, we provide guidance by exploiting potential invariants in the design. These potential invariants are obtained using random stimuli such that they are true under these stimuli. Since these potential invariants are only likely to be true, we try to generate stimuli that can
APA, Harvard, Vancouver, ISO, and other styles
19

Barbosa, Nogueira Evanaska Maria. "Conception d'un système d'antennes pour la localisation en temps réel avec réseau de capteurs sans fils." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00981583.

Full text
Abstract:
Les systèmes de localisation en temps réel (Real-Time Locating System - RTLS) sont de plus en plus employés dans l'industrie. Ils permettent l'automatisation de diverses tâches telles que l'identification et le suivi des objets au long de la chaîne d'approvisionnement, la surveillance d'équipements dans les usines et la sécurisation des biens. Ces systèmes sont basés sur des capteurs électroniques sans fil à faible puissance et à faible coût avec des antennes intégrées. Dans notre contexte, deux types de capteurs sont utilisés. Les tags de référence sont généralement fixés sur les murs tandis
APA, Harvard, Vancouver, ISO, and other styles
20

Labitzke, Nicole. "Ordnungsfiktionen : das Tagesprogramm von RTL, Sat.1 und ProSieben /." Konstanz : UVK-Verlagsges, 2009. http://deposit.d-nb.de/cgi-bin/dokserv?id=3170600&prov=M&dok%5Fvar=1&dok%5Fext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Sagili, Chandra Teja Kumar Reddy. "MULTITHREADING BASED ACCELERATION FOR SMT SOLVER IN RTL VERIFICATION." OpenSIUC, 2019. https://opensiuc.lib.siu.edu/theses/2627.

Full text
Abstract:
The first part of the proposed method presents how to accelerate input test sequence generation to justify a given output sequence on observable points. A satisfiability module theory (SMT) solver generates the test pattern sequence using the time-frame expansion method. The contribution of the proposed approach is to accelerate test pattern generation by invoking a general-purpose multi-threading software tool, called the Executor Service which interacts with the SMT solver. The input to executor service is the design under test (DUT). The multi-threading tool schedules process on resources e
APA, Harvard, Vancouver, ISO, and other styles
22

Bansal, Kunal. "Increasing Branch Coverage with Dual Metric RTL Test Generation." Thesis, Virginia Tech, 2018. http://hdl.handle.net/10919/96581.

Full text
Abstract:
In this thesis, we present a new register-transfer level (RTL) test generation method that makes use of two coverage metrics, Branch Coverage, and Mutation Coverage across two stages, to cover hard-to-reach points previously unreached. We start with a preprocessing stage by converting the RTL source to a C++ equivalent using a modified Verilator, which also automatically creates mutants and the corresponding mutated C++ design, based on arithmetic, logical and relational operators during conversion. With the help of extracted Data Dependency and Control Flow Graphs, in every <golden, mut
APA, Harvard, Vancouver, ISO, and other styles
23

Singh, Chandan. "Fixing Power Bugs at RTL Stage using PSL Assertions." University of Cincinnati / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1384426036.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Ormoš, Michal. "Infrastruktura pro testování a nasazení real-time lokalizační platformy." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-417266.

Full text
Abstract:
Táto práca je prípadovou štúdiou postupného vývoja a nasadzovania lokačného softwaru v reálnom čase. Cieľom tejto práce je zrýchliť tento proces. Zvolený problém bol vyriešený s konvenčnými testovacími nastrojmi, vlastným nástrojom pre generovanie sieťovej prevádzky lokalizačnej platformy a nástrojmi CI/CD Gitlab. Prínosom tejto práce je zrýchlenie vývoja, zaručenie kvality vyvijaného softwaru a predstavenie spôsobu ako platformu pre lokalizáciu v reálnom čase testovať.
APA, Harvard, Vancouver, ISO, and other styles
25

Schack, Thoft D. "Involving people with early-stage dementia in qualitative research about their lifeworld perspectives : development of a participatory research model." Thesis, University of Northampton, 2017. http://nectar.northampton.ac.uk/9731/.

Full text
Abstract:
The aim of the study was to develop a participatory research model drawing from qualitative research about the lifeworld perspectives of people with early-stage dementia. Twelve participants with early-stage dementia were recruited from a compensatory adult school VUK (Voksenskolen for Undervisning og Kommunikation) in Denmark. They were trained in research skills to enable them to conduct a participatory research project in collaboration with the researcher. During the study, the participants informed the research project and the participatory research model. A combination of participant obse
APA, Harvard, Vancouver, ISO, and other styles
26

Budini, Elizabeta. "Integrazione di un sistema di telecamere per videosorveglianza con i sistemi RTLS UWB." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/19068/.

Full text
Abstract:
Sulla scia del trend corrente in ambito di automazione per l'industria - si parla di Industria 4.0 - le fabbriche diventano sempre più digitalizzate e interconnesse. Grazie alle tecnologie IoT (Internet of Things) e di indoor positioning UWB è possibile soddisfare la necessità di localizzare e monitorare oggetti o persone all'interno di un edificio con una accuratezza non raggiungibile con altre tecnologie quali i servizi GNSS. In questa compagine industriale si inserisce la collaborazione con l'azienda UNISET per questa tesi. Il progetto ha avuto come scopo quello di far interagire un sistem
APA, Harvard, Vancouver, ISO, and other styles
27

Rodrigues, Fernanda Gutierrez. "Identificação de moduladores genéticos em pacientes com anemia aplástica por sequenciamento de nova geração." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/17/17154/tde-25072018-110641/.

Full text
Abstract:
A fisiopatologia das síndromes de falência da medula óssea (FMO) está relacionada a mecanismos adquiridos de destruição das células-tronco hematopoeiticas na medula ou a defeitos constitucionais em genes fundamentais para o reparo do DNA e manutenção dos telômeros. A anemia aplástica (AA), o protótipo das doenças de FMO, pode ter etiologia adquirida ou constitucional. A avaliação genética de pacientes com AA adquirida tem como objetivo a detecção de mutações somáticas que possam ser usadas como marcadores de resposta ao tratamento imunossupressor. Diferentemente, em pacientes com AA constituci
APA, Harvard, Vancouver, ISO, and other styles
28

Lai, Jiunn-Yiing 1958. "RTL AND SWITCH-LEVEL SIMULATION COMPARISON ON EIGHT BIT MICROPROCESSOR." Thesis, The University of Arizona, 1987. http://hdl.handle.net/10150/276532.

Full text
Abstract:
In this research, an AHPL (A Hardware Programming Language) based automation system is used to design and verify the Intel-8080 microprocessor from the RTL (Register Transfer Level) hardware description through the network list of transistors. The HPSIM is used as a RTL simulator which interprets the AHPL description and executes the connections, branches, and register transfer, and prints line or register values for each circuit clock period. After the AHPL description has been translated to switch-level link list, ESIM is applied for more detailed simulation to ensure the digital behavior in
APA, Harvard, Vancouver, ISO, and other styles
29

Yadav, Ajitkumar. "Fault Diagnosis in Failed Functional Test Sequences at RTL Level." OpenSIUC, 2016. https://opensiuc.lib.siu.edu/theses/2041.

Full text
Abstract:
Proposed is a formulation for quick diagnosis of the sources of failure in a failing system level test when functional input sequences are applied. We use implicit function based methods to identify the set of all possible input test sequences corresponding to a given output sequence. Our approach does quick defect isolation due to reduced complexity at the RT level abstraction of the circuit. The proposed formulation is modeled using Satisfiability Modulo Theories (SMT). Solvers based on SMT can effectively model RT level circuit descriptions written in behavioral and structural Verilog and m
APA, Harvard, Vancouver, ISO, and other styles
30

Berthelot, David. "Insertion du BIST au niveau RTL et au niveau comportemental." Montpellier 2, 1999. http://www.theses.fr/1999MON20142.

Full text
Abstract:
Cette these porte sur l'insertion automatisee du test integre (bist pour built-in self-test) au sein de circuits digitaux de type chemin de donnees. L'insertion du test est pris en compte des les premieres phases de la conception. La premiere partie de ce document est consacree a la presentation des notions de base sur la synthese d'architecture et le test integre. Le deuxieme chapitre decrit ma premiere contribution dans ce domaine, il s'agit d'un nouveau generateur de sequences de test couvrant tous les k sous-espaces contigus et permettant d'optimiser le test d'operateurs arithmetiques. Dan
APA, Harvard, Vancouver, ISO, and other styles
31

Jangid, Anuradha. "Verifying IP-Cores by Mapping Gate to RTL-Level Designs." Case Western Reserve University School of Graduate Studies / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=case1385975878.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Dias, Joana Simões do Carmo. "Os critérios de noticiabilidade dos noticiários televisivos - estudo de caso comparativo: RTP1 e TVI." Bachelor's thesis, [s.n.], 2005. http://hdl.handle.net/10284/813.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Kočan, Tomáš. "Lokalizační služby ve webových aplikacích." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2015. http://www.nusl.cz/ntk/nusl-264937.

Full text
Abstract:
The aim of this master thesis was to develop an application that would visualize the position of sensors placed indoors. Since the sensors are located in the buildings, geographical maps are not used as basis, but the user has the option to upload his own background in the form of floor plans of rooms, floors, buildings,... For this purpose, application has tools for uploading, managing and editing such plans. The paper also describes how to use the application to monitor the current and past positions of these sensors. Support for these features is provided by several server components consis
APA, Harvard, Vancouver, ISO, and other styles
34

Dahlman, Gustav, and Johan Omara. "Real time location system for indoor environment." Thesis, Malmö universitet, Fakulteten för teknik och samhälle (TS), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-20092.

Full text
Abstract:
Fältet inomhuspositionering är en viktig och stor front och är i fortsatt och snabb utveckling inom IoT-teknik och digitalisering av storstäder. Detta arbete är utformat för att hitta och byggaen lämplig teknik för att komprimera olinjäriteter från multipatutbredning. I denna uppsats undersöks olika lokaliseringstekniker och metoder genom en litteraturstudie. Baserat på resultatetav litteraturstudien och en given uppsättning krav designas och implementeras en prototyp. Detresulterande systemet är baserat på UWB-teknik med hjälp av TWR, trilateration och ett kalmanfilter. Prototypen testas i ol
APA, Harvard, Vancouver, ISO, and other styles
35

Ioannidu, Sofia. "Physikalische Kartierung der RT1-C-M-Region des Haupthistokompatibilitätskomplexes der Ratte." [S.l.] : [s.n.], 2000. http://hdl.handle.net/11858/00-1735-0000-0006-ABC6-D.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Bortfeldt, Björn. "Molekulargenetische Charakterisierung der RT1.C-E-Region im MHC der Ratte." [S.l.] : [s.n.], 2000. http://deposit.ddb.de/cgi-bin/dokserv?idn=960606815.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Young, Lesley Lynn. "Peptide presentation by the rat class I MHC molecule RT1.Aa." Thesis, University of Cambridge, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627518.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

TEICA, ELENA. "FORMAL CORRECTNESS AND COMPLETENESS FOR A SET OF UNINTERPRETED RTL TRANSFORMATIONS." University of Cincinnati / OhioLINK, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1001432470.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

MANSOURI, NAZANIN. "AUTOMATED CORRECTNESS CONDITION GENERATION FOR FORMAL VERIFICATION OF SYNTHESIZED RTL DESIGNS." University of Cincinnati / OhioLINK, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=ucin982064542.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Mashayekhi, Motahareh. "A stochastic RTL circuit generator for FPGA architecture and CAD evaluation." Thesis, University of British Columbia, 2017. http://hdl.handle.net/2429/60561.

Full text
Abstract:
The performance and capacity of Field-Programmable Gate Arrays (FPGAs) have dramatically improved in recent years. Today these devices are emerging as massively reconfigurable and paralleled hardware computation engines in data centers and cloud computing infrastructures. These emerging application domains require better and faster FPGAs. Designing such FPGAs requires realistic benchmark circuits to evaluate new architectural proposals. However, the number of available benchmark circuits is small, outdated, and few of these are representative of realistic circuits. A potential method to ob
APA, Harvard, Vancouver, ISO, and other styles
41

Rafiqi, Maryam. "Functional and structural analyses of RTP1, a rust haustorial protein transferred into host plant cells." [S.l.] : [s.n.], 2007. http://deposit.ddb.de/cgi-bin/dokserv?idn=984368469.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Mbede, Emmanuel Tétu Jean-François. "L'identité de la télévision publique en Afrique le cas de CRTV (Cameroun) et RTS1 (Sénégal) /." Lyon : Université Lumière Lyon 2, 2006. http://demeter.univ-lyon2.fr/sdx/theses/lyon2/2006/mbedebala_e.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Mbede, Emmanuel. "L'identité de la télévision publique en Afrique : le cas de CRTV (Cameroun) et RTS1 (Sénégal)." Lyon 2, 2006. http://theses.univ-lyon2.fr/documents/lyon2/2006/mbedebala_e.

Full text
Abstract:
La multiplication de l'offre télévisuelle et la domination des industries culturelles occidentales ont fait naître la peur d’une homogénéisation de produits audiovisuels, et partant de gommer les différences culturelles qui fondent l'identité de chaque média. Cette étude se propose de mettre en exergue les différents contours de l'identité des chaînes de télévision. A partir de l'exemple des télévisions publiques du Cameroun (CRTV) et du Sénégal (RTS1), nous proposons une analyse des indicateurs et pratiques explicites et implicites qui fondent la spécificité de chaque chaîne, afin de mettre e
APA, Harvard, Vancouver, ISO, and other styles
44

Mirmiran, Arienne. "Protoporphyrie érythropoïétique : thérapie génique non intégrative par oligonucléotide antisens adressé par peptides bifonctionnels RTf1-CPP." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC184/document.

Full text
Abstract:
La protoporphyrie érythropoïétique (PPE) est une maladie héréditaire rare caractérisée par un déficit en activité FECH responsable d’une accumulation de PPIX. Elle se manifeste par une photosensibilité très invalidante. Il n’existe pas de traitement efficace pour la PPE. 95 % des malades présentent un allèle FECH hypomorphe (c.315-48C) en trans d'une mutation FECH délétère, ce qui entraine une diminution de l'activité FECH résiduelle dans les érythroblastes en dessous d'un seuil critique d'environ 35 % de l'activité normale. L’allèle hypomorphe (c.315-48C) favorise l'utilisation d'un site cryp
APA, Harvard, Vancouver, ISO, and other styles
45

Belhadj, Amor Zeineb. "Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENT083/document.

Full text
Abstract:
Cette thèse se situe dans le contexte de la vérification fonctionnelle des circuits intégrés complexes. L’objectif de ce travail est de créer un flot de vérification conjoint au flot de conception basé sur une technique appelée "vérification basée sur les assertions(ABV)". Le concept de base du flot est le raffinement automatique des spécifications formelles données sous la forme d’assertions PSL du niveau TLM au niveau RTL. La principale difficulté est la disparité des deux domaines : au niveau TLM, les communications sont modélisées par des appels de fonctions atomiques. Au niveau RTL, les é
APA, Harvard, Vancouver, ISO, and other styles
46

Hernandez, Anna C. "Implementing and Comparing Image Convolution Methods on an FPGA at the Register-Transfer Level." Digital WPI, 2019. https://digitalcommons.wpi.edu/etd-theses/1340.

Full text
Abstract:
Whether it's capturing a car's license plate on the highway or detecting someone's facial features to tag friends, computer vision and image processing have found their way into many facets of our lives. Image and video processing algorithms ultimately tailor towards one of two goals: to analyze data and produce output in as close to real-time as possible, or to take in and operate on large swaths of information offline. Image convolution is a mathematical method with which we can filter an image to highlight or make clearer desired information. The most popular uses of image convolution accen
APA, Harvard, Vancouver, ISO, and other styles
47

Shrestha, Gyanendra. "Ensuring Trust Of Third-Party Hardware Design With Constrained Sequential Equivalence Checking." Thesis, Virginia Tech, 2012. http://hdl.handle.net/10919/44889.

Full text
Abstract:
Globalization of semiconductor design and manufacturing has led to a concern of trust in the final product. The components may now be designed and manufactured from anywhere in the world without the direct supervision of the buyer. As a result, the hardware designs and fabricated chips may be vulnerable to malicious alterations by an adversary at any stage of VLSI design flow, thus compromising the integrity of the component. The effect of any modifications made by the adversary can be catastrophic in the critical applications. Because of the stealthy nature of such insertions, it is extremely
APA, Harvard, Vancouver, ISO, and other styles
48

Koch, Mick V. "An Accessible Project 25 Receiver Using Low-Cost Software Defined Radio." Ohio University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1464007525.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Karlsson, Simon. "Real-time Location System with Passive RFID for surveillance of trusted objects in a room." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-63803.

Full text
Abstract:
The use of Radio Frequency Identification (RFID) in Real-Time Location Systems (RTLS) in asset management has been in limited use, mainly in large organizations such as hospitals and military. The research in this area is making progress and new solutions with reduced costs with greater resolution are presented by different companies that enable the technology to be used in new operating areas. This thesis is about the development, implementation and integration of a RTLS solution that enables surveillance of the position of keys. The RTLS solution utilizes RTLS hardware to receive the positio
APA, Harvard, Vancouver, ISO, and other styles
50

Yang, Celeste. "A study of the calibration-inverse prediction problem in a mixed model setting." Manhattan, Kan. : Kansas State University, 2008. http://hdl.handle.net/2097/1079.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Rtl1' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography