The 511 keV emission from positron annihilation in the Galaxy

The first gamma-ray line originating from outside the solar system that was ever detected is the 511 keV emission from positron annihilation in the Galaxy. Despite 30 years of intense theoretical and observational investigation, the main sources of positrons have not been identified up to now. Observations in the 1990's with OSSE/CGRO showed that the emission is strongly concentrated towards the Galactic bulge. In the 2000's, the SPI instrument aboard ESA's INTEGRAL gamma-ray observatory allowed scientists to measure that emission across the entire Galaxy, revealing that the bulge/disk luminosity ratio is larger than observed in any other wavelength. This mapping prompted a number of novel explanations, including rather "exotic ones (e.g. dark matter annihilation). However, conventional astrophysical sources, like type Ia supernovae, microquasars or X-ray binaries, are still plausible candidates for a large fraction of the observed total 511 keV emission of the bulge. A closer study of the subject reveals new layers of complexity, since positrons may propagate far away from their production sites, making it difficult to infer the underlying source distribution from the observed map of 511 keV emission. However, contrary to the rather well understood propagation of high energy (>GeV) particles of Galactic cosmic rays, understanding the propagation of low energy (~MeV) positrons in the turbulent, magnetized interstellar medium, still remains a formidable challenge. We review the spectral and imaging properties of the observed 511 keV emission and we critically discuss candidate positron sources and models of positron propagation in the Galaxy.Comment: 62 pages, 35 figures. Review paper to appear in Reviews of Modern Physic

Relationship between Flag Leaf Reflectance and Canopy Temperature in Durum Wheat (Triticum durum Desf.) Cultivars under Stressed and Irrigated Conditions

Optical technologies can be developed as practical tools for monitoring plant health by providing unique spectral signatures that can be related to specific plant stresses. The objectives of this study were (i) to determine differences in canopy temperature and leaf reflectance of different durum wheat under both well-watered and moisture stressed conditions and (ii) evaluate the relationships between canopy temperature and leaf reflectance at Red and Blue (RB) wavelength. We use numerical image analysis by Mesurim Pro (Version 3.3) softwarefor estimate leaf reflectance at Red and Blue (RB) wavelength.In this study irrigation treatments affect significantly flag leaf reflectance at RB and canopy temperature. Significant correlations were registered between leaf reflectance and canopy temperature under both conditions irrigated and non irrigated; these best correlations proved the efficiency of using leaf reflectance at RB in screening for drought tolerance in durum wheat cultivars

Canopy Temperature Efficiency as Indicators for Drought Tolerance in Durum Wheat (Triticum Durum Desf.) in Semi Arid Conditions

Durum wheat (Triticum durum Desf.) is one of the more widely cultivated crops in the Mediterranean basin, where drought is the main abiotic stress limiting its production. This study was conducted on the experimental site of station ITGC in Setif, Algeria. The objectives of this study were (i) to determine differences in canopy temperature (CT) and canopy temperature depression (CTD) of different durum wheat under both well-watered and moisture stressed conditions and (ii) to correlate canopy temperature (CT) and canopy temperature depression (CTD) with drought resistance indices value and yield of durum wheat (Triticum durum Desf.) under both conditions. The results of study showed a significant difference between CT and CTD under both conditions and among genotypes. Under dryland conditions, grain yield and mean CTD were correlated positively (r = 0.32**), this correlation is similar to other studies (Blum et al., 1989; Royo et al., 2002). Similar results of correlation between canopy temperature (CT), canopy temperature depression (CTD) and grain yield suggest that the use of CT and CTD in screening for highly tolerant varieties to drought is similar. The significant correlation of CT and CTD with Mean productivity (MP) and Stress tolerance index (STI) suggests that CTD and/or CT can be favorite selection criteria in plant breeding for drought tolerance

Spectral analysis of the Galactic e+e- annihilation emission

