Relevant bibliographies by topics / DRAT

Contents

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

Academic literature on the topic 'DRAT'

Author: Grafiati
Published: 4 June 2021
Last updated: 11 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 'DRAT.'

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 "DRAT"

1

Zhang, Yaoping, Edward L. Pohlmann, Cale M. Halbleib, Paul W. Ludden, and Gary P. Roberts. "Effect of PII and Its Homolog GlnK on Reversible ADP-Ribosylation of Dinitrogenase Reductase by Heterologous Expression of the Rhodospirillum rubrum Dinitrogenase Reductase ADP-Ribosyl Transferase–Dinitrogenase Reductase-Activating Glycohydrolase Regulatory System inKlebsiella pneumoniae." Journal of Bacteriology 183, no. 5 (March 1, 2001): 1610–20. http://dx.doi.org/10.1128/jb.183.5.1610-1620.2001.

Full text
Abstract:
ABSTRACT Reversible ADP-ribosylation of dinitrogenase reductase, catalyzed by the dinitrogenase reductase ADP-ribosyl transferase–dinitrogenase reductase-activating glycohydrolase (DRAT-DRAG) regulatory system, has been characterized in Rhodospirillum rubrum and other nitrogen-fixing bacteria. To investigate the mechanisms for the regulation of DRAT and DRAG activities, we studied the heterologous expression of R. rubrum draTG in Klebsiella pneumoniae glnB and glnK mutants. In K. pneumoniae wild type, the regulation of both DRAT and DRAG activity appears to be comparable to that seen in R. rub
APA, Harvard, Vancouver, ISO, and other styles
2

Oetjen, Janina, and Barbara Reinhold-Hurek. "Characterization of the DraT/DraG System for Posttranslational Regulation of Nitrogenase in the Endophytic Betaproteobacterium Azoarcus sp. Strain BH72." Journal of Bacteriology 191, no. 11 (April 3, 2009): 3726–35. http://dx.doi.org/10.1128/jb.01720-08.

Full text
Abstract:
ABSTRACT DraT/DraG-mediated posttranslational regulation of the nitrogenase Fe protein by ADP-ribosylation has been described for a few diazotrophic bacteria belonging to the class Alphaproteobacteria. Here we present for the first time the DraT/DraG system of a betaproteobacterium, Azoarcus sp. strain BH72, a diazotrophic grass endophyte. Its genome harbors one draT ortholog and two physically unlinked genes coding for ADP-ribosylhydrolases. Northern blot analysis revealed cotranscription of draT with two genes encoding hypothetical proteins. Furthermore, draT and draG2 were expressed under a
APA, Harvard, Vancouver, ISO, and other styles
3

Wang, H., and A. Norén. "Metabolic regulation of nitrogen fixation in Rhodospirillum rubrum." Biochemical Society Transactions 34, no. 1 (January 20, 2006): 160–61. http://dx.doi.org/10.1042/bst0340160.

Full text
Abstract:
Nitrogenase activity in Rhodospirillum rubrum is post-translationally regulated by DRAG (dinitrogenase reductase glycohydrolase) and DRAT (dinitrogenase reductase ADP-ribosylation transferase). When a sudden increase in fixed nitrogen concentration or energy depletion is sensed by the cells, DRAG is inactivated and DRAT activated. We propose that the regulation of DRAG is dependent on its location in the cell and the presence of an ammonium-sensing protein.
APA, Harvard, Vancouver, ISO, and other styles
4

Shinbrot, Troy. "Drat such custard!" Nature 438, no. 7070 (December 2005): 922–23. http://dx.doi.org/10.1038/438922a.

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

Moure, Vivian R., Karamatullah Danyal, Zhi-Yong Yang, Shannon Wendroth, Marcelo Müller-Santos, Fabio O. Pedrosa, Marcelo Scarduelli, et al. "The Nitrogenase Regulatory Enzyme Dinitrogenase Reductase ADP-Ribosyltransferase (DraT) Is Activated by Direct Interaction with the Signal Transduction Protein GlnB." Journal of Bacteriology 195, no. 2 (November 9, 2012): 279–86. http://dx.doi.org/10.1128/jb.01517-12.

