24 resultados para Satisfiability (SAT)

em Queensland University of Technology - ePrints Archive


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trivium is a stream cipher candidate of the eStream project. It has successfully moved into phase three of the selection process under the hardware category. No attacks faster than the exhaustive search have so far been reported on Trivium. Bivium-A and Bivium-B are simplified versions of Trivium that are built on the same design principles but with two registers. The simplified design is useful in investigating Trivium type ciphers with a reduced complexity and provides insight into effective attacks which could be extended to Trivium. This paper focuses on an algebraic analysis which uses the boolean satisfiability problem in propositional logic. For reduced variants of the cipher, this analysis recovers the internal state with a minimal amount of keystream observations.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In Step was a wearable artwork consisting of a pair of embroidered foot bandages and an actuator ‘cushion’ embedded with 15 electromechanical actuator pistons. The bandage was embedded with woven, soft and flexible fabric sensors - interconnected with metallic connecting threads, fasteners and a wireless interface (in a final form). When wrapped around a foot and lower leg the sensors sat on the ball of the toes and heel. This ‘wearable interface’ was then connected wirelessly to a soft sculptural form, which employed actuators to tap gently in response to the qualities of the walk detected by the soft sensors. In this way the ‘tread qualities’ of the walker could then be felt by someone else holding this device against their stomach – thereby allowing pairs of participants to ‘feel’ the tactile qualities of the other's walk. The work was presented both as a working object and via a short videorecorded performance.----- In Step generated innovative new approaches to interface and sensor embedded clothing/footware whilst also creating an evocative vehicle to comment upon contemporary Post Colonial theories of weight and groundedness – particularly the psycho-geographical ‘separation’ from the landscape that inspired Paul Carter’s “environmentally grounded poetics”. The work’s final form also suggested critical new directions for responsive clothing and footwear for the emerging genre of smart textiles.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The implementation of ‘good governance’ in Indonesia’s regional government sector became a central tenet in governance research following the introduction of the national code for governance in 2006. The code was originally drafted in 1999 as a response to the Asian financial crises and many cases of unearthed corruption, collusion, and nepotism. It was reviewed in 2001 and again in 2006 to incorporate relevant political, economical, and social developments. Even though the national code exists along with many regional government decrees on good governance, the extent of implementation of the tenets of good governance in Indonesia’s regional government is still questioned. Previous research on good governance implementation in Indonesian regional government (Mardiasmo, Barnes and Sakurai, 2008) identified differences in the nature and depth of implementation between various Indonesian regional governments. This paper analyses and extends this recent work and explores key factors that may impede the implementation and sustained application of governance practices across regional settings. The bureaucratic culture of Indonesian regional government is one that has been shaped for over approximately 30 years, in particular during that of the Soeharto regime. Previous research on this regime suggests a bureaucratic culture with a mix of positive and negative aspects. On one hand Soeharto’s regime resulted in strong development growth and strong economic fundamentals, resulting in Indonesia being recognised as one of the Asian economic tigers prior to the 1997 Asian financial crises. The financial crises however revealed a bureaucratic culture that was rife with corruption, collusion, and nepotism. Although subsequent Indonesian governments have been committed to eradicating entrenched practices it seems apparent that the culture is ingrained within the bureaucracy and eradication of it will take time. Informants from regional government agree with this observation, as they identify good governance as an innovative mechanism and to implement it will mean a deviation from the “old ways.” Thus there is a need for a “changed” mind set in order to implement sustained governance practices. Such an exercise has proven to be challenging so far, as there is “hidden” resistance from within the bureaucracy to change its ways. The inertia of such bureaucratic cultures forms a tension against the opportunity for the implementation of good governance. From this context an emergent finding is the existence of a ‘bureaucratic generation gap’ as an impeding variable to enhanced and more efficient implementation of governance systems. It was found that after the Asian financial crises the Indonesian government (both at national and regional level) drew upon a wider human resources pool to fill government positions – including entrants from academia, the private sector, international institutions, foreign nationals and new graduates. It suggested that this change in human capital within government is at the core of this ‘inter-generational divide.’ This divergence is exemplified, at one extreme, by [older] bureaucrats who have been in-position for long periods of time serving during the extended Soeharto regime. The “new” bureaucrats have only sat in their positions since the end of Asian financial crisis and did not serve during Soeharto’s regime. It is argued that the existence of this generation gap and associated aspects of organisational culture have significantly impeded modernising governance practices across regional Indonesia. This paper examines the experiences of government employees in five Indonesian regions: Solok, Padang, Gorontalo, Bali, and Jakarta. Each regional government is examined using a mixed methodology comprising of on-site observation, document analysis, and iterative semi-structured interviewing. Drawing from the experiences of five regional governments in implementing good governance this paper seeks to better understand the causal contexts of variable implementation governance practices and to suggest enhancements to the development of policies for sustainable inter-generational change in governance practice across regional government settings.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

