Supertropical $\operatorname{SL}_n$

Peer reviewed

‘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

Proėkt doma dli︠a︡ pereselelnt︠s︡ev

Digital image

Proėkt syrovarnii

Digital image

Measurement of the kT Distribution of Particles in Jets Produced in pp̅ Collisions at √s=1.96 TeV

We present a measurement of the transverse momentum with respect to the jet axis (kt) of particles in jets produced in pp̅ collisions at √s=1.96  TeV. Results are obtained for charged particles in a cone of 0.5 radians around the jet axis in events with dijet invariant masses between 66 and 737  GeV/c2. The experimental data are compared to theoretical predictions obtained for fragmentation partons within the framework of resummed perturbative QCD using the modified leading log and next-to-modified leading log approximations. The comparison shows that trends in data are successfully described by the theoretical predictions, indicating that the perturbative QCD stage of jet fragmentation is dominant in shaping basic jet characteristics.

Measurement of the kT Distribution of Particles in Jets Produced in pp̅ Collisions at √s=1.96 TeV

We present a measurement of the transverse momentum with respect to the jet axis ($k_{T}$) of particles in jets produced in $p\bar p$ collisions at $\sqrt{s}=1.96$ TeV. Results are obtained for charged particles within a cone of opening angle 0.5 radians around the jet axis in events with dijet invariant masses between 66 and 737 GeV/c$^{2}$. The experimental data are compared to theoretical predictions obtained for fragmentation partons within the framework of resummed perturbative QCD using the modified leading log and next-to-modified leading log approximations. The comparison shows that trends in data are successfully described by the theoretical predictions, indicating that the perturbative QCD stage of jet fragmentation is dominant in shaping basic jet characteristics.

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.

Comportamento estrutural de ligações tubulares T e KT.

Os perfis tubulares sem costura são largamente utilizados em diversos países, porém, no Brasil, o uso desses perfis era bastante limitado, restringindo-se praticamente a coberturas espaciais. A situação do mercado brasileiro começou a se alterar em razão da maior oferta desses perfis proporcionada pelo início da produção pela V&M do BRASIL no ano de 2000, sendo assim diante da novidade da tecnologia, impõe-se a necessidade de divulgação e implementação do uso desse tipo de perfil, além de uma ampliação do número de trabalhos de pesquisa para melhor compreensão de seu comportamento estrutural. O presente trabalho apresenta uma análise paramétrica de ligações tipo KT e T, através da determinação da resistência última da ligação obtida pelo critério de deformação limite proposto por diversos pesquisadores, comparando os resultados com as prescrições do Eurocode 3, do Projeto de Norma Brasileira e do CIDECT. Adicionalmente procedeu-se na comparação do comportamento numérico global do nó de uma treliça, com a análise do comportamento numérico do nó isolado. As ligações objeto deste estudo são compostas por perfil tubular retangular (RHS) no banzo e perfis circulares (CHS) nas diagonais e montantes. Os modelos em elementos finitos, foram desenvolvidos no programa Ansys 12.0, as não-linearidades físicas e geométricas foram incorporadas aos modelos, a fim de se mobilizar totalmente a capacidade resistente da ligação. Concluiu-se entre outras coisas que. para o nó da treliça em estudo neste trabalho, o carregamento de projeto máximo permitido através do dimensionamento pelas normas fica a favor da segurança quando comparado com o critério de deformação limite.

Ultrafast sputtered ZnO thin films with high kT for acousticwave device applications

The fabrication of high frequency acoustic wave devices requires thedevelopment of thin films of piezoelectric materials with improved morphologicaland electro-acoustical properties. In particular, the crystalline orientationof the films, surface morphology, film stress and electrical resistivity are keyissues for the piezoelectric response. In the work reported here, ZnO thinfilms were deposited at high rates (>50 nm/min) using a novel process knownas the High Target Utilisation Sputtering (HiTUS). The films deposited possessexcellent crystallographic orientation, high resistivity (>109ωm), and exhibit surface roughness and film stress one order of magnitudelower than films grown with standard magnetron sputtering. The electromechanicalcoupling coefficient of the films, kT, was precisely calculated byimplementing the resonant spectrum method, and was found to be at least 6%higher than any previously reported kT of magnetron sputtered filmsto the Authors' knowledge. The low film stress of the film is deemed as one ofthe most important factors responsible for the high k T valueobtained. © 2010 IEEE.

Math-Towers: Promoting and supporting online collaborative mathematical exploration

Math-Towers (www.math-towers.ca) is a collaborative mathematics environment for pupils in grades 7 to 9. Using a fantasy adventure game context students are presented with a mathematical challenge, given online tools for working on the problem,and provided with a messaging system by which they may exchange ideas and partial solutions. This paper presents the philosophy behind the design of Math-Towers and work with students that indicates the extent to which we have been successful in meeting our aims. The technical and social problems encountered and revisions made to address these are also described.

Math-Towers: Online Interactive Collaborative Mathematics Explorations & Problem-Solving for Students Ages 11 to 15 years (Grades 6 to 10)

Math-Towers (www.math-towers.ca) is an online resource for students in grades 6 to 10 that supports collaborative problem-solving and investigations. This paper presents the philosophical position motivating the development of Math-Towers and describes how the site presents and motivates the mathematical challenges and supports participants' exploration and collaboration.