Sparkle

Sparkle is an open source software framework for OS X designed to simplify updating software for the end user of a program. Sparkle's primary means… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2017
024619932017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Many finger sensing input devices now support proximity input, enabling users to perform in-air gestures. While near-surface… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2017
2017
Sparkle is a new theorem prover written and specialized in the functional programming language Clean. It is in the first place… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2014
2014
In this paper we present <i>Sparkle</i>, an ambient light display for dynamic off-screen points of interest (POIs) embedded with… (More)
Is this relevant?
2009
2009
Textured surfaces are widely used for anti-glare surfaces. Modern high resolution displays are placing higher demands on these… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2008
2008
Sparkle is a new theorem prover written and specialized in the functional programming language Clean. It is in the first place… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2007
2007
The Sparkle/PM3 model is extended to cerium(III) complexes. The validation procedure was carried out using only high quality… (More)
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2007
2007
This report presents the mathematical foundation of the proof assistant Sparkle, which is dedicated to the lazy functional… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2006
2006
Sparkle is a theorem prover specially constructed for the functional programming language Clean. In a pure functional language… (More)
Is this relevant?
2005
2005
Sparkle is a proof assistant designed for the lazy functional programming language Clean. It is designed to facilitate proofs of… (More)
Is this relevant?
2005
2005
The Sparkle/AM1 model is extended to ytterbium (III) complexes. Thus, a set of 15 complexes, with various representative ligands… (More)
Is this relevant?