Journal of Automated Reasoning最新文献_第10页

Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers 有符号位向量和浮点数的优化模理论

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-07-23 DOI: 10.1007/s10817-021-09600-4

P. Trentin, R. Sebastiani

引用次数: 2

Model Completeness, Uniform Interpolants and Superposition Calculus 模型完备性，一致插值和叠加微积分

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-06-21 DOI: 10.1007/s10817-021-09596-x

Diego Calvanese, S. Ghilardi, Alessandro Gianola, M. Montali, Andrey Rivkin

引用次数: 12

Towards Satisfiability Modulo Parametric Bit-vectors 模参数位向量的可满足性

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-06-18 DOI: 10.1007/s10817-021-09598-9

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, C. Tinelli

引用次数: 6

Finding Normal Binary Floating-Point Factors Efficiently 有效地找到正常二进制浮点因子

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-06-10 DOI: 10.1007/s10817-023-09659-1

Mak Andrlon

引用次数: 0

Ecological Significance of Residues Retention for Sustainability of Agriculture in the Semi-arid Tropics 半干旱热带地区农药残留对农业可持续发展的生态意义

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-06-07 DOI: 10.14302/ISSN.2639-3166.JAR-21-3822

Raj K. Gupta, D. Benbi, Inder Abrol

{"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}

引用次数: 0

The City of “Matera” Cultural Capital and Cinematographic Destination with the Power of Literature 文学力量下的“马特拉”文化之都与电影目的地

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-06-02 DOI: 10.22158/JAR.V5N2P13

Manola Maria, A. Tsatalbassoglou

{"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}

引用次数: 0

An Automated Approach to the Collatz Conjecture Collatz猜想的一种自动化方法

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-05-31 DOI: 10.1007/s10817-022-09658-8

Emre Yolcu, S. Aaronson, Marijn J. H. Heule

引用次数: 7

Social effects of Art – perspectives from Helsinki 艺术的社会效应——来自赫尔辛基的视角

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-05-24 DOI: 10.22501/JARNET.0042

Verena Niepel

引用次数: 0

Artistic Research as Academic Borderlands 作为学术边界的艺术研究

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-05-24 DOI: 10.22501/JARNET.0043

L. Veselá

引用次数: 1

Review of Jennie Klein and Natalie Loveless (eds.), "Responding to Site: The Performance Art of Marilyn Arsem." 评论珍妮克莱因和娜塔莉洛夫莱斯(编)，“响应现场:玛丽莲阿西姆的行为艺术。”

IF 1.1 3区计算机科学

Journal of Automated Reasoning Pub Date : 2021-05-24 DOI: 10.22501/JARNET.0045

M. Stolp

引用次数: 1