That Kenneth Frampton has had a significant impact on architectural thinking in Australia was recently demonstrated by his visit, which included two well-attended public lectures and a one-day symposium dedicated to his thinking and writing. Billed as part of the Year of the Built Environment celebrations, these were hosted by the New South Wales chapter of the RAIA, the UNSW Faculty of the Built Environment and the Museum of Contemporary Art. Richard Francis-Jones of FJMT coordinated the symposium, which comprised presentations divided into two sessions, entitled - predictably through no doubt with good intentions - 'Theory' and 'Practice', with four academics and four practitioners in each. Frampton sat to the side throughout, and delivered his own response between them,noting his discomfort in seemingly straddling this divide, as an architect first, then writer and academic, later. Predictably, the familiar Critical Regionalism argument was the mainstay of the day, perhaps the easiest to handle and now almost automatic, despite the fact that Frampton noted when questioned that he hasn't talked much about it in the last 10 years.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Proper application of sunscreen is essential as an effective public health strategy for skin cancer prevention. Insufficient application is common among sunbathers, results in decreased sun protection and may therefore lead to increased UV damage of the skin. However, no objective measure of sunscreen application thickness (SAT) is currently available for field-based use. We present a method to detect SAT on human skin for determining the amount of sunscreen applied and thus enabling comparisons to manufacturer recommendations. Using a skin swabbing method and subsequent spectrophotometric analysis, we were able to determine SAT on human skin. A swabbing method was used to derive SAT on skin (in mg sunscreen per cm2 of skin area) through the concentration–absorption relationship of sunscreen determined in laboratory experiments. Analysis differentiated SATs between 0.25 and 4 mg cm−2 and showed a small but significant decrease in concentration over time postapplication. A field study was performed, in which the heterogeneity of sunscreen application could be investigated. The proposed method is a low cost, noninvasive method for the determination of SAT on skin and it can be used as a valid tool in field- and population-based studies.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In addition to the well-known health risks associated with lack of physical activity (PA), evidence is emerging about the health risks of sedentary behaviour (sitting). Research about patterns and correlates of sitting and PA in older women is scarce. METHODS: Self-report data from 6,116 women aged 76-81 years were collected as part of the Australian Longitudinal Study on Woman’s Health. Linear regression models were computed to examine whether demographic, social and health factors were associated with sitting and PA. RESULTS: Women who did no PA sat more than women who did any PA (p<0.001). Seven correlates were associated with sitting and PA (p<0.05). Five of these were associated with more sitting and less PA: three health-related (BMI, chronic conditions, anxiety/depression) and two social correlates (caring duties, volunteering). One demographic (being from another English-speaking country) and one social correlate (more social interaction) were associated with more sitting and more PA. Four correlates, two demographic (living in a city; post-high school education), one social (being single), and one health-related correlate (dizziness/loss of balance) were associated with more sitting only. Two other health-related correlates (stiff/painful joints; feet problems) were associated with less PA only. CONCLUSION: Sedentary behaviour and PA are distinct behaviours in older Australian women. Information about the correlates of both behaviours can be used to identify population groups who might benefit from interventions to reduce sedentary behaviour and/or increase PA.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A key part of the auditor independence reforms in Australia, as represented by Corporate Law Economic Reform Program (Audit Reform and Corporate Disclosure) Act 2004 (Cth) (CLERP 9), mandates audit partner rotation. The change was criticised predominantly due to the costs imposed on both the audit firms and the audit clients. This study examines the Australian experience post-CLERP 9 with mandated auditor rotation. Based on data of audit partner rotation over 2003–2009 (on average 1200 listed Australian companies over the sample period), we show that audit partner tenure sat at a median of 2–3 years, but that the maximum audit partner tenure was as high as 20 years in the pre-CLERP 9 period. For around 85% of the market, audit partner rotation occurred voluntarily at between 1–5 years. The interesting result is that for 15% of the market, the mandated audit partner rotation had a significant impact on corporate governance practice. There is also a greater observed impact of mandatory rotation on audit engagements involving the non-global auditing firms. These findings inform the debate as to the ‘costliness’ of the law reform.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