Full text
Abstract:
ABSTRACTFe protein (dinitrogenase reductase) activity is reversibly inactivated by dinitrogenase reductase ADP-ribosyltransferase (DraT) in response to an increase in the ammonium concentration or a decrease in cellular energy inAzospirillum brasilense,Rhodospirillum rubrum, andRhodobacter capsulatus. The ADP-ribosyl is removed by the dinitrogenase reductase-activating glycohydrolase (DraG), promoting Fe protein reactivation. The signaling pathway leading to DraT activation by ammonium is still not completely understood, but the available evidence shows the involvement of direct interaction be
APA, Harvard, Vancouver, ISO, and other styles
6

Yakunin, Alexander F., Alexander S. Fedorov, Tatyana V. Laurinavichene, Vadim M. Glaser, Nikolay S. Egorov, Anatoly A. Tsygankov, Vladislav V. Zinchenko, and Patrick C. Hallenbeck. "Regulation of nitrogenase in the photosynthetic bacteriumRhodobacter sphaeroidescontainingdraTGandnifHDKgenes fromRhodobacter capsulatus." Canadian Journal of Microbiology 47, no. 3 (March 1, 2001): 206–12. http://dx.doi.org/10.1139/w00-144.

Full text
Abstract:
The photosynthetic bacteria Rhodobacter capsulatus and Rhodospirillum rubrum regulate their nitrogenase activity by the reversible ADP-ribosylation of nitrogenase Fe-protein in response to ammonium addition or darkness. This regulation is mediated by two enzymes, dinitrogenase reductase ADP-ribosyl transferase (DRAT) and dinitrogenase reductase activating glycohydrolase (DRAG). Recently, we demonstrated that another photosynthetic bacterium, Rhodobacter sphaeroides, appears to have no draTG genes, and no evidence of Fe-protein ADP-ribosylation was found in this bacterium under a variety of gro
APA, Harvard, Vancouver, ISO, and other styles
7

Zalewska, Beata, Rafał Piątek, Katarzyna Bury, Alfred Samet, Bogdan Nowicki, Stella Nowicki, and Józef Kur. "A surface-exposed DraD protein of uropathogenic Escherichia coli bearing Dr fimbriae may be expressed and secreted independently from DraC usher and DraE adhesin." Microbiology 151, no. 7 (July 1, 2005): 2477–86. http://dx.doi.org/10.1099/mic.0.28083-0.

Full text
Abstract:
The dra gene cluster, expressed by uropathogenic Escherichia coli strains, determines bacterial attachment and invasion. The Dr fimbrial structures formed at the bacterial cell surface are composed of DraE subunits. The Dr fimbriae-coding cluster contains six open reading frames – draA, draB, draC, draD, draP and draE – among which the draE gene encodes the structural fimbrial subunit DraE. Very little is known about E. coli surface expression of the draD gene product. The expression of DraD and its role in the biogenesis of Dr fimbriae were determined by constructing mutants in the dra operon
APA, Harvard, Vancouver, ISO, and other styles
8

Kim, Kitai, Yaoping Zhang, and Gary P. Roberts. "Correlation of Activity Regulation and Substrate Recognition of the ADP-Ribosyltransferase That Regulates Nitrogenase Activity in Rhodospirillum rubrum." Journal of Bacteriology 181, no. 5 (March 1, 1999): 1698–702. http://dx.doi.org/10.1128/jb.181.5.1698-1702.1999.

