Supertropical Quadratic Forms II

31 pages

Supertropical Quadratic Forms II

31 pages

Supertropical $\operatorname{SL}_n$

Peer reviewed

Quadratic and Symmetric Bilinear Forms on Modules with Unique Base Over a Semiring

27 pages

Poster abstract : Energy-efficient rate adaptive MAC Protocol (RA-MAC) for long-lived sensor networks

This paper introduces an energy-efficient Rate Adaptive MAC (RA-MAC) protocol for long-lived Wireless Sensor Networks (WSN). Previous research shows that the dynamic and lossy nature of wireless communication is one of the major challenges to reliable data delivery in a WSN. RA-MAC achieves high link reliability in such situations by dynamically trading off radio bit rate for signal processing gain. This extra gain reduces the packet loss rate which results in lower energy expenditure by reducing the number of retransmissions. RA-MAC selects the optimal data rate based on channel conditions with the aim of minimizing energy consumption. We have implemented RA-MAC in TinyOS on an off-the-shelf sensor platform (TinyNode), and evaluated its performance by comparing RA-MAC with state-ofthe- art WSN MAC protocol (SCP-MAC) by experiments.

Validation of the Drinking Refusal Self-Efficacy Questionnaire - Revised in an Adolescent Sample (DRSEQ-RA)

Adolescent drinking is a significant issue yet valid psychometric tools designed for this group are scarce. The Drinking Refusal Self-Efficacy Questionnaire—Revised Adolescent Version (DRSEQ-RA) is designed to assess an individual's belief in their ability to resist drinking alcohol. The original DRSEQ-R consists of three factors reflecting social pressure refusal self-efficacy, opportunistic refusal self-efficacy and emotional relief refusal self-efficacy. A large sample of 2020 adolescents aged between 12 and 19 years completed the DRSEQ and measures of alcohol consumption in small groups. Using confirmatory factor analysis, the three factor structure was confirmed. All three factors were negatively correlated with both frequency and volume of alcohol consumption. Drinkers reported lower drinking refusal self-efficacy than non-drinkers. Taken together, these results suggest that the adolescent version of the Drinking Refusal Self-Efficacy Questionnaire (DRSEQ-RA) is a reliable and valid measure of drinking refusal self-efficacy.

‘Wanna do more math’: engaging underachieving Indigenous learners the YuMi Deadly way.

The Accelerating Indigenous Mathematics (AIM) Program offered by the YuMi Deadly Centre from QUT accelerates the mathematics learning of underperforming students in Years 8 - 10 by a) apportioning Years 2-10 Australian Curriculum: Mathematics content into three years, and b) provides a teaching approach that accelerates the mathematical learning. The philosophy of the YuMi Deadly teaching approach for mathematics is one that requires a ‘body’, ‘hand’, ‘mind’ pedagogy. This presentation will provide examples of the “‘body’, ‘hand’, ‘mind’” mathematics pedagogy. In AIM classrooms, mathematics is presented this approach is having a positive impact. Students are willing ‘to have a go’ without shame; and they develop the desire to learn and improve their numeracy.

Heb. U. (Hebrew University) - Einstein Math.

Digital image

Remembering the Peel Island Lazaret through re-imagining the Teerk Roo Ra forest

This paper discusses my current research which aims to re-member the site of the Peel Island Lazaret through re-imagining the Teerk Roo Ra forest as a series of animated artworks. Teerk Roo Ra National Park (formally known as Peel Island) is a small island in Moreton Bay, Queensland and is visible on the ferry journey from Cleveland to Stradbroke Island. The island has an intriguing history, and is the site of a former Lazaret and quarantine station. The Lazaret treated patients diagnosed with Hansen’s disease (or Leprosy), and operated between 1907 and 1959. In this paper I will discuss conceptions of the non-indigenous historical context of the Peel Island Lazaret and the notion of the liminal state (Turner,1967). Through this discussion conceptions of place from Australian cultural theorist Ross Gibson are also examined. The concept of two overlapping realms is then explored through the clues and shared stories about the people who inhabited the site. There is then an explanation of my own approach to re-member this place through re-imagining the forest that witnessed the events of the Lazaret. I then draw on theories of the uncanny from German Psychiatrist Ernst Jentsch, Austrian Neurologist Sigmund Freud and South African animation theorist Meg Rickards to argue that my experience of the forest of Teerk Roo Ra was an uncanny experience where two worlds or states of mind existed simultaneously and overlapped, causing a viscerally unsettling uncanny experience. Through an analysis of Czech Surrealist Animator Jan Švankmajer’s cinematic narrative Down to the cellar (1982), my creative work Structure #24(2011), and Australian Artist Patricia Piccinini’s cinematic artwork The Gathering (2007), I discuss the situation of the inanimate and the animate co-existing simultaneously. Using this approach I propose an understanding of the uncanny as an intellectual uncertainty as outlined by Jentsch (1906). I also develop the notion of the familiar being concealed and becoming unfamiliar through mimicry (Freud, 1919). These discussions form an introduction to my creative work Nocturne #5(2014) which re-members the forests of Teerk Roo Ra as an uncanny place primarily expressed through animation.

