A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Incorporating Tables into Proofs
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
Tables of literals can be incorporated into sequent calculus proofs using two ideas. ...
First, cuts are used to incorporate tabled items into a proof: one premise of the cut requires a proof of the lemma and the other branch of the cut inserts the lemma into the set of assumptions. ...
as proof objects as We have illustrated how tables can be incorporated into proofs. ...
doi:10.1007/978-3-540-74915-8_35
fatcat:uukxqjcek5dn3f4v7hl3qqdi2y
XMC: A Logic-Programming-Based Verification Toolset
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A distinguishing aspect of XMC is that model checking is carried out as query evaluation, by building proof trees using tabled resolution. ...
-XL specifications are compiled into efficient automata representations using techniques described in [DR99] . ...
The XMC Compiler and Model Checker The XMC system incorporates an optimizing compiler that translates high-level XL specifications into rules representing the global transition relation of the underlying ...
doi:10.1007/10722167_48
fatcat:e3zte62oqngijbv55f5yszo4cm
Page 319 of Journal of Spacecraft and Rockets Vol. 8, Issue 4
[page]
1971
Journal of Spacecraft and Rockets
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
APRIL 1971
Table 2. ...
The REM weight summary is shown in Table 1. ...
The effects of commercial fibres on frozen bread dough
2010
Journal of the Serbian Chemical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The discrimination coefficient points that the greatest influence of fibres on the final proof and proving stability is after 30 days (6.250) and after 0 days (6.158), respectively, but the greatest influence ...
Inulin HPX was incorporated the best into the gluten matrix; hence, the resulting bread had the largest volume (Table VI) . ...
There are not many reports on the effects of different fibres incorporated into frozen yeast dough. ...
doi:10.2298/jsc1002195f
fatcat:f5udv5z36ba3rdff4g3upl6fta
Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Lakatos, in his book Proofs and Refutations, argues that the analysis of a failed proof often holds the key for the development of a theory. ...
Proof analysis enables the strengthening of naïve conjectures and concepts, without severely weakening its content. ...
Some example conjectures that have been turned into theorems, using the strategies described above, appear in Table 4 . ...
doi:10.1007/978-3-642-16761-4_1
fatcat:ng4kmh2oc5hxxgcwjd5xucftxu
The behavior of different fibers at bread dough freezing
2008
Chemical Industry and Chemical Engineering Quarterly
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Three different types of commercial fibers (inulin originated from artichoke with long and short molecule chains and Fibrex -originated from sugar beet) were incorporated into the dough formula as flour ...
Mean value, standard deviation and the test of conclusion show that duration of final proof depends on the sample type, that is on the type of fibers incorporated into the dough and the length of storage ...
During freezing, bread crumb deteriorates more rapidly if fibers are not incorporated into the dough or if not the appropriate fiber is added, like inulin GR. ...
doi:10.2298/ciceq0804257f
fatcat:xf7aawm3vvbwbkggabxdpt3rzy
Hypochlorite and tissue sterilization
1974
Planta
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Trace amounts of sodium hypochlorite that remain on the surface of seeds (Lycopersicon esculentum Mill.) after sterilization interfere with subsequent uptake and incorporation of leucine into protein when ...
The traces of NaOC1 which remain after usual washing regimes interfere with uptake and incorporation of leucine into protein. Samples of 100 ~omate (Lycopersicon esculentum Mill., ev. ...
The data clearly show that even after washing the seeds up to 8 times with water there was still enough NaOC1 on the seeds to alter uptake of the amino acid and its incorporation into protein (Table 1 ...
doi:10.1007/bf00388620
pmid:24458932
fatcat:35ad4zusvbbqzgoykjohanluou
Structure of proof of concept studies that precede a nonalcoholic steatohepatitis development program
2016
Clinical Pharmacology and Therapeutics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
as early futility enabling events for longer phase II biopsy-driven studies, or even incorporated into adaptive phase II/ III designs for registration studies. ...
, proof of concept. ...
doi:10.1002/cpt.560
pmid:28032901
pmcid:PMC5367378
fatcat:te2dury5tbgxdh53hlr633s2ma
Biosynthesis of the C-nucleoside, minimycin: Asymmetric incorporation of glutamate and acetate into the oxazine ring
1977
Journal of antibiotics (Tokyo. 1968)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This is an independent
and unambiguous proof for the incorporation
of
an intact acetate unit. ...
Proposed scheme for the biosynthesis
of minimycin
Table 1. Incorporation
of labeled compounds
into minimycin
and its derivatives. ...
doi:10.7164/antibiotics.30.272
fatcat:xv6tqnopofgavbsfuvknhwcd7y
Path decompositions of chains and circuits
1983
International Journal of Mathematics and Mathematical Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Its proof is straightforward. I.gNNA 3. Table I . By a restricted decomposition of a graph G, we mean a decomposition in which particular paths must be included. ...
The following table gives values of P(n) for n 1,2,3,4,5 and 6. ...
It confirms our observation of the sum of the coefficients of the polynomials in Table 2 . =2n-1 COROLLARY ii.i. ...
doi:10.1155/s0161171283000472
fatcat:bolsgrd5hnaunheasg6a7w3x6e
Page 224 of The Journal of the Royal Anthropological Institute Vol. 19, Issue 1
[page]
2013
The Journal of the Royal Anthropological Institute
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The abstract in particular should be submitted in its final form, as owing to the translation process, it cannot be guaranteed that changes to the abstract at the proof stage will be incorporated in the ...
Permission to translate into other languages is normally granted immediately. ...
Page 445 of The Journal of the Royal Anthropological Institute Vol. 17, Issue 2
[page]
2011
The Journal of the Royal Anthropological Institute
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The abstract in particular should be submitted in its final form, as owing to the translation process, it cannot be guaranteed that changes to the abstract at the proof stage will be incorporated in the ...
Permission to translate into other languages is normally granted immediately. ...
Page 943 of The Journal of the Royal Anthropological Institute Vol. 17, Issue 4
[page]
2011
The Journal of the Royal Anthropological Institute
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The abstract in particular should be submitted in its final form, as owing to the translation process, it cannot be guaranteed that changes to the abstract at the proof stage will be incorporated in the ...
Permission to translate into other languages is normally granted immediately. ...
Page 460 of The Journal of the Royal Anthropological Institute Vol. 16, Issue 2
[page]
2010
The Journal of the Royal Anthropological Institute
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The abstract in particular should be submitted in its final form, as owing to the translation process, it cannot be guaranteed that changes to the abstract at the proof stage will be incorporated in the ...
Permission to translate into other languages is normally granted immediately. ...
Page 686 of The Journal of the Royal Anthropological Institute Vol. 17, Issue 3
[page]
2011
The Journal of the Royal Anthropological Institute
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The abstract in particular should be submitted in its final form, as owing to the translation process, it cannot be guaranteed that changes to the abstract at the proof stage will be incorporated in the ...
Permission to translate into other languages is normally granted immediately. ...
« Previous
Showing results 1 — 15 out of 424,595 results