Exact(2)
Unlike the typical temporal logic specification of a program, our translation does not require a transition system model of the program, and is compositional on the structures of the program.
But the class format, which is compositional on any reckoning, does appear in an early variant of the truth definition in Tarski's paper of 1931 on definable sets of real numbers.
Similar(58)
The controller meets current demand changes to within 0.1 A s−1 while maintaining compositional limits on the reformate flow and temperature limits on the stack and reformer.
Hence, the prefectures were classified according to four quadrants, formed by the compositional effect on the horizontal axis and the regional effect on the vertical axis (Fig. 1).
MC- Conceived the research, identified and mapped the components on the chromosomes from unicellular genomes, performed the compositional analysis on orthologous genes for Plasmodium and drafted the manuscript.
(Chinen) ★ Steve Coleman and Five Elements (Friday and Saturday) Mr. Coleman's alto saxophone cuts cleanly through the complex compositional forms on his most recent album, "The Mancy of Sound," released on Pi last year.
The effect of compositional gradients on the flexural properties of functionally graded carbon nanofiber/phenolic composite beams was evaluated.
Only rarely does the laboratory receive complete compositional data on the products, so the choice of extraction technique is usually based on previous experience with similar samples.
The piece also turns the Renaissance concept of compositional order on its head.
Charles Ives represents the newer end of the compositional spectrum on many programs.
Causes of compositional differences on many scales: mineral grains, rocks, regions of the Earth, different planets.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com