Learn More
We describe a set of new comprehensive, high-quality, high-resolution digital images of histological sections from the brain of male zebra finches (Taeniopygia guttata) and make them publicly available through an interactive website (http://zebrafinch.brainarchitecture.org/). These images provide a basis for the production of a dimensionally accurate and(More)
The spinal cords of larval sea lampreys (Petromyzon marinus) and adult river lampreys (Ichthyomyzon unicuspis) were injected with horseradish peroxidase through a transection 1 cm caudal to the last gill. Some animals also had a spinal hemisection 1 cm caudal to the injection. After recovery periods of 1 to 52 days, the spinal cords were treated with(More)
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software. It does this by defining a subset of the Real-time Specification for Java that trades expressiveness for verifiability. This paper gives a high-level description of our(More)
Tool development for and empirical experimentation in OWL ontology research require a wide variety of suitable ontologies as input for testing and evaluation purposes and detailed characterisations of real on-tologies. Findings of surveys and results of benchmarking activities may be biased, even heavily, towards manually assembled sets of " somehow(More)
  • 1