We present a spectral analysis of the e+e- annihilation emission from the Galactic Centre region based on the first year of measurements made with the spectrometer SPI of the INTEGRAL mission. We have found that the annihilation spectrum can be modelled by the sum of a narrow and a broad 511 keV line plus an ortho-Ps continuum. The broad line is detected with a flux of (0.35+/-0.11)e-3 s-1 cm-2. The measured width of 5.4+/-1.2 keV FWHM is in agreement with the expected broadening of 511 keV photons emitted in the annihilation of Ps that are formed by the charge exchange process of slowing down positrons with H atoms. The flux of the narrow line is (0.72+/-0.12)e-3 s-1 cm-2 and its width is 1.3+/-0.4 keV FWHM. The measured ortho-Ps continuum flux yields a fraction of Ps of (96.7+/-2.2)%. To derive in what phase of the interstellar medium positrons annihilate, we have fitted annihilation models calculated for each phase to the data. We have found that 49(+2,-23)% of the annihilation emission comes from the warm neutral phase and 51(+3,-2)% from the warm ionized phase. While we may not exclude that less than 23% of the emission might come from cold gas, we have constrained the fraction of annihilation emission from molecular clouds and hot gas to be less than 8% and 0.5%, respectively. We have compared our knowledge of the interstellar medium in the bulge and the propagation of positrons with our results and found that they are in good agreement if the sources are diffusively distributed and if the initial kinetic energy of positrons is lower than a few MeV. Despite its large filling factor, the lack of annihilation emission from the hot gas is due to its low density, which allows positrons to escape this phase.Comment: 12 pages, 6 figures, accepted in A&

SPI observations of positron annihilation radiation from the 4th galactic quadrant: sky distribution

During its first year in orbit the INTEGRAL observatory performed deep exposures of the Galactic Center region and scanning observations of the Galactic plane. We report on the status of our analysis of the positron annihilation radiation from the 4th Galactic quadrant with the spectrometer SPI, focusing on the sky distribution of the 511 keV line emission. The analysis methods are described; current constraints and limits on the Galactic bulge emission and the bulge-to-disk ratio are presented.Comment: 4 pages, 2 figures, accepted for publication in the proceedings of the 5th INTEGRAL worksho

Durum Wheat (Triticum durum Desf.) Evaluation under Semi Arid Conditions in Eastern Algeria by Path Analysis

This study was aimed to characterize yield components and plant traits related to grain yield. Correlation and path analysis were carried out in durum wheat genotypes grown under irrigated and non-irrigated field conditions during two cropping seasons (2010/2011 and 2011/2012). In the path coefficient analysis, grain yield represented the dependent variable and the number of spikes m-2, number of grains spike-1, kernel weight and number of grains m-2 were the independent ones. Grain yield showed positive phenotypic correlation with number of spikes m-2 and number of grains per m-2under both conditions and during two cropping seasons.Path analysis revealed positive direct effect of 1000- kernels weight, number of spike m-2 and number of grains per spike on grain yield. These results indicated that the 1000- kernels weight and number of spikes m-2 followed by the number of grains per spike and number of grains per m-2 were the traits related to higher grain yield, under irrigated and late season water stress conditions.

Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity

