GNU Hurd

Known as: GNU/Hurd, Gnu herd, Gnuhurd 
GNU Hurd (usually referred to as The Hurd or just Hurd) is the multiserver microkernel written as part of GNU. It has been under development since… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
This paper describes the Automated Reasoning for Mizar ( $\textsf{Miz}\mathbb{AR}$ ) service, which integrates several automated… (More)
  • table 1
  • figure 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
This paper constructs a rich model of saving for retired single people. Our framework allows for bequest motives and… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2007
2007
The GNU Hurd's design was motivated by a desire to rectify a number of observed shortcomings in Unix. Foremost among these is… (More)
  • figure 1
  • figure 2
Is this relevant?
2006
2006
The authors investigate the solution of a nonlinear reaction-diffusion equation connected with nonlinear waves. The equation… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
In the United States, citizens, policy makers, and natural resource managers alike have become concerned about urban sprawl, both… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • Cell
  • 2004
In the primary embryonic epithelium, the maintenance of BAZ/PAR-6/aPKC complex localization requires a second apical complex… (More)
Is this relevant?
2003
2003
THE TOPIC of mortality risk perceptions has somehow failed to engage the interest of demographers. Perhaps this is because in… (More)
  • figure 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
A protein required to localize mitochondria to Drosophila nerve terminals has been identified genetically. Photoreceptors mutant… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2001
2001
Preclinical studies have demonstrated that kappa-opioid agonists can attenuate the neurochemical and behavioral effects of… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Kappa opioid agonists attenuate some neurochemical and behavioral effects of cocaine and are being considered as potential… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?