Find research datasets worth reusing

Fig. 5 in A new species of Curculionichthys (Siluriformes: Loricariidae) from the north edge of the Brazilian Shield, lower Amazon basin

Fig. 5. Type-locality of Curculionichthys hera, igarapé do Onça, tributary to rio Curuá-Una on road BR-163 between Belterra and Rurópolis, Belterra, Pará, Brazil.

Fig. 3 in A new species of Curculionichthys (Siluriformes: Loricariidae) from the north edge of the Brazilian Shield, lower Amazon basin

Fig. 3. Snout and sexual dimorphism in size of nares of adults of Curculionichthys hera, MCP 51571, paratypes. a. male; b. female. Scale bars = 1 mm.

Fig. 4 in A new species of Curculionichthys (Siluriformes: Loricariidae) from the north edge of the Brazilian Shield, lower Amazon basin

Fig. 4. Collecting localities of Curculionichthys hera in the rio Curuá-Una basin, on road BR-163 between Belterra and Rurópolis, Belterra, Pará, Brazil. Star represents type-locality.

Fig. 2 in A new species of Curculionichthys (Siluriformes: Loricariidae) from the north edge of the Brazilian Shield, lower Amazon basin

Fig. 2. Field Emission Scanning Electron Microscopy (FESEM) of snout tip showing hypertrophied odontodes of species of Curculionichthys. a. C. hera, paratype, MCP 51571; b. C. itaim, MCP 51569; and c. C. insperatus, MCP 47070. Scale bars = 1 mm.

Fig. 1 in A new species of Curculionichthys (Siluriformes: Loricariidae) from the north edge of the Brazilian Shield, lower Amazon basin

Fig. 1. Curculionichthys hera, holotype, MCP 52500, female, 25.1 mm SL, igarapé do Onça, tributary to rio Curuá-Una on road BR-163 between Belterra and Rurópolis, Belterra, Pará, Brazil.

opencc-by-4.0Jul 2019View details →

Fig. 1 in New species of Leporinus (Characiformes: Anostomidae) from the highlands of the Guiana Shield in Venezuela

Fig. 1. Leporinus tepui, new species: (a) FMNH 109898, paratype, 69.6 mm SL; (b) FMNH 45711, holotype, 143.7 mm SL.

opencc-by-4.0Jul 2019View details →

Fig. 3 in New species of Leporinus (Characiformes: Anostomidae) from the highlands of the Guiana Shield in Venezuela

Fig. 3. Leporinus arcus: (a) FMNH 53366, holotype, 189.8 mm SL: (b) ANSP 175458, 143.0 mm SL, (c) MZUSP 108859, 219.3 mm SL (photographed live).

opencc-by-4.0Jul 2019View details →

Fig. 2 in New species of Leporinus (Characiformes: Anostomidae) from the highlands of the Guiana Shield in Venezuela

Fig. 2. Map of north portion of South America, showing the distribution of Leporinus tepui, new species (squares), and L. arcus (circles). Black symbols represent type localities.

opencc-by-4.0Jun 2020View details →

Experiments for "It's Time to Play Safe: Shield Synthesis for Timed Systems"

