This paper describes optimization of the Takagi-Sugeno fuzzy model. To prove the existence of optimal control, we apply compactness of a set of membership functions in L space and continuity of approximate reasoning and show the existence of a pair of membership functions which minimize the quadratic performance function.

Linear invariants, discovered by Lake, promise to provide a versatile way of inferring phylogenies on the basis of nucleic acid sequences (the method that he called "evolutionary parsimony"). A semigroup of Markov transition matrices embodies the assumptions underlying the method, and alternative semigroups exist. The set of all linear invariants may be derived from the semigroup by using an al...

Editorial Board within it 'DONALD J. HUGHES H. BURR STEINBACH tracts a 1 KONRAD B. KRAUSKOPP WILLIAM L. STRAUS, JR. try. Besic EDWIN M. LERNER EDWARD L. TATUM a strong Editorial Staff SARAH S. DEES, LUCILLE GUINARD, NANCY S. tion to it HAMILTON, WILLIAM HASKELL, OLIVER W. HEATtration s] WOLE, YUKIE KOZAI, JUDITH B. LEVIN, ELLEN with its s E. MURPHY, BETHSABE PEDERSEN, MADELINE SCHNEIDER. NANCY ...

When evaluating logic solvers, it is essential to take into account the application domain in which they will operate. For example, a logic solver for reasoning about programs could be applied either inside a compiler to justify the validity of optimizing transformations, or in an IDE plugin to help developers find bugs in their programs. Despite the similarity of the domain, these two applicat...

Transformation to continuation-passing style (CPS) is often performed by optimizing compilers for functional programming languages. As part of the development and proof of correctness of a compiler for the mini-ML functional language, we have mechanically verified the correctness of two CPS transformations for a call-by-value λ-calculus with n-ary functions, recursive functions, data types and ...

In direct seeding systems, soil strength variability and crop residues increase the difficulty of seeding operation. Especially when trying to achieve uniform seeding depth that will result in reliable seed germination and plant emergence. An advanced improvement has been accomplished using direct seeding systems. However, some problems still exist in soil-machine interaction due to various rea...

Seeding strategies have a major influence on the success of viral marketing campaigns, but previous studies using computer simulations and analytical models produced conflicting recommendations about the optimal seeding strategy. We therefore compare four different seeding strategies in two complementary small-scale field experiments as well as in one real-life viral marketing campaign that inv...

With the popularity of BitTorrent-like P2P applications, improving its performance has been an active research area. Super-seeding, a special upload policy for the initial seeder, improves the efficiency in producing multiple seeds and reduces the uploading bytes of content initiators, thus being highly expected as a promising solution for improving downloading performance while decreasing uplo...

the aim of this research was determination of nutritive value of cressa cretica with gas test method, in vivo digestibility and degradability with nylon bag method in three phenological stages. the amount of crude protein decreased significantly in seeding stage. but the amount of ndf and adf increased in seeding stage. the degradability of dry matter and rapid and slowly degradable fractions d...