Relevant bibliographies by topics / Rtl1

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Rtl1"

1

Dini, Pouya, Mariano Carossino, Udeni B. R. Balasuriya, et al. "Paternally expressed retrotransposon Gag-like 1 gene, RTL1, is one of the crucial elements for placental angiogenesis in horses." Biology of Reproduction 104, no. 6 (2021): 1386–99. http://dx.doi.org/10.1093/biolre/ioab039.

Full text
Abstract:
Abstract RTL1 (retrotransposon Gag-like 1) is an essential gene in the development of the human and murine placenta. Several fetal and placental abnormalities such as intrauterine growth restriction (IUGR) and hydrops conditions have been associated with altered expression of this gene. However, the function of RTL1 has not been identified. RTL1 is located on a highly conserved region in eutherian mammals. Therefore, the genetic and molecular analysis in horses could hold important implications for other species, including humans. Here, we demonstrated that RTL1 is paternally expressed and is
APA, Harvard, Vancouver, ISO, and other styles
2

Yu, Dawei, Jing Wang, Huiying Zou, et al. "Silencing of retrotransposon-derived imprinted gene RTL1 is the main cause for postimplantational failures in mammalian cloning." Proceedings of the National Academy of Sciences 115, no. 47 (2018): E11071—E11080. http://dx.doi.org/10.1073/pnas.1814514115.

Full text
Abstract:
Substantial rates of fetal loss plague all in vitro procedures involving embryo manipulations, including human-assisted reproduction, and are especially problematic for mammalian cloning where over 90% of reconstructed nuclear transfer embryos are typically lost during pregnancy. However, the epigenetic mechanism of these pregnancy failures has not been well described. Here we performed methylome and transcriptome analyses of pig induced pluripotent stem cells and associated cloned embryos, and revealed that aberrant silencing of imprinted genes, in particular the retrotransposon-derived RTL1
APA, Harvard, Vancouver, ISO, and other styles
3

Kitazawa, Moe, Shinichiro Hayashi, Michihiro Imamura, et al. "Deficiency and overexpression of Rtl1 in the mouse cause distinct muscle abnormalities related to Temple and Kagami-Ogata syndromes." Development 147, no. 21 (2020): dev185918. http://dx.doi.org/10.1242/dev.185918.

Full text
Abstract:
ABSTRACTTemple and Kagami-Ogata syndromes are genomic imprinting diseases caused by maternal and paternal duplication of human chromosome 14, respectively. They exhibit different postnatal muscle-related symptoms as well as prenatal placental problems. Using the mouse models for these syndromes, it has been demonstrated that retrotransposon gag like 1 [Rtl1, also known as paternally expressed 11 (Peg11)] located in the mouse orthologous imprinted region is responsible for the prenatal placental problems because it is an essential placental gene for maintenance of fetal capillary network during
APA, Harvard, Vancouver, ISO, and other styles
4

Fan, Guobiao, Dan Ye, Songcheng Zhu та ін. "RTL1 promotes melanoma proliferation by regulating Wnt/β-catenin signalling". Oncotarget 8, № 62 (2017): 106026–37. http://dx.doi.org/10.18632/oncotarget.22523.

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

Davis, Erica, Florian Caiment, Xavier Tordoir, et al. "RNAi-Mediated Allelic trans-Interaction at the Imprinted Rtl1/Peg11 Locus." Current Biology 15, no. 8 (2005): 743–49. http://dx.doi.org/10.1016/j.cub.2005.02.060.

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

Davis, Erica, Florian Caiment, Xavier Tordoir, et al. "RNAi-Mediated Allelic trans-Interaction at the Imprinted Rtl1/Peg11 Locus." Current Biology 15, no. 9 (2005): 884. http://dx.doi.org/10.1016/j.cub.2005.04.047.

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

Leeton, L. A., and R. L. Tellam. "Adipogenesis in mouse 3T3L1 cells: the effects of Rtl1 over-expression." Functional & Integrative Genomics 7, no. 3 (2007): 257–61. http://dx.doi.org/10.1007/s10142-006-0042-3.

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

Mahmoudi, Ahmad-Reza, Roya Ghods, Zahra Madjd, et al. "Expression profiling of RTL1 in human breast cancer tissues and cell lines." Experimental and Molecular Pathology 121 (August 2021): 104654. http://dx.doi.org/10.1016/j.yexmp.2021.104654.

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

Fujioka, Kazumichi, Kosuke Nishida, Mariko Ashina, et al. "DNA methylation of the Rtl1 promoter in the placentas with fetal growth restriction." Pediatrics & Neonatology 60, no. 5 (2019): 512–16. http://dx.doi.org/10.1016/j.pedneo.2019.01.001.

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