Full text
Abstract:
ABSTRACT In Rhodospirillum rubrum, nitrogenase activity is regulated posttranslationally through the ADP-ribosylation of dinitrogenase reductase by dinitrogenase reductase ADP-ribosyltransferase (DRAT). Several DRAT variants that are altered both in the posttranslational regulation of DRAT activity and in the ability to recognize variants of dinitrogenase reductase have been found. This correlation suggests that these two properties are biochemically connected.
APA, Harvard, Vancouver, ISO, and other styles
9

Kiesl, Benjamin, Adrián Rebola-Pardo, Marijn J. H. Heule, and Armin Biere. "Simulating Strong Practical Proof Systems with Extended Resolution." Journal of Automated Reasoning 64, no. 7 (July 31, 2020): 1247–67. http://dx.doi.org/10.1007/s10817-020-09554-z.

Full text
Abstract:
Abstract Proof systems for propositional logic provide the basis for decision procedures that determine the satisfiability status of logical formulas. While the well-known proof system of extended resolution—introduced by Tseitin in the sixties—allows for the compact representation of proofs, modern SAT solvers (i.e., tools for deciding propositional logic) are based on different proof systems that capture practical solving techniques in an elegant way. The most popular of these proof systems is likely DRAT, which is considered the de-facto standard in SAT solving. Moreover, just recently, the
APA, Harvard, Vancouver, ISO, and other styles
10

Grunwald, Sandra K., Matthew J. Ryle, William N. Lanzilotta, and Paul W. Ludden. "ADP-Ribosylation of Variants of Azotobacter vinelandiiDinitrogenase Reductase by Rhodospirillum rubrumDinitrogenase Reductase ADP-Ribosyltransferase." Journal of Bacteriology 182, no. 9 (May 1, 2000): 2597–603. http://dx.doi.org/10.1128/jb.182.9.2597-2603.2000.

Full text
Abstract:
ABSTRACT In a number of nitrogen-fixing bacteria, nitrogenase is posttranslationally regulated by reversible ADP-ribosylation of dinitrogenase reductase. The structure of the dinitrogenase reductase from Azotobacter vinelandii is known. In this study, mutant forms of dinitrogenase reductase from A. vinelandii that are affected in various protein activities were tested for their ability to be ADP-ribosylated or to form a complex with dinitrogenase reductase ADP-ribosyltransferase (DRAT) fromRhodospirillum rubrum. R140Q dinitrogenase reductase could not be ADP-ribosylated by DRAT, although it st
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "DRAT"

1

Selao, Tiago. "Regulation of nitrogen fixation in Rhodospirillum rubrum : Through proteomics and beyond." Doctoral thesis, Stockholms universitet, Institutionen för biokemi och biofysik, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-42101.

Full text
Abstract:
Adaptability is one of the reasons for the success of bacteria, allowing them to survive in conditions where no other organisms would be able to thrive. Nitrogen deficiency, for example, can be a limiting factor for the growth of micro-organisms, as this element is an essential part of almost all types of biomolecules. As such, some bacteria have evolved specific mechanisms to overcome nitrogen limitation. Nitrogen fixing bacteria, or diazotrophs, use a specific enzyme complex, nitrogenase, in order to harness this element from the enormous reservoir that is the Earth’s atmosphere. However, ni
APA, Harvard, Vancouver, ISO, and other styles
2

Kesavan, Ajay, and not supplied. "Embedded Intelligence In Structural Health Monitoring Using Artificial Neural Networks." RMIT University. Aerospace, Mechanical and Manufacturing Engineering, 2007. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20080226.122746.

Full text
Abstract:
The use of composite structures in engineering applications has proliferated over the past few decades due to its distinct advantages namely: high structural performance, corrosion resistance, and high strength/weight ratio. However, they also come with a set of disadvantages, i.e. they are prone to fibre breakage, matrix cracking and delaminations. These types of damage are often invisible and if undetected, could lead to catastrophic failures of structures. Although there are systems to detect such damage, the criticality assessment and prognosis of the damage is often much more difficult to
APA, Harvard, Vancouver, ISO, and other styles
3

