Given a countable o-minimal theory T , we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the isomorphism problem for linear orders into the isomorphism problem for models of T . This is done by constructing models with specific linear orders in the t...

Give us 5 minutes and we will show you the best book to read today. This is it, the computing prosody computational models for processing spontaneous speech that will be your best choice for better reading book. Your five times will not spend wasted by reading this website. You can take the book as a source to make better concept. Referring the books that can be situated with your needs is some...

Spontaneous musical improvisation in jazz depends upon a substantial cognitive scaffolding that enables the real-time generation of creative structures. This work describes a computational model that simulates sub-conscious learning processes through an evolutionary paradigm.

The boll weevil, Anthonomus grandis grandis Boheman (Coleoptera: Curculionidae), has been the most important pest of cotton (Gossypium spp.) wherever it occurs. Although eradication programs in the United States have reduced the range of this pest, the weevil remains an intractable problem in subtropical Texas, Mexico, and much of South America. A key to managing the weevil in the subtropics an...

In this paper we study several variations of the pancake flipping problem, which is also well known as the problem of sorting by prefix reversals. We consider the variations in the sorting process by adding with prefix reversals other similar operations such as prefix transpositions and prefix transreversals. These type of sorting problems have applications in interconnection networks and compu...

An efficient methodology is proposed to find optimal shape of arch dams on the basis of constrained natural frequencies. The optimization is carried out by virtual sub population (VSP) evolutionary algorithm employing real values of design variables. In order to reduce the computational cost of the optimization process, the arch dam natural frequencies are predicted by properly trained back pro...

In this paper, a hub covering location problem is considered. Hubs, which are the most congested part of a network, are modeled as M/M/C queuing system and located in placeswhere the entrance flows are more than a predetermined value.A fuzzy constraint is considered in order to limit the transportation time between all origin-destination pairs in the network.On modeling, a nonlinear mathematica...