[EN] To maintain integrity, constraint violations should be prevented or repaired. However, it may not be feasible to avoid inconsistency, or to repair all violations at once. Based on an abstract concept of violation measures, updates and repairs can be checked for keeping inconsistency bounded, such that integrity violations are guaranteed to never get out of control. This measure-based approach goes beyond conventional methods that are not meant to be applied in the presence of inconsistency. It also generalizes recently introduced concepts of inconsistency-tolerant integrity maintenance.Partially supported by FEDER and the Spanish grants TIN2009-14460-C03 and TIN2010-17139Decker, H. (2013). Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity. Lecture Notes in Computer Science. 7693:149-173. https://doi.org/10.1007/978-3-642-36008-4_7S1491737693Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)Abiteboul, S., Vianu, V.: A transaction-based approach to relational database specification. JACM 36(4), 758–789 (1989)Afrati, F., Kolaitis, P.: Repair checking in inconsistent databases: algorithms and complexity. In: 12th ICDT, pp. 31–41. ACM Press (2009)Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: PODS 1999, pp. 68–79. ACM Press (1999)Arieli, O., Denecker, M., Bruynooghe, M.: Distance semantics for database repair. Ann. Math. Artif. Intell. 50, 389–415 (2007)Arni-Bloch, N., Ralyté, J., Léonard, M.: Service–Driven Information Systems Evolution: Handling Integrity Constraints Consistency. In: Persson, A., Stirna, J. (eds.) PoEM 2009. LNBIP, vol. 39, pp. 191–206. Springer, Heidelberg (2009)Bauer, H.: Maß- und Integrationstheorie, 2. Auflage. De Gruyter (1992)Besnard, P., Hunter, A.: Quasi-Classical Logic: Non-Trivializable Classical Reasoning from Inconsistent Information. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol. 946, pp. 44–51. Springer, Heidelberg (1995)Bohanon, P., Fan, W., Flaster, M., Rastogi, R.: A Cost-Based Model and Effective Heuristic for Repairing Constraints by Value Modification. In: Proc. SIGMOD 2005, pp. 143–154. ACM Press (2005)Ceri, S., Cochrane, R., Widom, J.: Practical Applications of Triggers and Constraints: Success and Lingering Issues. In: Proc. 26th VLDB, pp. 254–262. Morgan Kaufmann (2000)Chakravarthy, U., Grant, J., Minker, J.: Logic-based Approach to Semantic Query Optimization. Transactions on Database Systems 15(2), 162–207 (1990)Chomicki, J.: Consistent Query Answering: Five Easy Pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 1–17. Springer, Heidelberg (2006)Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundamenta Informaticae 71(4), 371–417 (2006)Clark, K.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press (1978)Curino, C., Moon, H., Deutsch, A., Zaniolo, C.: Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++. PVLDB 4, 117–128 (2010)Dawson, J.: The compactness of first-order logic: From Gödel to Lindström. History and Philosophy of Logic 14(1), 15–37 (1993)Decker, H.: The Range Form of Databases and Queries or: How to Avoid Floundering. In: Proc. 5th ÖGAI. Informatik-Fachberichte, vol. 208, pp. 114–123. Springer (1989)Decker, H.: Drawing Updates From Derivations. In: Kanellakis, P.C., Abiteboul, S. (eds.) ICDT 1990. LNCS, vol. 470, pp. 437–451. Springer, Heidelberg (1990)Decker, H.: Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol. 5181, pp. 89–96. Springer, Heidelberg (2008)Decker, H.: Answers That Have Integrity. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2010. LNCS, vol. 6834, pp. 54–72. Springer, Heidelberg (2011)Decker, H.: Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases. In: Murgante, B., Gervasi, O., Iglesias, A., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2011, Part V. LNCS, vol. 6786, pp. 283–292. Springer, Heidelberg (2011)Decker, H.: Inconsistency-tolerant Integrity Checking based on Inconsistency Metrics. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds.) KES 2011, Part II. LNCS, vol. 6882, pp. 548–558. Springer, Heidelberg (2011)Decker, H.: Partial Repairs that Tolerate Inconsistency. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol. 6909, pp. 389–400. Springer, Heidelberg (2011)Decker, H.: Consistent Explanations of Answers to Queries in Inconsistent Knowledge Bases. In: Roth-Berghofer, T., Tintarev, N., Leake, D. (eds.) Explanation-aware Computing, Proc. IJCAI 2011 Workshop ExaCt 2011, pp. 71–80 (2011), http://exact2011.workshop.hm/index.phpDecker, H., Martinenghi, D.: Classifying integrity checking methods with regard to inconsistency tolerance. In: Proc. PPDP 2008, pp. 195–204. ACM Press (2008)Decker, H., Martinenghi, D.: Modeling, Measuring and Monitoring the Quality of Information. In: Heuser, C.A., Pernul, G. (eds.) ER 2009. LNCS, vol. 5833, pp. 212–221. Springer, Heidelberg (2009)Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. IEEE TKDE 23(2), 218–234 (2011)Decker, H., Muñoz-Escoí, F.D.: Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010 Workshops. LNCS, vol. 6428, pp. 297–306. Springer, Heidelberg (2010)Dung, P., Kowalski, R., Toni, F.: Dialectic Proof Procedures for Assumption-based Admissible Argumentation. Artificial Intelligence 170(2), 114–159 (2006)Ebbinghaus, H.-D., Flum, J.: Finite Model Theory, 2nd edn. Springer (2006)Embury, S., Brandt, S., Robinson, J., Sutherland, I., Bisby, F., Gray, A., Jones, A., White, R.: Adapting integrity enforcement techniques for data reconciliation. Information Systems 26, 657–689 (2001)Enderton, H.: A Mathematical Introduction to Logic, 2nd edn. Academic Press (2001)Eiter, T., Fink, M., Greco, G., Lembo, D.: Repair localization for query answering from inconsistent databases. ACM TODS 33(2), article 10 (2008)Furfaro, F., Greco, S., Molinaro, C.: A three-valued semantics for querying and repairing inconsistent databases. Ann. Math. Artif. Intell. 51(2-4), 167–193 (2007)Grant, J., Hunter, A.: Measuring the Good and the Bad in Inconsistent Information. In: Proc. 22nd IJCAI, pp. 2632–2637 (2011)Greco, G., Greco, S., Zumpano, E.: A logical framework for querying and repairing inconsistent databases. IEEE TKDE 15(6), 1389–1408 (2003)Guessoum, A., Lloyd, J.: Updating knowledge bases. New Generation Computing 8(1), 71–89 (1990)Guessoum, A., Lloyd, J.: Updating knowledge bases II. New Generation Computing 10(1), 73–100 (1991)Gupta, A., Sagiv, Y., Ullman, J., Widom, J.: Constraint checking with partial information. In: Proc. PODS 1994, pp. 45–55. ACM Press (1994)Hunter, A.: Measuring Inconsistency in Knowledge via Quasi-Classical Models. In: Proc. 18th AAAI &14th IAAI, pp. 68–73 (2002)Hunter, A., Konieczny, S.: Approaches to Measuring Inconsistent Information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 191–236. Springer, Heidelberg (2005)Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Brewka, G., Lang, J. (eds.) Principles of Knowledge Representation and Reasoning (Proc. 11th KR), pp. 358–366. AAAI Press (2008)Hunter, A., Konieczny, S.: On the measure of conflicts: Shapley Inconsistency Values. Artificial Intelligence 174, 1007–1026 (2010)Kakas, A., Mancarella, P.: Database updates through abduction. In: Proc. 16th VLDB, pp. 650–661. Morgan Kaufmann (1990)Kakas, A., Kowalski, R., Toni, F.: The role of Abduction in Logic Programming. In: Gabbay, D., Hogger, C., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press (1998)Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: Proc. VLDB 1996, pp. 495–505. Morgan Kaufmann (1996)Lehrer, K.: Relevant Deduction and Minimally Inconsistent Sets. Journal of Philosophy 3(2,3), 153–165 (1973)Mu, K., Liu, W., Jin, Z., Bell, D.: A Syntax-based Approach to Measuring the Degree of Inconsistency for Belief Bases. J. Approx. Reasoning 52(7), 978–999 (2011)Lloyd, J., Sonenberg, L., Topor, R.: Integrity constraint checking in stratified databases. J. Logic Programming 4(4), 331–343 (1987)Lozinskii, E.: Resolving contradictions: A plausible semantics for inconsistent systems. J. Automated Reasoning 12(1), 1–31 (1994)Ma, Y., Qi, G., Hitzler, P.: Computing inconsistency measure based on paraconsistent semantics. J. Logic Computation 21(6), 1257–1281 (2011)Martinenghi, D., Christiansen, H.: Transaction Management with Integrity Checking. In: Andersen, K.V., Debenham, J., Wagner, R. (eds.) DEXA 2005. LNCS, vol. 3588, pp. 606–615. Springer, Heidelberg (2005)Martinenghi, D., Christiansen, H., Decker, H.: Integrity Checking and Maintenance in Relational and Deductive Databases and Beyond. In: Ma, Z. (ed.) Intelligent Databases: Technologies and Applications, pp. 238–285. IGI Global (2006)Martinez, M.V., Pugliese, A., Simari, G.I., Subrahmanian, V.S., Prade, H.: How Dirty Is Your Relational Database? An Axiomatic Approach. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 103–114. Springer, Heidelberg (2007)Meyer, J., Wieringa, R. (eds.): Deontic Logic in Computer Science. Wiley (1994)Nicolas, J.M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)Plexousakis, D., Mylopoulos, J.: Accommodating Integrity Constraints During Database Design. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol. 1057, pp. 495–513. Springer, Heidelberg (1996)Rahm, E., Do, H.: Data Cleaning: Problems and Current Approaches. Data Engineering Bulletin 23(4), 3–13 (2000)Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 313–362. Morgan Kaufmann (1988)Thimm, M.: Measuring Inconsistency in Probabilistic Knowledge Bases. In: Proc. 25th UAI, pp. 530–537. AUAI Press (2009)Vardi, M.: On the integrity of databases with incomplete information. In: Proc. 5th PODS, pp. 252–266. ACM Press (1986)Wijsen, J.: Database repairing using updates. ACM Trans. Database Syst. 30(3), 722–768 (2005

A Case-base Approach to Workforces’ Satisfaction Assessment

It is well known that human resources play a valuable role in a sustainable organizational development. Indeed, this work will focus on the development of a decision support system to assess workers’ satisfaction based on factors related to human resources management practices. The framework is built on top of a Logic Programming approach to Knowledge Representation and Reasoning, complemented with a Case Based approach to computing. The proposed solution is unique in itself, once it caters for the explicit treatment of incomplete, unknown, or even self-contradictory information, either in terms of a qualitative or quantitative setting. Furthermore, clustering methods based on similarity analysis among cases were used to distinguish and aggregate collections of historical data or knowledge in order to reduce the search space, therefore enhancing the cases retrieval and the overall computational process