The Experts below are selected from a list of 4434 Experts worldwide ranked by ideXlab platform
Neil D Jones - One of the best experts on this subject based on the ideXlab platform.
-
compiling untyped lambda calculus to lower level code by game semantics and partial evaluation invited paper
Partial Evaluation and Semantic-Based Program Manipulation, 2017Co-Authors: Daniil Berezun, Neil D JonesAbstract:Any expression M in ULC (the untyped λ-calculus) can be compiled into a rather low-level language we call LLL, whose programs contain none of the traditional implementation devices for functional languages: environments, thunks, closures, etc. A compiled program is first-order functional and has a fixed set of working variables, whose number is independent of M. The generated LLL code in effect traverses the subexpressions of M. We apply the techniques of game semantics to the untyped λ-calculus, but take a more Operational Viewpoint that uses less mathematical machinery than traditional presentations of game semantics. Further, the untyped lambda calculus ULC is compiled into LLL by partially evaluating a traversal algorithm for ULC.
-
PEPM - Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017, 2017Co-Authors: Daniil Berezun, Neil D JonesAbstract:Any expression M in ULC (the untyped λ-calculus) can be compiled into a rather low-level language we call LLL, whose programs contain none of the traditional implementation devices for functional languages: environments, thunks, closures, etc. A compiled program is first-order functional and has a fixed set of working variables, whose number is independent of M. The generated LLL code in effect traverses the subexpressions of M. We apply the techniques of game semantics to the untyped λ-calculus, but take a more Operational Viewpoint that uses less mathematical machinery than traditional presentations of game semantics. Further, the untyped lambda calculus ULC is compiled into LLL by partially evaluating a traversal algorithm for ULC.
Maurizio Migliaccio - One of the best experts on this subject based on the ideXlab platform.
-
On the degree of polarization for SAR sea oil slick observation
ISPRS Journal of Photogrammetry and Remote Sensing, 2013Co-Authors: Ferdinando Nunziata, A. Gambardella, Maurizio MigliaccioAbstract:Abstract A polarimetric model to relate the degree of polarization, DoP , to the sea surface scattering with and without oil slicks, under low-to-moderate wind conditions, is proposed. DoP , measured directly from the Mueller scattering matrix, is shown to be a reliable measure of the departure from Bragg scattering; a phenomenon that, under low-to-moderate wind conditions, occurs when an oil slick is present. Following this theoretical rationale, a simple filter is developed to observe oil slicks in quad-polarimetric full-resolution Synthetic Aperture Radar (SAR) data. Experiments, undertaken on a meaningful set of quad-polarization Single Look Complex (SLC) C-band RADARSAT-2 SAR data, where both well-known oil slicks and a weak-damping look-alike are in place, demonstrate the soundness of the model and its effectiveness from an Operational Viewpoint.
-
On the COSMO-SkyMed PingPong Mode to Observe Metallic Targets at Sea
IEEE Journal of Oceanic Engineering, 2013Co-Authors: Ferdinando Nunziata, Maurizio MigliaccioAbstract:A dual-polarimetric model to exploit X-band COSMO-SkyMed (CSK) dual-polarimetric PingPong mode synthetic aperture radar (SAR) data for metallic target observation purposes is first developed. The model relates the correlation between the copolarized channels, in case of sea surface with and without metallic targets, to the time offset between bursts related to the HH and VV polarimetric channels. Following this theoretical rationale, a constant false alarm rate (CFAR) approach is implemented to first exploit CSK PingPong full-resolution SAR data for target observation purposes. Experiments undertaken over a large data set of COSMO-SkyMed single look complex slant (SCS) PingPong HH/VV SAR data demonstrate the physical soundness of the approach and its effectiveness from an Operational Viewpoint. A whole CSK SAR scene is processed in about 10 s. Furthermore, the dual-polarization approach is also compared with a conventional single-polarization CFAR one and it is shown to perform best.
-
Reflection Symmetry for Polarimetric Observation of Man-Made Metallic Targets at Sea
IEEE Journal of Oceanic Engineering, 2012Co-Authors: Ferdinando Nunziata, Maurizio Migliaccio, C. E. BrownAbstract:In this paper, a new paradigm for coherent microwave polarimetric remote sensing observation of man-made metallic targets at sea is presented and demonstrated over real polarimetric synthetic aperture radar (SAR) data. It is based on the different symmetry properties of the sea and of the man-made targets. The rationale relies on physical principles instead of standard image processing. Hence, a simple and very effective filter to observe man-made metallic targets at sea by full-resolution dual-polarized SAR data is developed. The technique is compared to a classic polarimetric approach, namely the polarimetric cross-entropy (PCE) constant false alarm rate (CFAR), and it is shown to perform best. Experiments, undertaken over a large data set of single look complex (SLC) L-band ALOS-PALSAR and C-band RADARSAT-2 full-polarimetric SAR data, demonstrate the physical soundness of the theory and the effectiveness of the approach from an Operational Viewpoint.
-
IGARSS - Dual-polarized COSMO SkyMed SAR data to observe metallic targets at sea
2011 IEEE International Geoscience and Remote Sensing Symposium, 2011Co-Authors: Ferdinando Nunziata, Antonio Montuori, Maurizio MigliaccioAbstract:A dual-polarimetric model to exploit PingPong mode X-band full-resolution COSMO-SkyMed (CSK©) SAR data for metallic targets observation purposes is developed. The model relates the correlation between the co-polarized channels, in case of sea surface with and without metallic targets, to the time leg between two successive bursts. Experiments undertaken over COSMO-SkyMed Single Look Complex Slant (SCS) PingPong SAR data demonstrate the soundness of the proposed approach and its effectiveness from an Operational Viewpoint.
Daniil Berezun - One of the best experts on this subject based on the ideXlab platform.
-
compiling untyped lambda calculus to lower level code by game semantics and partial evaluation invited paper
Partial Evaluation and Semantic-Based Program Manipulation, 2017Co-Authors: Daniil Berezun, Neil D JonesAbstract:Any expression M in ULC (the untyped λ-calculus) can be compiled into a rather low-level language we call LLL, whose programs contain none of the traditional implementation devices for functional languages: environments, thunks, closures, etc. A compiled program is first-order functional and has a fixed set of working variables, whose number is independent of M. The generated LLL code in effect traverses the subexpressions of M. We apply the techniques of game semantics to the untyped λ-calculus, but take a more Operational Viewpoint that uses less mathematical machinery than traditional presentations of game semantics. Further, the untyped lambda calculus ULC is compiled into LLL by partially evaluating a traversal algorithm for ULC.
-
PEPM - Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017, 2017Co-Authors: Daniil Berezun, Neil D JonesAbstract:Any expression M in ULC (the untyped λ-calculus) can be compiled into a rather low-level language we call LLL, whose programs contain none of the traditional implementation devices for functional languages: environments, thunks, closures, etc. A compiled program is first-order functional and has a fixed set of working variables, whose number is independent of M. The generated LLL code in effect traverses the subexpressions of M. We apply the techniques of game semantics to the untyped λ-calculus, but take a more Operational Viewpoint that uses less mathematical machinery than traditional presentations of game semantics. Further, the untyped lambda calculus ULC is compiled into LLL by partially evaluating a traversal algorithm for ULC.
D N Klyshko - One of the best experts on this subject based on the ideXlab platform.
-
Basic quantum mechanical concepts from the Operational Viewpoint
Physics-Uspekhi, 1998Co-Authors: D N KlyshkoAbstract:The physical meaning of the basic quantum mechanical concepts (such as the wave function, reduction, state preparation and measurement, the projection postulate, and the uncertainty principle) is clarified using realistic experimental procedures and employing classical analogies whenever possible. Photon polarization measurement and particle coordinate and momentum measurement are considered as examples, as also are Einstein–Podolsky–Rosen correlations, Aharonov–Bohm effects, quantum teleportation, etc. Various nonclassicality criteria of quantum models, including photon antibunching and the violation of the Bell inequality, are discussed.
Claudio Garola - One of the best experts on this subject based on the ideXlab platform.
-
MGP Versus Kochen–Specker Condition in Hidden Variables Theories
International Journal of Theoretical Physics, 2005Co-Authors: Claudio GarolaAbstract:Hidden variables theories} for quantum mechanics are usually assumed to satisfy the KS condition . The Bell–Kochen–Specker theorem then shows that these theories are necessarily contextual. But the KS condition can be criticized from an Operational Viewpoint, which suggests that a weaker condition (MGP) should be adopted in place of it. This leads one to introduce a class of hidden parameters theories in which contextuality can, in principle, be avoided, since the proofs of the Bell–Kochen–Specker theorem break down. A simple model recently provided by the author for an objective interpretation of quantum mechanics can be looked at as a noncontextual hidden parameters theory, which shows that such theories actually exist.
-
MGP Versus Kochen-Specker Condition in Hidden Variables Theories
International Journal of Theoretical Physics, 2005Co-Authors: Claudio GarolaAbstract:Hidden variables theories} for quantum mechanics are usually assumed to satisfy the KS condition. The Bell–Kochen–Specker theorem then shows that these theories are necessarily contextual. But the KS condition can be criticized from an Operational Viewpoint, which suggests that a weaker condition (MGP) should be adopted in place of it. This leads one to introduce a class of hidden parameters theories in which contextuality can, in principle, be avoided, since the proofs of the Bell–Kochen–Specker theorem break down. A simple model recently provided by the author for an objective interpretation of quantum mechanics can be looked at as a noncontextual hidden parameters theory, which shows that such theories actually exist.
-
IS QUANTUM MECHANICS CONTEXTUAL
The Foundations of Quantum Mechanics, 2000Co-Authors: Claudio GarolaAbstract:The epistemological position underlying the standard interpretation of Quantum Mechanics (QM) can be classified as empirical verificationism (nontestable physical statements have no meaning) . This position can be argued to be responsible for m any puzzling features and "paradoxes" of QM. Nevertheless, it seems soundly based on the Bell-Kochen-Specker (Bell-KS) theorem, which is maintained to prove the contextuality of QM making empirical verificationism unavoidable. Actually, the proofs of the Bell-KS theorem stand on auxiliary assumptions that are criticizable from an Operational Viewpoint; these assumptions can be substituted with more plausible conditions, but, then, the Bell-KS theorem (hence, contextuality of QM ) fails to be true. This conclusion opens the way to a non conventional interpretation of QM that is compatible with some forms of physical realism.