Jenkins, Floyd Thomas III. "Draft." NCSU, 2007. http://www.lib.ncsu.edu/theses/available/etd-12032006-191428/.

Full text
Abstract:
The Man Behind the Man is a novel that explores identity, creativity, and how people come to understand what is important in life. The setting is the future and certain technological advances in the future become important plot and thematic tools for unraveling the mystery of personal identity. This is also a work that deals heavily with country music and how country music speaks to commonalities of the human experience.
APA, Harvard, Vancouver, ISO, and other styles
4

Joranson, Kathryn M. "Sift-drag." The Ohio State University, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=osu1328893773.

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

Curtiss, Richard Andrew. "It's a Drag: Finding the Divine in Drag Performance." BYU ScholarsArchive, 2018. https://scholarsarchive.byu.edu/etd/7420.

Full text
Abstract:
For over the thirty years, drag performance has been examined for its utility to subvert or reinforce traditional gender roles. Many of these examinations have focused on performances that emphasize subversion and separated drag into two categories: the progressive drag that subverts, and the regressive drag that reinforces. While this approach has provided a wealth of understanding about drag performance and gender roles, drag can be examined without separating its subverting/reinforcing aspects. If drag is seen as the consideration of a given gender performing the not given gender, then anot
APA, Harvard, Vancouver, ISO, and other styles
6

Mestre, i. Mestre Ruth María. "Feminisme, dret i immigració: una crítica feminista al dret d'estrangeria." Doctoral thesis, Universitat de València, 2001. http://hdl.handle.net/10803/9855.

Full text
Abstract:
L'arribada a l'estat espanyol de població immigrant ha plantejat unasèrie de qüestions al voltant de la titularitat i el subjecte de drets. Si béla vinculació entre els drets dels estrangers i els dels ciutadans es posade manifest, quan es parla de les dones els problemes dels dretsdesapareixen: parlar de dones immigrades sembla implicar parlar del'estatut de la dona a les diferents cultures, però no a la nostra.L'anàlisi jurídica i política de les implicacions de la llei d'estrangeria desd'una perspectiva feminista crítica està poc desenvolupada, per més queles qüestions que aquest tipus d'an
APA, Harvard, Vancouver, ISO, and other styles
7

Winberg, Ulf. "DRAM Controller Benchmarking." Thesis, Computer Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-19190.

Full text
Abstract:
<p>Since a few years, flat screen TVs, such as LCD and plasma, has come to completelydominate the market of televisions. In a SoC solution for digital TVs, severalprocessors are used to obtain a decent image quality. Some of the processorsneed temporal information, which means that whole frames need to be storedin memory, which in turn motivates the use of SDRAM memory. When higherdemands of resolution and image quality arrives, greater pressure is put on theperformance of the SoC memory subsystem, to not become a bottleneck of thesystem.</p><p>In this master thesis project, a model of an exis
APA, Harvard, Vancouver, ISO, and other styles
8

Hilbert, Dirk. "Näher dran: Grussworte." SLUB Dresden, 2017. https://slub.qucosa.de/id/qucosa%3A16559.

Full text
Abstract:
Geschafft! Nach dem Theaterbau Kraftwerk Mitte, der Ende letzten Jahres viel beachtet an den Start ging, ist nun der Kulturpalast-Umbau abgeschlossen. Dresden schulterte gleich zwei kulturelle Großprojekte auf einmal. Dies ist ohne Beispiel in der Stadtgeschichte und umso erfreulicher für alle, die daran Anteil haben.
APA, Harvard, Vancouver, ISO, and other styles
9

Ma, Weixi. "THE DRAG LANGUAGE." UKnowledge, 2016. https://uknowledge.uky.edu/cs_etds/41.

