Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,774,625 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
34 relations
AddressSanitizer
Amiga support and maintenance software
Android
Apple Advanced Typography
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Topological dynamics of automorphism groups, ultrafilter combinatorics, and the Generic Point Problem
Andy Zucker
2015
Corpus ID: 7212133
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
The simulation of gene knock-out in scale-free random Boolean models of genetic networks
R. Serra
,
M. Villani
,
A. Graudenzi
,
A. Colacci
,
S. Kauffman
Networks Heterog. Media
2008
Corpus ID: 10673864
This paper describes the effects of perturbations, which simulate the knock-out of single genes, one at a time, in random Boolean…
Expand
Highly Cited
2008
Highly Cited
2008
Building giant-planet cores at a planet trap
A. Morbidelli
,
A. Crida
,
F. Masset
,
R. Nelson
2008
Corpus ID: 9380996
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
2008
2008
Design and simulation of a magnetic levitated switched reluctance linear actuator system for high precision application
Z. Sun
,
N. Cheung
,
Jian-fei Pan
,
S. Zhao
,
W. Gan
IEEE International Symposium on Industrial…
2008
Corpus ID: 45671464
Magnetic levitated carrier system was developed for the transportation systems. It is contact-free type; it can eliminate…
Expand
Highly Cited
2008
Highly Cited
2008
The all loop AdS4/CFT3 Bethe ansatz
N. Gromov
,
P. Vieira
2008
Corpus ID: 15799645
We propose a set of Bethe equations yielding the full asymptotic spectrum of the AdS4/CFT3 duality proposed in arXiv:0806.1218 to…
Expand
Review
1998
Review
1998
Existential Types: Logical Relations and Operational Equivalence
A. Pitts
ICALP
1998
Corpus ID: 11663305
Existential types have proved useful for classifying various kinds of information hiding in programming languages, such as occurs…
Expand
1997
1997
Block-Synchronization Context-Free Grammars
H. Jürgensen
,
Kai Salomaa
Advances in Algorithms, Languages, and Complexity
1997
Corpus ID: 30804941
We consider context-free type block-synchronization grammars, BSCF grammars, where independent derivations can communicate using…
Expand
1994
1994
Z and HOL
Jonathan P. Bowen
,
M. Gordon
Z User Workshop
1994
Corpus ID: 15332095
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
Type Inference for Polymorphic References
M. Tofte
Inf. Comput.
1990
Corpus ID: 43598093
Highly Cited
1987
Highly Cited
1987
Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement
A. Habel
,
H. Kreowski
STACS
1987
Corpus ID: 45047500
Hyperedge replacement systems are introduced as a device for generating hypergraph languages including graph languages and string…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE