Results 11 to 20 of about 1,744,639 (315)
When bounds consistency implies domain consistency for regular counting constraints
Finite automata with counters are often used to specify families of constraints. The addition of counters provides more power than membership in regular languages that is possible with finite automata.
Martin, Barnaby,, Pearson, Justin,
core +1 more source
The basis and sustainability of the new growth model of the Chinese economy [PDF]
The Chinese model of economic growth has produced impressive results in the past several decades, while the rates of economic growth and exports and imports growth have been the highest in the world.
Antevski Miroslav
doaj +1 more source
Implied Constraints for Automaton Constraints
Automata allow many constraints on sequences of variables to be specified in a high-level way for constraint programming solvers. An automaton with accumulators induces a decomposition of the specified constraint into a conjunction of constraints with existing inference algorithms, called propagators.
María Andreína Francisco Rodríguez +2 more
openaire +2 more sources
The purinergic type P1 (adenosine A1 and A2A) receptors and the type P2 (X7) receptor have been suggested to mediate physiological effects of adenosine and adenosine triphosphate on sleep.
Mounir Chennaoui +11 more
doaj +1 more source
Apiarist traditionally adopt wooden hive in beekeeping. Modern poly hive provides a superior environment to raise and keep the honeybee population more vigorous due to its high-tech internal facilities and sanitary system.
FT Sadia, MS Hossain, R Begum, MHK Sujan
doaj +1 more source
We need to reason about rankings of objects in a wide variety of domains including information retrieval, sports tournaments, bibliometrics, and statistics. We propose a global constraint therefore for modeling rankings. One important application for rankings is in reasoning about the correlation or uncorrelation between sequences.
Bessiere, Christian +4 more
openaire +5 more sources
A wide range of counting and occurrence constraints can be specified with just two global primitives: the Range constraint, which computes the range of values used by a sequence of variables, and the Roots constraint, which computes the variables mapping onto a set of values. We focus here on the Roots constraint.
Christian Bessiere +4 more
openaire +3 more sources
The Influence of Equipment and Environment on Children and Young Adults Learning Aquatic Skills
Learning aquatic skills is an important component of developing physical literacy in children. Aquatic skills such as floating, swimming and safe entry/exit promote engagement in different water environments and may help preserve lives in an emergency ...
Tina van Duijn +6 more
doaj +1 more source
This article recounts the story of constraint programming, one of the most remarkable and enduring scientific contributions of Alain Colmerauer. It is a personal story, having lived through, and contributed to, the events that are reported here.
openaire +1 more source
Synchronized sweep algorithms for scalable scheduling constraints [PDF]
This report introduces a family of synchronized sweep based filtering algorithms for handling scheduling problems involving resource and precedence constraints. The key idea is to filter all constraints of a scheduling problem in a synchronized way in
Letort, Arnaud +5 more
core +1 more source

