37,484 research outputs found
Automatically detecting neighbourhood constraint interactions using Comet
Local Search has been shown to be capable of producing high quality solutions in a variety of hard constraint and optimisation problems. Typically implementing a Local Search algorithm is done in a problem specic manner. In the last few years a variety of approaches have emerged focussed on easing the implementation and creating a clean separation between the algorithm and problem. We present a system which can deduce information about the interactions between problem constraints and the search neighbourhoods whilst maintaining a loose coupling between these components. We apply this technique to the International Timetabling Competition instances and show an implementation expressed in Comet
Disciplinary Regulation of Prosecutors as a Remedy for Abuses of Prosecutorial Discretion: A Descriptive and Normative Analysis
Evolving macro-actions for planning
Domain re-engineering through macro-actions (i.e. macros) provides one potential avenue for research into learning for planning. However, most existing work learns macros that are reusable plan fragments and so observable from planner behaviours online or plan characteristics offline. Also, there are learning methods that learn macros from domain analysis. Nevertheless, most of these methods explore restricted macro spaces and exploit specific features of planners or domains. But, the learning examples, especially that are used to acquire previous experiences, might not cover many aspects of the system, or might not always reflect that better choices have been made during the search. Moreover, any specific properties are not likely to be common with many planners or domains. This paper presents an offline evolutionary method that learns macros for arbitrary planners and domains. Our method explores a wider macro space and learns macros that are somehow not observable from the examples. Our method also represents a generalised macro learning framework as it does not discover or utilise any specific structural properties of planners or domains
Disciplinary Regulation of Prosecutors as a Remedy for Abuses of Prosecutorial Discretion: A Descriptive and Normative Analysis
Disciplinary Regulation of Prosecutors as a Remedy for Abuses of Prosecutorial Discretion: A Descriptive and Normative Analysis
Deformation of crosslinked semiflexible polymer networks
Networks of filamentous proteins play a crucial role in cell mechanics. These
cytoskeletal networks, together with various crosslinking and other associated
proteins largely determine the (visco)elastic response of cells. In this letter
we study a model system of crosslinked, stiff filaments in order to explore the
connection between the microstructure under strain and the macroscopic response
of cytoskeletal networks. We find two distinct regimes as a function primarily
of crosslink density and filament rigidity: one characterized by affine
deformation and one by non-affine deformation. We characterize the crossover
between these two.Comment: Typos fixed and some technical details clarified. To appear in Phys.
Rev. Let
Mark 3 real-time fringe detection system
A RAM memory built into the Mark 3 decoder module allows the capture of 1 Megabit of data. Data may be collected either in real time or from a pre-recorded tape. Once collected, the data may be retrieved using a standard EIA serial data link. The data may be transmitted to a remote computer for cross correlation processing with similar data from other stations to verify fringes in real time. The data may also be analyzed by a local computer to verify phase calibration, bandpass, format, etc., during a Mark 3 observing session
The use of data-mining for the automatic formation of tactics
This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques
Urban wastewater reuse for crop production in the water-short Guanajuato River Basin, Mexico
Water quality / Waste waters / Water reuse / Water resource management / River basins / Irrigation water / Crop production / Water use / Data collection / Case studies / Mexico / Guanajuato River Basin / Tula Irrigation District
- ā¦