Search
Search Funnelback University
- Refined by:
- Date: Past year
41 -
50 of
1,100
search results for KaKaoTalk:po03 op
where 0
match all words and 1,100
match some words.
Results that match 1 of 2 words
-
Theory Cooper
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL-Decision_Procs/Cooper.html23 May 2024: Theory Cooper. ( Title: HOL/Decision_Procs/Cooper.thy Author: Amine Chaieb ) section ‹Presburger arithmetic based on Cooper's algorithm› theory Cooper importsbegin subsection ‹Basic formulae› datatype (plugins del: size) num = C int | Bound -
Not Averse: In Defence of Evolution
poetry.girton.cam.ac.uk/html/garrigan-mattar_evolution.html29 May 2024: Home page Indexes: The Girton Poetry Group. Not Averse. I’m thinking up a theory to explain it—. Why Rhyme Royal is such a bloody chore. I’m trying to be cheerful, but can’t fain it:. With every line I hate the bugger more. And so my theory -
Working with crystals — CSD Python API 3.1.0 documentation
https://downloads.ccdc.cam.ac.uk/documentation/API/descriptive_docs/crystal.html28 Mar 2024: It is easy to make a table by symmetry operator:. >>> print('n'.join('%-17s %s' % (op, utilities.print_set(crystal.atoms_on_special_positions(op))) for op in crystal.symmetry_operators)) -
Theory HOL-Algebra.Generated_Groups
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL-Homology/HOL-Algebra.Generated_Groups.html23 May 2024: Theory HOL-Algebra.Generated_Groups. ( Title: HOL/Algebra/Generated_Groups.thy Author: Paulo Emílio de Vilhena ) section ‹Generated Groups› theory Generated_Groups importsbegin subsection ‹Generated Groups› inductive_set generate :: "('a, 'b -
Theory Henstock_Kurzweil_Integration
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL-Analysis/Henstock_Kurzweil_Integration.html23 May 2024: Theory Henstock_Kurzweil_Integration. ( Author: John Harrison Author: Robert Himmelmann, TU Muenchen (Translation from HOL light) Huge cleanup by LCP ) section ‹Henstock-Kurzweil Gauge Integration in Many Dimensions› theory -
Theory IFOLP
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/FOL/FOLP/IFOLP.html23 May 2024: hyps then case distinct (op =) (filter (fn hyp => Term.could_unify (hyp, concl)) hyps) of [_] => assume_tac ctxt i | _ => no_tac else no_tac end); end; › ( Modus Ponens Tactics ) (Finds -
Department of Computer Science and Technology – TESLA: Assertions and …
https://www.cl.cam.ac.uk/research/security/ctsrd/tesla/programming.html10 Jul 2023: previously(security_check(ANY(ptr), o, op) == 0). This specifies that, within the TESLA automaton's bounds, the security_check() function was previously called with the parameters o and op and ... The first parameter ANY(ptr) is a "don't care": any call -
Dr Eoin McKinney | Cambridge Immunology Network
https://www.immunology.cam.ac.uk/Networkdirectory/eoin23 Feb 2024: Search site. Cambridge Immunology Network. Dr Eoin McKinney. I have been using a custom spotted oligo microarray platform to investigate gene expression signatures in autoimmune diseases, specifically ANCA-associated systemic vasculitis and SLE. The -
Theory HOL
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL/HOL.html23 May 2024: snd (op =)) data; ); fun add m = Data.map (cons (m, stamp ())); fun matches thy t = exists (fn (m, _) => m t) (Data.get thy); val meta_reorient = @{thm eq_commute [THEN -
Theory CTT
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/Misc/CTT/CTT.html23 May 2024: more) val (safe0_brls, safep_brls) = List.partition (curry (op =) 0 o subgoals_of_brl) safe_brls fun safestep_tac ctxt thms i = form_tac ctxt ORELSE resolve_tac ctxt thms
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.