Appetizer

Known as: Appetizer software 
Appetizer is an open source dock for Windows 2000, XP, Vista and 7, which allows organizing the user's shortcuts and applications. It can be… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1997-2015
01219972015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
One can prove that a program satisfies a correctness property in different ways. The deductive approach uses logic and is… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2015
2015
 
Is this relevant?
2014
2014
Engineers are a global commodity, who serve to advance the betterment of mankind. Electromagnetics (EM) engineers especially will… (More)
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Satisfiability Modulo Theories (SMT) is about checking the satisfiability of logical formulas over one or more theories. The… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
Joking is universal behaviour. Jokes provide playful ways of addressing taboo subjects that relate to the basic drives of people… (More)
Is this relevant?
2007
2007
Douchiba, a traditional Chinese soy-fermented appetizer, has been abundantly produced and widely consumed in Guizhou province of… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2007
2007
When searching carefully in contemporary documents, as letters, posters, diaries, written testimonies, we can learn a lot about… (More)
Is this relevant?
2007
2007
 
Is this relevant?
2006
2006
  • 2006
Figure 1.1: Al-Chwarizmi (born approx. 780; died between 835 and 850), Persian mathematician and astronomer. The word algorithm… (More)
  • table 1.1
  • figure 1.2
  • table 1.2
  • table 1.3
  • table 1.4
Is this relevant?
1999
1999
This work is a product of the Collaborative Research Center 531, \Computational Intelligence", at the University of Dortmund and… (More)
Is this relevant?