6,829 research outputs found
Forcipatia Larsen & Shimomura, 2007, n. gen.
No full textForcipatia n. gen. Diagnosis. Female. Cheliped fixed finger and dactylus elongated. Uropodal exopod uniarticulated. Etymology. The genus is named for the shape of the chela; elongated and of similar shape to the cheliped in Pseudotanais. Remarks. Leptognathia rotundicauda Kudinova-Pasternak, 1970, L. longimanus Larsen, 2005, and L. sp G. (currently undescribed, Dr. G. Bird, pers. comm.), are removed from Leptognathia to the new genus due to the special features of the chela. In all other respects this genus is identical to Leptognathia. 1. Uropods longer than pleotelson ............................................................................................ F. rotundicauda Uropods shorter than pleotelson............................................................................................. F. longimanusPublished as part of Larsen, Kim & Shimomura, Michitaka, 2007, Tanaidacea (Crustacea: Peracarida) from Japan. II. Tanaidomorpha from the East China Sea, the West Pacific Ocean and the Nansei Islands, pp. 1-43 in Zootaxa 1464 on pages 19-20, DOI: 10.5281/zenodo.17651
Typhlotanais G. O. Sars 1882
No full textGenus Typhlotanais G. O. Sars, 1882 Gender: Masculine. Type species: Tanais aequiremis Lilljeborg, 1864. Remarks. Larsen et al. 2006 stated that the Typhlotanais had to be split into several genus level taxa. The species described below, possibly belongs to new taxa currently under description (Dr. M. BłaŻewicz-Paszkowycz, in prep.). Placement within the Typhlotanais should be considered temporary only.Published as part of Larsen, Kim & Shimomura, Michitaka, 2007, Tanaidacea (Crustacea: Peracarida) from Japan. II. Tanaidomorpha from the East China Sea, the West Pacific Ocean and the Nansei Islands, pp. 1-43 in Zootaxa 1464 on page 20, DOI: 10.5281/zenodo.17651
FIGURE 2. Araphura arvedlundi n in Tanaidacea from Brazil. I. The family Tanaellidae Larsen & Wilson, 2002
No full textFIGURE 2. Araphura arvedlundi n. sp., female allotype (A + B) and paratype (C–M). A, dorsal view, scale bar = 1 mm; B, lateral view; C, antennule; D, antenna; E, labrum; F, left mandible; G, right mandible; H, labium; I maxillule; J, maxilla; K, maxilliped; L, epignath; M, uropod. Scale bars = 0.2 mm.Published as part of Larsen, Kim, Araújo-Silva, Catarina De L. & Coelho, Petrônio Alves, 2009, Tanaidacea from Brazil. I. The family Tanaellidae Larsen & Wilson, 2002, pp. 1-19 in Zootaxa 2141 on page 7, DOI: 10.5281/zenodo.18857
Priced Timed Automata: Theory and Tools
No full textPriced timed automata are emerging as useful formalisms for modeling and analysing a broad range of resource allocation problems. In this extended abstract, we highlight recent (un)deci\-dability results related to priced timed automata as well as point to a number of open problems.Priced timed automata are emerging as useful formalisms for modeling and analysing a broad range of resource allocation problems. In this extended abstract, we highlight recent (un)deci\-dability results related to priced timed automata as well as point to a number of open problems
FIGURE 4. Typhlotanais froufesae, female. Holotype. A, cheliped. B, pereopod 1. C, pereopod 2. D, pereopod 3.E, Pereopod 4. F, pereopod 5. G, pereopod 6. Scale bar 0.1 in The tanaidacean assemblage from the Central Pacific Manganese Nodule Province. II. The genera Stenotanais and Typhlotanais (Crustacea)
No full textFIGURE 4. Typhlotanais froufesae, female. Holotype. A, cheliped. B, pereopod 1. C, pereopod 2. D, pereopod 3.E, Pereopod 4. F, pereopod 5. G, pereopod 6. Scale bar 0.1 mm.Published as part of Larsen, Kim, 2011, The tanaidacean assemblage from the Central Pacific Manganese Nodule Province. II. The genera Stenotanais and Typhlotanais (Crustacea), pp. 39-53 in Zootaxa 3088 on page 47, DOI: 10.5281/zenodo.27902
FIGURE 7. Typhlotanais pereosetulosa, female. Holotype. A, cheliped. B, pereopod 1. C, pereopod 2. D, pereopod 3. E, Pereopod 4. F, pereopod 5. G, pereopod 6. Scale bar 0.1 in The tanaidacean assemblage from the Central Pacific Manganese Nodule Province. II. The genera Stenotanais and Typhlotanais (Crustacea)
No full textFIGURE 7. Typhlotanais pereosetulosa, female. Holotype. A, cheliped. B, pereopod 1. C, pereopod 2. D, pereopod 3. E, Pereopod 4. F, pereopod 5. G, pereopod 6. Scale bar 0.1 mm.Published as part of Larsen, Kim, 2011, The tanaidacean assemblage from the Central Pacific Manganese Nodule Province. II. The genera Stenotanais and Typhlotanais (Crustacea), pp. 39-53 in Zootaxa 3088 on page 51, DOI: 10.5281/zenodo.27902
FIGURE 1. Stenotanais arenasi, male. Holotype. A in The tanaidacean assemblage from the Central Pacific Manganese Nodule Province. II. The genera Stenotanais and Typhlotanais (Crustacea)
No full textFIGURE 1. Stenotanais arenasi, male. Holotype. A, lateral view, scale bar 1 mm. B, antennule. C, antenna. D, labrum. E, left mandible. F, right mandible. G, labium. H, maxillule. I, maxilla. J, maxilliped. K, epignath. L, pleopod. L, uropod. Scale bars 0.1 mm.Published as part of Larsen, Kim, 2011, The tanaidacean assemblage from the Central Pacific Manganese Nodule Province. II. The genera Stenotanais and Typhlotanais (Crustacea), pp. 39-53 in Zootaxa 3088 on page 42, DOI: 10.5281/zenodo.27902
FIGURE 11. Armaturatanais trispinipodus, female. A in Tanaidacea (Crustacea; Peracarida) from chemically reduced habitats-the hydrothermal vent system of the Juan de Fuca Ridge, Escabana Trough and Gorda Ridge, northeast Pacific
No full textFIGURE 11. Armaturatanais trispinipodus, female. A) Holotype, lateral view; B) Antennule; C) Antenna; D) Labrum; E) Left mandible; F) Right mandible; G) Labium; H) Maxillule; I) Maxilliped; J) Cheliped. Scale bar A 1 mm, scale bars B–I 0.25 mm.Published as part of Larsen, Kim, 2006, Tanaidacea (Crustacea; Peracarida) from chemically reduced habitats-the hydrothermal vent system of the Juan de Fuca Ridge, Escabana Trough and Gorda Ridge, northeast Pacific, pp. 1-33 in Zootaxa 1164 on page 25, DOI: 10.5281/zenodo.264538
Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper)
Full text linkUPPAAL-Stratego is a recent branch of the verification tool UPPAAL allowing for synthesis of safe and optimal strategies for stochastic timed (hybrid) games. We describe newly developed learning methods, allowing for synthesis of significantly better strategies and with much improved convergence behaviour. Also, we describe novel use of decision trees for learning orders-of-magnitude more compact strategy representation. In both cases, the seek for optimality does not compromise safety
FIGURE 5. Pseudosphyrapus azorensis n in Tanaidacea (Crustacea) from Macaronesia II. The deep-water fauna from the Azores archipelago, Portugal
No full textFIGURE 5. Pseudosphyrapus azorensis n. sp., holotype, female. A, cheliped. B, pereopod 1. C, pereopod 2. D, pereopod 3. E, Pereopod 4. E1, same, propodus/dactylus, scale bar 0.1 mm. F, pereopod 5. G, pereopod 6. H, pleopod, scale bar 0.1 mm. I, uropod. Other scale bar 0.5 mm.Published as part of Larsen, Kim, 2012, Tanaidacea (Crustacea) from Macaronesia II. The deep-water fauna from the Azores archipelago, Portugal, pp. 26-42 in Zootaxa 3250 on page 36, DOI: 10.5281/zenodo.28057
- …
