The niteness of ranges of tree transductions is shown to be decid-able for TBY + , the composition closure of macro tree transductions. Furthermore, TBY + deenable sets and TBY + computable relations are considered, which are obtained by viewing a tree as an expression that denotes an element of a given algebra. A suucient condition on the considered algebra is formulated under which the nitene...

Un nourisson de six mois a ete hospitalise dans le .,ervice de pediatrie du C.H.U. de Logmandolhe-Adham pour: deshydratation, etat septique, acidose metabolique, troubles circulatoires des membres avec gangrene de la main droite.  Le syndrome de la coagulation intra-vasculaire disse­minee (CID) a ete rapidernent confirme par l'etude de la erase sanguine. Soumis a un traitement par: solutes 6le...

We study travelling wave solutions for the model developed in part 1 of the paper. We develop and discuss a condition, characterizing their existence. The possibility of niteness is investigated. We consider the convergence to various limit cases and point out their diierent qualitative behaviour. Finally a numerical method is indicated.

We study the following problems for strong and weak bisim-ulation equivalence: given a labelled Petri net and a nite transition system, are they equivalent?; given a labelled Petri net, is it equivalent to some (unspeciied) nite transition system? We show that both problems are decidable for strong bisimulation and undecidable for weak bisimulation.

The tropical semiring M consists of the set of natural numbers extended with innnity, equipped with the operations of taking minimums (as semiring addition) and addition (as semiring multiplication). We use factorization forests to prove niteness results related to semi-groups of matrices over M. Our method is used to recover results of Hashiguchi, Leung and the author in a uniied combinatorial...

Results on the niteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of classifying spaces of groups. Calculations of the cohomology classes of some nite crossed modules are given, using crossed complex methods.

Results on the niteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of classifying spaces of groups. Calculations of the cohomology classes of some nite crossed modules are given, using crossed complex methods.

This paper presents some results for solving prediction problems under general asymmetric loss functions. We prove existence of the optimal predictor and uniqueness under certain additional assumption fulllled for instance by convex prediction error loss. Furthermore we study the question of niteness of the optimal predictor for prediction error loss with saturation.