9,710 research outputs found
Crossing the death valley to transfer environmental decision support systems to the water market
Environmental decision support systems (EDSSs) are attractive tools to cope with the complexity of environmental global challenges. Several thoughtful reviews have analyzed EDSSs to identify the key challenges and best practices for their development. One of the major criticisms is that a wide and generalized use of deployed EDSSs has not been observed. The paper briefly describes and compares four case studies of EDSSs applied to the water domain, where the key aspects involved in the initial conception and the use and transfer evolution that determine the final success or failure of these tools (i.e., market uptake) are identified. Those aspects that contribute to bridging the gap between the EDSS science and the EDSS market are highlighted in the manuscript. Experience suggests that the construction of a successful EDSS should focus significant efforts on crossing the death-valley toward a general use implementation by society (the market) rather than on development.The authors would like to thank the Catalan Water Agency (Agència Catalana de l’Aigua), Besòs River Basin Regional Administration
(Consorci per la Defensa de la Conca del Riu Besòs), SISLtech, and Spanish Ministry of Science and Innovation for providing funding
(CTM2012-38314-C02-01 and CTM2015-66892-R). LEQUIA, KEMLG, and
ICRA were recognized as consolidated research groups by the Catalan
Government under the codes 2014-SGR-1168, 2013-SGR-1304 and
2014-SGR-291.Peer ReviewedPostprint (published version
Fixation, transient landscape and diffusion's dilemma in stochastic evolutionary game dynamics
Agent-based stochastic models for finite populations have recently received
much attention in the game theory of evolutionary dynamics. Both the ultimate
fixation and the pre-fixation transient behavior are important to a full
understanding of the dynamics. In this paper, we study the transient dynamics
of the well-mixed Moran process through constructing a landscape function. It
is shown that the landscape playing a central theoretical "device" that
integrates several lines of inquiries: the stable behavior of the replicator
dynamics, the long-time fixation, and continuous diffusion approximation
associated with asymptotically large population. Several issues relating to the
transient dynamics are discussed: (i) multiple time scales phenomenon
associated with intra- and inter-attractoral dynamics; (ii) discontinuous
transition in stochastically stationary process akin to Maxwell construction in
equilibrium statistical physics; and (iii) the dilemma diffusion approximation
facing as a continuous approximation of the discrete evolutionary dynamics. It
is found that rare events with exponentially small probabilities, corresponding
to the uphill movements and barrier crossing in the landscape with multiple
wells that are made possible by strong nonlinear dynamics, plays an important
role in understanding the origin of the complexity in evolutionary, nonlinear
biological systems.Comment: 34 pages, 4 figure
If the Current Clique Algorithms are Optimal, so is Valiant's Parser
The CFG recognition problem is: given a context-free grammar
and a string of length , decide if can be obtained from
. This is the most basic parsing question and is a core computer
science problem. Valiant's parser from 1975 solves the problem in
time, where is the matrix multiplication
exponent. Dozens of parsing algorithms have been proposed over the years, yet
Valiant's upper bound remains unbeaten. The best combinatorial algorithms have
mildly subcubic complexity.
Lee (JACM'01) provided evidence that fast matrix multiplication is needed for
CFG parsing, and that very efficient and practical algorithms might be hard or
even impossible to obtain. Lee showed that any algorithm for a more general
parsing problem with running time can
be converted into a surprising subcubic algorithm for Boolean Matrix
Multiplication. Unfortunately, Lee's hardness result required that the grammar
size be . Nothing was known for the more relevant
case of constant size grammars.
In this work, we prove that any improvement on Valiant's algorithm, even for
constant size grammars, either in terms of runtime or by avoiding the
inefficiencies of fast matrix multiplication, would imply a breakthrough
algorithm for the -Clique problem: given a graph on nodes, decide if
there are that form a clique.
Besides classifying the complexity of a fundamental problem, our reduction
has led us to similar lower bounds for more modern and well-studied cubic time
problems for which faster algorithms are highly desirable in practice: RNA
Folding, a central problem in computational biology, and Dyck Language Edit
Distance, answering an open question of Saha (FOCS'14)
On the birth of limit cycles for non-smooth dynamical systems
The main objective of this work is to develop, via Brower degree theory and
regularization theory, a variation of the classical averaging method for
detecting limit cycles of certain piecewise continuous dynamical systems. In
fact, overall results are presented to ensure the existence of limit cycles of
such systems. These results may represent new insights in averaging, in
particular its relation with non smooth dynamical systems theory. An
application is presented in careful detail
Rainbow domination and related problems on some classes of perfect graphs
Let and let be a graph. A function is a rainbow function if, for every vertex with
, . The rainbow domination number
is the minimum of over all rainbow
functions. We investigate the rainbow domination problem for some classes of
perfect graphs
Algorithmic Puzzles: History, Taxonomies, and Applications in Human Problem Solving
The paper concerns an important but underappreciated genre of algorithmic puzzles, explaining what these puzzles are, reviewing milestones in their long history, and giving two different ways to classify them. Also covered are major applications of algorithmic puzzles in cognitive science research, with an emphasis on insight problem solving, and the advantages of algorithmic puzzles over some other classes of problems used in insight research. The author proposes adding algorithmic puzzles as a separate category of insight problems, suggests 12 specific puzzles that could be useful for research in insight problem solving, and outlines several experiments dealing with other cognitive aspects of solving algorithmic puzzles
- …