Learning power and language expressiveness

The topic of the present work is to study the relationship between the power of the learning algorithms on the one hand, and the expressive power of the logical language which is used to represent the problems to be learned on the other hand. The central question is whether enriching the language results in more learning power. In order to make the question relevant and nontrivial, it is required that both texts (sequences of data) and hypotheses (guesses) be translatable from the “rich” language into the “poor” one. The issue is considered for several logical languages suitable to describe structures whose domain is the set of natural numbers. It is shown that enriching the language does not give any advantage for those languages which define a monadic second-order language being decidable in the following sense: there is a fixed interpretation in the structure of natural numbers such that the set of sentences of this extended language true in that structure is decidable. But enriching the original language even by only one constant gives an advantage if this language contains a binary function symbol (which will be interpreted as addition). Furthermore, it is shown that behaviourally correct learning has exactly the same power as learning in the limit for those languages which define a monadic second-order language with the property given above, but has more power in case of languages containing a binary function symbol. Adding the natural requirement that the set of all structures to be learned is recursively enumerable, it is shown that it pays o6 to enrich the language of arithmetics for both finite learning and learning in the limit, but it does not pay off to enrich the language for behaviourally correct learning.

Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types

Type unions, pointer variables and function pointers are a long standing source of subtle security bugs in C program code. Their use can lead to hard-to-diagnose crashes or exploitable vulnerabilities that allow an attacker to attain privileged access over classified data. This paper describes an automatable framework for detecting such weaknesses in C programs statically, where possible, and for generating assertions that will detect them dynamically, in other cases. Exclusively based on analysis of the source code, it identifies required assertions using a type inference system supported by a custom made symbol table. In our preliminary findings, our type system was able to infer the correct type of unions in different scopes, without manual code annotations or rewriting. Whenever an evaluation is not possible or is difficult to resolve, appropriate runtime assertions are formed and inserted into the source code. The approach is demonstrated via a prototype C analysis tool.

Simulated cataract and low contrast stimuli impair cognitive performance in older adults : implications for neuropsychological assessment and everyday function

Objective: To investigate how age-related declines in vision (particularly contrast sensitivity), simulated using cataract-goggles and low-contrast stimuli, influence the accuracy and speed of cognitive test performance in older adults. An additional aim was to investigate whether declines in vision differentially affect secondary more than primary memory. Method: Using a fully within-subjects design, 50 older drivers aged 66-87 years completed two tests of cognitive performance - letter matching (perceptual speed) and symbol recall (short-term memory) - under different viewing conditions that degraded visual input (low-contrast stimuli, cataract-goggles, and low-contrast stimuli combined with cataract-goggles, compared with normal viewing). However, presentation time was also manipulated for letter matching. Visual function, as measured using standard charts, was taken into account in statistical analyses. Results: Accuracy and speed for cognitive tasks were significantly impaired when visual input was degraded. Furthermore, cognitive performance was positively associated with contrast sensitivity. Presentation time did not influence cognitive performance, and visual gradation did not differentially influence primary and secondary memory. Conclusion: Age-related declines in visual function can impact on the accuracy and speed of cognitive performance, and therefore the cognitive abilities of older adults may be underestimated in neuropsychological testing. It is thus critical that visual function be assessed prior to testing, and that stimuli be adapted to older adults' sensory capabilities (e.g., by maximising stimuli contrast).

Simulated visual impairment leads to cognitive slowing in older adults

PURPOSE: To investigate the impact of different levels of simulated visual impairment on the cognitive test performance of older adults and to compare this with previous findings in younger adults. METHODS.: Cognitive performance was assessed in 30 visually normal, community-dwelling older adults (mean = 70.2 ± 3.9 years). Four standard cognitive tests were used including the Digit Symbol Substitution Test, Trail Making Tests A and B, and the Stroop Color Word Test under three visual conditions: normal baseline vision and two levels of cataract simulating filters (Vistech), which were administered in a random order. Distance high-contrast visual acuity and Pelli-Robson letter contrast sensitivity were also assessed for all three visual conditions. RESULTS.: Simulated cataract significantly impaired performance across all cognitive test performance measures. In addition, the impact of simulated cataract was significantly greater in this older cohort than in a younger cohort previously investigated. Individual differences in contrast sensitivity better predicted cognitive test performance than did visual acuity. CONCLUSIONS.: Visual impairment can lead to slowing of cognitive performance in older adults; these effects are greater than those observed in younger participants. This has important implications for neuropsychological testing of older populations who have a high prevalence of cataract.