Prerequisite The conda package manager for python Setup Navigate to ./Platoon and execute following commands <pre><code class="language-bash">conda env create -n your_env_name -f conda_env.yml conda activate your_env_name pip install -r pip_req.txt</code></pre> Usage: Creating an Agent (platoon.py) First you need to create an environment <pre><code class="language-java">gym.make(ENV_NAME, rendermode, numcars, startdist, startspeed, mindist, maxdist, accsteps, rendermode, seed, shield, shield_file)</code></pre> All of these key word arguments already have default values and can be changed if needed. rendermode can be set to None, Minimal, Console, Viewer or Console_Viewer. The weigths of the agent get saved in ./Platoon/weigths  and checkpoints can be found in ./Platoon/weigths/checkpoints. The checkpoints can be disabled by not using a callback for the dqnAgent.   All the agents have been trained by taking some amount of steps, saving the weights, reloading the weights and then start the training again.   The first training session should be between 60.000 and 80.000 steps. (here the load_weigths is not needed) After that the session can be a larger amount of steps but should not be unreasonably large (80.000 - 200.000).   Larger amount of cars need more training sessions in order to achieve a good performance. Using an Agent (test_agent.py) the gym should be initialized with the values numcars, mindist, maxdist, accsteps the agent has been trained on   startspeed, startdis can be changed, but might create situations where the agent has no way of preventing a crash rendermode can be set to None, Minimal, Console, Viewer or Console_Viewer the model, memory and policy need to be set according to the agent   now the weigths of the agent can be loaded <pre><code class="language-java">dqn.load_weights('weights/agent_name')</code></pre> Pre-trained agents from 2 - 10 cars can be found in ./Platoon/weigths Environment the environment can be found in ./Platoon/custom_gym/envs/custom_env_dir and consists of platooning_env.py and car.py Safestragey Creating a Safe Strategy <ol> <li>open UPPAAL and load the ./safe_stragety/cruise.xml file  </li> <li>edit it however you want,</li> <li>use these two commands in the Verifier in order to save the strategy <pre><code>strategy safe = control: A[] distance > 5 saveStrategy("filename.txt", safe)</code></pre>   </li> </ol> Parser Usage In safe_strategy/ <pre><code class="language-bash">python parser.py -create in_file_name out_file_name python parser.py -test file_name</code></pre>   Using the safestrategy <pre><code class="language-java">gym.make(ENV_NAME, rendermode, numcars, startdist, startspeed, mindist, maxdist, accsteps, rendermode, seed, shield, shield_file)</code></pre> Enable the shield by setting shield to True shield_file should be the path to the previously created safestrategy

Figure 43 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figure 43 Phylogeny of the cosmopolitan leafmining clade of Heliozelidae, part of fig. 1 in Milla et al. (2019) (Maximum likelihood phylogeny generated using iq-tree, topology from filtered_nt123 analysis). 'Antispila' Group II replaced by Aspilanta, branch supports removed and numbers of possible apomorphies added; see text.

Figure 44 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figure 44 Neighbor-Joining tree of COI barcodes of Aspilanta species, including Nearest Neighbours. Several species of Coptodisca serve as outgroup. Data with country, and for Canada and United States also the abbreviation for Province or State, plus the BIN number.

Figures 34-42 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figures 34-42 Aspilanta species, larval morphology, final feeding instar (4th) and non-feeding instar (5th, 36). 34A. ampelopsifoliella, ventral aspect, ethanol preserved larva, RMNH.INS.18672P 35A. viticordifoliella, ventral aspect, ethanol preserved larva, RMNH.INS.18509P 36A. argentifera, head capsule, RMNH.INS.18566P 37–39A. ampelopsifoliella, head and thorax, resp. focussed at mid levels (head only), dorsally and ventrally, RMNH.INS.18672P 40A. oinophylla, head and thorax, RMNH.INS.18394P 41A. ampelopsifoliella, last 3 abdominal segments, dorsal aspect, RMNH.INS.18672P 42A. oinophylla, last 3 abdominal segments, ventral aspect, RMNH.INS. 18394P. Scale bars: 1 mm (34, 35), 100 μm (36, 37, 41, 42), 200 μm (38–40).

Figures 29-33 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figures 29-33 Aspilanta species, female genitalia. 29A. argentifera, RMNH.INS.25019 30A. oinophylla, RMNH.INS.24211. 31–33 Tip of oviscapt: 31A. argentifera, RMNH.INS.25019 32A. oinophylla, RMNH.INS.24211 33A. ampelopsifoliella, RMNH.INS.15220. Scale bars: 200 μm (29, 30); 50 μm (31–33).

