Specializable

 
National Institutes of Health

Topic mentions per year

Topic mentions per year

1979-2012
0119792012

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
  • Rémi Arcadias
  • 2012
Let D (resp. D) be the ring of germs at the origin of linear partial differential operators with analytic coefficients on C (resp… (More)
Is this relevant?
2009
2009
In this paper we give a proof of the fact, that the motivic Hodge-Chern class transformation MHCy and Hirzebruch class… (More)
Is this relevant?
Review
2007
Review
2007
The second author has implemented a reference version of the HOL logic (henceforth called gtt). This version, written in Standard… (More)
Is this relevant?
Review
2005
Review
2005
Traditional systems engineering pays attention to careful composition of prose requirements statements. Even so, prose appears… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2000
2000
n=0 1 x2n = [0, x− 1, x+ 2, x, x, x− 2, x, x+ 2, x, x− 2, x+ 2, . . . ], with x = 2. A continued fraction over Q(x), such as this… (More)
Is this relevant?
1998
1998
In this paper we present an implemented system for the incremental acquisition and revision of lexical entries in HPSG. As a… (More)
Is this relevant?
1996
1996
The use of external object-oriented databases to ooer persistence to knowledge bases often induces a problem of hetero-geneity… (More)
  • figure 2
  • figure 3
Is this relevant?
1993
1993
This paper deals with reusable problem-solving methods, in particular with interpretation models as their main constituting part… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1979
1979
The segment treated, by no means exhaustively, deals with the spectrum of user-specializable programming systems from macro… (More)
Is this relevant?