We describe DysToPic, a theorem prover for the preferential Description Logic ALC + Tmin. This is a nonmonotonic extension of standard ALC based on a typicality operator T, which enjoys a preferential semantics. DysToPic is a multi-engine Prolog implementation of a labelled, two-phase tableaux calculus for ALC +Tmin whose basic idea is that of performing these two phases by different machines. ...

We consider directed graphs where each edge is labeled with an integer weight and study the fundamental algorithmic question of computing the value of a cycle with minimum mean weight. Our contributions are twofold: (1) First we show that the algorithmic question is reducible in O(n2) time to the problem of a logarithmic number of min-plus matrix multiplications of n× n-matrices, where n is the...

Coffee is the world’s most valuable tropical export crop. Recent studies predict severe climate change impacts on Coffea arabica (C. arabica) production. However, quantitative production figures are necessary to provide coffee stakeholders and policy makers with evidence to justify immediate action. Using data from the northern Tanzanian highlands, we demonstrate for the first time that increas...

The primary purpose of the study was determination spatial day-to-day variability extreme air temperatures in Poland and dependency large temperature changes on atmospheric circulation accordance with Grosswetterlagen (GWL) classification. goal achieved based data from 1966 to 2015, made available by Institute Meteorology Water Management—National Research Institute. Day-to-day maximum minimum ...

Sanjiang Plain is the most extensive marsh distribution region in China. Marshes this can protect biodiversity, regulate climate, and provide habitats for wild animals plants. The normalized difference vegetation index (NDVI) a crucial indicator of coverage, which may reflect ecosystem structure functional features. Clarifying spatiotemporal change coverage its climatic drivers vital observing ...

With the increase of sophistication and severity of DDoS attack, it is important for a victim site to quickly identify the potential attackers and eliminate their traffic. Our work is based on the probabilistic marking algorithm by Savage[12] in which an attack graph can be constructed by a victim site. We extend the concept further such that we can deduce the local traffic rate of each router ...

To reduce air pollution, China adopted rigorous control mechanisms and announced the Air Pollution Prevention Control Action Plan (APPCAP) in 2013. Here, using OMI satellite, NASA Socioeconomic Data Application Center (SEDAC), Fifth ECMWF (ERA5) data at a 0.25° × resolution, we explored changes NO2, PM, SO2, O3 climatology over response to between 2004 2021. This study attempts investigate long...