[Context and motivation] Requirements form the foundation of software systems. The quality of the requirements influences the quality of the developed software. [Question/problem] One of the main requirement issues is inconsistency, particularly onerous when the requirements concern temporal constraints. Manual checking whether temporal requirements are consistent is tedious and error prone and...

[Context and motivation] Validating natural language requirements is an important but difficult task. Although there are techniques available for validating formalized requirements, the gap between natural language requirements and formalism is huge. [Question/problem] As part of a larger piece of work on temporal requirements consistency checking, we developed a front end to semi-automatically...

The purpose of this study is to identify the enriched zones of Cu, Mo and Re in Nowchun Mo-Cu porphyry deposit (SE Iran) based on subsurface data and using of concentration–volume (C–V) fractal model. The C-V model illustrates four and five geochemical zones based on Mo and Cu distributions respectively and there are three geochemical populations for Re. The main mineralization for Mo, Cu and R...

The production of color language is essential for grounded language generation. Color descriptions have many challenging properties: they can be vague, compositionally complex, and denotationally rich. We present an effective approach to generating color descriptions using recurrent neural networks and a Fouriertransformed color representation. Our model outperforms previous work on a condition...

Educational technology supports meaningful learning and enables the presentation of spatial and dynamic images, which portray relationships among complex concepts. The Technology-Enabled Active Learning (TEAL) Project at the Massachusetts Institute of Technology (MIT) involves media-rich software for simulation and visualization in freshman physics carried out in a specially redesigned classroo...