The Language of Music and Math: An Investigation of Cross-Domain Effects of Structural Priming

There is an ongoing debate as to whether the processing of complex systems (such as language, mathematics, and music) is domain-general or domain-specific. Language, math, and music all involve cognitive systems that organize discrete elements in a hierarchical manner. If processing is domain-general, then the structures of these systems would be processed using shared mental mechanisms. Previous studies suggest that language and math share mental mechanisms for building hierarchically structured representations in real time. This thesis explores the possibility that these mental mechanisms are also shared by the cognitive systems for processing music. An experiment was designed to reveal whether the structures of musical phrases and mathematical expressions can prime equivalent structures in English sentences. Participants listened to musical recordings and solved mathematical equations, after which they completed target sentence fragments that were structurally ambiguous with regard to relative clause attachment. Findings from this study could potentially impact the extent to which human language processing is seen as domain-general or domain-specific. If humans process the structures of musical phrases and math equations similarly to that of linguistic expressions, this would suggest that these domains share mental mechanisms

Using Jupyter for reproducible scientific workflows

Funding: This work was financially supported by the OpenDreamKit Horizon 2020 European Research Infrastructure project (676541) and the EPSRC Programme grant on Skyrmionics (EP/N032128/1).Literate computing has emerged as an important tool for computational studies and open science, with growing folklore of best practices. In this work, we report two case studies - one in computational magnetism and another in computational mathematics - where a dedicated software was exposed into the Jupyter environment. This enabled interactive and batch computational exploration of data, simulations, data analysis, and workflow documentation and outcome in Jupyter notebooks. In the first study, Ubermag drives existing computational micromagnetics software through a domain-specific language embedded in Python. In the second study, a dedicated Jupyter kernel interfaces with the GAP system for computational discrete algebra and its dedicated programming language. In light of these case studies, we discuss the benefits of this approach, including progress towards more reproducible and re-usable research results and outputs, notably through the use of infrastructure such as JupyterHub and Binder.PostprintPeer reviewe

A Path to Alignment: Connecting K-12 and Higher Education via the Common Core and the Degree Qualifications Profile

The Common Core State Standards (CCSS), which aim to assure competency in English/language arts and mathematics through the K-12 curriculum, define necessary but not sufficient preparedness for success in college. The Degree Qualifications Profile (DQP), which describes what a college degree should signify, regardless of major, offers useful but not sufficient guidance to high school students preparing for college study. A coordinated strategy to prepare students to succeed in college would align these two undertakings and thus bridge an unfortunate and harmful cultural chasm between the K-12 world and that of higher education. Chasms call for bridges, and the bridge proposed by this white paper could create a vital thoroughfare. The white paper begins with a description of the CCSS and an assessment of their significance. A following analysis then explains why the CCSS, while necessary, are not sufficient as a platform for college success. A corresponding explanation of the DQP clarifies the prompts that led to its development, describes its structure, and offers some guidance for interpreting the outcomes that it defines. Again, a following analysis considers the potential of the DQP and the limitations that must be addressed if that potential is to be more fully realized. The heart of the white paper lies in sections 5 and 6, which provide a crosswalk between the CCSS and the DQP. These sections show how alignments and differences between the two may point to a comprehensive preparedness strategy. They also offer a proposal for a multifaceted strategy to realize the potential synergy of the CCSS and the DQP for the benefit of high school and college educators and their students -- and the nation

An Introduction to Ontology

Analytical philosophy of the last one hundred years has been heavily influenced by a doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as conceived by Frege and Russell. More specifically, it is a doctrine to the effect that the key to the ontological structure of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of first-order logic, where ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects), the relation between these two kinds of entity being revealed in the predicate-argument structure of atomic formulas in first-order logic

Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015)

The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We are both interested in discovering how already known domains such as graph processing or machine learning can be best supported by DSLs, but also in exploring new domains that could be targeted by DSLs. More generally, we are interested in building a community that can drive forward the development of modern DSLs. These informal post-proceedings contain the submitted talk abstracts to the 3rd DSLDI workshop (DSLDI'15), and a summary of the panel discussion on Language Composition