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

Dis-unification (computer science)

Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Digital false-target image synthesizer (DIS) has been proposed as a deceptive jamming method for countering inverse synthetic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
The best way to describe the current status of Leadership Studies is that it is an “emerging discipline.” Few universities have… Expand
Is this relevant?
2013
2013
Au niveau du cerveau et dans le plasma de malades atteints de maladie d’Alzheimer (MA), l’accumulation de C22:0 et d’acides gras… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
It is well known that cooperative relaying has the potential to improve the performance of wireless communication. However… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 7
Is this relevant?
2010
2010
The goal of this study is to compare the handwriting behaviours of true and false writing. Based on the cognitive load and dis… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2009
2009
  • Ta deusz SOKO£OWSKI
  • 2009
  • Corpus ID: 54870609
Ab stract: This pa per pres ents the re sults of ab so lute dat ing and bi os tra tigraphi cal analy sis car ried out for al lu… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Recognizing useful modular robot configurations composed of hundreds of modules is a significant challenge. Matching a new… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
s 7 The inÑuence of socioeconomic and cultural factors on compliance with dietary treatment, and growth and development in PKU… Expand
Is this relevant?
2004
2004
Seventy-nine HIV-1 infected patients were studied in three groups: Group G1 - 11 patients with no antiretroviral therapy; G2 - 40… Expand
  • table 1
  • table 2
Is this relevant?
1996
1996
Berry's category of dI-domains with stable functions is a relatively intricate, yet elegant, framework for semantics of… Expand
Is this relevant?