Results 1 to 10 of about 253,540 (74)

Competition Report: CHC-COMP-21 [PDF]

EPTCS 344, 2021, pp. 91-108, 2021
CHC-COMP-21 is the fourth competition of solvers for Constrained Horn Clauses. In this year, 7 solvers participated at the competition, and were evaluated in 7 separate tracks on problems in linear integer arithmetic, linear real arithmetic, arrays, and algebraic data-types.
arxiv   +1 more source

Complex competitive systems and competitive thermodynamics [PDF]

Philosophical Transactions of the Royal Society A-Mathematical Physical and Engineering Sciences, Vol. 371, 2013, 2013
This publication reviews the framework of abstract competition, which is aimed at studying complex systems with competition in their generic form. Although the concept of abstract competition has been derived from a specific field - modelling of mixing in turbulent reacting flows - this concept is, generally, not attached to a specific phenomenon or ...
arxiv   +1 more source

Competition Report: CHC-COMP-20 [PDF]

EPTCS 320, 2020, pp. 197-219, 2020
CHC-COMP-20 is the third competition of solvers for Constrained Horn Clauses. In this year, 9 solvers participated at the competition, and were evaluated in four separate tracks on problems in linear integer arithmetic, linear real arithmetic, and arrays. The competition was run in the first week of May 2020 using the StarExec computing cluster.
arxiv   +1 more source

Mixing, entropy and competition [PDF]

Physica Scripta, Vol 85(6), 2012, 2013
Non-traditional thermodynamics, applied to random behaviour associated with turbulence, mixing and competition, is reviewed and analysed. Competitive mixing represents a general framework for the study of generic properties of competitive systems and can be used to model a wide class of non-equilibrium phenomena ranging from turbulent premixed flames ...
arxiv   +1 more source

Measuring the Competitive Pressure of Academic Journals and the Competitive Intensity within Subjects [PDF]

arXiv, 2022
A journal's impact and similarity with rivals is closely related to its competitive intensity. A subject area can be considered as an ecological system of journals, and can then be measured using the competitive intensity concept from plant systems. Based on Journal Citation Reports data from 1997, 2000, 2005, 2010, and 2013, we calculated the mutual ...
arxiv  

A generalization of Opsut's lower bounds for the competition number of a graph [PDF]

Graphs and Combinatorics 29 (2013) 1543-1547, 2012
The notion of a competition graph was introduced by J. E. Cohen in 1968. The competition graph C(D) of a digraph $D$ is a (simple undirected) graph which has the same vertex set as D and has an edge between two distinct vertices x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with
arxiv   +1 more source

Environmental structure and competitive scoring advantages in team competitions [PDF]

Scientific Reports 3, 3067 (2013), 2013
In most professional sports, the structure of the environment is kept neutral so that scoring imbalances may be attributed to differences in team skill. It thus remains unknown what impact structural heterogeneities can have on scoring dynamics and producing competitive advantages.
arxiv   +1 more source

Competitively orientable complete multipartite graphs [PDF]

arXiv, 2020
We say that a digraph $D$ is competitive if any pair of vertices has a common out-neighbor in $D$ and that a graph $G$ is competitively orientable if there exists a competitive orientation of $G$. The notion of competitive digraphs arose while studying digraph whose competition graphs are complete.
arxiv  

Competitive market for multiple firms and economic crisis [PDF]

Phys. Rev. E 82, 036118 (2010), 2010
The origin of economic crises is a key problem for economics. We present a model of long-run competitive markets to show that the multiplicity of behaviors in an economic system, over a long time scale, emerge as statistical regularities (perfectly competitive markets obey Bose-Einstein statistics and purely monopolistic-competitive markets obey ...
arxiv   +1 more source

Overview of Dialogue Robot Competition 2022 [PDF]

arXiv, 2022
Although many competitions have been held on dialogue systems in the past, no competition has been organized specifically for dialogue with humanoid robots. As the first such attempt in the world, we held a dialogue robot competition in 2020 to compare the performances of interactive robots using an android that closely resembles a human.
arxiv