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

FreeType

Known as: Free type, FreeType License, MacType 
FreeType is a popular software development library, used to render text on to bitmaps and provides support for other font-related operations. The… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
For G a closed subgroup of S∞, we provide a precise combinatorial characterization of when the universal minimal flow M(G) is… Expand
2008
2008
This paper describes the effects of perturbations, which simulate the knock-out of single genes, one at a time, in random Boolean… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
2008
2008
Magnetic levitated carrier system was developed for the transportation systems. It is contact-free type; it can eliminate… Expand
  • table I
  • figure 2
  • figure 1
  • figure 6
  • figure 7
Highly Cited
2008
Highly Cited
2008
Context. A well-known bottleneck for the core-accretion model of giant-planet formation is the loss of the cores into the star by… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Highly Cited
2008
Highly Cited
2008
We propose a set of Bethe equations yielding the full asymptotic spectrum of the AdS4/CFT3 duality proposed in arXiv:0806.1218 to… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
2008
Highly Cited
2008
Closely packed ZnO nanowire array was fabricated on a n-type Si (100) substrate by a magnetron cosputtering method. The ZnO… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
1997
1997
We consider context-free type block-synchronization grammars, BSCF grammars, where independent derivations can communicate using… Expand
1994
1994
A simple ‘shallow’ semantic embedding of the Z notation into the HOL logic is described. The Z notation is based on set theory… Expand
Highly Cited
1990
Highly Cited
1990
  • M. Tofte
  • Inf. Comput.
  • 1990
  • Corpus ID: 43598093
Abstract The Hindley/Milner discipline for polymorphic type inference in functional programming languages is not sound if used on… Expand
Highly Cited
1987
Highly Cited
1987
Hyperedge replacement systems are introduced as a device for generating hypergraph languages including graph languages and string… Expand