Figures 21-28 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figures 21-28 Aspilanta species, male genitalia. 21A. oinophylla, phallus separate, RMNH.INS.23920 22A. ampelopsifoliella, phallus in situ, RMNH.INS.24376 23A. hydrangaeella, phallus in situ, RMNH.INS.25192 24A. voraginella, phallus separate, holotype, slide EJvN 3916 25 ditto, detail of transtilla 26A. oinophylla, detail valva (flattened), RMNH.INS.15247 27, 28A. hydrangaeella, RMNH.INS.25190, details of resp. tegumen and valvae. Scale bars: 100 μm.

Figures 14-20 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figures 14-20 Aspilanta oinophylla, adult (male) morphology, RMNH.INS.24440. 14, 15 Head, anterior and posterior views 16, 17 Detail of mouthparts, anterior and posterior views; m = mandible 18 Detail of flagellomeres, middle part of antenna, showing scale sockets of two scale rings per flagellomere 19 Forewing, underside, detail of retinaculum 20 Prothorax with forelegs. Scale bars: 100 μm, 200 μm (20).

Figures 9-11 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figures 9-11 Aspilanta species, denuded wings, showing venation. 9A. oinophylla, male, veins labelled, RMNH.INS.24257 10A. hydrangaeella, female, RMNH.INS.25191 11A. ampelopsifoliella, male, RMNH.INS.24376. Scale bars: 500 μm.

Figures 12-13 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figures 12-13 Aspilanta species, denuded wings, showing venation. 12A. voraginella, male, RMNH.INS.23917 13A. argentifera, male, RMNH.INS.23917. Scale bars: 500 μm.

Figures 97-106 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figures 97-106 Aspilanta viticordifoliella, leafmines, larvae and shields on Parthenocissus quinquefolia and P. vitacea (104). 97, 99, 100, 105, 106 MA, Northampton, 13.ix.2013, CSE, 105 shows the left mine of 100, 106 showing flat shield to distinguish it from Antispila species 98 VT, Williston, 28.viii.2016, CSE 101 MA, Great Barrington, 16.ix.2017, CSE 102, 103 VT, Button Bay SP, 16.ix.2011, EvN2011254–2 104 QC, Aylmer, 23.viii.2015, EvN2015160.

Figures 88-96 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figures 88-96 Aspilanta argentifera, leafmines, larvae and shields. 88 NC, Laurinburg, 27.ix.2016, Morella cerifera, CSE 89 MA, Northfield, 26.x.2015, Comptonia peregrina, CSE 90 VT, Chickering Bog, 6.ix.2015, Myrica gale, EvN2015222, showing wilted leaf tip 91, 96 MA, Erving, 27.x.2014, Comptonia peregrina, CSE1557 92, 93 MA, Nantucket, Radar Hill, 15.xi.2015, Morella caroliniensis, CSE2398, same mine at different stages 94 MA, Stockbridge, 16.vii.2017, Myrica gale CSE4096, showing very long linear portion directly along midrib 95 MA, Nantucket, UMass field station, 5.xi.2017, Morella caroliniensis, CSE4546.

Figures 80-87 from: van Nieukerken EJ, Eiseman CS (2020) Splitting the leafmining shield-bearer moth genus Antispila Hübner (Lepidoptera, Heliozelidae): North American species with reduced venation placed in Aspilanta new genus, with a review of heliozelid morphology. ZooKeys 957: 105-161. https://doi.org/10.3897/zookeys.957.53908

Figures 80-87 Aspilanta from SW USA, leafmines, larvae and shields on Vitis arizonica. 80, 81A. voraginella, AZ, Cochise Co., 3.viii.2019, photographs by Laura Gaudette 82, 83A. voraginella, US, Zion National Park (type locality), 22.vii.2008, lighting from resp,. above and beneath mines, photographs by Noah Charney 84–87Aspilanta "Vitis.arizonica_USA", AZ, Cochise Co., 11.xi.2012, CSE–L141.