FANG, Yun-xia, Xiu-juan SONG, You-lin PENG, et al. "Characterization and Genetic Analysis of Rumpled and Twisted Leaf Mutant (rtl1) in Rice." Rice Science 18, no. 4 (2011): 243–49. http://dx.doi.org/10.1016/s1672-6308(12)60001-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Rtl1"

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
More sources

Books on the topic "Rtl1"

1

RTLS for dummies. For Dummies, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Navadic, Jacques. RTL-télévision, c'est nous. RTL-édition, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jacques, Boutelet, ed. RTL: 40 ans ensemble. Calmann-Lévy, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Chu, Pong P. RTL Hardware Design Using VHDL. John Wiley & Sons, Ltd., 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Chu, Pong P. RTL Hardware Design Using VHDL. John Wiley & Sons, Inc., 2006. http://dx.doi.org/10.1002/0471786411.

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

Churiwala, Sanjay, and Sapan Garg. Principles of VLSI RTL Design. Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-9296-3.

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

Gomes, Adelino. Nos bastidores dos telejornais: RTP1, SIC e TVI. Tinta da China, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Rajan, Sundar. Essential VHDL: RTL synthesis done right. CLbooks, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Thoma, Danièle. Hochexplosiv: Mein Leben mit Mister RTL. 2nd ed. Hoffmann und Campe, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kreicher, Roger. 22, rue Bayard: Mes années RTL. Hachette, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Rtl1"

1

Simpson, Philip. "RTL Design." In FPGA Design. Springer New York, 2010. http://dx.doi.org/10.1007/978-1-4419-6339-0_8.

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

Simpson, Philip Andrew. "RTL Design." In FPGA Design. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17924-7_10.

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

Lee, Weng Fook. "RTL Coding Guideline." In Learning from VLSI Design Experience. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03238-8_8.

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

Churiwala, Sanjay, and Sapan Garg. "Ensuring RTL Intent." In Principles of VLSI RTL Design. Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-9296-3_2.

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

Foster, Harry, Adam Krolnik, and David Lacey. "Specifying RTL Properties." In Assertion-Based Design. Springer US, 2003. http://dx.doi.org/10.1007/978-1-4419-9228-4_3.

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

Sutherland, Stuart, and Don Mills. "RTL Modeling Gotchas." In Verilog and SystemVerilog Gotchas. Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-71715-9_3.

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

Taraate, Vaibbhav. "ASIC RTL Synthesis." In Digital Logic Design Using Verilog. Springer India, 2016. http://dx.doi.org/10.1007/978-81-322-2791-5_10.

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

Keating, Michael, and Pierre Bricaud. "RTL Coding Guidelines." In Reuse Methodology Manual. Springer US, 1999. http://dx.doi.org/10.1007/978-1-4615-5037-2_5.

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

Aumüller, Krista. "„Made by RTL“." In Strategien erfolgreicher TV-Marken. VS Verlag für Sozialwissenschaften, 2011. http://dx.doi.org/10.1007/978-3-531-92836-4_11.

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

Keating, Michael. "Simplifying RTL Design." In The Simple Art of SoC Design. Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-8586-6_2.

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

Conference papers on the topic "Rtl1"

1

Enayati, Moein, Nasibeh Zanjirani Farahani, David Nestler, Heather Heaton, and Kalyan Pasupathy. "Can Real-Time Location System Replace Current Standard for Capture of Length of Stay?" In 2020 Design of Medical Devices Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/dmd2020-9069.

Full text
Abstract:
Abstract Background: Emergency Department Length of Stay (ED-LOS) is a crucial measurement for clinical and operational decisions and is used for regulatory reporting and research purposes. Accurate and standardized measurement of this duration improves the effectiveness of decisions and findings. Further, automated capture can eliminate dependence on human task-based data-entry. Objective: Compare a real-time location system (RTLS)-based measure of LOS against the current standard of practice (EMR); examine factors associated with discrepancy in LOS. Method: Estimation of LOS using the first
APA, Harvard, Vancouver, ISO, and other styles
2

Thirumurthy, Deepak, Jaskirat Singh, and Mark Peng. "RT61 Power Turbine 100K MTBO Life Extension - Life Cycle Cost Reduction." In ASME Turbo Expo 2017: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/gt2017-64906.

Full text
Abstract:
RT61 is a three-stage industrial power turbine which couples with industrial RB211-24GT gas generator. This power turbine was designed and developed by the turbomachinery group in Mount Vernon, Ohio. It was designed based on the 3-D vortex theory during the early 2000 for increased power output and efficiency. It was also designed for low weight with modular construction for ease in maintainability. The industrial RB211-GT61 product serves both oil &amp; gas and power generation market. Recent drop in crude oil prices has posed significant challenges to the oil &amp; gas customers. To increase
APA, Harvard, Vancouver, ISO, and other styles
3

