#### Filter Results:

- Full text PDF available (27)

#### Publication Year

1990

2017

- This year (1)
- Last 5 years (8)
- Last 10 years (16)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

#### Organism

Learn More

- Kentaro Hori, Sheldon Katz, +5 authors Eric Zaslow
- 2000

We prove mirror symmetry for supersymmetric sigma models on Kahler manifolds in 1+1 dimensions. The derivation involves establishing the equivalence of the gauged linear sigma model, embedded in a theory with an enlarged gauge symmetry, with a Landau-Ginzburg theory of Toda type. Standard R → 1/R duality and dynamical generation of superpotential by… (More)

We prove that polarised manifolds that admit a constant scalar curvature Kähler (cscK) metric satisfy a condition we call slope semistability. That is, we define the slope μ for a projective manifold and for each of its subschemes, and show that if X is cscK then μ(Z) ≤ μ(X) for all subschemes Z. This gives many examples of manifolds with Kähler classes… (More)

- Nicolas Vidal, Julie Marin, +7 authors S Blair Hedges
- Biology letters
- 2010

Worm-like snakes (scolecophidians) are small, burrowing species with reduced vision. Although largely neglected in vertebrate research, knowledge of their biogeographical history is crucial for evaluating hypotheses of snake origins. We constructed a molecular dataset for scolecophidians with detailed sampling within the largest family, Typhlopidae… (More)

We make a systematic study of the Hilbert-Mumford criterion for different notions of stability for polarised algebraic varieties (X,L); in particular for Kand Chow stability. For each type of stability this leads to a concept of slope μ for varieties and their subschemes; if (X,L) is semistable then μ(Z) ≤ μ(X) for all Z ⊂ X. We give examples such as… (More)

- Dominic Joyce, Robert Bryant, +5 authors Karen Uhlenbeck
- 2001

Calabi–Yau m-folds are compact Ricci-flat Kähler manifolds (M,J, g) of complex dimension m, with trivial canonical bundle KM . Taken together, the complex structure J , Kähler metric g, and a holomorphic section Ω of KM make up a rich, fairly rigid geometrical structure with very interesting properties — for instance, Calabi–Yau m-folds occur in smooth,… (More)

It is becoming feasible and practical to monitor the generic computer usage of students for extended periods, recording low level actions such as mouse clicks, typing and window changes. This paper presents a case study on the deployment of GRUMPS technology during a period of six weeks when 4.7 million such actions were collected from 141 first year… (More)

- Vincent C. Tidwell, Howard D. Passell, Stephen H. Conrad, Richard P. Thomas
- Aquatic Sciences
- 2004

The watersheds in which we live are comprised of a complex set of physical and social systems that interact over a range of spatial and temporal scales. These systems are continually evolving in response to changing climatic patterns, land use practices and the increasing intervention of humans. Management of these watersheds benefits from the development… (More)

- Huw Evans, Malcolm P. Atkinson, +5 authors Richard Thomas
- Softw., Pract. Exper.
- 2003

This paper describes the evolution of the design and implementation of a distributed run-time system that itself is designed to support the evolution of the topology and implementation of an executing, distributed system. The three different versions of the run-time architecture that have been designed and implemented are presented, together with how each… (More)

- Richard Thomas
- 2006

We argue that various braid group actions on triangulated categories should be extended to projective actions of the category of braid cobordisms and illustrate how this works in examples. We also construct actions of both the affine braid group and the braid cobordism category on the derived category of coherent sheaves on the cotangent bundle to the full… (More)

- Charles Lee Isbell, Lynn Andrea Stein, +7 authors Yan Xu
- SIGCSE Bulletin
- 2009

What is the core of Computing? This paper defines the discipline of computing as centered around the notion of modeling, especially those models that are automatable and automatically manipulable. We argue that this central idea crucially connects models with languages and machines rather than focusing on and around computational artifacts, and that it… (More)