Mathematics is a highly specialized domain with its own unique set of challenges. Despite this, there has been relatively little research on natural language processing for mathematical texts, and there are few mathematical language resources aimed at NLP. In this paper, we aim to provide annotated corpora that can be used to study the language of mathematics in different contexts, ranging from fundamental concepts found in textbooks to advanced research mathematics. We preprocess the corpora with a neural parsing model and some manual intervention to provide part-of-speech tags, lemmas, and dependency trees. In total, we provide 182397 sentences across three corpora. We then aim to test and evaluate several noteworthy natural language processing models using these corpora, to show how well they can adapt to the domain of mathematics and provide useful tools for exploring mathematical language. We evaluate several neural and symbolic models against benchmarks that we extract from the corpus metadata to show that terminology extraction and definition extraction do not easily generalize to mathematics, and that additional work is needed to achieve good performance on these metrics. Finally, we provide a learning assistant that grants access to the content of these corpora in a context-sensitive manner, utilizing text search and entity linking. Though our corpora and benchmarks provide useful metrics for evaluating mathematical language processing, further work is necessary to adapt models to mathematics in order to provide more effective learning assistants and apply NLP methods to different mathematical domains.

This paper presents a category theoretic ontology of Carnatic music. Our goals here are twofold. First, we will demonstrate the power and flexibility of conceptual modeling techniques based on a branch of mathematics called category theory (CT), using the structure of Carnatic music as an example. Second, we describe a platform for collaboration and research sharing in this area. The construction of this platform uses formal methods of CT (colimits) to merge our Carnatic ontology with a generic model of music information retrieval tasks. The latter model allows us to integrate multiple analytical methods, such as hidden Markov models, machine learning algorithms, and other data mining techniques like clustering, bagging, etc., in the analysis of a variety of different musical features. Furthermore, the framework facilitates the storage of musical performances based on the proposed ontology, making them available for additional analysis and integration. The proposed framework is extensible, allowing future work in the area of ra̅ga recognition to build on our results, thereby facilitating collaborative research. Generally speaking, the methods presented here are intended as an exemplar for designing collaborative frameworks supporting reproducibility of computational analysis and simulation.

In this paper, we make the case that ICT projects in the developed and developing world often lead to partial or total failures due to the incomplete assessment of the problem being solved and the metrics used to evaluate solutions. While in the developed world the success of ICT solutions are often determined by the market, with available infrastructure and market mechanisms, in the developing world this ecosystem does not exist thus requiring an understanding of the ecosystem in which ICT solutions are to be applied. Using literature from the design space, and experiences in ICT for development, we elaborate the dimensions of design such as incorporation of stakeholders, incentive structures, and design participation that are critical to successful deployment. We examine some successes and failures in product/solution development in the ICT area to identify the dimensions of good design incorporated by these products and services. With the perspective that ICT for sustainable development issues are ill-structured and "wicked problems" that have to incorporate all the defined dimensions of design, we propose a model of product and service identification and development that is based on insights from asynchronous computational agent problem solving. We claim that new methods such as the one proposed need to be identified, developed and tested for their effectiveness in the development of products and services that satisfy the needs of human development

In this paper, we continue the dialog started by Roth [19] between economics and engineering in the context of design of markets. We take the position that markets and engineered artifacts are thee the products of a social process of design formulation. Our perspective is that designing of markets and artifacts follow the same kind of problem formulation and solution testing process. Further, we show through two case studies, that the design of engineered artifacts and markets are often interdependent. In light of their similarities, methodologies for modeling and testing using theoretical, analytical, computation and physical models in engineering can inform the development of methods for testing in the design of markets. We also illustrate by example devising of a test and results of its execution thorough the use of a simple computational model with the required salient features of an electric power market. We conclude by summarizing the similarities between the designing of markets and artifacts and call for a continued dialogue between engineers and economists.

Dimensional analysis, traditionally used in physics and engineering to identify quantitative relationships, has recently been applied to qualitative reasoning of physical systems. We illustrate some problems of this approach. In the light of this, we reexamine the fundamentals of dimensional analysis in order to more precisely characterize its scope and limitations as a tool in qualitative reasoning. We also explore its relationship to state equation representations of physical systems. In particular, we describe its value in providing a set of constraints to reduce the ambiguity that bedevils qualitative reasoning schemes. We argue that dimensional analysis should not be seen as a substitute for knowledge about the physics but rather a supplement to other sources of knowledge.

The Engineering Design Research Center (EDRC) promotes the establishment and dissemination of a scientific basis for design based on an interdisciplinary approach to researrh and education. The Center's vision is that a scientific framework for design can exploit rapid advances in computer and communications technologies to serve the competitive need for reduced product development cycles, improved quality and reliability, and lower cost. Basic notions of the product cycle underlie the Center's strategic plan, a framework of researrh thrusts leading from barriers in design science to goals and vision. As an NSF Engineering Research Center, EDRC conducts cross-educational and industrial programs in parallel with research