与 «UNEXPANDED»相关的英语书籍
在以下的参考文献中发现
unexpanded的用法。与
unexpanded相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
SPIN Model Checking and Software Verification: 7th ...
1, one explores the quotient T/∼ using a simple modification of the algorithm, as
depicted in Fig. 2 (this modification is borrowed from [18]). reached :=
unexpanded := {s0}; while unexpanded = Ø do remove a state s from
unexpanded; for each ...
Klaus Havelund, John Penix, Willem Visser, 2000
However, the spheres suitable for thermoplastic processing are larger: 30 micron
unexpanded and 1 20 micron expanded. In Figure 2 you can see how the
designation of an EXPANCEL grade is constructed. First there is a three-digit
number ...
Rapra Technology Limited, 1999
3
FME 2001: Formal Methods for Increasing Software ...
reached := unexpanded := {s0}; while unexpanded = Ø do remove a state s from
unexpanded; for each transition s → s do if s = error then stop and report error; if
s ∈ reached then add s to reached and unexpanded; reached := unexpanded ...
Jose N. Oliveira, Pamela Zave, 2001
4
Quantitative Models for Reverse Logistics
reached := unexpanded := while unexpanded ^ 0 do remove a state s from
unexpanded; for each transition s — > s' do if s' = error then stop and report error;
if s' 0 reached then add s' to reached and unexpanded; Fig. 1. A standard
exploration ...
5
Transmaterial 3: A Catalog of Materials that Redefine Our ...
Expancel N° 072100-002 THERMOPLASTIC MICROSPHERES Unexpanded
Expancel thermoplastic microspheres are small plastic particles that contain a
droplet of liquid hydrocarbon. When heated, the plastic shells soften and the
liquid ...
6
Advances in Blood Transfusion Research and Application: 2013 ...
Institute of Medical Biology, Singapore: Cotransplantation of Ex Vivo Expanded
and Unexpanded Cord Blood Units in lmmunodeficient Mice Using Insulin
Growth Factor Binding Protein-2-Augmented Mesenchymal Cell Cocultures By a
News ...
7
Inflectional Morphology: A Theory of Paradigm Structure
I now assume, however, that a realization rule may be defined as applying in
either of two MODES: a rule defined as applying in UNEXPANDED mode
realizes a particular property set; by contrast, a rule defined as applying in
EXPANDED ...
8
Current Trends in Database Technology - EDBT 2006: EDBT 2006 ...
Each process Pa creates a task (po, {}, unexpanded) for itself. If po 3 a final state,
insert (a, 0) in the pair-set of the above po-task, which I become {po, {(a, 0)},
unexpanded). epeat 2, 3, and 4 at each process Pa in parallel, until termination is
...
9
Transputer Applications and Systems '94: Proceedings of the ...
(1) compute UC (2) generate root node; insert root in unexpanded list (3) remove
node x with smallest value f (x) from unexpanded list (4) while node x is not a
goal node (5) for each ready task t (6) for each processor p (7) if assignment of
task ...
A. De Gloria, M. R. Jane, D. Marini, 1994
10
Blowing Agent Systems: Formulations and Processing: Rapra ...
The diameter of a microsphere of a standard size is 1 2 micron of the
unexpanded and 40 micron of the expanded. In Figure 2 you can see the
designation of EXPANCEL qualities. First there is a three-digit number which is
our internal code for ...
Rapra Technology Limited, 1998
包含词语«UNEXPANDED»的新条目
找出国内和国际出版社所讨论的内容,以及词语
unexpanded在以下新条目的上下文中是如何使用的。
Study shows where damaged DNA goes for repair
"For example, CAG-130 relocates more often than CAG-70, and an unexpanded CAG-15 does not relocate more than a non-repeat control. We think if the ... «Phys.Org, 五月 15»
Rick Scott To Sue Obama Administration Over Medicaid Expansion
... to participate in the expansion without losing all of its Medicaid funds; instead the state will have the option of continue the its current, unexpanded plan as is. «legal Insurrection, 四月 15»
ONGC recruitment: Apply for 156 posts
166 cms), Chest : (Unexpanded=81cms., Expanded=86cms). Human Resources: Graduate with minimum 50% marks and relevant work experience in a ... «India Today, 二月 15»
The 7 most important midterm election results you might have missed
... it remains very likely that these Medicaid programs will remain unexpanded — and millions of Americans won't be able to get health insurance as a result. «Vox, 十一月 14»
City gears for total plastic ban
... only allowed provided that these have no handles, holes, or strings and do not exceed eight inches in width and 12 inches in length in its unexpanded form. «Sun.Star, 十月 14»
Nepotism Might Have Just Doomed Virginia's Medicaid Expansion
In return, Republicans will take the Senate majority, and liberals' plan to expand Medicaid to 400,000 Virginians will breath its last unexpanded breath. What we ... «The Wire, 六月 14»
To call Labour 'Stalinists' for proposing regulation is beyond absurd
... unable to travel, their 40-year-old sons and daughters huddled with them as Stevenage remains unexpanded, maybe keeping a diary of their existence in the ... «The Independent, 十月 13»
LEFT ON THE PAVEMENT: Millions left uninsured after Medicaid left …
LEFT ON THE PAVEMENT: Millions left uninsured after Medicaid left unexpanded by several states. Click Here. By Catholic Online (NEWS CONSORTIUM). «Catholic Online, 十月 13»
Where did the 8-glasses-of-water-a-day myth come from?
That works out to about two liters, which is an awful lot of fluid, considering the average human stomach (when unexpanded) is about the size of a balled fist. «The Week Magazine, 八月 13»
Pollution from third Heathrow runway 'could lead to more early deaths'
'On a nationwide basis, early deaths due to UK airport emissions decrease by a quarter relative to an unexpanded Heathrow,' he wrote in a report that analysed ... «Metro, 十月 12»