We present BRAINSUP, an extensible framework for the generation of creative sentences in which users are able to force several words to appear in the sentences and to control the generation process across several semantic dimensions, namely emotions, colors, domain relatedness and phonetic properties. We evaluate its performance on a creative sentence generation task, showing its capability of ...

Grain boundaries consisting of dislocation cores arranged in a periodic manner have well-defined structures and peculiar properties and can be potentially applied as conducting circuits, plasmon reflectors and phase retarders. Pentagon-heptagon (5-7) pairs or pentagon-octagon-pentagon (5-8-5) carbon rings are known to exist in graphene grain boundaries. However, there are few systematic experim...

The Curry-Howard isomorphism is a correspondence between logical formulas and types. The central idea is that each type τ corresponds to a logical formula φ, and that a proof that some expression e is well-formed with respect to type τ , (i.e., e : τ) corresponds to a proof that the logical formula φ is logically valid. Many variations of classical logic have been developed, especially in the l...

We predict the decadal change in position of three American Samoa mangroves from analysis of a time series of remotely sensed imagery, a geographic information system, tide gauge data, and projections for change in sea-level relative to the mangrove surface. Accurate predictions of changes to coastal ecosystem boundaries, including in response to projected relative sea-level rise, enable advanc...

Low-lying coastal regions and their populations are at risk during storm surge events and high freshwater discharges from upriver. An integrated storm surge and flood inundation modeling system was used to simulate storm surge and inundation in the Tsengwen River basin and the adjacent coastal area in southern Taiwan. A three-dimensional hydrodynamic model with an unstructured grid was used, wh...

Understanding the evolution of diversity and the resulting systematics in marine systems is confounded by the lack of clear boundaries in oceanic habitats, especially for highly mobile species like marine mammals. Dolphin populations and sibling species often show differentiation between coastal and offshore habitats, similar to the pelagic/littoral or benthic differentiation seen for some spec...

This work is concerned with a design study by an interdisciplinary team on visualizing a 10-year record of seasonal and inter-annual changes in frontal position (advance/retreat) of nearly 200 marine terminating glaciers in Greenland. Whilst the spatiotemporal nature of the raw data presents a challenge to develop a compact and intuitive visual design, the focus on coastal boundaries provides a...

Shoreline mapping and shoreline change detection are critical for safe navigation, coastal resource management, coastal environmental protection, and sustainable coastal development and planning. This paper reports the results of IKONOS geopositioning accuracy improvement, showing that a 1-2 meter accuracy can be achieved from 1mresolution IKONOS Geo stereo images. The experiment indicated that...

An open boundary condition for application in numerical coastal models. The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Open boundaries (OBs) are usually unavoidable in numerical coastal circulation simulations. At OBs, appropriate open boundary conditions (OBCs) are required and a good OBC should be able to let outgoing wav...