Full text
Abstract:
This thesis describes the Drag language. Drag is a general purpose, gradually typed, lexically scoped, and multi-paradigm pro- gramming language. The essence of Drag is to build the abstract syntax trees of the programs directly and interactively. Our work includes the language specification and a prototype program. The language specification focuses on the syntax, the semantic model, and the type system. The prototype consists of an interactive editor and a compiler that targets several plat- forms, among which we focus on the LLVM platform in this thesis.
APA, Harvard, Vancouver, ISO, and other styles
10

Lattauschke, Gerald. "Gurken am »Hohen Draht«." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-38193.

Full text
Abstract:
Anbauverfahren von Gurken am »Hohen Draht« mit einer Spanndrahthöhe von 3,40 m werden hinsichtlich Ertragsleistung, Arbeitszeitaufwand und Wirtschaftlichkeit mit Standardanbauverfahren (Spanndrahthöhe 2,20 m) verglichen. Die Ergebnisse des vierjährigen Forschungsprojektes zeigen, dass Gurken im Gewächshaus auf Substrat am »Hohen Draht« mit 200 bis 220 Gurken/m² deutlich höhere Erträge als die Standardverfahren erzielen. Pflege und Arbeitszeitaufwand sind allerdings eindeutig höher. Der Anbau von Gurken am »Hohen Draht« führte dennoch zu einer Verbesserung der Deckungsbeiträge um fast ein Drit
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "DRAT"

1

Krulik, Nancy E. Drat! You copycat!: Katie Kazoo Switcheroo #7. New York: Grosset & Dunlap, 2003.

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

Krulik, Nancy E. Drat! You Copycat! New York: Penguin USA, Inc., 2009.

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

ill, Watts James 1955, ed. Drat these brats! New York: M.K. McElderry Books, 1993.

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

ill, Busby Ailie, ed. Drat that fat cat! New York, N.Y: Arthur A. Levine Books, 2003.

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

Ailie, Busby, ed. Drat that fat cat! London: Scholastic Press, 2003.

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

Drat! mythed again: Second thoughts on Utah. West Valley City, Utah: Altair Pub. Co., 1986.

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

United States Dept. of Agriculture, Forest Service, northern region. Drat environmental impact statement for the Curlew National Grassland. [Pocatello, ID]: U.S. Dept. of Agriculture, Forest Service, 2000.

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

Draw or drag. Thorndike, Me: Center Point Pub., 2002.

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

Draw. [Columbus, NC]: Peel Productions, 1997.

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

Draw! New York: Simon & Schuster, 2014.

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

Book chapters on the topic "DRAT"

1

Kiesl, Benjamin, Adrián Rebola-Pardo, and Marijn J. H. Heule. "Extended Resolution Simulates DRAT." In Automated Reasoning, 516–31. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94205-6_34.

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

Philipp, Tobias, and Adrián Rebola-Pardo. "DRAT Proofs for XOR Reasoning." In Logics in Artificial Intelligence, 415–29. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48758-8_27.

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

Manthey, Norbert, and Tobias Philipp. "Formula Simplifications as DRAT Derivations." In Lecture Notes in Computer Science, 111–22. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11206-0_12.

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

Heule, Marijn J. H., Warren A. Hunt, and Nathan Wetzler. "Expressing Symmetry Breaking in DRAT Proofs." In Automated Deduction - CADE-25, 591–606. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21401-6_40.

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

Ozdemir, Alex, Aina Niemetz, Mathias Preiner, Yoni Zohar, and Clark Barrett. "DRAT-based Bit-Vector Proofs in CVC4." In Lecture Notes in Computer Science, 298–305. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-24258-9_21.

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

Buss, Sam, and Neil Thapen. "DRAT Proofs, Propagation Redundancy, and Extended Resolution." In Lecture Notes in Computer Science, 71–89. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-24258-9_5.

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

Wetzler, Nathan, Marijn J. H. Heule, and Warren A. Hunt. "DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs." In Lecture Notes in Computer Science, 422–29. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-09284-3_31.

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

