Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Specializable

 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
This study is on the manpower and rural Development and (ARMTI) Agricultural and Rural Management Training Institute. The study… Expand
  • table 4.1
  • table 4.2
  • table 4.3
  • table 4.4
  • table 4.5
Is this relevant?
2013
2013
For any hyperfunction solutions to the regular-specializable system, a boundary value morphism is defined by Laurent-Monteiro… Expand
Is this relevant?
2009
2009
Abstract Let M be an algebraic D -module defined on an affine space X and Y be a linear submanifold of X . We give an algorithm… Expand
  • figure 1
Is this relevant?
2008
2008
Event-B [MAV:05] is a language for the formal specification and verification of reactive systems. The language and its RODIN… Expand
  • figure 1
  • figure 2
Is this relevant?
2007
2007
This paper deals with reusable problem-solving methods, in particular with interpretation models as their main constituting part… Expand
Is this relevant?
2005
2005
Traditional systems engineering pays attention to careful composition of prose requirements statements. Even so, prose appears… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2000
2000
We propose the use of partial evaluation as a mean to configure automatically and systematically software components in a… Expand
  • figure 1
  • figure 2
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… Expand
Is this relevant?
1996
1996
We study explicit continued fraction expansions for certain series. Some of these expansions have symmetry that generalizes some… Expand
Is this relevant?
1995
1995
The problem of building general purpose user interfaces in multiversion databases is presented. To cope with the needs of… Expand
Is this relevant?