portal.clarin.nl
Searchable repository for finding computer datasets and dataset.
Spec Patterns
An online repository of temporal specification patterns gathered from common specifications of concurrent and reactive systems. It provides patterns with descriptions mapping system behavior into precise statements in formal specification languages, and it supports mappings to several formalisms with tool support for automated analysis.
Website Directory import
Features
- supports mappings to a number of formalisms Source: matthewbdwyer.github.io
Links
Tags
-
0
Searchable repository for finding computer datasets and dataset.
-
0BacMap is an interactive visual database of annotated bacterial genomes, offering zoomable and searchable chromosome maps with hyperlinked gene labels. It provides searches by gene or protein name, genus, species, strain, biocard text and metabolic pathway, as well as BLAST search. Gene and protein sequences can be downloaded, and charts describe proteomic and genomic characteristics.
-
0St. Jude Cloud is a pediatric catastrophic disease data sharing ecosystem created by St. Jude Children's Research Hospital. It provides data and analysis resources to the global research community, including genomic data on pediatric cancers, cancer survivorship and non-cancerous diseases. Its applications cover a genomics platform, a pediatric cancer knowledge base, visualizations, and patient-derived xenograft data.
-
0The AODN Portal is a gateway to Australian marine and climate science data. It provides access to all available Australian marine and climate science data and is the primary access point for IMOS data, including IMOS metadata.
-
0The Climate Prediction Center is part of the National Weather Service and National Centers for Environmental Prediction. It provides outlook products including 6-10 day, 8-14 day, one-month, three-month and week 3-4 outlooks, along with a U.S. Hazards Outlook, drought information, and ENSO diagnostic discussions. The site also offers monitoring and data products covering El Niño/La Niña, the stratosphere, monsoons and the Pacific Islands.
-
0Dryad is a nonprofit data publishing service where researchers can submit data files in any format and receive a citable DOI. Curators check submissions for accessibility and reusability of files and metadata before release. Submissions may be linked to an article or not, and data can be published privately for peer review.
Community notes
Reviews and discussion
No reviews yet
Be the first to share how this project worked for you.
Join the discussion
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
More in Dataset & Data Search
bacmap.wishartlab.com
BacMap is an interactive visual database of annotated bacterial genomes, offering zoomable and searchable chromosome maps with hyperlinked gene labels. It provides searches by gene or protein name, genus, species, strain, biocard text and metabolic pathway, as well as BLAST search. Gene and protein sequences can be downloaded, and charts describe proteomic and genomic characteristics.
stjude.cloud
St. Jude Cloud is a pediatric catastrophic disease data sharing ecosystem created by St. Jude Children's Research Hospital. It provides data and analysis resources to the global research community, including genomic data on pediatric cancers, cancer survivorship and non-cancerous diseases. Its applications cover a genomics platform, a pediatric cancer knowledge base, visualizations, and patient-derived xenograft data.
portal.aodn.org.au
The AODN Portal is a gateway to Australian marine and climate science data. It provides access to all available Australian marine and climate science data and is the primary access point for IMOS data, including IMOS metadata.
cpc.ncep.noaa.gov
The Climate Prediction Center is part of the National Weather Service and National Centers for Environmental Prediction. It provides outlook products including 6-10 day, 8-14 day, one-month, three-month and week 3-4 outlooks, along with a U.S. Hazards Outlook, drought information, and ENSO diagnostic discussions. The site also offers monitoring and data products covering El Niño/La Niña, the stratosphere, monsoons and the Pacific Islands.
datadryad.org
Dryad is a nonprofit data publishing service where researchers can submit data files in any format and receive a citable DOI. Curators check submissions for accessibility and reusability of files and metadata before release. Submissions may be linked to an article or not, and data can be published privately for peer review.