169 resultados para symbolic bisimulation


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper describes ongoing work on a system using spatial descriptions to construct abstract maps that can be used for goal-directed exploration in an unfamiliar office environment. Abstract maps contain membership, connectivity, and spatial layout information extracted from symbolic spatial information. In goal-directed exploration, the robot would then link this information with observed symbolic information and its grounded world representation. We demonstrate the ability of the system to extract and represent membership, connectivity, and spatial layout information from spatial descriptions of an office environment. In the planned study, the robot will navigate to the goal location using the abstract map to inform the best direction to explore in.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents a symbolic navigation system that uses spatial language descriptions to inform goal-directed exploration in unfamiliar office environments. An abstract map is created from a collection of natural language phrases describing the spatial layout of the environment. The spatial representation in the abstract map is controlled by a constraint based interpretation of each natural language phrase. In goal-directed exploration of an unseen office environment, the robot links the information in the abstract map to observed symbolic information and its grounded world representation. This paper demonstrates the ability of the system, in both simulated and real-world trials, to efficiently find target rooms in environments that it has never been to previously. In three unexplored environments, it is shown that on average the system travels only 8.42% further than the optimal path when using only natural language phrases to complete navigation tasks.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In the opening pages of Selling Sex we are introduced to 'Joy', a statue of a young female sex worker which stood in East Sydney for eighteen months during 1995- 1997. Following complaints by local residents, the statue was removed from public view and returned to its owner. Evidently, Joy was considered a reminder of the community's 'bad old days', when it was better known for prostitution than restaurants. In a nation in which almost every sizable community has proudly erected monuments to military men, the removal of Joy reveals much about labour and gender relations in Australia. For Frances, the removal of Joy is symbolic, our historical treatment of sex workers having parallels with our treatment of the convicts. This work sets out to give these women (male prostitutes do not figure in this history) a voice and break with the stereotypes of 'abandoned whores' or 'sad victims'. It also sets out to place the sex industry in the broader national and international context in which it has historically operated...

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Analytical solutions of partial differential equation (PDE) models describing reactive transport phenomena in saturated porous media are often used as screening tools to provide insight into contaminant fate and transport processes. While many practical modelling scenarios involve spatially variable coefficients, such as spatially variable flow velocity, v(x), or spatially variable decay rate, k(x), most analytical models deal with constant coefficients. Here we present a framework for constructing exact solutions of PDE models of reactive transport. Our approach is relevant for advection-dominant problems, and is based on a regular perturbation technique. We present a description of the solution technique for a range of one-dimensional scenarios involving constant and variable coefficients, and we show that the solutions compare well with numerical approximations. Our general approach applies to a range of initial conditions and various forms of v(x) and k(x). Instead of simply documenting specific solutions for particular cases, we present a symbolic worksheet, as supplementary material, which enables the solution to be evaluated for different choices of the initial condition, v(x) and k(x). We also discuss how the technique generalizes to apply to models of coupled multispecies reactive transport as well as higher dimensional problems.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We report on ongoing research to develop a design theory for classes of information systems that allow for work practices that exhibit a minimal harmful impact on the natural environment. We call such information systems Green IS. In this paper we describe the building blocks of our Green IS design theory, which develops prescriptions for information systems that allow for: (1) belief formation, action formation and outcome measurement relating to (2) environmentally sustainable work practices and environmentally sustainable decisions on (3) a macro or micro level. For each element, we specify structural features, symbolic expressions, user abilities and goals required for the affordances to emerge. We also provide a set of testable propositions derived from our design theory and declare two principles of implementation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The influence of professional identity and self-interest on the educational and career choices of the emerging Information and Communications Technology (ICT) workforce is considered in this thesis. Interviews were conducted with 52 ICT students from four Australian tertiary education institutions and the findings indicated that professional identity and self-interest should be considered together, rather than separately, to understand career decisions in relation to the ICT industry. Professional identity is associated with the accrual of symbolic resources including status and esteem, mastery, sense of belonging and attachment. By contrast, self-interest is associated with the perceived likelihood of the accrual of material (economic and social) resources.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This research examined the implementation of clinical information system technology in a large Saudi Arabian health care organisation. The research was underpinned by symbolic interactionism and grounded theory methods informed data collection and analysis. Observations, a review of policy documents and 38 interviews with registered nurses produced in-depth data. Analysis generated three abstracted concepts that explained how imported technology increased practice and health care complexity rather than enhance quality patient care. The core category, Disseminating Change, also depicted a hierarchical and patriarchal culture that shaped the implementation process at the levels of government, organisation and the individual.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Means are the Ends: The Command Issue (2014) was an exhibition of sculptural works exhibited at LEVEL Artist-Run Initiative, Brisbane. The exhibition playfully critiqued the portrayal of women’s desire in cultural production and symbolic discourse through a focus on fetish sensibilities. Developed during a summer residency, the artworks looked to the rituals, materials and iconographies associated with certain divergent subcultures. Employing strategies of sculptural intervention and appropriation, the exhibition consisted of found objects, which had been deconstructed, altered and intervened; a dildo became a faux drawing machine, a butt-plug a makeshift horn. Reconstructing these visual codes through the formal and theoretical language of contemporary sculptural practice, Means are the Ends: The Command Issue spoke to the problematic, humorous and often paradoxical relationship between depictions of the feminine and women’s desire and agency.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Feature films remain critical flagships to any national film industry. Australian feature films can be highly commercial endeavours that also perform symbolic functions by embodying the national imaginary in big screen based sound and imagery. They conduct a dialogue with domestic audiences as well as showcase key aspects of Australia in the global film festival circuit. As the pre-eminent filmmaking form, feature films also serve as important launchpads for the careers of many Australian writers, directors, actors and technical crew. In the wake of over a decade of diminished share of local box office obtained by Australian feature films, Australian Feature Films and Distribution: Industry or cottage industry, examines issues in the production sector affecting the performance of Australian feature films and some responses by the central funding and support screen agency, Screen Australia.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study extends important insights into the motivation behind the Fairtrade impact disclosures the Fairtrade licensors, Fairtrade Labelling Organization International (FLO), and some of its major licensees. Reflecting on Bourdieu's institutional sociology and using thematic analysis method, this study reveals that Fairtrade impact disclosures are used to mediate the tension, challenges, and contradictions persist in the field. The findings provide important insights about the legitimizing strategy of the dominant Fairtrade organizations. Such insights are imperative for the regulatory bodies, social activists and academics working for the development of the accountability practices within the Fairtrade field.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The idea of ‘wicked’ problems has made a valuable contribution to recognising the complexity and challenges of contemporary planning. However, some wicked policy problems are further complicated by a significant moral, psychological, religious or cultural dimension. This is particularly the case for problems that possess strong elements of abjection and symbolic pollution and high degrees of psychosocial sensitivity. Because this affects the way these problems are framed and discussed they are also characterised by high levels of verbal proscription. As a result, they are not discussed in the rational and emotion-free way that conventional planning demands and can become obscured or inadequately acknowledged in planning processes. This further contributes to their wickedness and intractability. Through paradigmatic urban planning examples, we argue that placing their unspeakable nature at the forefront of enquiry will enable planners to advocate for a more contextually and culturally situated approach to planning, which accommodates both emotional and embodied talk alongside more technical policy contributions. Re-imagining wicked problems in this way has the potential to enhance policy and plan-making and to disrupt norms, expose their contingency, and open new ways of planning for both the unspeakable and the merely wicked.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper by Carl Grodach demonstrates the careful unravelling of complexity, diversity, contestation and contradictions involved in the reconstruction of symbolic urban spaces after violent conflict, and the allied processes of cultural reinterpretation, political reconfiguration and material revaluation which accompany it. The paper analyses the reconstruction and redevelopment of the 16th-century historic centre of Mostar, Bosnia-Herzegovina, following the Bosnian Wars of 1992–1995. Reconstruction efforts centre around Stari Most, the 16th-century Ottoman bridge destroyed by Bosnian Croat military in 1993. In Mostar, both international and local organizations are in the process of reinterpreting Bosnia’s legacy of Ottoman city spaces. This research and analysis illuminates how such spaces can be central to contemporary projects to redefine group identities and conceptions of place. It provides insight into the ways various groups are attempting to reshape outside perceptions of the city—and Bosnia’s ethnic conflict—to articulate a new definition of local identity and ethnic relations and to remake a stable tourist economy through Mostar’s urban spaces.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper shows that by using only symbolic language phrases, a mobile robot can purposefully navigate to specified rooms in previously unexplored environments. The robot intelligently organises a symbolic language description of the unseen environment and “imagines” a representative map, called the abstract map. The abstract map is an internal representation of the topological structure and spatial layout of symbolically defined locations. To perform goal-directed exploration, the abstract map creates a high-level semantic plan to reason about spaces beyond the robot’s known world. While completing the plan, the robot uses the metric guidance provided by a spatial layout, and grounded observations of door labels, to efficiently guide its navigation. The system is shown to complete exploration in unexplored spaces by travelling only 13.3% further than the optimal path.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining their properties in a range of configurations, we discovered a flaw in a common network protocol and produced a technique to improve organisations' network security against data theft.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Adult day care centers provide a means whereby frail or disabled older people can remain living at home particularly when their family care-givers engage in waged work. In Taiwan, adult day care services appear to meet the cultural needs of both older people and their families for whom filial care is vital. Little research attention has been paid to the use of day care services in Taiwan, the uptake rate of which is low. This grounded theory study explored the ways in which older people and family care-givers construct meanings around the use of day care services in Taiwan. The research methodology drew on the theoretical tenets of symbolic interactionism and methods were informed by the grounded theory. In-depth interviews with 30 participants were undertaken. Reconstructing identity in a shifting world is the core category of the study and reflects a process of reframing whereby older people came to new definitions of social responsibility and independence within the context of the day care center. The implications of the findings is that the older people, rather than seeking to be relieved of social responsibilities, worked very hard to frame and reframe a social role. Rather than letting the institutions undermine or disrupt their identity, the older people worked to actively negotiate and redefine the meaning of self. Thus, although reluctant to come to use the services at the outset, they found a way to manage their lives independently. Social roles and responsibilities as older parents were retained. This study explored the process of meaning construction of day care use and the ways in which this process entailed a reconstruction of the identities of the participants. The evidence from this study underlines the importance of recognizing and acknowledging subjectively conceived identities as work that older people undertake, when in care, to render their lives meaningful.