Search results
Jump to navigation
Jump to search
Page title matches
- In [[chemistry]], '''hydrogen atom abstraction''', or '''hydrogen atom transfer''' ('''HAT'''), refers to a class of [[Che ...2 KB (312 words) - 19:30, 15 March 2024
- ...=Helmut |author-link5=Helmut Veith |date=2000 |title=Counterexample-Guided Abstraction Refinement |url=https://link.springer.com/chapter/10.1007/10722167_15 |conf ...grouping states, and ''refinement'', which increases the precision of the abstraction to better approximate the original model. ...8 KB (1,111 words) - 03:55, 8 February 2025
Page text matches
- ...=Helmut |author-link5=Helmut Veith |date=2000 |title=Counterexample-Guided Abstraction Refinement |url=https://link.springer.com/chapter/10.1007/10722167_15 |conf ...grouping states, and ''refinement'', which increases the precision of the abstraction to better approximate the original model. ...8 KB (1,111 words) - 03:55, 8 February 2025
- ...ebra]], particularly [[ring theory]], '''maximal common divisors''' are an abstraction of the [[number theory]] concept of [[greatest common divisor]] (GCD). This ...869 bytes (136 words) - 21:40, 12 August 2023
- ...ns in the system.<ref>{{cite journal|title=Robust stutter bisimulation for abstraction and controller synthesis with disturbance|journal=Automatica|volume=160|yea ...3 KB (425 words) - 01:05, 15 January 2025
- ...| date=December 1937 | pages=145–152 | title=Logic based on inclusion and abstraction | first=W. V. | last=Quine | jstor=2268279 }}</ref> ...1 KB (179 words) - 15:32, 23 September 2021
- ...nt and analyse. Modern analysis techniques therefore try to reason about [[Abstraction model checking|abstract states]], which correspond to many concrete states. ...t by repeatedly following the effect of program steps or by coarsening the abstraction, one obtains a chain of abstractions that is proven to terminate. ...4 KB (602 words) - 01:09, 20 December 2024
- ...ced syncategorematically, thus simply moving the issue up another level of abstraction.{{cn|date=February 2021|reason=This is definitely right but could use a cit ...6 KB (795 words) - 09:51, 4 June 2024
- ...can be thought of as the opposite of function [[Abstraction (mathematics)|abstraction]]. ...5 KB (829 words) - 11:26, 6 February 2025
- Lambda calculus is a formal mathematical system based on lambda abstraction and [[function application]]. Two definitions of the language are given her * the abstraction symbols lambda '<math>\lambda </math>' and dot '.' ...30 KB (4,569 words) - 04:05, 10 June 2024
- .... Chem.'', '''2004''', ''108'', 3745-3755. {{doi|10.1021/jp031144d}}</ref> Abstraction occurs as a head to tail reaction with the atom that is being abstracted fa ...ron abstraction during disproportionation occurs more slowly than hydrogen abstraction due to the increased mass and reduced vibrational energy of deuterium, alth ...9 KB (1,233 words) - 22:56, 8 February 2024
- ==Abstraction== ...7 KB (1,032 words) - 06:14, 13 February 2025
- ...ased on the [[bulk synchronous parallel|bulk synchronous]] message passing abstraction. ...passing among its vertices, based on the bulk synchronous message passing abstraction. This is a vertex-centric approach in which the vertices of the graph work ...5 KB (794 words) - 05:57, 18 January 2025
- ...rmally, the combinatory completeness condition requires an analogue of the abstraction operation from lambda calculus to exist inside the pca. ...[[λ-term]]s to terms of the [[SKI combinator calculus]] by eliminating [[λ-abstraction]]s using combinators, pcas can be characterized by the existence of element ...9 KB (1,497 words) - 13:14, 2 March 2025
- ...lems. Artificial Intelligence 115 (1999) 257–289</ref><ref>Choueiry, B.Y.: Abstraction Methods for Resource Allocation. PhD thesis, EPFL PhD Thesis no 1292 (1994) ...6 KB (978 words) - 09:42, 6 October 2024
- ...ssue = 5| pages = 17–34| date=May 1988 | doi-access = free}}</ref> on data abstraction and class hierarchies at the OOPSLA 1987 programming language research conf ...last2=Bierman |first2=Gavin M. |date=January 2008 |title=Separation logic, abstraction and inheritance |journal=ACM SIGPLAN Notices |volume=43 |issue=1 |pages=75- ...10 KB (1,586 words) - 22:29, 27 November 2023
- In [[chemistry]], '''hydrogen atom abstraction''', or '''hydrogen atom transfer''' ('''HAT'''), refers to a class of [[Che ...2 KB (312 words) - 19:30, 15 March 2024
- ...of the [[combinatory algebra]], with an element introduced to accommodate abstraction. ...plication of λ onto the lambda term ''a'' produces the lambda term ''λa''. Abstraction incorporates undefined variables by denoting λx.t(x) as the function assign ...20 KB (3,257 words) - 19:42, 7 February 2025
- {{Short description|Abstraction of 2-colorable graphs}} ...3 KB (398 words) - 06:39, 29 January 2023
- ..., Ducrocq C, Marquet A, Azerad R | title = The stereochemistry of hydrogen abstraction in vitamin K-dependent carboxylation | journal = The Journal of Biological ...3 KB (322 words) - 16:19, 26 August 2023
- The "let" expression may be considered as a [[Lambda calculus|lambda abstraction]] applied to a value. Within mathematics, a let expression may also be con ...inconsistency|source of the inconsistency]] in the definition of a lambda abstraction. However lambda abstractions may be composed to represent a function with ...41 KB (6,221 words) - 19:17, 2 December 2023
- ...">A. Rhea, "[https://arxiv.org/abs/1706.08908 The Ordinals as a Consummate Abstraction of Number Systems]" (2017), preprint.</ref><sup>p.20</sup> and are also cal ...4 KB (585 words) - 19:23, 17 April 2024