Cocktail) were dehydrated by immersion in binary solutions of salt or sugar and ternary salt-sugar solutions at 30, 40, and 50°C. Compositional changes...
www.ingentaconnect.com/content/tandf/ldrt/2008/00000026... www.ingentaconnect.com/content/tandf/ldrt/2008/00000026/00000007/art00007
If g2 O, it may be compositionally unstable under a critical temperature T. Several evaluations of T exist, which depend on the average alloy composition c,
linkinghub.elsevier.com/retrieve/pii/S0169433297005461 linkinghub.elsevier.com/retrieve/pii/S0169433297005461
CiteSeerX - Document Details (Isaac Councill, Lee Giles): Metacomputing entails the combination of diverse, heterogeneous elements to provide a seamless, integrated computing service. We describe one such metacomputing application using Compositional C that integrates specialized resources, high-speed networks,
citeseer.ist.psu.edu/lee96nearrealtime.html citeseer.ist.psu.edu/lee96nearrealtime.html
To our knowledge, this is the first compositional use of CEGAR in the context of model checking concurrent C programs. We describe our approach in detail,
citeseer.ist.psu.edu/658860.html citeseer.ist.psu.edu/658860.html
lelism in all the di erent programming styles that a C Compositional C ++ (CC ++ ) [2] was designed to address. these issues.
www.sigapp.org/acr/Issues/V4.1/kesselman.ps
The Provenance of Ancient Glass through Compositional Analysis. Ian C. Freestone. Cardiff School of History and Archaeology, Cardiff University...
www.mrs.org/s_mrs/bin.asp?CID=2724&DID=62781&DOC=FILE.P... www.mrs.org/s_mrs/bin.asp?CID=2724&DID=62781&DOC=FILE.PDF
This paper describes how the state space exploration ool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is employed for...
portal.acm.org/citation.cfm?id=1148013 portal.acm.org/citation.cfm?id=1148013
The state space explosion problem in model checking remains the chief obstacle to the practical verification of real-world distributed systems. We attempt to address this problem in the context of verifying concurrent (message-passing) C programs against safety specifications.
www.comlab.ox.ac.uk/Joel.Ouaknine/publications/twolevel... www.comlab.ox.ac.uk/Joel.Ouaknine/publications/twolevel03abs.html
Compositional Stability of Artificial Heterogeneous Tumors in Vivo: Use of Mitomycin C as a Cytotoxic Probe1,2, Then, the pure A, D, or admixed tumors were challenged with mitomycin C which kills A cells more efficiently than D cells by a factor of about 2.3 as determined by in vitro survival curve inactivation slopes.
cancerres.aacrjournals.org/cgi/content/abstract/48/10/2... cancerres.aacrjournals.org/cgi/content/abstract/48/10/2669
Subhash C. Singh and Ram Gopal* In-Situ Spectroscopic Measurements of Laser Ablation-Induced Splitting and Agglomeration of Metal Nanoparticles in SolutionThe Journal of Physical Chemistry C The Journal of Physical Chemistry C 2008 112 (43), pp 16801–16808...
pubs.acs.org/cgi-bin/abstract.cgi/jpccck/2008/112/i08/a... pubs.acs.org/cgi-bin/abstract.cgi/jpccck/2008/112/i08/abs/jp0753676.html