Each year, more than three million animals are transported from farms to abattoirs in Sweden. Animal transport is related to economic and environmental costs and a negative impact on animal welfare. Time and the number of pick-up stops between farms and abattoirs are two key parameters for animal welfare. Both are highly dependent on efficient and qualitative transportation planning, which may ...

To solve the scalability problem introduced by the exponential growth of malware, numerous automated malware analysis techniques have been developed. Unfortunately, all of these approaches make previously unaddressed assumptions that manifest as weaknesses to the tenability of the automated malware analysis process. To highlight this concern, we developed two obfuscation techniques that make th...

Perceived dependencies lead to time series profiles of prices in markets characterised by overconfident investors that manifest the empirically documented overreaction, momentum and mean reversion effects within a unified and robust modelling structure. Confirmatory bias is demonstrated to induce such perceived signal dependencies.

This article presents the results of a quasi-experimental research project investigating the impact of two different formal learning spaces – a traditional classroom and a technologically enhanced active learning classroom – on instructor behavior, classroom activities, and levels of ontask student behavior at the University of Minnesota. Using time-series data collected as part of a series of ...

Today, transportation of hazardous materials (i.e., hazmat) is a very important issue for researchers due to the risk of this transit, which should be considered for development of industries and transportation. Therefore, a model that is useful should consider the risk and damage to humanitarian and environmental issues due to transit of hazmat materials. By considering the related cost, the r...

This paper is an endeavor to quantify the concept of sustainable transportation. The prevailing idea in the context of sustainable development (SD) emphasizes on the reduction of transportation demand in order to reduce the environmental and social consequences of it. Nevertheless, in the current paper using a measure for SD, and based on the conformity of the growths of all sectors with transp...

A common problem of existing methods for regime shift detection is their poor performance at the ends of time-series. Consequently, shifts in environmental and biological indices are usually detected long after their actual appearance. A recently introduced method based on sequential t-test analysis of regime shifts (STARS) treats all incoming data in real time, signals the possibility of a reg...

Business processes often exhibit a high degree of variability. Process variants may manifest due to the differences in the nature of clients, heterogeneity in the type of cases, etc. Through the use of process mining techniques, one can benefit from historical event data to extract non-trivial knowledge for improving business process performance. Although some research has been performed on sup...

We propose the first general technique for proving genuine lower bounds in the expansion-based QBF proof systems ∀Exp+Res and IR-calc. We present the technique in a framework centred on natural properties of winning strategies in the ‘evaluation game’ interpretation of QBF semantics. As applications, we prove an exponential lower bound on IR-calc proof size for a whole class of formula families...

I reconsider asymmetrically warped compactifications, in which time and space have different warp factors. I call such compactifications time warps if the bulk geometry has neither entropy nor temperature. I provide an example starting from an asymptotically AdS5 spacetime where the speed of light, measured in a fixed coordinate system, is larger near the boundary than it is deep in the interio...