Results 1  10
of
2,114
NSF Grant Meeting Goals
, 2006
"... A truth conditional semantics for inherently/lexically reflexive verbs that distinguishes them from their “derived ” reflexive counterparts An account for the way a language’s morphology is sensitive to the distinction between the semantics of inherent reflexives vs. “derived ” reflexives (Germanic ..."
Abstract
 Add to MetaCart
A truth conditional semantics for inherently/lexically reflexive verbs that distinguishes them from their “derived ” reflexive counterparts An account for the way a language’s morphology is sensitive to the distinction between the semantics of inherent reflexives vs. “derived ” reflexives (Germanic SE vs. SELF anaphors) [still in progress!]
Wilkinson's work was partly funded by NSF Grant #DMS0100314.
"... A key feature of a general nonlinear partially hyperbolic dynamical system is the absence of dierentiability of its invariant splitting. In this paper, we show that often partial derivatives of the splitting exist and the splitting depends smoothly on the dynamical system itself. Dedicated to David ..."
Abstract
 Add to MetaCart
Ruelle on his 65th birthday. October 15, 2002 Shub's work was partly funded by NSF Grant #DMS9988809. Wilkinson's work was partly funded by NSF Grant #DMS0100314. 1.
Small Colleges Can Get Big NSF Grants
"... This paper describes my personal journey from a concept to a successful Computer Science, Engineering and Mathematics Scholarships (CSEMS) grant from the National Science Foundation. It explains the steps taken by a new project director at The Richard Stockton College of New Jersey, a small, prima ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This paper describes my personal journey from a concept to a successful Computer Science, Engineering and Mathematics Scholarships (CSEMS) grant from the National Science Foundation. It explains the steps taken by a new project director at The Richard Stockton College of New Jersey, a small
A subordinated stochastic process model with finite variance for speculative prices
 Econometrica
, 1973
"... Thanks are due to Hendrik Houthakker and Christopher Sims, for both encouragement and advice in developing this paper. As usual, all remaining errors are my own. This research was supported by a Harvard Dissertation Fellowship, NSF grant 33708, and the ..."
Abstract

Cited by 561 (1 self)
 Add to MetaCart
Thanks are due to Hendrik Houthakker and Christopher Sims, for both encouragement and advice in developing this paper. As usual, all remaining errors are my own. This research was supported by a Harvard Dissertation Fellowship, NSF grant 33708, and the
LL NSF GRANT #DMI0115570 NSF PROGRAM: Manufacturing, Machines, and Equipment
"... Abstract: Helicon wave sources are known for the dense, remote plasmas they create for etching. Recently they have been found to also deposit highquality oxide layers. By using an array of multiple sources, we hope to create a uniform plasma of arbitrary size for processing flatpanel displays. The ..."
Abstract
 Add to MetaCart
Abstract: Helicon wave sources are known for the dense, remote plasmas they create for etching. Recently they have been found to also deposit highquality oxide layers. By using an array of multiple sources, we hope to create a uniform plasma of arbitrary size for processing flatpanel displays. The dc magnetic field B that helicons require can hopefully be supplied by permanent magnets, thus avoiding the cost and complexity of large electromagnetic coils. The size, shape, and placement of each source will be optimized, as well as the antenna and rf frequency. 1. Source design: Previously [1] we have shown that an array of seven stubby tubes can cover a 400mm substrate uniformly with density up to 10 12 cm3. The shorttube effect has been explained by constructive interference from the wave reflected at the back. To optimize this effect at low Bfields we use the HELIC code developed by D. Arnush [2]. Guided by computations, we construct tubes of the type shown in Fig. 1. Sample computational results [3] are shown in Figs. 2 and � � 3. In Fig. 2, the distance d between the antenna ���� � and the back plate is Fig. 1 varied, and a density ���� � peak is observed at varying Bfields. In Fig. ���� � 3, the antenna type is varied, and it is seen that
Univalent foundations project (a modified version of an NSF grant application). Unpublished
, 2010
"... While working on the completion of the proof of the BlochKato conjecture I have thought a lot about what to do next. Eventually I became convinced that the most interesting and important directions in current mathematics are the ones related to the transition into a new era which will be characteri ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
While working on the completion of the proof of the BlochKato conjecture I have thought a lot about what to do next. Eventually I became convinced that the most interesting and important directions in current mathematics are the ones related to the transition into a new era which will be characterized by the widespread use of automated tools for proof construction and verification. I have started to actively learn about the related subjects around 2003/04. A few years ago I have come up with an idea for a new semantics for dependent type theories the class of formal systems which are widely used in the theory of programming languages. Unlike the usual semantics which interpret types as sets this ”univalent semantics ” interprets types as homotopy types. The key property of the univalent interpretation is that it satisfies the univalence axiom a new axiom which makes it possible to automatically transport constructions and proofs between types which are connected by appropriately defined weak equivalences. In 2009/2010 I made a number of presentations on the univalent interpretation which were received with great interest by the type theoretic community. As of today two special events have been planned for the further discussion of the related ideas a workshop in Oberwolfach in March 2011 and a year long special program at the Institute for Advanced Study in 20122013.
Complex Network Analysis of Research Funding: A Case Study of NSF Grants
"... Abstract. Funding from the government agencies has been the driving force for the research and educational institutions particularly in the United States. The government funds billions of dollars every year to lead research initiatives that will shape the future. In this paper, we analyze the funds ..."
Abstract
 Add to MetaCart
distributed by the United States National Science Foundation (NSF), a major source of academic research funding, to understand the collaboration patterns among researchers and institutions. Using complex network analysis, we interpret the collaboration patterns at researcher, institution, and state levels
collected by Timesharing Experiments for the Social Sciences, NSF Grant 0094964, Diana
, 2005
"... Does it Help or Hurt Kerry if Nader is on the Ballot? We report results of a pair of experiments designed to test whether Ralph Nader’s presence on the ballot in 2004 makes some voters more, not less, likely to vote for John Kerry. Intuitive spatial considerations suggest Nader should hurt Kerry, be ..."
Abstract
 Add to MetaCart
obtained through the NSFfunded Timesharing Experiments for the Social Sciences project. We use matching methodology both to estimate average treatment effects and to construct matched samples in which to estimate the choice models. The student data support the psychological theory: when
NSF grant CMS9820823 (A.M.C.), and a Humboldt
, 2003
"... 4. Materials and methods are available as supporting ..."
Supported by the NSF Grants DMS0604108 and DMS0908995Motivation
, 2012
"... is the configuration space • The dynamics is given by the Euler–Lagrange equations d ∂L ∂L − = 0 dt ∂ ˙q ∂q • These equations appeared in Lagrange [1788]. Lagrange obtained them in an attempt to derive the equations of motion for mechanical systems in a covariant (i.e., coordinateindependent) form ..."
Abstract
 Add to MetaCart
is the configuration space • The dynamics is given by the Euler–Lagrange equations d ∂L ∂L − = 0 dt ∂ ˙q ∂q • These equations appeared in Lagrange [1788]. Lagrange obtained them in an attempt to derive the equations of motion for mechanical systems in a covariant (i.e., coordinateindependent) form • Substitutions are a major tool for studying differential equations. However, it may be impossible to find coordinates on the configuration space in which the Euler–Lagrange equations are sufficiently simpleMotivation • For instance, consider the rotational dynamics of a rigid body. The configuration space is the rotation group, i.e., the group of orientationpreserving orthogonal matrices • The Euler angles are often used as configuration coordinates θ
Results 1  10
of
2,114