Pub Date : 2021-07-23DOI: 10.1007/s10817-021-09600-4
P. Trentin, R. Sebastiani
{"title":"Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers","authors":"P. Trentin, R. Sebastiani","doi":"10.1007/s10817-021-09600-4","DOIUrl":"https://doi.org/10.1007/s10817-021-09600-4","url":null,"abstract":"","PeriodicalId":15082,"journal":{"name":"Journal of Automated Reasoning","volume":"65 1","pages":"1071 - 1096"},"PeriodicalIF":1.1,"publicationDate":"2021-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10817-021-09600-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52342429","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-06-18DOI: 10.1007/s10817-021-09598-9
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, C. Tinelli
{"title":"Towards Satisfiability Modulo Parametric Bit-vectors","authors":"Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, C. Tinelli","doi":"10.1007/s10817-021-09598-9","DOIUrl":"https://doi.org/10.1007/s10817-021-09598-9","url":null,"abstract":"","PeriodicalId":15082,"journal":{"name":"Journal of Automated Reasoning","volume":"65 1","pages":"1001 - 1025"},"PeriodicalIF":1.1,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10817-021-09598-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42088990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-06-07DOI: 10.14302/ISSN.2639-3166.JAR-21-3822
Raj K. Gupta, D. Benbi, Inder Abrol
In South Asia, land degradation is primarily a monsoon mediated phenomenon restricted to 2-3 rainy months. The overall strategy for land degradation neutrality should (i) favour actions that keep soils covered with residues and (ii) plant kharif (rainy season) crop before the onset of monsoons to provide soil cover. Retention of anchored residues provides surface cover, increases microbial activity, carbon sequestration, and availability of nutrients. Surface retained residues reduce root zone salinization, detoxify phytotoxic monomeric Al in acidic soils and enhance the potential for use of brackish ground water in crop production. Residues covers save irrigation water and overcome the ill effects of poor agronomic and water management practices. Early direct dry seeding in surface retained residues has the potential of making kharif season planting independent of the onset of monsoon rains in South Asia and helps reduce acreages of Kharif and Rabi fallow lands. For improving carbon content in Indian soils, perhaps the most important priority is to devise tillage and crop residue management approaches that promote in situ rain water storage and its use for growing more crops. The paper summarises how crop residues fuel and drive soil functions and related ecosystem services and plant growth.
{"title":"Ecological Significance of Residues Retention for Sustainability of Agriculture in the Semi-arid Tropics","authors":"Raj K. Gupta, D. Benbi, Inder Abrol","doi":"10.14302/ISSN.2639-3166.JAR-21-3822","DOIUrl":"https://doi.org/10.14302/ISSN.2639-3166.JAR-21-3822","url":null,"abstract":"In South Asia, land degradation is primarily a monsoon mediated phenomenon restricted to 2-3 rainy months. The overall strategy for land degradation neutrality should (i) favour actions that keep soils covered with residues and (ii) plant kharif (rainy season) crop before the onset of monsoons to provide soil cover. Retention of anchored residues provides surface cover, increases microbial activity, carbon sequestration, and availability of nutrients. Surface retained residues reduce root zone salinization, detoxify phytotoxic monomeric Al in acidic soils and enhance the potential for use of brackish ground water in crop production. Residues covers save irrigation water and overcome the ill effects of poor agronomic and water management practices. Early direct dry seeding in surface retained residues has the potential of making kharif season planting independent of the onset of monsoon rains in South Asia and helps reduce acreages of Kharif and Rabi fallow lands. For improving carbon content in Indian soils, perhaps the most important priority is to devise tillage and crop residue management approaches that promote in situ rain water storage and its use for growing more crops. The paper summarises how crop residues fuel and drive soil functions and related ecosystem services and plant growth.","PeriodicalId":15082,"journal":{"name":"Journal of Automated Reasoning","volume":"3 1","pages":"9-30"},"PeriodicalIF":1.1,"publicationDate":"2021-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44816401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Aliano is a small village in the province of Matera (Note 1). The city is characterized by the exceptional nature and the uniqueness of a “lunar landscape”, of a vast expanse of eerie beauty. The area was not always accessible for the same reasons, it became world famous for completely different reasons and specifically through the novel of a writer called Carlo Levi (Note 2). This particular author has left a strong mark on the history of Italian literature, although his work is not very rich. The place and the conditions of his new life as an exile in a poor isolated village of southern Italy, became the reason for the creation of his most important book entitled "Christ stopped at Eboli (Note 3).The book presents the rural south of Italy through its social condition, but not only as the result of an unbearable for the country archaic condition, but also as a place of existence of an important civilization. In this way the author’s narrative, as argued by Palmieri (2020), works as an objective account that is subjectively equated to a literary form.[… Christ did not arrive at this dark land where there is no sin and redemption, where evil is not moral, but an earthly pain that always exists in life. Christ stopped at Eboli.] (Levi, p. 12).
{"title":"The City of “Matera” Cultural Capital and Cinematographic Destination with the Power of Literature","authors":"Manola Maria, A. Tsatalbassoglou","doi":"10.22158/JAR.V5N2P13","DOIUrl":"https://doi.org/10.22158/JAR.V5N2P13","url":null,"abstract":"Aliano is a small village in the province of Matera (Note 1). The city is characterized by the exceptional nature and the uniqueness of a “lunar landscape”, of a vast expanse of eerie beauty. The area was not always accessible for the same reasons, it became world famous for completely different reasons and specifically through the novel of a writer called Carlo Levi (Note 2). This particular author has left a strong mark on the history of Italian literature, although his work is not very rich. The place and the conditions of his new life as an exile in a poor isolated village of southern Italy, became the reason for the creation of his most important book entitled \"Christ stopped at Eboli (Note 3).The book presents the rural south of Italy through its social condition, but not only as the result of an unbearable for the country archaic condition, but also as a place of existence of an important civilization. In this way the author’s narrative, as argued by Palmieri (2020), works as an objective account that is subjectively equated to a literary form.[… Christ did not arrive at this dark land where there is no sin and redemption, where evil is not moral, but an earthly pain that always exists in life. Christ stopped at Eboli.] (Levi, p. 12).","PeriodicalId":15082,"journal":{"name":"Journal of Automated Reasoning","volume":"5 1","pages":"13"},"PeriodicalIF":1.1,"publicationDate":"2021-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46956897","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-05-31DOI: 10.1007/s10817-022-09658-8
Emre Yolcu, S. Aaronson, Marijn J. H. Heule
{"title":"An Automated Approach to the Collatz Conjecture","authors":"Emre Yolcu, S. Aaronson, Marijn J. H. Heule","doi":"10.1007/s10817-022-09658-8","DOIUrl":"https://doi.org/10.1007/s10817-022-09658-8","url":null,"abstract":"","PeriodicalId":15082,"journal":{"name":"Journal of Automated Reasoning","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2021-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44873114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Social effects of Art – perspectives from Helsinki","authors":"Verena Niepel","doi":"10.22501/JARNET.0042","DOIUrl":"https://doi.org/10.22501/JARNET.0042","url":null,"abstract":"","PeriodicalId":15082,"journal":{"name":"Journal of Automated Reasoning","volume":"351 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2021-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41281260","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Artistic Research as Academic Borderlands","authors":"L. Veselá","doi":"10.22501/JARNET.0043","DOIUrl":"https://doi.org/10.22501/JARNET.0043","url":null,"abstract":"","PeriodicalId":15082,"journal":{"name":"Journal of Automated Reasoning","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2021-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45158170","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Review of Jennie Klein and Natalie Loveless (eds.), \"Responding to Site: The Performance Art of Marilyn Arsem.\"","authors":"M. Stolp","doi":"10.22501/JARNET.0045","DOIUrl":"https://doi.org/10.22501/JARNET.0045","url":null,"abstract":"","PeriodicalId":15082,"journal":{"name":"Journal of Automated Reasoning","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2021-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44965403","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：