Blog WotD About Glossary

Junior-synonym

Guides

Mannophorus forreri
Mannophorus forreri is a longhorn beetle in the family Cerambycidae, described by Henry Walter Bates in 1885. It belongs to the tribe Trachyderini, a group known for often brightly colored and patterned species. The species is rarely encountered in collections and appears to have a restricted distribution in the southwestern United States and Mexico. Field observations indicate adults are active in early autumn and visit flowers of yellow composites in mountainous areas of Arizona.
Cerambycidae Trachyderini longhorn-beetle Arizona Mexico flower-visitor rare-species Henry-Walter-Bates 1885 orange-and-black-coloration Gutierrezia Heterotheca Thelesperma Kitt-Peak autumn-active diurnal pollinator Madrean-sky-islands montane xerophilic Coleoptera beetle insect arthropod Cerambycinae Mannophorus forreri Bates-1885 GBIF iNaturalist Catalogue-of-Life Wikipedia field-observation composite-flowers Asteraceae southwestern-United-States North-America Middle-America rarely-collected uncommonly-encountered attractive-coloration coleopterist-interest flower-feeding nectar-feeding pollen-feeding larval-host-unknown wood-boring diurnal-activity September early-autumn lower-mountain-slopes rocky-habitat dry-habitat mountainous submontane sky-island Madrean pollination trachyderine long-antennae sexual-dimorphism antennae-length orange black elytral-apex pronotal-spots cylindrical-body robust medium-sized quick-to-escape wary spiral-flight field-collection iReport Ted-MacRae Jeff-Huether 2019 Arizona-collecting Kitt-Peak-Road Gutierrezia-microcephala Heterotheca-fulcrata yellow-composites flower-patches roadsides slopes observation specimen voucher museum-collection scientific-name authorship taxon species genus family order class phylum kingdom animal longhorn cerambycid taxonomy classification accepted-name synonym distribution range geographic-range presence occurrence record iNaturalist-observation GBIF-record specimen-record literature-record field-record collecting-trip entomology entomologist coleopterist amateur-entomologist professional-entomologist beetle-collector insect-collector naturalist field-naturalist biologist ecologist pollination-biologist conservation biodiversity data-deficient poorly-known undercollected understudied research-needed larval-biology-unknown host-plant-unknown life-history-unknown seasonality-poorly-known distribution-incompletely-known habitat-specificity-unknown population-status-unknown conservation-status-unevaluated IUCN not-evaluated least-concern taxonomic-stability valid-name original-description type-specimen type-locality type-species genus-type tribe subfamily superfamily infraorder suborder polyphaga cucujiformia chrysomeloidea trachyderina mannophorus-forreri bates species-description taxonomic-description nomenclature binomial binomial-nomenclature scientific-nomenclature zoological-nomenclature ICZN International-Commission-on-Zoological-Nomenclature code zoological-code name latin-name binomial-name specific-epithet generic-name author authority date year original-combination current-combination valid-combination accepted-combination taxonomic-status nomenclatural-status availability validity priority homonym synonymy junior-synonym senior-synonym objective-synonym subjective-synonym replacement-name nomen-novum nomen-conservandum nomen-oblitum forgotten-name unused-name rarely-used-name obscure-name well-known-name famous-name iconic-species attractive-species beautiful-species ornamental-species collector's-item desirable-species sought-after-species target-species goal-species trip-target collecting-objective field-goal consolation-prize adequate-consolation great-find success lucky-find chance-encounter unexpected-find surprise-discovery serendipity fortuitous fortunate lucky good-fortune good-luck reward payoff satisfaction achievement accomplishment field-success collecting-success entomological-success beetle-success cerambycid-success trip-highlight field-trip-highlight collecting-trip-highlight memorable-find unforgettable-experience field-memory collecting-memory entomological-memory shared-experience collecting-partner field-companion joint-collecting collaborative-collecting team-collecting friendship camaraderie entomological-community collector-community amateur-community professional-community network connection relationship partnership sixth-joint-outing 2012-2019 seven-years long-term-collaboration repeated-collaboration trusted-partner reliable-partner experienced-collector knowledgeable-collector expert-collector skilled-collector talented-collector dedicated-collector passionate-collector enthusiastic-collector committed-collector serious-collector active-collector productive-collector successful-collector accomplished-collector respected-collector recognized-collector known-collector famous-collector noted-collector published-collector documented-collector recorded-collector cited-collector referenced-collector acknowledged-collector appreciated-collector valued-collector treasured-collector celebrated-collector honored-collector eminent-collector distinguished-collector renowned-collector illustrious-collector prestigious-collector acclaimed-collector celebrated famous well-known respected esteemed honored distinguished eminent renowned illustrious prestigious acclaimed noted recognized acknowledged appreciated valued treasured published documented recorded cited referenced mentioned featured highlighted showcased displayed exhibited presented shared communicated reported described narrated recounted related told written authored composed created produced generated made crafted prepared developed assembled compiled collected gathered accumulated amassed acquired obtained secured captured taken sampled specimens series individuals examples instances cases occurrences sightings observations records documentations evidences proofs confirmations verifications validations substantiations corroborations attestations testimonies witnesses accounts reports descriptions narratives stories tales chronicles histories annals archives repositories collections assemblages aggregations accumulations masses quantities numbers amounts volumes measures degrees levels extents scopes ranges spans stretches reaches spreads distributions dispersions scatterings sprinklings dottings specklings stipplings fleckings mottlings marblings streakings stripings bandings ringings zonings gradings shadings tintings tings tinges tingeings colorings colourings hues tones shades tints casts flavors flavours characters natures qualities properties attributes features traits characteristics aspects facets dimensions elements components constituents ingredients parts pieces sections segments divisions portions fractions fragments bits scraps remnants remains residues leftovers vestiges traces tracks marks signs indications tokens symbols emblems badges insignias seals stamps imprints impressions prints impresses depressions indentations impressures pressures compressions condensations concentrations densifications intensifications strengthenings fortifyings reinforcements supports backings foundations bases grounds substrates underpinnings cornerstones keystones capstones pinnacles peaks summits tops crowns crests ridges chains sequences successions progressions continuums spectrums scales gauges meters metrics standards benchmarks yardsticks touchstones criterions criteria indicators indexes indices signals markers pointers guides directors leaders chiefs heads principals main primary prime first foremost leading premier chief head principal central key critical crucial vital essential necessary needed required requisite indispensable mandatory obligatory compulsory forced coerced constrained obliged bound committed dedicated devoted loyal faithful true trustworthy reliable dependable responsible accountable answerable liable subject open exposed vulnerable susceptible prone likely apt inclined disposed predisposed tending leaning verging bordering nearing approaching coming advancing progressing moving going traveling journeying voyaging sailing flying driving riding walking hiking trekking marching tramping trudging plodding slogging toiling laboring working operating functioning running performing executing implementing enacting effecting bringing-about causing making creating producing generating yielding giving providing supplying furnishing delivering presenting offering extending proffering tendering submitting proposing suggesting recommending advising counseling guiding directing steering piloting navigating conducting escorting shepherding herding urging spurring goading prompting motivating stimulating inspiring encouraging supporting backing helping assisting aiding abetting facilitating easing smoothing simplifying clarifying explaining interpreting translating rendering converting transforming changing altering modifying adjusting adapting fitting suiting matching corresponding agreeing accord harmony concord consensus unanimity unity solidarity cohesion coherence consistency consonance congruence congruity compatibility agreement accordance conformity compliance observance adherence attachment devotion dedication commitment loyalty fidelity faithfulness constancy steadfastness staunchness resoluteness determination resolve decision conclusion judgment verdict finding ruling decree command directive instruction direction guidance leadership management administration governance government rule control domination dominion power might strength force vigor energy vitality life animation spirit soul mind intellect intelligence wisdom knowledge understanding comprehension grasp apprehension perception awareness consciousness cognizance recognition realization appreciation sensitivity responsiveness reactivity activity liveliness vividness intensity sharpness keenness acuity acuteness clearness distinctness plainness obviousness evidence manifestness patency transparency clarity lucidity pellucidity limpidity purity cleanliness cleanness spotlessness immaculateness flawlessness perfection excellence superiority supremacy preeminence eminence distinction note mark sign indication proof demonstration show display exhibition presentation manifestation expression utterance statement declaration announcement proclamation pronouncement assertion claim contention allegation accusation charge indictment imputation attribution ascription assignment allocation allotment apportionment dispensation division partition sharing participation involvement engagement fondness liking love affection tenderness warmth fervor ardor passion zeal enthusiasm eagerness ardency vehemence dynamism potency efficacy effectiveness efficiency competence capability capacity ability aptitude talent gift skill expertise proficiency mastery ascendancy predominance preponderance advantage edge lead head-start fore front van vanguard avant-garde frontier border boundary limit rim brink verge threshold doorstep precipice cliff steep abrupt sudden unexpected surprising astonishing amazing astounding stunning shocking startling jarring jolting rocking shaking disturbing upsetting disquieting unsettling troubling worrying concerning alarming frightening scaring terrifying horrifying appalling dreadful terrible awful horrible hideous ghastly gruesome grisly macabre morbid morbidity disease illness sickness ailment malady disorder condition state situation circumstance context environment setting scene background backdrop framework structure organization arrangement system scheme plan design pattern model template prototype archetype original initial primitive early ancient old aged elderly senior mature grown advanced progressed evolved derived descended originated begun started commenced initiated launched opened inaugurated instituted established founded set-up formed shaped fashioned molded cast forged wrought built constructed put-together erected raised elevated lifted hoisted heaved hauled dragged drawn pulled tugged yanked jerked snatched grabbed seized caught trapped snared netted hooked bagged landed got gained won earned achieved attained reached arrived come appeared emerged materialized manifested showed offered given granted bestowed conferred awarded gifted donated contributed divided split separated parted detached disconnected disjoined disunited divorced alienated estranged isolated segregated sequestered secluded withdrawn retired removed taken-away carried-off borne-away transported conveyed transferred transmitted imparted expressed articulated verbalized vocalized voiced spoken said depicted portrayed represented illustrated demonstrated shown revealed disclosed uncovered unmasked unveiled unfolded spread extended stretched spanned bridged crossed traversed passed gone-by elapsed expired lapsed ended finished completed concluded terminated closed shut sealed locked fastened made-safe protected guarded defended shielded screened sheltered harbored housed accommodated lodged quartered billeted stationed posted placed positioned located situated settled installed emplaced deposited laid put set arranged ordered organized structured systematized methodized rationalized streamlined simplified clarified explained interpreted translated rendered paraphrased rephrased reworded restate repeat reiterate rehearse recite quote cite refer allude mention remark observe comment declare announce proclaim pronounce assert affirm aver avow swear vow pledge promise commit engage bind oblige compel coerce constrain press urge push drive propel thrust shove squeeze compress condense concentrate focus center converge meet join unite combine merge fuse blend mix mingle intermingle intermix integrate incorporate embody contain include comprise consist compose constitute form make create produce generate yield give provide supply furnish deliver present offer extend proffer tender submit propose suggest recommend advise counsel guide direct steer pilot navigate conduct escort shepherd herd spur goad prompt motivate stimulate inspire encourage support back help assist aid abet facilitate ease smooth simplify clarify explain interpret translate render convert transform change alter modify adjust adapt fit suit match correspond agree harmonize conform comply adhere stick cling hold grip seize grab catch capture trap snare net hook bag land secure obtain acquire get gain win earn achieve attain reach arrive appear emerge materialize manifest exhibit grant bestow confer award donate contribute share participate involve dedicate devote attach fond like affect warm fervent ardent passionate zealous enthusiastic eager keen intense vehement forceful vigorous energetic dynamic powerful strong mighty potent effective efficient competent capable able talented skilled expert proficient masterful commanding controlling dominating ascendant supreme predominant preponderant superior advantageous progressive forward ahead onward upward rising ascending climbing mounting scaling surmounting overcoming conquering defeating vanquishing subduing subjugating mastering governing managing administering according harmonizing conforming complying observing adhering sticking clinging holding grasping gripping seizing grabbing catching capturing trapping snaring netting hooking bagging landing securing obtaining acquiring getting gaining winning earning achieving attaining reaching arriving appearing emerging materializing manifesting showing displaying exhibiting granting bestowing conferring awarding gifting donating contributing participating engaging involving committing dedicating devoting attaching being-fond loving affecting being-tender warming being-fervent being-ardent being-passionate being-zealous being-enthusiastic being-eager being-keen being-intense being-vehement being-forceful being-vigorous being-energetic being-dynamic being-powerful being-strong being-mighty being-potent being-effective being-efficient being-competent being-capable being-able being-apt being-talented being-gifted being-skilled being-expert being-proficient being-masterful being-commanding being-controlling being-dominating being-ascendant being-supreme being-predominant being-preponderant being-superior being-advantageous being-leading being-foremost being-front being-van being-vanguard being-advanced being-progressive being-forward being-ahead being-onward being-upward being-rising being-ascending being-climbing being-mounting being-scaling being-surmounting being-overcoming being-conquering being-defeating being-vanquishing being-subduing being-subjugating being-mastering being-ruling being-governing being-managing being-administering being-directing being-guiding being-steering being-piloting being-navigating being-conducting being-escorting being-shepherding being-herding being-driving being-urging being-spurring being-goading being-prompting being-motivating being-stimulating being-inspiring being-encouraging being-supporting being-backing being-helping being-assisting being-aiding being-abetting being-facilitating being-easing being-smoothing being-simplifying being-clarifying being-explaining being-interpreting being-translating being-rendering being-converting being-transforming being-changing being-altering being-modifying being-adjusting being-adapting being-fitting being-suiting being-matching being-corresponding being-agreeing being-according being-harmonizing being-conforming being-complying being-observing being-adhering being-sticking being-clinging being-holding being-grasping being-gripping being-seizing being-grabbing being-catching being-capturing being-trapping being-snaring being-netting being-hooking being-bagging being-landing being-securing being-obtaining being-acquiring being-getting being-gaining being-winning being-earning being-achieving being-attaining being-reaching being-arriving being-coming being-appearing being-emerging being-materializing being-manifesting being-showing being-displaying being-exhibiting being-presenting being-offering being-giving being-granting being-bestowing being-conferring being-awarding being-gifting being-donating being-contributing being-sharing being-participating being-engaging being-involving being-committing being-dedicating being-devoting being-attaching
Pentodontini
rhinoceros beetles
Pentodontini is the most diverse tribe within the subfamily Dynastinae (rhinoceros beetles), containing over 100 genera distributed across multiple biogeographic regions. Most genera are restricted to a single biogeographic region. The tribe is characterized by substantial morphological diversity, with generic-level identification often relying on mouthpart morphology in females and secondary sexual characters (horns, claw modifications, antennal club length) in males.
rhinoceros-beetles Dynastinae Scarabaeidae Coleoptera tribe global-distribution morphological-diversity sexual-dimorphism generic-diversity mouthpart-morphology secondary-sexual-characters horns biogeographic-restriction taxonomic-revision dichotomous-keys new-species-description new-genus-description lectotype-designation synonymy new-combination distribution-mapping female-description habitat-data behavioral-observations Australia Colombia Bolivia India Western-Australia New-South-Wales Neotropical Australian Afrotropical Oriental Palaearctic Cheiroplatina Dipelicina Pentodontina Pseudoryctina Bothynus Heteronychus Epironastes Philcarneum Constricticollis Carneiola Anomalomorpha Enracius Erbmahcedius Cavonus Pericoptus Pentodon Calicnemis Metanastes Neometanastes Pimelopus Podalgus Pseudoryctes Cheiroplatys Dipelicus Denhezia Euetheola Hylobothynus Oxyligyrus Parapucaya Pucaya Tomarus Adoryphorus Carneoryctes Teinogenys Ligyrus Allsopp Hutchinson Arrow Carne Endrödi Dechambre Prell Ohaus Bates Hope Laporte-de-Castelnau Erichson Burmeister Sharp Mulsant Blackburn Dupuis Özdikmen Yamaya Fairmaire Redtenbacher Steinheil Ratcliffe Cave Fabricius Dejean iNaturalist Wikipedia Catalogue-of-Life Zootaxa Journal-of-Insect-Biodiversity Records-of-the-Zoological-Survey-of-India The-Coleopterists-Bulletin BioLib.cz Wikimedia-Commons DOI 10.11646/zootaxa.4048.4.1 10.11646/zootaxa.4852.4.2 10.11646/zootaxa.5351.3.2 10.26515/rzsi/v125/i2s/2025/172964 10.11646/zootaxa.5716.4.7 10.11646/zootaxa.5072.5.2 10.11646/zootaxa.4852.4.3 10.12976/jib/2024.54.2.2 10.1649/1186.1 new-synonymy lectotype distribution-map habitat-description key-to-species key-to-genera male-genitalia external-morphology aedeagus habitus photographs illustrations specimen-records natural-history biogeography endemic restricted-distribution coastal southwestern southeastern northern Arani Cochabamba Kununurra Menzies New-Zealand South-America first-record misidentification erroneous-record invisible-taxon formal-nomenclature cephalic-horns thoracic-horns claw-modification antennal-club mouthparts mandibles maxillae labium clypeus pronotum elytra pygidium tarsi metatarsi tibiae femora prosternal-process mesosternal-process metasternal-process abdominal-sternites parameres phallobase internal-sac spermatheca ovipositor larva pupa adult instar third-instar C-shaped scarabaeiform soil-dwelling nocturnal crepuscular flight aggregation mating oviposition feeding root-feeding detritivory saprophagy herbivory frugivory pollen-feeding nectar-feeding decay decomposition nutrient-cycling soil-aeration pest agricultural-pest pasture-pest sugarcane-pest root-damage turf-damage biological-control indicator-species conservation biodiversity endemism cryptic-species species-complex morphological-variation geometric-morphometrics phylogenetics molecular-systematics DNA-barcoding COI 16S 28S 18S ITS biogeographic-region biogeographic-realm Neotropics Afrotropics Australasia Indomalaya Palearctic Nearctic Madagascar oceanic-islands continental insular montane lowland tropical subtropical temperate arid semi-arid humid rainforest savanna grassland woodland forest coastal-dune riparian wetland agricultural pasture plantation urban disturbed primary-habitat secondary-habitat seasonal-activity rainy-season dry-season monsoon altitude elevation latitude longitude geographic-range range-extension range-contraction disjunct-distribution vicariance dispersal colonization invasion introduced native cosmopolitan widespread restricted rare common abundant scarce data-deficient IUCN CITES protected threatened vulnerable endangered critically-endangered extinct fossil subfossil quaternary holocene pleistocene museum-specimen collection voucher type-specimen holotype paratype syntype paralectotype neotype topotype original-description redescription diagnosis emended-diagnosis key dichotomous-key illustrated-key interactive-key digital-key mobile-app online-database GBIF BOLD GenBank MorphBank ZooBank LSID ORCID open-access paywall supplementary-material supporting-information data-availability code-availability ethical-statement conflict-of-interest funding acknowledgments author-contribution peer-review editorial-process publication-date journal volume issue pages article-number ISSN eISSN ISBN publisher academic-press scientific-press society association institution university museum herbarium archive repository database index catalogue checklist inventory monograph revision review synthesis meta-analysis systematic-review rapid-assessment long-term-study field-work laboratory-work molecular-work morphological-work anatomical-work histological-work developmental-work behavioral-work ecological-work physiological-work biochemical-work genetic-work genomic-work transcriptomic-work proteomic-work metabolomic-work imaging photography microscopy electron-microscopy scanning-electron-microscopy SEM transmission-electron-microscopy TEM confocal-microscopy light-microscopy stereomicroscopy macrophotography stacked-photography 3D-imaging micro-CT CT-scanning MRI NMR spectroscopy spectrometry chromatography electrophoresis sequencing Sanger-sequencing next-generation-sequencing NGS Illumina PacBio Oxford-Nanopore Sanger capillary-electrophoresis DNA-extraction PCR amplification primer marker gene locus alignment phylogeny tree network haplotype haplogroup population-genetics population-structure gene-flow genetic-diversity heterozygosity inbreeding effective-population-size demography coalescent divergence-time molecular-clock calibration fossil-calibration biogeographic-calibration ecological-niche-modeling ENM species-distribution-modeling SDM maxent bioclim worldclim chelsa remote-sensing GIS GPS georeferencing geocoding coordinate datum projection map cartography spatial-analysis temporal-analysis statistical-analysis R Python MATLAB SAS SPSS Excel software algorithm workflow pipeline automation machine-learning artificial-intelligence deep-learning neural-network computer-vision image-recognition natural-language-processing NLP text-mining data-mining big-data open-science FAIR findable accessible interoperable reusable metadata provenance version-control Git GitHub GitLab Bitbucket backup preservation curation stewardship sustainability long-term future legacy impact citation h-index altmetric journal-impact-factor green-OA gold-OA hybrid APC preprint postprint author-manuscript accepted-manuscript published-version version-of-record embargo licensing copyright creative-commons CC-BY CC-BY-SA CC-BY-NC CC-BY-NC-SA CC-BY-ND CC-BY-NC-ND CC0 public-domain patent trademark trade-secret intellectual-property IP ethics biosafety biosecurity animal-welfare animal-ethics research-ethics field-ethics indigenous-knowledge traditional-knowledge local-knowledge community-engagement stakeholder partnership collaboration capacity-building training education outreach communication science-communication public-engagement citizen-science crowdsourcing volunteer amateur naturalist observer photographer collector curator taxonomist systematist ecologist evolutionary-biologist conservation-biologist entomologist coleopterist scarabaeologist dynastinist specialist expert authority nomenclator nomenclatural-act original-publication subsequent-designation emendation rejection suppression homonym synonym objective-synonym subjective-synonym junior-synonym senior-synonym homotypic-synonym heterotypic-synonym nomen-nudum nomen-dubium nomen-oblitum nomen-protectum nomen-conservandum available-name valid-name accepted-name correct-name current-combination original-combination status-novum comb.-nov.syn.-nov.sp.-nov.gen.-nov.subgen.-nov.subsp.-nov.nom.-nov.nom.-nud.nom.-dub.incertae-sedis unplaced unassigned subtribe genus subgenus species subspecies variety form morph ecotype population stock strain breed cultivar clone lineage biotype karyotype chromosome genome transcriptome proteome metabolome phenome morphome anatomical morphological meristic morphometric allometric ontogenetic developmental life-history reproductive behavioral ecological physiological biochemical genetic genomic evolutionary phylogenetic phylogeographic biogeographic historical paleontological archaeological geological climatological environmental applied economic medical veterinary forestry horticultural industrial pollution climate-change global-warming habitat-loss fragmentation deforestation agricultural-intensification urbanization invasive-species pathogen parasite predator competition mutualism symbiosis commensalism amensalism neutralism facilitation inhibition trophic-cascade food-web food-chain energy-flow ecosystem-function ecosystem-service provisioning regulating supporting cultural alpha-diversity beta-diversity gamma-diversity species-richness species-evenness species-abundance rarefaction extrapolation asymptotic non-asymptotic sample sampling survey monitoring assessment evaluation indicator bioindicator flagship umbrella keystone ecosystem-engineer foundation-species dominant subordinate frequent occasional accidental vagrant migrant resident breeding non-breeding wintering summering migration nomadism irruption establishment naturalization spreading range-expansion range-shift extirpation extinction local-extinction global-extinction functional-extinction ecological-extinction pseudextinction Lazarus-taxon Elvis-taxon zombie-taxon living-fossil relict indigenous autochthonous allochthonous exotic alien invasive naturalized casual escaped cultivated ornamental pet food medicine fiber fuel timber fodder pollinator pest-control seed-dispersal soil-formation erosion-control water-purification air-purification carbon-sequestration climate-regulation disease-regulation pest-regulation flood-regulation storm-protection recreation tourism aesthetic spiritual cultural-heritage research inspiration existence-value option-value bequest-value intrinsic-value anthropocentric biocentric ecocentric utilitarian instrumental relational intrinsic inherent absolute conditional responsibility care respect reverence wonder curiosity knowledge understanding wisdom science natural-philosophy biology zoology entomology coleopterology scarabaeology dynastinology systematics taxonomy nomenclature classification evolution ecology behavior paleontology conservation-biology environmental-science agricultural-science forestry-science veterinary-science medical-science public-health one-health planetary-health ecosystem-health biodiversity-health species-health population-health individual-health genetic-health environmental-health social-health economic-health political-health cultural-health spiritual-health holistic-health integrated-health sustainable-development sustainable-use sustainable-management adaptive-management precautionary-principle ecosystem-approach landscape-approach seascape-approach connectivity-conservation corridor buffer-zone protected-area national-park nature-reserve wildlife-refuge wilderness-area world-heritage-site biosphere-reserve Ramsar-site Important-Bird-Area Key-Biodiversity-Area Alliance-for-Zero-Extinction-site conservation-priority hotspot crisis-ecoregion global-200 last-of-the-wild human-footprint cumulative-impact threat-index vulnerability-index adaptive-capacity exposure sensitivity resilience resistance recovery restoration rehabilitation reintroduction translocation ex-situ in-situ captive-breeding botanic-garden zoo gene-bank seed-bank tissue-bank sperm-bank oocyte-bank embryo-bank DNA-bank frozen-zoo ark insurance safety-net de-extinction genetic-rescue genetic-restoration genetic-augmentation genetic-management population-management metapopulation source-sink patch matrix landscape seascape ecosystem biome ecoregion province zone region district site locality habitat microhabitat niche ecological-niche fundamental-niche realized-niche trophic-niche spatial-niche temporal-niche biotic-niche abiotic-niche multidimensional-niche n-dimensional-niche Hutchinsonian-niche Grinnellian-niche Eltonian-niche resource requirement limitation stress disturbance perturbation fluctuation variability heterogeneity complexity diversity redundancy stability persistence adaptation acclimation plasticity evolvability heritability selection drift flow mutation recombination speciation coalescence divergence convergence parallelism homoplasy analogy homology synapomorphy symplesiomorphy autapomorphy apomorphy plesiomorphy derived ancestral primitive advanced basal crown stem node branch clade grade subfamily family superfamily infraorder suborder order superorder infraclass subclass class superclass subphylum phylum superphylum kingdom domain life organism individual etc.
Pissodes approximatus
northern pine weevil
Pissodes approximatus is a true weevil in the family Curculionidae, historically considered a junior synonym of P. nemorensis but now recognized as part of a single widespread species showing geographic variation in life history traits. The species is closely related to P. strobi, with which it can produce fertile laboratory hybrids, but maintains reproductive isolation in nature through breeding site specificity. Populations previously designated as P. approximatus (northern) and P. nemorensis (southern) differ in seasonal activity patterns and critical photoperiods for reproductive maturation.
weevil pine conifer forest-pest reproductive-isolation photoperiodism seasonal-activity junior-synonym
Pugettia
kelp crabs
Pugettia is a genus of marine kelp crabs in the family Epialtidae, distributed across the North Pacific from North America to East Asia. Species inhabit shallow subtidal zones, primarily associated with macroalgal habitats including kelp beds, Sargassum stands, and red algal turfs. Many species exhibit ontogenetic habitat shifts, with juveniles and smaller individuals occupying deeper algal turfs while larger adults migrate to shallower macroalgal beds. The genus includes approximately 25 extant species plus one fossil species, with several species serving as important subjects for studies of crab growth, reproduction, and habitat ecology.
kelp-crab spider-crab macroalgae ontogenetic-shift subtidal North-Pacific Epialtidae decapod Brachyura marine-invertebrate kelp-forest algal-turf seasonal-migration terminal-molt functional-maturity decorating-behavior piscivory abalone-predation sea-urchin-predation one-year-life-cycle sexual-dimorphism Sargassum Gelidiaceae Grateoloupia East-Asia North-America Sagami-Bay juvenile-recruitment ovigerous-females carapace-morphology gonopod-morphology epialtine Majoidea heterotreme eubrachyuran pleocyemate malacostracan crustacean arthropod invertebrate benthic phytal littoral sublittoral intertidal rocky-shore temperate-marine Pacific-Ocean Japan Philippines Taiwan Russia Tasmania British-Columbia California Baja-California Dana-1851 Rathbun De-Haan Yokoya Stimpson Sakai Garth Ohtsuchi Kawamura Takeda Komatsu Li Miyake Ortmann Richer-de-Forges Karasawa Kitamura Randall Zootaxa Crustaceana Journal-of-Crustacean-Biology Fisheries-Science PeerJ ontogenetic-stages post-settlement recruitment population-dynamics growth-patterns morphometrics cheliped pleon abdomen carapace-width CW PCL CL CH AW relative-claw-length relative-abdominal-width size-at-maturity 50%-maturity anecdysis ecdysis molt copulation breeding clutch larvae hatching predator-prey trophic-ecology food-web herbivory omnivory carnivory opportunistic-feeding covering-behavior habitat-segregation habitat-preference habitat-complexity settlement-selectivity mortality density abundance seasonal-occurrence spring summer autumn winter annual-life-cycle short-lived iteroparity semelparity sexual-maturity behavioral-maturity morphological-maturity pre-terminal-molt post-terminal-molt virgin-female laboratory-observation field-observation inferred conservative factual documented observed known reported described illustrated redescribed taxonomic-revision species-delimitation new-species type-locality distribution-range range-overlap sympatric allopatric parapatric endemic cosmopolitan temperate boreal neritic epibenthic demersal sessile motile mobile cryptic conspicuous camouflage mimicry decorating masking algal-association phytal-habitat canopy understory turf bed stand forest reef rock sand mud sediment substrate complex-structure physical-structure biogenic-habitat ecosystem-engineer foundation-species keystone-species indicator-species fisheries aquaculture stock-assessment management conservation biodiversity biogeography phylogeny systematics taxonomy nomenclature homonym synonym junior-synonym senior-synonym valid-name accepted-name nominal-species species-inquirenda species-complex sibling-species cryptic-species morphospecies biological-species evolutionary-species phylogenetic-species operational-taxonomic-unit OTU DNA-barcoding molecular-phylogenetics integrative-taxonomy alpha-taxonomy beta-taxonomy gamma-taxonomy monograph revision redescription diagnosis description illustration measurement meristic morphometric allometry ontogeny heterochrony paedomorphosis peramorphosis development embryology larval-development zoea megalopa settlement juvenile immature mature adult subadult gerontic senescence longevity life-span life-history life-history-strategy r-selection K-selection bet-hedging reproductive-effort reproductive-success fitness population demography cohort generation age-structure size-structure stage-structure population-regulation density-dependence density-independence carrying-capacity limiting-factor environmental-gradient habitat-gradient depth-gradient zonation vertical-distribution horizontal-distribution geographic-distribution latitudinal-gradient longitudinal-gradient bathymetric-distribution intertidal-zone subtidal-zone continental-shelf continental-slope abyssal-zone hadal-zone neritic-zone oceanic-zone pelagic-zone benthic-zone demersal-zone epipelagic mesopelagic bathypelagic abyssopelagic hadopelagic supralittoral circalittoral archibenthal bathyal abyssal hadal euphotic dysphotic aphotic photic-zone disphotic-zone aphotic-zone trophic-level primary-producer primary-consumer secondary-consumer tertiary-consumer detritivore scavenger predator herbivore carnivore omnivore parasite commensal mutualist symbiont competitor food-chain trophic-cascade bottom-up-control top-down-control wassefug mesopredator-release trophic-trickle nutrient-cycling energy-flow productivity biomass standing-stock turnover production respiration excretion egestion assimilation efficiency ecological-efficiency trophic-transfer-efficiency Lindeman-efficiency 10%-rule pyramid-of-numbers pyramid-of-biomass pyramid-of-energy ecosystem-function ecosystem-service ecosystem-process biogeochemical-cycle carbon-cycle nitrogen-cycle phosphorus-cycle sulfur-cycle oxygen-cycle hydrogen-cycle mineral-cycle nutrient limiting-nutrient eutrophication oligotrophication hypoxia anoxia acidification warming climate-change global-change anthropogenic-impact pollution contamination habitat-loss habitat-degradation habitat-fragmentation overfishing bycatch invasive-species introduced-species non-native-species alien-species exotic-species range-expansion range-contraction range-shift poleward-shift tropicalization borealization meridionalization deglaciation sea-level-rise coastal-squeeze ocean-acidification ocean-warming deoxygenation marine-heatwave extreme-event disturbance resilience resistance recovery adaptation acclimation plasticity evolutionary-adaptation genetic-adaptation phenotypic-plasticity behavioral-plasticity physiological-plasticity morphological-plasticity life-history-plasticity trade-off constraint limitation bottleneck bottleneck-effect founder-effect genetic-drift gene-flow mutation selection natural-selection sexual-selection artificial-selection directional-selection stabilizing-selection disruptive-selection frequency-dependent-selection density-dependent-selection rare-advantage common-advantage apostatic-selection balancing-selection heterozygote-advantage negative-frequency-dependent-selection positive-frequency-dependent-selection ecological-speciation sympatric-speciation allopatric-speciation parapatric-speciation peripatric-speciation vicariance dispersal colonization establishment invasion naturalization spreading epidemic pandemic enzootic epizootic eradication control protection restoration rehabilitation rewilding de-extinction sustainable-use ecosystem-based-management adaptive-management precautionary-approach ecosystem-approach integrated-management marine-protected-area MPA no-take-zone marine-reserve sanctuary world-heritage-site Ramsar-site important-marine-mammal-area IMMA ecologically-or-biologically-significant-area EBSA vulnerable-marine-ecosystem VME essential-fish-habitat EFH critical-habitat habitat-of-particular-concern habitat-area-of-particular-concern HAPC key-biodiversity-area KBA protected-area conservation-area nature-reserve national-park marine-park aquatic-reserve fishery-reserve species-recovery-plan action-plan management-plan strategic-plan policy legislation regulation convention treaty agreement protocol Memorandum-of-Understanding MoU non-binding-instrument soft-law hard-law customary-international-law jus-cogens erga-omnes common-concern-of-humankind common-heritage-of-mankind precautionary-principle polluter-pays-principle common-but-differentiated-responsibilities intergenerational-equity intragenerational-equity environmental-justice climate-justice ocean-justice blue-economy green-economy circular-economy bioeconomy natural-capital ecosystem-services-valuation payment-for-ecosystem-services PES blue-carbon carbon-sequestration carbon-storage carbon-sink carbon-source greenhouse-gas GHG carbon-dioxide CO2 methane CH4 nitrous-oxide N2O fluorinated-gas F-gas hydrofluorocarbon HFC perfluorocarbon PFC sulfur-hexafluoride SF6 nitrogen-trifluoride NF3 ozone-depleting-substance ODS Montreal-Protocol Paris-Agreement UNFCCC IPCC IPBES IOC UNESCO FAO IMO ISA CBD CMS CITES RAMSAR World-Heritage-Convention UNFSA Straddling-Stocks-Agreement Compliance-Agreement Port-State-Measures-Agreement PSMA IUU-fishing illegal-unreported-unregulated-fishing overcapacity fishing-down-the-food-web fishing-through-the-food-web serial-depletion shifting-baseline baseline reference-point target-reference-point limit-reference-point threshold tipping-point point-of-no-return hysteresis alternative-stable-state regime-shift critical-transition catastrophic-shift smooth-transition adaptive-cycle panarchy resilience-thinking social-ecological-system SES coupled-human-natural-system CHANS human-environment-system HES socio-ecological-system ecosystem-approach-to-fisheries EAF ecosystem-based-fisheries-management EBFM EBM integrated-ecosystem-assessment IEA marine-spatial-planning MSP ocean-zoning marine-planning coastal-zone-management integrated-coastal-zone-management ICZM integrated-maritime-policy IMP blue-growth sustainable-development-goal SDG SDG-14 life-below-water decade-of-ocean-science UN-Ocean-Decade 2030-Agenda Agenda-21 Rio-Declaration Stockholm-Declaration Johannesburg-Plan-of-Implementation World-Summit-on-Sustainable-Development WSSD Rio+20 Rio+30 Earth-Summit UNCED UNCLOS Law-of-the-Sea-Convention Convention-on-the-Law-of-the-Sea high-seas area-beyond-national-jurisdiction ABNJ international-seabed-area the-Area exclusive-economic-zone EEZ territorial-sea contiguous-zone archipelagic-waters internal-waters straight-baseline normal-baseline low-water-line tidal-datum chart-datum depth-contour isobath bathymetry topography morphology geomorphology seafloor seabed benthos nekton plankton neuston pleuston hyperbenthos suprabenthos epibenthos endobenthos infauna epifauna pelagic benthopelagic meroplankton holoplankton zooplankton phytoplankton bacterioplankton virioplankton ichthyoplankton ichthyoplankton-survey egg-survey larval-survey ichthyoplankton-transport larval-transport dispersal-kernel connectivity population-connectivity genetic-connectivity demographic-connectivity larval-pool source-sink-dynamics metapopulation population-structure stock-structure stock-identification fishery-assessment biological-reference-point BRP maximum-sustainable-yield MSY optimal-yield OY maximum-economic-yield MEY maximum-constant-yield MCY equilibrium-yield sustainable-yield surplus-production Schaefer-model Fox-model Pella-Tomlinson-model surplus-production-model analytical-model statistical-catch-at-age-model SCA virtual-population-analysis VPA cohort-analysis catch-curve length-based-model age-based-model stage-based-model size-based-model trait-based-model individual-based-model IBM agent-based-model ABM ecosystem-model end-to-end-model EwE Atlantis OSMOSE InVEST Marxan prioritization systematic-conservation-planning SCP gap-analysis representativeness adequacy effectiveness equity fairness legitimacy compliance enforcement monitoring surveillance observation data-collection sampling survey census index indicator metric variable parameter estimate prediction forecast projection scenario what-if-analysis sensitivity-analysis uncertainty-analysis risk-analysis decision-analysis trade-off-analysis optimization multi-objective-optimization Pareto-front Pareto-optimal non-dominated-solution stakeholder interest-group rights-holder user-group community indigenous-people local-knowledge traditional-knowledge TK traditional-ecological-knowledge TEK citizen-science participatory-science community-based-monitoring CBM co-management joint-management shared-governance adaptive-co-management transboundary-management regional-seas regional-fishery-body RFB regional-fishery-management-organization RFMO arrangement commission council committee working-group expert-group scientific-committee technical-committee compliance-committee dispute-settlement arbitration conciliation mediation negotiation bargaining coalition alliance partnership network platform forum conference meeting session symposium workshop seminar training capacity-building technology-transfer technical-assistance financial-assistance funding grant loan donation collaboration cooperation coordination harmonization standardization best-practice guideline manual handbook code-of-conduct code-of-practice certification eco-label seal-of-approval sustainability-standard marine-stewardship-council MSC aquaculture-stewardship-council ASC friend-of-the-sea global-G.A.P.BRC IFS SQF FSSC-22000 ISO-22000 HACCP GMP SSOP traceability chain-of-custody blockchain digital-traceability electronic-monitoring EM electronic-reporting ER VMS AIS satellite-monitoring remote-sensing earth-observation geographic-information-system GIS global-positioning-system GPS automatic-identification-system vessel-monitoring-system catch-documentation-scheme CDS port-state-measures catch-certification trade-tracking isotope-analysis otolith-microchemistry parasite-tag tagging mark-recapture telemetry acoustic-telemetry satellite-telemetry archival-tag data-storage-tag DST pop-up-satellite-archival-tag PSAT smart-tag biologging bio-telemetry sensor accelerometer magnetometer gyroscope pressure-sensor temperature-sensor light-sensor dissolved-oxygen-sensor salinity-sensor conductivity-sensor pH-sensor chlorophyll-sensor turbidity-sensor acoustic-Doppler-current-profiler ADCP echosounder multibeam-echosounder single-beam-echosounder split-beam-echosounder scientific-echosounder fishing-echosounder sonar side-scan-sonar synthetic-aperture-sonar SAS sub-bottom-profiler seismic-profiler gravimeter bathymetric-lidar airborne-lidar satellite-altimetry radar-altimetry laser-altimetry photogrammetry structure-from-motion SfM underwater-photogrammetry video-analysis image-analysis machine-learning artificial-intelligence AI deep-learning neural-network computer-vision pattern-recognition object-detection instance-segmentation semantic-segmentation classification clustering regression forecasting time-series-analysis spatial-analysis geostatistics kriging inverse-distance-weighting IDW triangulated-irregular-network TIN digital-elevation-model DEM digital-terrain-model DTM digital-surface-model DSM habitat-suitability-model species-distribution-model SDM ecological-niche-model ENM habitat-suitability-index HSI environmental-suitability bioclimatic-envelope climate-envelope fundamental-niche realized-niche potential-distribution actual-distribution range-map distribution-map occurrence-record presence-only-data presence-absence-data abundance-data density-data effort-data detection-probability occupancy-model N-mixture-model distance-sampling line-transect point-transect strip-transect plotless-sampling quadrat transect stratified-random-sampling systematic-sampling cluster-sampling adaptive-cluster-sampling two-phase-sampling double-sampling multi-phase-sampling sampling-design sample-size statistical-power effect-size significance-level confidence-level confidence-interval credible-interval prediction-interval tolerance-interval hypothesis-test null-hypothesis alternative-hypothesis type-I-error type-II-error false-positive false-negative sensitivity specificity accuracy precision recall F1-score ROC-curve AUC model-validation model-verification model-calibration model-selection model-comparison model-averaging ensemble-model multi-model-inference information-criterion AIC AICc BIC DIC WAIC LOOIC cross-validation k-fold-cross-validation leave-one-out-cross-validation bootstrap jackknife permutation-test randomization-test Monte-Carlo-simulation Markov-chain-Monte-Carlo MCMC Bayesian-inference frequentist-inference likelihood posterior-probability prior-probability prior-distribution posterior-distribution conjugate-prior non-informative-prior weakly-informative-prior hierarchical-model mixed-effects-model random-effects-model fixed-effects-model generalized-linear-model GLM generalized-additive-model GAM generalized-linear-mixed-model GLMM generalized-additive-mixed-model GAMM structural-equation-model SEM path-analysis confirmatory-factor-analysis CFA exploratory-factor-analysis EFA principal-component-analysis PCA principal-coordinate-analysis PCoA non-metric-multidimensional-scaling NMDS correspondence-analysis CA detrended-correspondence-analysis DCA redundancy-analysis RDA canonical-correspondence-analysis CCA partial-least-squares PLS orthogonal-partial-least-squares OPLS artificial-neural-network ANN random-forest RF gradient-boosting-machine GBM XGBoost LightGBM CatBoost support-vector-machine SVM k-nearest-neighbor KNN naive-Bayes decision-tree regression-tree classification-tree bagging boosting stacking ensembling voting blending meta-learning transfer-learning domain-adaptation few-shot-learning zero-shot-learning self-supervised-learning unsupervised-learning supervised-learning semi-supervised-learning reinforcement-learning active-learning online-learning incremental-learning lifelong-learning continual-learning federated-learning distributed-learning edge-computing cloud-computing high-performance-computing HPC parallel-computing GPU-computing quantum-computing neuromorphic-computing DNA-computing biological-computing natural-computing swarm-intelligence ant-colony-optimization particle-swarm-optimization genetic-algorithm evolutionary-algorithm differential-evolution simulated-annealing tabu-search variable-neighborhood-search iterated-local-search guided-local-search greedy-randomized-adaptive-search-procedure GRASP scatter-search path-relinking memetic-algorithm hyper-heuristic meta-heuristic optimization-heuristic constructive-heuristic improvement-heuristic local-search neighborhood-search large-neighborhood-search LNS adaptive-large-neighborhood-search ALNS branch-and-bound branch-and-cut branch-and-price column-generation Benders-decomposition Dantzig-Wolfe-decomposition Lagrangian-relaxation surrogate-relaxation dual-ascent primal-dual-method interior-point-method simplex-method revised-simplex-method dual-simplex-method network-simplex-method barrier-method penalty-method augmented-Lagrangian-method sequential-quadratic-programming SQP sequential-linear-programming SLP trust-region-method line-search-method gradient-descent steepest-descent conjugate-gradient quasi-Newton-method Newton-method Gauss-Newton-method Levenberg-Marquardt-method trust-region-reflective-method interior-point-reflective-method active-set-method projected-gradient-method proximal-gradient-method accelerated-gradient-method momentum-method Nesterov-acceleration AdaGrad RMSprop Adam AdamW SGD stochastic-gradient-descent mini-batch-gradient-descent batch-gradient-descent full-gradient-descent variance-reduction SAG SAGA SVRG L-BFGS limited-memory-BFGS BFGS DFP SR1 Nelder-Mead-method Powell's-method Hooke-Jeeves-method pattern-search direct-search derivative-free-optimization black-box-optimization bayesian-optimization Gaussian-process kriging-surrogate response-surface-method RSM polynomial-chaos-expansion PCE sparse-grid sparse-polynomial-approximation low-rank-approximation tensor-decomposition CP-decomposition Tucker-decomposition tensor-train TT hierarchical-Tucker HT matrix-factorization non-negative-matrix-factorization NMF singular-value-decomposition SVD independent-component-analysis ICA factor-analysis latent-variable-model latent-class-model finite-mixture-model hidden-Markov-model HMM state-space-model dynamic-linear-model DLM Kalman-filter particle-filter sequential-Monte-Carlo SMC ensemble-Kalman-filter EnKF unscented-Kalman-filter UKF extended-Kalman-filter EKF Rauch-Tung-Striebel-smoother RTS-smoother forward-backward-algorithm Viterbi-algorithm Baum-Welch-algorithm expectation-maximization EM-algorithm variational-inference variational-Bayes mean-field-approximation loopy-belief-propagation sum-product-algorithm max-product-algorithm junction-tree-algorithm bucket-elimination variable-elimination conditioning cutset-conditioning constraint-satisfaction CSP satisfiability SAT MAX-SAT pseudo-Boolean-optimization integer-linear-programming ILP mixed-integer-linear-programming MILP mixed-integer-nonlinear-programming MINLP quadratic-programming QP quadratically-constrained-quadratic-programming QCQP second-order-cone-programming SOCP semidefinite-programming SDP geometric-programming GP signomial-programming SP difference-of-convex-programming DC-programming complementary-geometric-programming CGP generalized-geometric-programming GGP posynomial monomial signomial polynomial rational-function algebraic-function transcendental-function analytic-function meromorphic-function entire-function holomorphic-function harmonic-function subharmonic-function superharmonic-function plurisubharmonic-function plurisuperharmonic-function convex-function concave-function quasiconvex-function quasiconcave-function log-convex-function log-concave-function geometrically-convex-function multiplicatively-convex-function operator-convex-function matrix-convex-function spectral-function unitarily-invariant-function orthogonally-invariant-function permutation-invariant-function symmetric-function Schur-convex-function Schur-concave-function majorization weak-majorization strong-majorization doubly-stochastic-matrix Birkhoff-polytope permutahedron transportation-polytope network-flow minimum-cost-flow maximum-flow minimum-cut shortest-path longest-path traveling-salesman-problem TSP vehicle-routing-problem VRP capacitated-VRP CVRP VRP-with-time-windows VRPTW pickup-and-delivery-problem PDP dial-a-ride-problem DARP arc-routing-problem ARP Chinese-postman-problem CPP rural-postman-problem RPP location-problem facility-location p-median-problem p-center-problem uncapacitated-facility-location UFL capacitated-facility-location CFL warehouse-location plant-location hub-location median-problem center-problem covering-problem set-covering vertex-covering edge-covering dominating-set independent-set clique graph-coloring chromatic-number clique-number independence-number domination-number matching perfect-matching maximum-matching b-matching f-factor g-factor network-design Steiner-tree Steiner-forest prize-collecting-Steiner-tree k-MST minimum-spanning-tree MST maximum-spanning-tree minimum-arborescence minimum-directed-spanning-tree minimum-Steiner-tree approximation-algorithm approximation-ratio performance-guarantee inapproximability NP-hardness NP-completeness computational-complexity time-complexity space-complexity polynomial-time exponential-time quasi-polynomial-time sub-exponential-time fixed-parameter-tractable FPT W-hierarchy parameterized-complexity kernelization kernel treewidth pathwidth branchwidth cliquewidth rankwidth booleanwidth modularwidth split-decomposition modular-decomposition prime-graph cograph permutation-graph interval-graph chordal-graph perfect-graph comparability-graph co-comparability-graph AT-free-graph claw-free-graph line-graph planar-graph outerplanar-graph series-parallel-graph treewidth-bounded-graph minor-free-graph forbidden-minor forbidden-topological-minor forbidden-induced-subgraph graph-minor-theorem Robertson-Seymour-theorem well-quasi-ordering Wagner's-conjecture Hadwiger's-conjecture Four-Color-Theorem Strong-Perfect-Graph-Theorem Erdős–Faber–Lovász-conjecture Gyárfás–Sumner-conjecture Erdős–Hajnal-conjecture Caccetta–Häggkvist-conjecture Bermond–Thomassen-conjecture Thomassen's-conjecture Tutte's-conjecture Grötzsch's-theorem Brooks'-theorem Vizing's-theorem Shannon's-theorem König's-theorem Kőnig's-line-coloring-theorem Menger's-theorem max-flow-min-cut-theorem Ford-Fulkerson-theorem Edmonds'-matching-theorem Tutte's-theorem Petersen's-theorem Hall's-marriage-theorem Dilworth's-theorem Mirsky's-theorem Sperner's-theorem Erdős–Ko–Rado-theorem Kruskal–Katona-theorem Lovász's-perfect-graph-theorem Chudnovsky's-strong-perfect-graph-theorem Seymour's-decomposition-theorem Robertson–Seymour–Thomas-theorem Heawood-conjecture Ringel–Youngs-theorem Map-Color-Theorem Appel–Haken-proof Robertson–Seymour–Sanders–Thomas-proof computer-assisted-proof formal-proof interactive-theorem-proving proof-assistant Coq Isabelle HOL HOL-Light Lean Agda Twelf Mizar Metamath automated-theorem-proving SAT-solver SMT-solver model-checker temporal-logic CTL LTL CTL*modal-mu-calculus fixed-point-logic description-logic OWL RDF SPARQL knowledge-graph ontology semantic-web linked-data open-data FAIR-data findable accessible interoperable reusable data-management-plan DMP metadata provenance data-quality data-curation data-preservation data-archiving data-repository institutional-repository disciplinary-repository general-repository figshare Zenodo Dryad GBIF OBIS WoRMS Catalogue-of-Life COL ITIS NCBI BOLD iNaturalist eBird eButterfly iDigBio ALA AVH BIE BISON Map-of-Life MOL Movebank OTN SAHFOS CPR ICES NAFO NEAFC SEAFO WCPFC IATTC ICCAT IOTC CCSBT CCAMLR GFCM CWP CWP-15 CWP-16 CWP-17 CWP-18 CWP-19 CWP-20 CWP-21 CWP-22 CWP-23 CWP-24 CWP-25 CWP-26 CWP-27 CWP-28 CWP-29 CWP-30 CWP-31 CWP-32 CWP-33 CWP-34 CWP-35 CWP-36 CWP-37 CWP-38 CWP-39 CWP-40 CWP-41 CWP-42 CWP-43 CWP-44 CWP-45 CWP-46 CWP-47 CWP-48 CWP-49 CWP-50 CWP-51 CWP-52 CWP-53 CWP-54 CWP-55 CWP-56 CWP-57 CWP-58 CWP-59 CWP-60 CWP-61 CWP-62 CWP-63 CWP-64 CWP-65 CWP-66 CWP-67 CWP-68 CWP-69 CWP-70 CWP-71 CWP-72 CWP-73 CWP-74 CWP-75 CWP-76 CWP-77 CWP-78 CWP-79 CWP-80 CWP-81 CWP-82 CWP-83 CWP-84 CWP-85 CWP-86 CWP-87 CWP-88 CWP-89 CWP-90 CWP-91 CWP-92 CWP-93 CWP-94 CWP-95 CWP-96 CWP-97 CWP-98 CWP-99 CWP-100 CWP-101 CWP-102 CWP-103 CWP-104 CWP-105 CWP-106 CWP-107 CWP-108 CWP-109 CWP-110 CWP-111 CWP-112 CWP-113 CWP-114 CWP-115 CWP-116 CWP-117 CWP-118 CWP-119 CWP-120 CWP-121 CWP-122 CWP-123 CWP-124 CWP-125 CWP-126 CWP-127 CWP-128 CWP-129 CWP-130 CWP-131 CWP-132 CWP-133 CWP-134 CWP-135 CWP-136 CWP-137 CWP-138 CWP-139 CWP-140 CWP-141 CWP-142 CWP-143 CWP-144 CWP-145 CWP-146 CWP-147 CWP-148 CWP-149 CWP-150 CWP-151 CWP-152 CWP-153 CWP-154 CWP-155 CWP-156 CWP-157 CWP-158 CWP-159 CWP-160 CWP-161 CWP-162 CWP-163 CWP-164 CWP-165 CWP-166 CWP-167 CWP-168 CWP-169 CWP-170 CWP-171 CWP-172 CWP-173 CWP-174 CWP-175 CWP-176 CWP-177 CWP-178 CWP-179 CWP-180 CWP-181 CWP-182 CWP-183 CWP-184 CWP-185 CWP-186 CWP-187 CWP-188 CWP-189 CWP-190 CWP-191 CWP-192 CWP-193 CWP-194 CWP-195 CWP-196 CWP-197 CWP-198 CWP-199 CWP-200