Zhang, Y., K. Kim, R. H. Burris, P. W. Ludden, and G. P. Roberts. "PCR Random Mutagenesis of draTG from Rhodospirillum rubrum and the Characterization of Some Mutants That Have Altered the Regulation of DRAT and DRAG Activities." In Biological Nitrogen Fixation for the 21st Century, 152. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-011-5159-7_56.

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

Zhang, Y. P., S. K. Grunwald, D. Lies, C. Halbleib, Y. Ma, G. P. Roberts, R. H. Burris, and P. W. Ludden. "Posttranslational Regulation of Nitrogenase Activity by Reversible ADP-Ribosylation; How are the Regulatory Enzymes Drat and Drag Regulated?" In Nitrogen Fixation: Fundamentals and Applications, 177–82. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-0379-4_24.

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

Aaltonen, Sirkku. "Drama translation." In Handbook of Translation Studies, 105–10. Amsterdam: John Benjamins Publishing Company, 2010. http://dx.doi.org/10.1075/hts.1.dra1.

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

Conference papers on the topic "DRAT"

1

bin Mohammad Fadilah, Mohammad Shameel, Vivek Balachandran, Peter Loh, and Melissa Chua. "DRAT." In CODASPY '20: Tenth ACM Conference on Data and Application Security and Privacy. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3374664.3379529.

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

Rebola-Pardo, Adrian, and Luis Cruz-Filipe. "Complete and Efficient DRAT Proof Checking." In 2018 Formal Methods in Computer Aided Design (FMCAD). IEEE, 2018. http://dx.doi.org/10.23919/fmcad.2018.8602993.

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

Veerappan, Chandra Sekar, Peter Loh Kok Keong, Vivek Balachandran, and Mohammad Shameel Bin Mohammad Fadilah. "DRAT :A Penetration Testing Framework for Drones." In 2021 IEEE 16th Conference on Industrial Electronics and Applications (ICIEA). IEEE, 2021. http://dx.doi.org/10.1109/iciea51954.2021.9516363.

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

Mattmann, Chris A., Ji-Hyun Oh, Tyler Palsulich, Lewis John McGibbney, Yolanda Gil, and Varun Ratnakar. "DRAT: An Unobtrusive, Scalable Approach to Large Scale Software License Analysis." In 2015 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW). IEEE, 2015. http://dx.doi.org/10.1109/asew.2015.14.

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

Altmanninger, Johannes, and Adrián Rebola Pardo. "Frying the egg, roasting the chicken: unit deletions in DRAT proofs." In POPL '20: 47th Annual ACM SIGPLAN Symposium on Principles of Programming Languages. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3372885.3373821.

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

M. Pittman, Jason. "DRAT - A Dynamic Resource Allocation Tool for Estimating Compute Power in a Cybersecurity Engineering Learning Facility." In CEP '21: Computing Education Practice 2021. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3437914.3437980.

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

Bright, Curtis, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas, and Vijay Ganesh. "Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/203.

Full text
Abstract:
In the 1970s and 1980s, searches performed by L. Carter, C. Lam, L. Thiel, and S. Swiercz showed that projective planes of order ten with weight 16 codewords do not exist. These searches required highly specialized and optimized computer programs and required about 2,000 hours of computing time on mainframe and supermini computers. In 2010, these searches were verified by D. Roy using an optimized C program and 16,000 hours on a cluster of desktop machines. We performed a verification of these searches by reducing the problem to the Boolean satisfiability problem (SAT). Our verification uses t
APA, Harvard, Vancouver, ISO, and other styles
8

Dreher, W. Reid, Ray Johnston, Peter Lauzon, and Joey Pierce. "New Heavy Crude Oil Flow Improver Increases Production: Application Scenarios." In 2008 7th International Pipeline Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/ipc2008-64024.

