منابع مشابه
Sparrow 2011
SPARROW is a stochastic local search (SLS) solver for SAT formulae in CNF format [2]. It was named after the mascot of the German city of Ulm. SPARROW2011 is a variant of SPARROW that was developed for the 2011 SAT competition. The core SPARROW2011 algorithm is identical to SPARROW; it has been re-implemented in UBCSAT [9] and a mechanism has been added to automatically select optimized paramet...
متن کاملAngry Sparrow
Instrumentalists rely on physical gestures such as plunking, bowing, hitting, and blowing air into their instruments in order to produce sound; among tremendous number of human gestures, the body movements employed by musical performers are limited. This compositional project began with the idea of extending the relationship between human gestures and sound by electronic means. From that germin...
متن کاملA Theory of Ambulance Chasing
Ambulance chasing is a common socio-scientific phenomenon in particle physics. I argue that despite the seeming complexity, it is possible to gain insight into both the qualitative and quantitative features of ambulance chasing dynamics. Compound-Poisson statistics suffices to accommodate the time evolution of the cumulative number of papers on a topic, where basic assumptions that the interest...
متن کاملChasing Constrained
We investigate the implication problem for constrained tuple-generating dependencies (CTGDs), the extension of tuple-and equality-generating dependencies that permits expression of semantic relations (constraints) on variables. The implication problem is central to identifying redundant integrity constraints, checking integrity constraints on constraint databases, detecting the independence of ...
متن کاملChasing chaos
Both simple and hybrid genetic algorithms encounter difficulties when presented with a function which has multiple values. Similarly, changing environments or functions which change rapidly present other problems. This paper presents an algorithm that is capable of coping with both of these scenarios: it can accommodate multiple solutions simultaneously and can track changes in optima efficient...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1887
ISSN: 0028-0836,1476-4687
DOI: 10.1038/035584e0