In [2] we proposed the integration of finite domain (FD) constraints into the functional logic programming language TOYand, as result, presented the language TOY(FD) . We showed that TOY(FD) integrates the best features of existing functional and logic languages into FD constraint solving. This paper describes a sketch (due to space limitations) of the TOY(FD) operational semantics that consist...

In this article, we investigate the kinetic/fluid coupling on a toy model. We obtain it rigorously from a hydrodynamical limit. The idea is that at the level of the full kinetic model, the coupling is obvious. We then investigate the coupling obtained when passing into the limit. We show that, especially in presence of a shock stuck on the interface, the coupling involves a kinetic layer known ...

Santa likes to run a lean and efficient toy-making operation. He also likes to keep up with the latest math developments. So naturally, when Santa was building a new factory a few years back, he designed an interesting factory and method for assigning workers to toys that was based on a recent article he read in the Monthly ??. Here were some of Santa’s constraints. As it turns out, each toy re...

The present study represented a cognitive-developmental analysis of the effects of televised, sex-stereotypic information on children's behavior and attitudes toward toy play. The subjects were 50 male and 50 female 4-6-year-olds divided into high and low gender-constancy levels. As the children watched a cartoon, they either saw a commercial of a gender-neutral toy that showed 2 boys or 2 girl...

We show that Rob Spekken’s toy quantum theory arises as an instance of our categorical approach to quantum axiomatics, as a (proper) subcategory of the dagger compact category FRel of finite sets and relations with the cartesian product as tensor, where observables correspond to dagger Frobenius algebras. This in particular implies that the quantum-like properties of the toy model are in fact v...

We built a simple toy climbing robot in order to explore problems related to minimalist grasping, path planning, and robot control. The robot is capable of climbing a wall of pegs either under remote control, or on the basis of a set of pre-recorded keyframes. In addition, the robot can climb certain peg configurations using a cyclic gait. All communications are sent through an infrared connect...

Smart spaces provide services that support users in their daily lives. This requires the smart spaces to recognize the situations and adapt to them. Identifying the situation and adjustment to it in the physical environment has attracted lots of research, but recognition and adaptation at the meta-level has not been studied much. We refer with meta-level recognition and adaptation, that is, wit...

Many models have been used to simplify and operationalize the subtle but complex mechanisms of biological evolution. Toy models are gross simplifications that nevertheless attempt to retain major essential features of evolution, bridging the gap between empirical reality and formal theoretical understanding. In this paper, we examine thirteen models which describe evolution that also qualify as...

Distributed generation and storage of energy, conceived as one of the prominent applications of the Smart Grid, has become one of the most popular ways for generation and usage of electricity. Not only does it offer environmental advantages and a more decentralized way to produce energy, but it also enables former consumers to become producers (thus turning them into prosumers). Alternatively, ...

A dominant account of perseverative errors in early development contends that such errors reflect a failure to inhibit a prepotent response. This study investigated whether perseveration might also arise from a failure to inhibit a prepotent representation. Children watched as a toy was hidden at an A location, waited during a delay, and then watched the experimenter find the toy. After six obs...