Nonseparability, Potentiality and the Context-Dependence of Quantum Objects

Standard quantum mechanics undeniably violates the notion of separability that classical physics accustomed us to consider as valid. By relating the phenomenon of quantum nonseparability to the all-important concept of potentiality, we effectively provide a coherent picture of the puzzling entangled correlations among spatially separated systems. We further argue that the generalized phenomenon of quantum nonseparability implies contextuality for the production of well-defined events in the quantum domain, whereas contextuality entails in turn a structural-relational conception of quantal objects, viewed as carriers of dispositional properties. It is finally suggested that contextuality, if considered as a conditionalization preparation procedure of the object to be measured, naturally leads to a separable concept of reality whose elements are experienced as distinct, well-localized objects having determinate properties. In this connection, we find it necessary to distinguish the meaning of the term reality from the criterion of reality for us. The implications of the latter considerations for the notion of objectivity in quantum mechanics are also discussed

Correspondence Truth and Quantum Mechanics

The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either 'true' or 'false', describing what is actually the case at a certain moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of 'no go' theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen-Specker contradiction. In this respect, the Bub-Clifton 'uniqueness theorem' is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences.Comment: 19 page

A DSL For Logistics Clouds

Cloud is a new area of specialization in the computing world, and, as such, it has not been explicitly addressed by traditional programming languages and environments. Therefore, there is a need to create Domain Specific Languages (DSLs) for it. This paper presents such a DSL that targets logistics clouds, i.e. networked resources and systems of logistics organisations. The DSL is implemented on top of the functional concurrent language Erlang and its distributed data management system Mnesia. The paper presents features of the DSL that implement commonly occurring use cases in the logistics cloud such as message exchange, document sharing and notifications. We show how program features in this DSL map to the underlying Erlang/OTP runtime

Development and Performance of spark-resistant Micromegas Detectors

The Muon ATLAS MicroMegas Activity (MAMMA) focuses on the development and testing of large-area muon detectors based on the bulk-Micromegas technology. These detectors are candidates for the upgrade of the ATLAS Muon System in view of the luminosity upgrade of Large Hadron Collider at CERN (sLHC). They will combine trigger and precision measurement capability in a single device. A novel protection scheme using resistive strips above the readout electrode has been developed. The response and sparking properties of resistive Micromegas detectors were successfully tested in a mixed (neutron and gamma) high radiation field, in a X-ray test facility, in hadron beams, and in the ATLAS cavern. Finally, we introduced a 2-dimensional readout structure in the resistive Micromegas and studied the detector response with X-rays

A MapReduce architecture for web site user behaviour monitoring in real time

Monitoring the behaviour of large numbers of web site users in real time poses significant performance challenges, due to the decentralised location and volume of generated data. This paper proposes a MapReduce-style architecture where the processing of event series from the Web users is performed by a number of cascading mappers, reducers and rereducers, local to the event origin. With the use of static analysis and a prototype implementation, we show how this architecture is capable to carry out time series analysis in real time for very large web data sets, based on the actual events, instead of resorting to sampling or other extrapolation techniques