Filter
Reset all

Subjects

Content Types

Countries

API

Data access

Data access restrictions

Database access

Database licenses

Data licenses

Data upload

Data upload restrictions

Enhanced publication

Institution responsibility type

Institution type

Keywords

Metadata standards

PID systems

Provider types

Quality management

Repository languages

Software

Syndications

Repository types

Versioning

  • * at the end of a keyword allows wildcard searches
  • " quotes can be used for searching phrases
  • + represents an AND search (default)
  • | represents an OR search
  • - represents a NOT operation
  • ( and ) implies priority
  • ~N after a word specifies the desired edit distance (fuzziness)
  • ~N after a phrase specifies the desired slop amount
  • 1 (current)
Found 5 result(s)
Specification Patterns is an online repository for information about property specification for finite-state verification. The intent of this repository is to collect patterns that occur commonly in the specification of concurrent and reactive systems.
Country
IIASA DARE is the institutional repository for publishing open research data produced by all researchers affiliated with IIASA - International Institute for Applied Systems Analysis. IIASA has been implemented to help scientists fulfill the requirements from funding bodies and to meet the growing impact of publishing research data. The deposited data will receive a persistent, citable link and it will be openly accessible and stored for the long term.
Country
The Animal Sound Archive at the Museum für Naturkunde in Berlin is one of the oldest and largest collections of animal sounds. Presently, the collection consists of about 120,000 bioacoustical recordings comprising almost all groups of animals: 1.800 bird species 580 mammalian species more then150 species of invertebrates; some fishes, amphibians and reptiles
Additional to the the e-publishing offer for articles, books and journals, Propylaeum provides classical scholars with the opportunity to archive the respective research data permanently. These can be linked directly to online publications hosted on the Heidelberg publishing platforms. All research data – e.g. images, videos, audio files, tables, graphics etc. – receive a DOI (Digital Object Identifiyer). Thus, they can be cited, viewed and permanently linked to as distinct academic output.
IoT Lab is a research platform exploring the potential of crowdsourcing and Internet of Things for multidisciplinary research with more end-user interactions. IoT Lab is a European Research project which aims at researching the potential of crowdsourcing to extend IoT testbed infrastructure for multidisciplinary experiments with more end-user interactions. It addresses topics such as: - Crowdsourcing mechanisms and tools; - “Crowdsourcing-driven research”; - Virtualization of crowdsourcing and testbeds; - Ubiquitous Interconnection and Cloudification of testbeds; - Testbed as a Service platform; - Multidisciplinary experiments; - End-user and societal value creation; - Privacy and personal data protection.