The use of Twitter hashtags in the formation of ad hoc publics

As the use of Twitter has become more commonplace throughout many nations, its role in political discussion has also increased. This has been evident in contexts ranging from general political discussion through local, state, and national elections (such as in the 2010 Australian elections) to protests and other activist mobilisation (for example in the current uprisings in Tunisia, Egypt, and Yemen, as well as in the controversy around Wikileaks). Research into the use of Twitter in such political contexts has also developed rapidly, aided by substantial advancements in quantitative and qualitative methodologies for capturing, processing, analysing, and visualising Twitter updates by large groups of users. Recent work has especially highlighted the role of the Twitter hashtag – a short keyword, prefixed with the hash symbol ‘#’ – as a means of coordinating a distributed discussion between more or less large groups of users, who do not need to be connected through existing ‘follower’ networks. Twitter hashtags – such as ‘#ausvotes’ for the 2010 Australian elections, ‘#londonriots’ for the coordination of information and political debates around the recent unrest in London, or ‘#wikileaks’ for the controversy around Wikileaks thus aid the formation of ad hoc publics around specific themes and topics. They emerge from within the Twitter community – sometimes as a result of pre-planning or quickly reached consensus, sometimes through protracted debate about what the appropriate hashtag for an event or topic should be (which may also lead to the formation of competing publics using different hashtags). Drawing on innovative methodologies for the study of Twitter content, this paper examines the use of hashtags in political debate in the context of a number of major case studies.

The visual arts: ways of seeing

In this chapter, Felicity McArdle provides a framework for planning,implementing and assessing quality experiences in the visual arts. She describes the importance of embedding Indigenous perspectives and knowledge in the curriculum and how to a build a repertoire of resources and practical ideas to assist children to become eff ective communicators through the use of symbol systems for meaning-making.

From liberation to appropriation : corsets and eroticism in Australian film

The corset, with its laces and stays, appears to the modern eyes little more than a stylish torture device. However, the corset enjoyed a reputation among the most fashionable women of the nineteenth century. Since small waists were the primary measure of corporeal beauty, corsets were nearly universal among Western women of the middle class upwards. Wearing a corset was also a marker of decency; only lower classes and women of dubious reputation did not wear corsets. From instrument of torture and symbol of submission to its appropriation by women as a marker of sexual liberation, the corset has gone under a sartorial and symbolic transformation remaining the most erotic element of women’s dress. This paper discusses the corset in two Australian films, Picnic at Hanging Rock (Peter Weir, 1974) and Moulin Rouge (Baz Luhrman, 2001), arguing that the corset provides a counterpoint in each film signifying the tension between beauty and respectability, on the one hand, and desire and transgression, on the other. We argue that the corset is the primary prop around which the narrative revolves as well as the key signifying hook for the audience. The fact that erotic motifs are so rare in Australian films makes the centrality of the corset in these films even more powerful as a discursive trope

Studying Mobile Media : Cultural Technologies, Mobile Communication, and the iPhone

The iPhone represents an important moment in both the short history of mobile media and the long history of cultural technologies. Like the Walkman of the 1980s, it marks a juncture in which notions about identity, individualism, lifestyle and sociality require rearticulation. This book explores not only the iPhone’s particular characteristics, uses and "affects," but also how the "iPhone moment" functions as a barometer for broader patterns of change. In the iPhone moment, this study considers the convergent trajectories in the evolution of digital and mobile culture, and their implications for future scholarship. Through the lens of the iPhone—as a symbol, culture and a set of material practices around contemporary convergent mobile media—the essays collected here explore the most productive theoretical and methodological approaches for grasping media practice, consumer culture and networked communication in the twenty-first century.

Studying the mobile : locating the field

Book Description: The iPhone represents an important moment in both the short history of mobile media and the long history of cultural technologies. Like the Walkman of the 1980s, it marks a juncture in which notions about identity, individualism, lifestyle and sociality require rearticulation. this book explores not only the iPhone’s particular characteristics, uses and "affects," but also how the "iPhone moment" functions as a barometer for broader patterns of change. In the iPhone moment, this study considers the convergent trajectories in the evolution of digital and mobile culture, and their implications for future scholarship. Through the lens of the iPhone—as a symbol, culture and a set of material practices around contemporary convergent mobile media—the essays collected here explore the most productive theoretical and methodological approaches for grasping media practice, consumer culture and networked communication in the twenty-first century.

