This paper proposes a new theoretical model for the design of creativity-enhancing interfaces. The combination of user and content creation software is looked at as a creative system, and we tackle the question of how best to design the interface to utilise the abilities of both the computer and the brain. This model has been developed in the context of music technology, but may apply to any si...

Globally convergent homotopy methods are used to solve difficult nonlinear systems of equations by tracking the zero curve of a homotopy map. Homotopy curve tracking involves solving a sequence of linear systems, which often vary greatly in difficulty. In this research, a popular iterative solution tool, GMRES(k), is adapted to deal with the sequence of such systems. The proposed adaptive strat...

The notion of a strongly summing sequence is introduced. Such a sequence is weak-Cauchy, a basis for its closed linear span, and has the crucial property that the dual of this span is not weakly sequentially complete. The main result is: Theorem. Every non-trivial weak-Cauchy sequence in a (real or complex) Banach space has either a strongly summing sequence or a convex block basis equivalent t...

The notion of a strongly summing sequence is introduced. Such a sequence is weak-Cauchy, a basis for its closed linear span, and has the crucial property that the dual of this span is not weakly sequentially complete. The main result is: Theorem. Every non-trivial weak-Cauchy sequence in a (real or complex) Banach space has either a strongly summing sequence or a convex block basis equivalent t...

We consider a notion of sequential functional of -nite type, more generous than the familiar notion embodied in Plotkin’s language PCF. We study both the “full” and “e4ective” partial type structures arising from this notion of sequentiality. The full type structure coincides with that given by the strongly stable model of Bucciarelli and Ehrhard; it has also been characterized by van Oosten in...

In auctions where a seller can post a reserve price but if the object fails to sell cannot commit never to attempt to resell it, revenue equivalence between repeated first price and second price auctions without commitment results. When the time between auctions goes to zero, seller expected revenues converge to those of a static auction with no reserve price. With many bidders, the seller equi...

In this work we consider nonlinear minimization problems with a single linear equality constraint and box constraints. In particular we are interested in solving problems where the number of variables is so huge that traditional optimization methods cannot be directly applied. Many interesting real world problems lead to the solution of large scale constrained problems with this structure. For ...

Anxiety and depression are currently classified as separate clinical syndromes despite considerable similarities in their symptoms, pathophysiological substrates and response to treatment interventions. An alternative hypothesis views anxiety and depression along a temporal continuum, a construct that the current research attempts to model in a preclinical setting. In experiment 1, socially rai...

we consider a class of hypergraphs called hypercycles and we show that a hypercycle $c_n^{d,alpha}$ is shellable or sequentially the cohen--macaulay if and only if $nin{3,5}$. also, we characterize cohen--macaulay hypercycles. these results are hypergraph versions of results proved for cycles in graphs.

Cyclical choice is persistently observed in experimental evidence. It typically occurs in simple decision problems (involving only binary comparisons and few alternatives) and in significant proportions, sometimes nearing or even exceeding 50 percent. This is obviously incompatible with the classical model of ratio­ nal choice, in which choice is constructed as the maximizer of a single prefere...