search
  • Country
    Clear
  • Type
  • Compatibility Level
  • Thematic
  • Jurisdiction
3,881 Data sources

  • GB
  • SG
  • DZ
  • HK

  • more_vert
  • This is a university repository providing access to the institutions research output. Some items are not available as full-text.

    more_vert
  • more_vert
  • more_vert
  • more_vert
  • The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. The archive repository is hosted on Heptapod to provide easy free access to archive entries. The entries are tested and maintained continuously against the current stable release of Isabelle. Older versions of archive entries will remain available.

    more_vert
  • This is the institutional repository of the University of Chichester and contains the research and work of university staff. Many items are not openly accessible, but the full text of a few pieces of work can be found.

    more_vert
  • more_vert
  • The Protein Quaternary Structure file server (PDBePISA) is an internet resource that makes available coordinates for likely quaternary states for structures contained in the Brookhaven Protein Data Bank (PDB) that were determined by X-ray crystallography.

    more_vert
  • The e-Mouse Atlas (EMA) is a detailed model of the developing mouse. Its purpose is not only to provide information about the shape, gross anatomy and detailed histological structure of the mouse, but also to provide a framework into which information about gene function can be mapped. The spatial, temporal and anatomical integration achieved by mapping diverse data to the organism itself rather than simply to database tables, allows powerful computational analyses. The website presents 3D volumetric models of the embryo linked, in most cases, to comprehensive and detailed images of histological structure. The embryo models and anatomy in EMA are organized by standard developmental stage (TS. after Theiler, 1989) and age of the embryo in days post coitum (dpc.). Gene-expression and other image data is also available.

    more_vert
  • chevron_left
  • 17
  • 18
  • 19
  • 20
  • 21
  • chevron_right
3,881 Data sources
  • more_vert
  • This is a university repository providing access to the institutions research output. Some items are not available as full-text.

    more_vert
  • more_vert
  • more_vert
  • more_vert
  • The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. The archive repository is hosted on Heptapod to provide easy free access to archive entries. The entries are tested and maintained continuously against the current stable release of Isabelle. Older versions of archive entries will remain available.

    more_vert
  • This is the institutional repository of the University of Chichester and contains the research and work of university staff. Many items are not openly accessible, but the full text of a few pieces of work can be found.

    more_vert
  • more_vert
  • The Protein Quaternary Structure file server (PDBePISA) is an internet resource that makes available coordinates for likely quaternary states for structures contained in the Brookhaven Protein Data Bank (PDB) that were determined by X-ray crystallography.

    more_vert
  • The e-Mouse Atlas (EMA) is a detailed model of the developing mouse. Its purpose is not only to provide information about the shape, gross anatomy and detailed histological structure of the mouse, but also to provide a framework into which information about gene function can be mapped. The spatial, temporal and anatomical integration achieved by mapping diverse data to the organism itself rather than simply to database tables, allows powerful computational analyses. The website presents 3D volumetric models of the embryo linked, in most cases, to comprehensive and detailed images of histological structure. The embryo models and anatomy in EMA are organized by standard developmental stage (TS. after Theiler, 1989) and age of the embryo in days post coitum (dpc.). Gene-expression and other image data is also available.

    more_vert
  • chevron_left
  • 17
  • 18
  • 19
  • 20
  • 21
  • chevron_right