Informations sur | Mot Anglaise REWRITING

---

---

---

---

---

---

---

---

Exemples d’utilisation de REWRITING dans une phrase

• For example it is tautologous to say "the house is not both white and not white" since this results from putting "the house is white" in that formula, yielding "not (the house is white and not (the house is white))", then rewriting this in natural English.
• The operating system revamp was part of a larger movement inside Cray Research to modernize their corporate software: including rewriting their most important Fortran compiler (cft to cft77) in a higher-level language (Pascal) with more modern optimizations and vectorizations.
• The Galactic Empire's rise was not a violent takeover by force, but rather a calculated dismantling of the Galaxy's most powerful institutions by rewriting constitutional foundations, controlling the Jedi Council, weakening the Senate and the appointment of loyal Governors.
• Serif began rewriting their DTP software, to allow a multi-platform implementation, and allow new methods of internal program operation with more modern Operating Systems and the typical current (2018/9) configuration of PCs.
• Viewing the lambda calculus as an abstract rewriting system, the Church–Rosser theorem states that the reduction rules of the lambda calculus are confluent.
• The second edition was published in 1984, rewriting the text from scratch, fixing many translation errors, glitches in the rules, with no other major changes made.
• The core of ACL2's theorem prover is based on term rewriting, and this core is extensible in that user-discovered theorems can be used as ad hoc proof techniques for subsequent conjectures.
• Dembo is the author of Seeing Tomorrow: Rewriting the Rules of Risk, co-authored with Andrew Freeman, published in April 1998; Upside Downside: Simple Rules of Risk Management for the Smart Investor, co-authored with Daniel Stoffman, published in March 2006; and Risk Thinking, published in 2021.
• To the translation he appended an essay on the genre in which he suggested that it was easy to imagine rewriting some of the old Chinese case histories with an eye toward modern readers.
• Rader of MIT Lincoln Laboratory, is a fast Fourier transform (FFT) algorithm that computes the discrete Fourier transform (DFT) of prime sizes by re-expressing the DFT as a cyclic convolution (the other algorithm for FFTs of prime sizes, Bluestein's algorithm, also works by rewriting the DFT as a convolution).
• Russell (with musical collaborator Bob Eaton) realised a long-held ambition to develop Our Day Out further and after extensive rewriting, and recomposing created Our Day Out – The Musical.
• It also consists of improvements made by the OSF such as built-in collocation capability, realtime improvements, and rewriting of the IPC RPC component for better performance.
• Much of the development efforts concentrated on increasing the emulator's portability, by rewriting assembly code in C and C++, including a new GUI using Qt.
• Its main change was that it stopped parsing and rewriting graphical commands and let the client write pixels directly.
• In web applications, a rewrite engine is a software component that performs rewriting on URLs (Uniform Resource Locators), modifying their appearance.
• He spent the following year revising and rewriting the novel until finally, on January 14, 1859, Oblomov was published serially in Otechestvennye zapiski.
• Top-down parsing in computer science is a parsing strategy where one first looks at the highest level of the parse tree and works down the parse tree by using the rewriting rules of a formal grammar.
• " Iain Moffat of Playlouder gave the album only one star and said of the Strokes, "There's little of the pop sparkle that shone through the likes of 'The Modern Age' and 'Last Nite' even when - as with 'You Talk Way Too Much' - they're rewriting old material, and Julian's vocals are, to be blunt, awful, sounding uncomfortable to record and rather complacently nasal.
• NumPy addresses the slowness problem partly by providing multidimensional arrays and functions and operators that operate efficiently on arrays; using these requires rewriting some code, mostly inner loops, using NumPy.
• Idzi Panic takes into consideration that it could be a mistake during rewriting, and that the document could be originally issued in 1282 by Mieszko, who later ruled the Duchy of Teschen (formed in 1290, where Skoczów also belonged), but back then together with younger brother Przemko ruled Duchy of Racibórz with castellanies of Cieszyn and Oświęcim, and would more likely use the title dux Oppoliensis et dominus Tessinensis et Ratiboriensis than Mieszko II the Fat (who never used as complicated title).
• Since conjunction is a commutative and associative operation, the formal setting-up of sequent theory normally includes structural rules for rewriting the sequent Γ accordingly—for example for deducing.
• When combined with an appropriate algorithm, however, rewrite systems can be viewed as computer programs, and several theorem provers and declarative programming languages are based on term rewriting.
• These modifications included a re-sleeving process for bubbled launch tubes, rewriting and drafting operator and technical manuals, and a kit to reduce environmental intrusion into the trigger mechanism.
• The thrust of the report was similar to the later Gilligan story, but the key allegations in Watts's report were described in more measured terms and without Gilligan's claim of the direct personal involvement of Alastair Campbell in rewriting the dossier.
• The idea for Reader's Digest was to gather a sampling of favorite articles on many subjects from various monthly magazines, sometimes condensing and rewriting them, and to combine them into one magazine.

La préparation de la page a pris: 215,39 ms.