Results 301 to 310 of about 885,061 (318)
Some of the next articles are maybe not open access.
On the Composition of Compositional Reasoning
2006We survey compositionality results for three classes of system properties: invariance/safety properties and liveness properties (based on work by Abadi and Lamport), and confidentiality properties (based on work by Mantel). We then analyse the difficulties which occur when trying to apply the compositionality results of these classes of properties ...
Felix C. Freiling, Thomas Santen
openaire +2 more sources
Nanoindentation as a composition microprobe for nanolayer composites
Scripta Materialia, 1997Aluminum and tungsten differ by a factor of about 6 in Young`s modulus. For this reason, modulus measurements made by nanoindentation are sensitive to small variations in the relative amounts of aluminum and tungsten that make up the laminate composites.
Ilkka Suni +4 more
openaire +2 more sources
Policy of Composition ? Composition of Policies
2011 IEEE International Symposium on Policies for Distributed Systems and Networks, 2011Policies of data artifacts and services on the Web restrict the situations in which they are allowed to be used. Compositions, which use several protected entities and are themselves published on the Internet, must obey the restrictions of all relevant policies. Such policies can include restrictions on the policy of the composition, e.g.
openaire +3 more sources
Science, 2006
Composite materials are traditionally regarded as materials that can save energy in large structures associated with transport. They are used to produce lightweight structures for fuel-efficient aircraft such as the new Boeing 787 Dreamliner; lightweight cars from Lotus, Ferrari and TVR; and high-speed trains, speedboats, and racing yachts.
openaire +4 more sources
Composite materials are traditionally regarded as materials that can save energy in large structures associated with transport. They are used to produce lightweight structures for fuel-efficient aircraft such as the new Boeing 787 Dreamliner; lightweight cars from Lotus, Ferrari and TVR; and high-speed trains, speedboats, and racing yachts.
openaire +4 more sources
The British Journal for the Philosophy of Science, 2017
ABSTRACTThis article defends a realist account of the composition of Newtonian forces, dubbed ‘residualism’.
openaire +3 more sources
ABSTRACTThis article defends a realist account of the composition of Newtonian forces, dubbed ‘residualism’.
openaire +3 more sources
Micromechanics of Composites [PDF]
, 1987 In this chapter we consider the results of incorporating a reinforcement (fibers, whiskers, particles, etc.) in a matrix to make a composite. It is of great importance to be able to predict the properties of a composite, given the properties of the components and the geometric arrangement of the components in the composite.
openaire +1 more source