This paper reports on a study of the way that people make decisions about the allocation of income between categories of expenditure, such as food, rent and leisure. The most common (economic) approach to formalising budgetary decision processes is deductive: a theory is proposed and its implications are then explored. However, it is also possible to develop formal models inductively and this i...

Planning as satisfiability is one of the main approaches to finding parallel optimal solution plans for classical planning problems. Existing high performance SAT-based planners are able to exploit either forward or backward search strategy; starting from an underestimation or overestimation of the optimal plan length, they keep increasing or decreasing the estimated plan length and, for each f...

Decomposition techniques are used to speed up training support vector machines but for linear programming support vector machines (LP-SVMs) direct implementation of decomposition techniques leads to infinite loops. To solve this problem and to further speed up training, in this paper, we propose an improved decomposition techniques for training LP-SVMs. If an infinite loop is detected, we inclu...

We investigate a supply chain decision problem that encompasses three challenges, which cannot be managed satisfactorily nowadays with computerized decision support: dynamic, islands of planning autonomy and hierarchically coupled planning goals. We combine the existing online optimization framework by a closed-loop optimization control circuit that allows a subordinate service centre agent to ...

Critical Infrastructure Protection is one of the main challenges of last years. Security Information and Event Management (SIEM) systems are widely used for coping with this challenge. However, they currently present several limitations that have to be overcome. In this paper we propose an enhanced SIEM system in which we have introduced novel components to i) enable multiple layer data analysi...

Unmanned aircraft systems use a variety of techniques to plan collision-free flight paths given a map of obstacles and nofly zones. However, maps are not perfect and obstacles may change over time or be detected during flight, which may invalidate paths that the aircraft is already following. Thus, dynamic in-flight replanning is required. Numerous strategies can be used for replanning, where t...

This paper aims to propose, via an experimental collaborative decision support method, to define a grid of indicators and a reference situation database to measure the sustainable performance of urban logistics pooling systems. To do this, we start by defining the notion of sustainability in the 4As approach, after what we identify the main sustainability indicators from an overview of the lite...

Twin support vector regression (TSVR) is a new regression algorithm, which aims at finding -insensitive upand down-bound functions for the training points. In order to do so, one needs to resolve a pair of smaller-sized quadratic programming problems (QPPs) rather than a single large one in a classical SVR. However, the same penalties are given to the samples in TSVR. In fact, samples in the di...

Description: Who are the cybercriminals and what can we do to stop them? From the #1 cybercrime expert, a revolutionary new approach to. Fighting Computer Crime A top computer crime expert explains why current computer security methods fall dangerously short of the mark and what we can do to fix them. Based on his 30 years as a cybercrime fighter, during which he interviewed more than 200 perpe...