'The comfort lies in all the things you can do': the Australian drive-in: cinema of distraction

Contrary to the claims of some film historians, the drive-in was not a uniquely American invention. Australian drive-in cinemas were, at least in the 1950s and 1960s, distinguishable from their American counterparts by virtue of the profusion of additional amusements (or distractions) they offered alongside film-viewing. This article traces the history of Australian drive-ins as ‘entertainment centres’ and ‘high temples of modernity’. It argues that the drive-in can usefully be understood as a mid-point between the domestic and public spheres, and a powerful symbol of post-WWII Australia, signifying prosperity, gathering consumer confidence and, in metropolitan areas, marking the path of urban development through its concentration in new, outer suburban areas.

Space, place and power : the spatial turn in literacy research

Place matters to literacy because the meanings of our language and actions are always materially and socially placed in the world (Scollon & Scollon, 2003). We cannot interpret signs, whether an icon, symbol, gesture, word, or action, without taking into account their associations with other meanings and objects in places. This chapter maps an emergent strand of literacy research that foregrounds place and space as constitutive, rather than a backdrop for the real action. Space and place are seen as relational and dynamic, not as fixed and unchanging. Space and place are socially produced, and hence, can be contested, re-imagined and re-made. In bringing space and place into the frame of literacy studies we see a subtle shift – a rebalancing of the semiotic with the materiality of lived, embodied, and situated experience. ...

Jabberwocky : the complexities of mathematical English

Mathematical English is a unique language based on ordinary English, with the addition of highly stylised formal symbol systems. Some words have a redefined status. Mathematical English has its own lexicon, syntax, semantics and literature. It is more difficult to understand than ordinary English. Ability in basic interpersonal communication does not necessarily result in proficiency in the use of mathematical English. The complex nature of mathematical English may impact upon the ability of students to succeed in mathematical and numeracy assessment. This article presents a review of the literature about the complexities of mathematical English. It includes examples of more than fifty language features that have been shown to add to the challenge of interpreting mathematical texts. Awareness of the complexities of mathematical English is an essential skill needed by mathematics teachers when teaching and when designing assessment tasks.

The effects of truth in the hinterlands and abused [in Portugese] Os efeitos de verdade em os sertões e abusado

O presente livro propõe-se a refletir sobre a construção dos efeitos de verdade em dois modos de produção de ordem discursiva: Os sertões, romance de Euclides da Cunha, e Abusado: o dono do morro Dona Marta, romance-reportagem do jornalista Caco Barcellos. A autora apresenta a fragilidade do discurso jornalístico em legitimar-se como o discurso do verdadeiro, em dura oposição ao discurso da literatura, lugar da ficção, expressão dos sentimentos, imaginário, da não-verdade. [Portugese]

Engaging complexity through collaborative brand design

In this research we used inductive reasoning through design to understand how stakeholders in the Waterfall Way (New South Wales, Australia) perceive the relationships between themselves and the place they live in. This paper describes a collaborative design methodology used to release information about local identities, which guided the regional brand exercise. The methodology is explicit about the uncertainties and complexities of the design process and of its reception system. As such, it aims to engage with local stakeholders and experts in order to help elicit tacit knowledge and identify system patterns and trends that would possibly not be visible if a top-down expert-based process was used. Through collective design, local people were drawn together in search for a symbol to represent the meaning attached to their places/region in relation to sustainable tourism activity.

Towards more systematic Twitter analysis : metrics for tweeting activities

Twitter is an important and influential social media platform, but much research into its uses remains centred around isolated cases – e.g. of events in political communication, crisis communication, or popular culture, often coordinated by shared hashtags (brief keywords, prefixed with the symbol ‘#’). In particular, a lack of standard metrics for comparing communicative patterns across cases prevents researchers from developing a more comprehensive perspective on the diverse, sometimes crucial roles which hashtags play in Twitter-based communication. We address this problem by outlining a catalogue of widely applicable, standardised metrics for analysing Twitter-based communication, with particular focus on hashtagged exchanges. We also point to potential uses for such metrics, presenting an indication of what broader comparisons of diverse cases can achieve.