Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,774,625 papers from all fields of science

Search

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…

2008

2008

This paper describes the effects of perturbations, which simulate the knock-out of single genes, one at a time, in random Boolean…

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…

2008

2008

Magnetic levitated carrier system was developed for the transportation systems. It is contact-free type; it can eliminate…

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…

Review

1998

Review

1998

Existential types have proved useful for classifying various kinds of information hiding in programming languages, such as occurs…

1997

1997

We consider context-free type block-synchronization grammars, BSCF grammars, where independent derivations can communicate using…

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…

Highly Cited

1990

Highly Cited

1990

Highly Cited

1987

Highly Cited

1987

Hyperedge replacement systems are introduced as a device for generating hypergraph languages including graph languages and string…