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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We report on work in progress aiming to add blame features to property-based-testing in logic programming, in particular w.r.t… Expand
Is this relevant?
2018
2018
We conjecture infrared emergent $\mathcal{N}=4$ supersymmetry for a class of three-dimensional $\mathcal{N}=2$ $U(1)$ gauge… Expand
Is this relevant?
2017
2017
Searching for the simplest non-Abelian 2D gauge theory with N = (0,2) supersymmetry and nontrivial IR physics, we propose a new… Expand
Is this relevant?
2016
2016
A bstractWe test the 3d-3d correspondence for theories that are labeled by Lens spaces. We find a full agreement between the… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2013
2013
Indian borage/ Karpurvalli (Coleus aromaticus) is an herb with aromatic leaves with ajwain like flavour known for stimulating… Expand
  • table 1
  • table 2
  • figure 1
  • table 4
  • table 6
Is this relevant?
2011
2011
We propose that the three-dimensional N=2 SU(2) Chern-Simons theory at level 1 coupled to an adjoint chiral multiplet with no… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Operational Semantics.- More on Operational Semantics.- Provably Correct Implementation.- Denotational Semantics.- More on… Expand
Is this relevant?
2005
2005
The aim of this work was to analyze the nutritional value of the powdered fruit skin of six xoconostle fruit (Opuntia spp… Expand
Is this relevant?
2001
2001
Efforts were made to develop nutritious and palatable plum appetizer. Two different combinations of fruit pulp and spice recipe… Expand
Is this relevant?