We describe the “Deep Thought” algorithm, which can, among other things, take a commutator presentation for a finitely generated torsion-free nilpotent group G, and produce explicit polynomials for the multiplication of elements of G. These polynomials were first shown to exist by Philip Hall, and allow for “symbolic collection” in finitely generated nilpotent groups. We discuss various practic...

We propose a novel extension of the encoder-decoder framework, called a review network. The review network is generic and can enhance any existing encoderdecoder model: in this paper, we consider RNN decoders with both CNN and RNN encoders. The review network performs a number of review steps with attention mechanism on the encoder hidden states, and outputs a thought vector after each review s...

When developing an intelligent tutoring system, it is necessary to have a significant number of highly varied problems that adapt to a student’s individual learning style. In developing an intelligent tutor for logic proof construction, selecting problems for individual students that effectively aid their progress can be difficult, since logic proofs require knowledge of a number of concepts an...

One of the major goals of the Sustainable Agriculture Farming initiatives at UC Davis is to provide information about the feasibility of adopting conservation tillage and cover cropping at the farm level. The project includes two tillage schemes: standard tillage (ST) and conservation tillage (CT), and three farming methods: conventional, organic, and winter legume cover crop. All three product...

Global biodiversity continues along a trajectory of decline despite enormous conservation efforts (Rands et al., 2010). This is also true in China, one of the most biodiversity-rich countries in the world (Liu and Raven, 2010; Ministry of Environmental Protection of China, 2010a). To fundamentally change this trajectory, it is essential to understand complex interactions among various forces af...

Background & Aims: Generalized anxiety disorder (GAD) can be affected by different emotional, cognitive, and natural factors. The purpose of this study was to predict GAD based on emotion regulation deficits, thought-action fusion, and behavioral inhibition. Methods: This was a correlational study. The study sample was comprised of 135 patients with GAD selected from amo...

Despite their ambiguous historical record, conservation/development interventions the world over have remained a popular environmental governance tool. One of the latest global ‘trends’ are interventions to establish so-called ‘Transfrontier Conservation Areas’ (TFCAs): large contiguous spaces that are principally aimed at conserving biological diversity across national boundaries. In line with...