Zapys zemelʹnyĭ Na pravo korystovanni︠a︡ zemli︠u︡, shcho znakhoditʹsi︠a︡ v Odeskoï guberni Peryletravenʹsʹkyĭ okruzi Kantakuzenʹsʹy raʹoni pid nazvoi︠u︡ Trudovyshyĭ artilʹ Slava

Digital image

Zapys zemelʹnyĭ Na pravo korystovanni︠a︡ zemli︠u︡, shcho znakhoditʹsi︠a︡ v Odeskoï guberni Peryletravenʹsʹkyĭ okruzi Kantakuzenʹsʹy raʹoni pid nazvoi︠u︡ Trudovyshyĭ artilʹ Slava

Digital image

Discovering Math APIs by Mining Unit Tests

In today's API-rich world, programmer productivity depends heavily on the programmer's ability to discover the required APIs. In this paper, we present a technique and tool, called MATHFINDER, to discover APIs for mathematical computations by mining unit tests of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code to compute the expression by mapping its subexpressions to API method calls. For each subexpression, MATHFINDER searches for a method such that there is a mapping between method inputs and variables of the subexpression. The subexpression, when evaluated on the test inputs of the method under this mapping, should produce results that match the method output on a large number of tests. We implemented MATHFINDER as an Eclipse plugin for discovery of third-party Java APIs and performed a user study to evaluate its effectiveness. In the study, the use of MATHFINDER resulted in a 2x improvement in programmer productivity. In 96% of the subexpressions queried for in the study, MATHFINDER retrieved the desired API methods as the top-most result. The top-most pseudo-code snippet to implement the entire expression was correct in 93% of the cases. Since the number of methods and unit tests to mine could be large in practice, we also implement MATHFINDER in a MapReduce framework and evaluate its scalability and response time.

Mining Unit Tests for Discovery and Migration of Math APIs

Today's programming languages are supported by powerful third-party APIs. For a given application domain, it is common to have many competing APIs that provide similar functionality. Programmer productivity therefore depends heavily on the programmer's ability to discover suitable APIs both during an initial coding phase, as well as during software maintenance. The aim of this work is to support the discovery and migration of math APIs. Math APIs are at the heart of many application domains ranging from machine learning to scientific computations. Our approach, called MATHFINDER, combines executable specifications of mathematical computations with unit tests (operational specifications) of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code comprised of API methods to compute the expression by mining unit tests of the API methods. We present a sequential version of our unit test mining algorithm and also design a more scalable data-parallel version. We perform extensive evaluation of MATHFINDER (1) for API discovery, where math algorithms are to be implemented from scratch and (2) for API migration, where client programs utilizing a math API are to be migrated to another API. We evaluated the precision and recall of MATHFINDER on a diverse collection of math expressions, culled from algorithms used in a wide range of application areas such as control systems and structural dynamics. In a user study to evaluate the productivity gains obtained by using MATHFINDER for API discovery, the programmers who used MATHFINDER finished their programming tasks twice as fast as their counterparts who used the usual techniques like web and code search, IDE code completion, and manual inspection of library documentation. For the problem of API migration, as a case study, we used MATHFINDER to migrate Weka, a popular machine learning library. Overall, our evaluation shows that MATHFINDER is easy to use, provides highly precise results across several math APIs and application domains even with a small number of unit tests per method, and scales to large collections of unit tests.