On a balmy summer morning a small group of us gathered for breakfast at the China National Convention Centre in Beijing during the 2010 ISME World Conference. As the cafe started to fill up with delegates from around the globe, we sat intently discussing our grand plan. Quite simply, we wanted to develop a network of community music practitioners and scholars in the Asia Pacific region. Inspired by the Community Music Activity (CMA) Commission we had just attended in Hangzhou the week before, we felt a pressing need to keep the seminar’s momentum going. During the seminar we had heard many stories and examples of musical practices, community contexts, pedagogical approaches and research ethics; however, set against the backdrop of this Chinese context, these familiar topics seemed to take on a new meaning (see Bartleet 2011). As we experienced the local culture and interacted with some of our Chinese colleagues, we were reminded that the concept of community is always contextual, contingent and contested(see Elliott et al. 2008: 3). We were also reminded that notions of what community music is and its social and educational functions are always fluid and varied depending on where you are in the world. After the seminar, our sense was that there are new voices and ideas relating to community music coming from this region that need to be heard. We hoped that this network would serve as a vehicle for activating relationships between these practitioners and scholars, as well as a channel for developing cross cultural partnerships, and disseminating research about community music in this region. On the surface this goal seemed quite straightforward...

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Background: When experiencing sleep problems for the first time, consumers may often approach community pharmacists for advice as they are easily accessible health care professionals in the community. In Australian community pharmacies there are no specific tools available for use by pharmacists to assist with the assessment and handling of consumers with sleep enquiries. Objective: To assess the feasibility of improving the detection of sleep disorders within the community through the pilot of a newly developed Community Pharmacy Sleep Assessment Tool (COP-SAT). Method: The COP-SAT was designed to incorporate elements from a number of existing, standardized, and validated clinical screening measures. The COP-SAT was trialed in four Australian community pharmacies over a 4-week period. Key findings: A total of 241 community pharmacy consumers were assessed using the COP-SAT. A total of 74 (30.7%) were assessed as being at risk of insomnia, 26 (10.7%) were at risk of daytime sleepiness, 19 (7.9%) were at risk of obstructive sleep apnea, and 121 (50.2%) were regular snorers. A total of 116 (48.1%) participants indicated that they consume caffeine before bedtime, of which 55 (47%) had associated symptoms of sleep onset insomnia. Moreover, 85 (35%) consumed alcohol before bedtime, of which 50 (58%) experienced fragmented sleep, 50 (58%) were regular snorers, and nine (10.6%) had apnea symptoms. The COP-SAT was feasible in the community pharmacy setting. The prevalence of sleep disorders in the sampled population was high, but generally consistent with previous studies on the general population. Conclusion: A large proportion of participants reported sleep disorder symptoms, and a link was found between the consumption of alcohol and caffeine substances at bedtime and associated symptoms. While larger studies are needed to assess the clinical properties of the tool, the results of this feasibility study have demonstrated that the COP-SAT may be a practical tool for the identification of patients at risk of developing sleep disorders in the community.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Background: Associations between sitting-time and physical activity (PA) with depression are unclear. Purpose: To examine concurrent and prospective associations between both sitting-time and PA with prevalent depressive symptoms in mid-aged Australian women. Methods: Data were from 8,950 women, aged 50-55 years in 2001, who completed mail surveys in 2001, 2004, 2007 and 2010. Depressive symptoms were assessed using the Center for Epidemiological Studies Depression questionnaire. Associations between sitting-time (≤4, >4-7, >7 hrs/day) and PA (none, some, meeting guidelines) with depressive symptoms (symptoms/no symptoms) were examined in 2011 in concurrent and lagged mixed effect logistic modeling. Both main effects and interaction models were developed. Results: In main effects modeling, women who sat >7 hrs/day (OR 1.47, 95%CI 1.29-1.67) and women who did no PA (OR 1.99, 95%CI 1.75-2.27) were more likely to have depressive symptoms than women who sat ≤4 hrs/day and who met PA guidelines, respectively. In interaction modeling, the likelihood of depressive symptoms in women who sat >7 hrs/day and did no PA was triple that of women who sat ≤4 hrs/day and met PA guidelines (OR 2.96, 95%CI 2.37-3.69). In prospective main effects and interaction modeling, sitting-time was not associated with depressive symptoms, but women who did no PA were more likely than those who met PA guidelines to have future depressive symptoms (OR 1.26, 95%CI 1.08-1.47). Conclusions: Increasing PA to a level commensurate with PA guidelines can alleviate current depression symptoms and prevent future symptoms in mid-aged women. Reducing sitting-time may ameliorate current symptoms.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Australian dramatic literature of the 1950s and 1960s heralded a new wave in theatre and canonised a unique Australian identity on local and international stages. In previous decades, Australian theatre had been abound with the mythology of the wide brown land and the outback hero. This rural setting proved remote to audiences and sat uneasily within the conventions of the naturalist theatre. It was the suburban home that provided the back drop for this postwar evolution in Australian drama. While there were a number of factors that contributed to this watershed in Australian theatre, little has been written about how the spatial context may have influenced this movement. With the combined effects of postwar urbanization and shifting ideologies around domesticity, a new literary landscape had been created for playwrights to explore. Australian playwrights such as Dorothy Hewett, Ray Lawler and David Williamson transcended the outback hero by relocating him inside the postwar home. The Australian home of the 1960s slowly started subscribing to a new aesthetic of continuous living spaces and patios that extended from the exterior to the interior. These mass produced homes employed diluted spatial principles of houses designed by architects, Le Corbusier, Ludwig Mies Van der Rohe and Adolf Loos in the 1920s and 1930s. In writing about Adolf Loos’ architecture, Beatriz Colomina described the “house as a stage for the family theatre”. She also wrote that the inhabitants of Loos’ houses were “both actors and spectators of the family scene involved”. It has not been investigated as to whether this new capacity to spectate within the home was a catalyst for playwrights to reflect upon, and translate the domestic environment to the stage. Audiences were also accustomed to being spectators of domesticity and could relate to the representations of home in the theatre. Additionally, the domestic setting provided a space for gender discourse; a space in which contestations of masculine and feminine identities could be played out. This research investigates whether spectating within the domestic setting contributed to the revolution in Australian dramatic literature of the 1950s and 1960s. The concept of the spectator in domesticity is underpinned by the work of Beatriz Colomina and Mark Wigley. An understanding of how playwrights may have been influenced by spectatorship within the home is ascertained through interviews and biographical research. The paper explores playwrights’ own domestic experiences and those that have influenced the plays they wrote and endeavours to determine whether seeing into the home played a vital role in canonising the Australian identity on the stage.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We investigated the influence of rectal temperature on the immune system during and after exercise. Ten well-trained male cyclists completed exercise trials (90 min cycling at 60% VO(2max) + 16.1 - km time trial) on three separate occasions: once in 18 degrees C and twice in 32 degrees C. Twenty minutes after the trials in 32 degrees C, the cyclists sat for approximately 20 min in cold water (14 degrees C) on one occasion, whereas on another occasion they sat at room temperature. Rectal temperature increased significantly during cycling in both conditions, and was significantly higher after cycling in 32 degrees C than in 18 degrees C (P < 0.05). Leukocyte counts increased significantly during cycling but did not differ between the conditions. The concentrations of serum interleukin (IL)-6, IL-8 and IL-10, plasma catecholamines, granulocyte-colony stimulating factor, myeloperoxidase and calprotectin increased significantly following cycling in both conditions. The concentrations of serum IL-8 (25%), IL-10 (120%), IL-1 receptor antagonist (70%), tumour necrosis factor-alpha (17%), plasma myeloperoxidase (26%) and norepinephrine (130%) were significantly higher after cycling in 32 degrees C than in 18 degrees C. During recovery from exercise in 32 degrees C, rectal temperature was significantly lower in response to sitting in cold water than at room temperature. However, immune changes during 90 min of recovery did not differ significantly between sitting in cold water and at room temperature. The greater rise in rectal temperature during exercise in 32 degrees C increased the concentrations of serum IL-8, IL-10, IL-1ra, TNF-alpha and plasma myeloperoxidase, whereas the greater decline in rectal temperature during cold water immersion after exercise did not affect immune responses.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Environmental education centres contribute to schools and communities in Environmental Education and Education for Sustainability through nature and urban -based, experiential learning and action learning approaches. An underlying assumption of these centres is that intensive, short-term, outdoor/environmental education experiences can change key attitudes and/or actions leading to positive environmental behaviour. This study reflects the interests of a researching professional who investigated aspects of a program that he designed and implemented as principal of an environmental education centre. Most evaluations of similar programs have used quasi-experimental designs to measure the program outcomes. However, this study considered the experiences of the program from the perspectives of a group of key stakeholders often overlooked in the literature; the children who participated in the program. This study examined children’s accounts of their own experiences in order to contribute new understandings of children’s perspectives and how they can be considered when designing and implementing environmental education programs. This research drew on key theoretical assumptions derived from the sociology of childhood. Within sociology of childhood, children are considered to be competent practitioners within their social worlds, who, through their talk and interaction, participate actively in the construction of their own social situations. This approach also views children as capable and competent learners who construct their knowledge through everyday participation in social experiences. This study set out to generate children’s own accounts of their experiences of a five day residential program at the Centre. In total, 54 children participated in the study that used a multi-faceted data collection approach that included conversations, drawings, photographs and journal writing. Using content analysis, data were analysed by means of an inductive approach to develop themes related to the children’s perspectives of their experiences. Three interrelated and co-dependent components of the experience emerged from the analysis; space and place; engagement and participation; and responsiveness and reflection. These components co-exist and construct the conditions for effective experiences in environmental education at the Centre. The first key finding was the emphasis that the children placed on being provided with somewhere where they could feel safe and comfortable to interact with their environment and engage in a range of outdoor experiences. The children identified that place was an outdoor classroom where they could participate in first-hand experiences and, at times, explore out-of-bound spaces; that is, a place where they had previously been limited, often by adults, in their opportunities to interact with nature. A second key finding was the emphasis that the children placed on engagement and participation in environmental experience. The children described participating in a range of new primary experiences that involved first-hand, experiences and also described participating in collaborative experiences that involved interacting with peers and with teachers, who appeared to behave differently to how they behaved at school. Finally, the children described a different type of interactional relationship with teachers, comparing the active educational role they played on camp to a more passive role at school where they sat at a table and the teacher wrote on the board. The final key finding was the emphasis that the children placed on responsiveness and reflection in the experience. In responding to their experiences, the children described the fun and excitement, confidence and satisfaction that they gained from the experience. The children also identified how their experiences contributed to the development of a caring-for-nature attitude and the value of a disorienting dilemma in promoting responsiveness to the environment. This disorienting dilemma was an event that caused the children to reassess their own beliefs and attitudes. From the three main findings, a theoretical framework that represented the children’s accounts of their experiences and a pedagogic approach that respected their accounts was developed. This pedagogic approach showed how a disorienting dilemma could create a disequilibrium in relation to a child’s existing ideas and experiences. As a result, children were challenged to reflect upon their existing environmental beliefs and practices. The findings of this research have implications for the field of environmental education. Adopting sociology of childhood provides an alternative foundation to research and can present a deeper understanding of what children believe, than an approach that relies solely on using scientific methods to undercover and analyse these understandings. This research demonstrates the value of gaining children’s accounts to assist educators to design environmental education programs as it can offer more than adult and educator perspectives. This study also provides understandings of environmental education practice by describing how the children engaged with informal learning situations. Finally, two sets of recommendations, drawn from this study, are made. The first set considers nine recommendations about and for future research and the second relates to redesigning of the environmental educational program at the research site, with six recommendations made.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The development of toll roads in Indonesia started around 1978. Initially, the management and development of toll roads sat directly under the Government of Indonesia (GoI) being undertaken through PT JasaMarga, a state owned enterprise specifically established to provide toll roads. Due to the slow growth and low capability of toll roads to fulfil infrastructure needs in the first ten years of operation (only 2.688kms/year), GoI changed its strategy in 1989 to one of using private sector participation for roads delivery through a Public Private Partnership (PPP) scheme. In this latter period, PT JasaMarga had two roles, both as regulator on behalf of the private sector as well as being the operator. However, from 1989 to 2004 the growth rate of toll roads actually decreased further to 2.300kms/year. Facing this challenge of low growth rate of toll roads, in 2004GoI changed the toll road management system and the role of regulator was returned to the Government through the establishment of the Toll Road Regulatory Agency (BPJT). GoI also amended the institutional framework to strengthen the toll road management system. Despite the introduction of this new institutional framework, the growth of toll roads still showed insignificant change. This problem in toll road development has generated an urgent need for research into this issue. The aim of the research is to understand the performance of the new institutional framework in enhancing PPP procured toll road development. The methodology of the research was to undertake a questionnaire survey distributed to private sector respondents involved in toll road development. The results of this study show that there are several problems inherent in the institutional framework, but the most significant problem comes from the uncertainty of the function of the strategic executive body in the land expropriation process.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Tobacco plants were transformed with a chimeric transgene comprising sequences encoding β-glucuronidase (GUS) and the satellite RNA (satRNA) of cereal yellow dwarf luteovirus. When transgenic plants were infected with potato leafroll luteovirus (PLRV), which replicated the transgene-derived satRNA to a high level, the satellite sequence of the GUS:Sat transgene became densely methylated. Within the satellite region, all 86 cytosines in the upper strand and 73 of the 75 cytosines in the lower strand were either partially or fully methylated. In contrast, very low levels of DNA methylation were detected in the satellite sequence of the transgene in uninfected plants and in the flanking nonsatellite sequences in both infected and uninfected plants. Substantial amounts of truncated GUS:Sat RNA accumulated in the satRNA-replicating plants, and most of the molecules terminated at nucleotides within the first 60 bp of the satellite sequence. Whereas this RNA truncation was associated with high levels of satRNA replication, it appeared to be independent of the levels of DNA methylation in the satellite sequence, suggesting that it is not caused by methylation. All the sequenced GUS:Sat DNA molecules were hypermethylated in plants with replicating satRNA despite the phloem restriction of the helper PLRV. Also, small, sense and antisense ∼22 nt RNAs, derived from the satRNA, were associated with the replicating satellite. These results suggest that the sequence-specific DNA methylation spread into cells in which no satRNA replication occurred and that this was mediated by the spread of unamplified satRNA and/or its associated 22 nt RNA molecules.