Filters








424,595 Hits in 3.4 sec

Incorporating Tables into Proofs [chapter]

Dale Miller, Vivek Nigam
Lecture Notes in Computer Science  
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]

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan
2000 Lecture Notes in Computer Science  
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  
APRIL 1971 Table 2.  ...  The REM weight summary is shown in Table 1.  ... 

The effects of commercial fibres on frozen bread dough

Jelena Filipovic, Nada Filipovic, Vladimir Filipovic
2010 Journal of the Serbian Chemical Society  
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]

Raúl Monroy
2010 Lecture Notes in Computer Science  
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

Jelena Filipovic, Stevan Popov, Nada Filipovic
2008 Chemical Industry and Chemical Engineering Quarterly  
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

Aref A. Abdul-Baki
1974 Planta  
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

RN Williams, C Filozof, BJ Goldstein, K Cusi
2016 Clinical Pharmacology and Therapeutics  
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

KIYOSHI ISONO, ROBERT J. SUHADOLNIK
1977 Journal of antibiotics (Tokyo. 1968)  
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

E. J. Farrell
1983 International Journal of Mathematics and Mathematical Sciences  
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  
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  
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  
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  
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  
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