Full text
Abstract:
As worldwide heavy crude oil production increases, pipelines are faced with challenges to transport these higher viscosity fluids. Historically, heavy crude oil has been a challenge for existing commercially available DRAs. As crude oil gravities fall below ∼23 °API, existing DRAs become ineffective. ConocoPhillips Specialty Products Inc. (CSPI) developed a new class of DRAs to address this need. CSPI’s new heavy crude oil DRA technology, ExtremePower™ Flow Improvers, is proven to increase deliveries of produced heavy crude oil to market. In this paper we will discuss the mechanism of drag red
APA, Harvard, Vancouver, ISO, and other styles
9

Guan, Zhongyuan, and Biyuan Shui. "The New Progress of Drag Reducing Agents in World Research." In 2006 International Pipeline Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/ipc2006-10025.

Full text
Abstract:
Frictional pressure drop (or drag) restricts the flow of liquid in a pipeline, limiting throughput and requiring greater amounts of energy for pumping. Flow improvers used for reducing drag are commonly referred to in the industry as drag reduction agents (DRA). This article presents the latest achievements in research related to DRA’s mechanism and production. A higher molecular weight of polyalpha-olefin will be obtained by bulk polymerization. There are breakthroughs either in research of solution polymerization of alpha-olefin. The DRA’s post-treating processes become better and approach p
APA, Harvard, Vancouver, ISO, and other styles
10

Gao, Mingyu, Christina Delimitrou, Dimin Niu, Krishna T. Malladi, Hongzhong Zheng, Bob Brennan, and Christos Kozyrakis. "DRAF: A Low-Power DRAM-Based Reconfigurable Acceleration Fabric." In 2016 ACM/IEEE 43rd Annual International Symposium on Computer Architecture (ISCA). IEEE, 2016. http://dx.doi.org/10.1109/isca.2016.51.

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

Reports on the topic "DRAT"

1

Braase, Lori. DRAFT: Accident Tolerant Fuels Draft Implementation Plan. Office of Scientific and Technical Information (OSTI), September 2015. http://dx.doi.org/10.2172/1482990.

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

Karl, Frank. Survey Draft. Office of Scientific and Technical Information (OSTI), January 2017. http://dx.doi.org/10.2172/1439803.

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

Taylor, Lafe, Robert Wilson, and Bruce Hilbert. Hydrodynamic Drag Reduction. Fort Belvoir, VA: Defense Technical Information Center, April 2015. http://dx.doi.org/10.21236/ada618198.

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

de Vries, Wim. Cubesat Drag Calculations. Office of Scientific and Technical Information (OSTI), August 2010. http://dx.doi.org/10.2172/1124870.

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

Harris, James, Christopher Young, John Burns, Benjamin Hamlet, Rudy Sandoval, and James Vickers. Draft Data Model. Office of Scientific and Technical Information (OSTI), November 2015. http://dx.doi.org/10.2172/1762021.

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

Harris, James, Christopher Young, John Burns, Benjamin Hamlet, Rudy Sandoval, and James Vickers. Draft Data Model. Office of Scientific and Technical Information (OSTI), February 2016. http://dx.doi.org/10.2172/1762022.

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

Decker, Robert K. Viscous Drag Measurement and Its Application to Base Drag Reduction. Fort Belvoir, VA: Defense Technical Information Center, May 2002. http://dx.doi.org/10.21236/ada403228.

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

Voskuilen, Tyler, Lindsay Crowl Erickson, and Robert C. Knaus. Aerodynamic Drag Scoping Work. Office of Scientific and Technical Information (OSTI), February 2018. http://dx.doi.org/10.2172/1423524.

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

Rubinstein, Francis M., Mehry Yazdanian, and James Galvin. Draft photosensor characterization report. Office of Scientific and Technical Information (OSTI), February 2003. http://dx.doi.org/10.2172/927011.

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

Katzman, Danny, and William Joseph Foley. Draft Discharge Permit 1132. Office of Scientific and Technical Information (OSTI), January 2020. http://dx.doi.org/10.2172/1583134.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'DRAT' 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