Li, Xun, and Wei-Ping Huang. "Hierarchical Modeling of Semiconductor Distributed-feedback Laser Diodes." In Integrated Photonics Research. OSA, 1999. http://dx.doi.org/10.1364/ipr.1999.rtul1.

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

Sawant, Sanjay, and Paul Giordano. "RTL emulation." In the 33rd annual conference. ACM Press, 1996. http://dx.doi.org/10.1145/240518.240561.

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

Bombieri, N., F. Fummi, and V. Guarnieri. "Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction." In 2011 16th IEEE European Test Symposium (ETS). IEEE, 2011. http://dx.doi.org/10.1109/ets.2011.58.

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

Ghasempouri, Tara, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, and Jaan Raik. "RTL Assertion Mining with Automated RTL-to-TLM Abstraction." In 2019 Forum for Specification and Design Languages (FDL). IEEE, 2019. http://dx.doi.org/10.1109/fdl.2019.8876941.

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

Machado, David Sotto-Mayor, Dora Moreira, Hugo Castro, and Alexandre Barao. "Real-Time Logistic Monitoring (RTLM)." In 2020 15th Iberian Conference on Information Systems and Technologies (CISTI). IEEE, 2020. http://dx.doi.org/10.23919/cisti49556.2020.9140441.

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

Kölbl, Alferd, James Kukula, and Robert Damiano. "Symbolic RTL simulation." In the 38th conference. ACM Press, 2001. http://dx.doi.org/10.1145/378239.378278.

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

Karunaratne, M., A. Sagahayroon, and S. Prodhuturi. "RTL fault modeling." In 48th Midwest Symposium on Circuits and Systems, 2005. IEEE, 2005. http://dx.doi.org/10.1109/mwscas.2005.1594451.

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

Strauch, Tobias. "Timing driven RTL-to-RTL partitioner for multi-FPGA systems." In 2013 23rd International Conference on Field Programmable Logic and Applications (FPL). IEEE, 2013. http://dx.doi.org/10.1109/fpl.2013.6645579.

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

Reports on the topic "Rtl1"

1

Emma, P. North RTL 'Grid Scan' Studies. Office of Scientific and Technical Information (OSTI), 2007. http://dx.doi.org/10.2172/900236.

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

Emma, P. North RTL grid scan'' studies. Office of Scientific and Technical Information (OSTI), 1990. http://dx.doi.org/10.2172/6431644.

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

Chang, Caren. RTE1, A Novel Regulator of Ethylene Receptor Function. Office of Scientific and Technical Information (OSTI), 2013. http://dx.doi.org/10.2172/1062076.

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

Woodley, M. D., and J. C. Sheppard. Sector 1-LTR-RTL-Sector 2 treaty. Office of Scientific and Technical Information (OSTI), 1985. http://dx.doi.org/10.2172/6031374.

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

Seeman, J. T. New limits on residual RTL eta from Linac wakefields. Office of Scientific and Technical Information (OSTI), 1986. http://dx.doi.org/10.2172/5596354.

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

Ukkusuri, Satish, Lu Ling, Tho V. Le, and Wenbo Zhang. Performance of Right-Turn Lane Designs at Intersections. Purdue University, 2021. http://dx.doi.org/10.5703/1288284317277.

Full text
Abstract:
Right-turn lane (RTL) crashes are among the most key contributors to intersection crashes in the US. Different right turn lanes based on their design, traffic volume, and location have varying levels of crash risk. Therefore, engineers and researchers have been looking for alternative ways to improve the safety and operations for right-turn traffic. This study investigates the traffic safety performance of the RTL in Indiana state based on multi-sources, including official crash reports, official database, and field study. To understand the RTL crashes' influencing factors, we introduce a rand
APA, Harvard, Vancouver, ISO, and other styles
7

OLSON, CRAIG L., STEPHEN A. SLUTZ, WILLIAM A. STYGAR, et al. Investigation of the Feasibility of RTL Concept for Fusion Energy. Office of Scientific and Technical Information (OSTI), 2001. http://dx.doi.org/10.2172/787789.

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

Jain, Himanshu, Natasha Sharygina, Daniel Kroening, and Edmund Clarke. Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada470547.

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

Sharpe, Robin Arthur, Alexander S. Kingsep, David Lewis Smith, et al. Recyclable transmission line (RTL) and linear transformer driver (LTD) development for Z-pinch inertial fusion energy (Z-IFE) and high yield. Office of Scientific and Technical Information (OSTI), 2007. http://dx.doi.org/10.2172/900850.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Rtl1' for particular source types:
Journal articles Dissertations / Theses 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