Filters








298,294 Hits in 4.5 sec

Putting time into proof outlines [chapter]

Fred B. Schneider, Bard Bloom, Keith Marzullo
1992 Lecture Notes in Computer Science  
A soundness proof using structural operational semantics is outlined in the appendix.  ...  The correctness proof for a mutual exclusion protocol that uses execution timings in a subtle way illustrates the logic in action.  ...  Acknowledgements We are grateful to Limor Fix for extensive comments, and Georges Lauri for preliminary work on the soundness proof.  ... 
doi:10.1007/bfb0032010 fatcat:fcp4whn3ljhvdicaklpbuzpiu4

Page 26 of American Ceramic Society Bulletin Vol. 39, Issue 11 [page]

1960 American Ceramic Society Bulletin  
Then into the post office for delivery by the mails. Each of the steps outlined here requires time and careful (Continued on page 27) CERAMIC BULLETIN  ...  Type composition usually takes two or three weeks from the time the copy is sent to the printer until galley proofs are returned Two sets of galleys are sent to the author at the same time proofs are returned  ... 

A proof system for concurrent ADA programs

Rob Gerth, Willem P De Roever
1984 Science of Computer Programming  
Acknowledgment We would like to thank the members of the RUU-XIC working group on semantics for the privilege of presenting an earlier version of the proof system to them: Marly  ...  We show that the proof outlines cooperate w.r.t. this GI: Consider the entry put.  ...  Each component task has two entries, put and gel; to put elements into respectively, to get elements from a task. When a call for put is accepted, the received element is placed in the array here.  ... 
doi:10.1016/0167-6423(84)90018-2 fatcat:i2j7uj4nfraphbbmu2btjbsftq

Page 41 of Mathematics Teacher Vol. 20, Issue 1 [page]

1927 Mathematics Teacher  
The second part consisted of the formal oral proof of five propositions. A faculty adviser put one figure on the board at a time and stated the theorem to be proved.  ...  This contest was divided into three parts.  ... 

Page 841 of The Methodist Review Vol. 94, Issue [page]

1912 The Methodist Review  
Were there need for further preliminary proof that Browning was conscious of having put his hand to a great task, and to the par- ticular task of putting into an imperishable art form an adequate  ...  Long brooding over this poem leaves the impres- sion clear and distinct that Browning regarded it as the work into which he had put his utmost power.  ... 

Page 44 of American Bankers Association. ABA Banking Journal Vol. 49, Issue 10 [page]

1957 American Bankers Association. ABA Banking Journal  
What Goes Into the Machines Let’s look first at what we put into our proof machines. Do we still use vertical deposit tickets, as op¬ posed to horizontal checks ?  ...  When such a procedure is used, all clerks should be taught its use so that at peak periods items can be table- sorted and run on auxiliary ma¬ chines, totals only being fed into proof machines, when they  ... 

Page 255 of English Journal Vol. 46, Issue 5 [page]

1957 English Journal  
There is a permanence about this exposure put into writing which is not in the spoken word. Writing is somehow its own proof; it is divorced from control by its maker.  ...  We ask for outlines, for example, without stating the limitations of the paper to be pro- duced. Writing is usually in terms of both time and space.  ... 

Proving Termination of Parallel Programs [chapter]

Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog
1990 Beauty Is Our Business  
Showing interference freedom for the proof outlines for 51 and 52 above is trivial, since all assertions in the proof outlines equal true.  ...  Let r be any assertion in the proof outline for 51, let R be any assignment in 52, and let pre( R) be the precondition for R in the proof outline for 52.  ... 
doi:10.1007/978-1-4612-4476-9_1 fatcat:quoe5zs6wfga7fkocwqh4bw6de

On certain partition bijections related to Euler's partition problem [article]

Aritro Pathak
2021 arXiv   pre-print
We give short elementary expositions of combinatorial proofs of some variants of Euler's partitition problem that were first addressed analytically by George Andrews, and later combinatorially by others  ...  We briefly outline this proof in Section 2.  ...  Assume that we want to break this up into two parts, with α appearing some number of times, and 2 j · α (for any j ≥ 1) appearing some other number of times, and these together summing up to give α · n  ... 
arXiv:2004.03596v4 fatcat:rxjn2v6arzhhdpekst45r4ypdm

Page 590 of Chemical Engineering Vol. 29, Issue 13 [page]

1923 Chemical Engineering  
shove to m: of m« be dr pass in F ij outlin inside mater bottor ficient put in The (Fig. in bet in sn and pe In I and a the lir of the applie stiff bi Fig. both s the sic coat o  ...  590 CHEMICAL AND METALLURGICAL ENGINEERING Vol. 29, No. 18 Eguipment News From Maker and User tt Theft-Proof Electric Bulb Much loss of property and time and considerable annoyance are caused by the practice  ... 

Automatic Learning of Proof Methods in Proof Planning

M. Jamnik
2003 Logic Journal of the IGPL  
In particular, the approach enables proof planning systems to automatically learn new proof methods from well-chosen examples of proofs which use a similar reasoning pattern to prove related theorems.  ...  We present an implementation of the approach within the Ωmega proof planning system, which we call LearnΩmatic.  ...  Many people were generous with their time and advice and their help was invaluable to us.  ... 
doi:10.1093/jigpal/11.6.647 fatcat:abihkrv375dtvhar43zdpjy4ua

A Method of Signalling Diagrams

1886 Science  
It is the fulness of the present catalogue, the time and labor spent upon it, the bibliographic spirit which pervades it, taken together with the titlepage, that bring into the strongest relief the perfect  ...  It is the fulness of the present catalogue, the time and labor spent upon it, the bibliographic spirit which pervades it, taken together with the titlepage, that bring into the strongest relief the perfect  ... 
fatcat:h5ohatmdnjeszb3edykqtouv3e

Lessons in Geometry

Charles M'Leod, W. E. Paterson, E. O. Taylor
1916 Mathematical Gazette  
The proofs are sometimes given in outline only, and the book is quite in the fashion in the number of question marks and inconclusive paragraphs which it contains.  ...  A special feature of the work is that it is divided into Chapters, not into Books. The Theorems (of which there are 77) are thus numbered consecutively, and the same method is used with the Problems.  ...  The proofs are sometimes given in outline only, and the book is quite in the fashion in the number of question marks and inconclusive paragraphs which it contains.  ... 
doi:10.2307/3602733 fatcat:mk4uvzdzafcjbb5726mczmsyhm

Page 183 of The Abraham Lincoln Quarterly Vol. 5, Issue 4 [page]

1948 The Abraham Lincoln Quarterly  
extracted what Paul indicated was the best in each work and put these selections, with a kind of editorial flair for con- tinuity, into the pages of one volume.  ...  It was decided that he would put together a chapter or two to see how it would go, and if the result seemed promising we would draw up a complete outline of chapters and selections and sign a con- tract  ... 

Page 290 of The American Ecclesiastical Review Vol. 44, Issue 3 [page]

1911 The American Ecclesiastical Review  
Demosthenes breaks up his explanation and proof into smaller divisions, followed by the emotional enforcement of his point.  ...  There is “‘a dispensation or state of things which is very strange’, or a truth “ may strike us with wonder” or as a “difficulty ”, or inquirers put ‘‘a strange question”, or “a strange time this may seem  ... 
« Previous Showing results 1 — 15 out of 298,294 results