What can be learned from failed proofs of non-theorems?

This paper reports an investigation into the link between failed proofs and non-theorems. It seeks to answer the question of whether anything more can be learned from a failed proof attempt than can be discovered from a counter-example. We suggest that the branch of the proof in which failure occurs can be mapped back to the segments of code that are the culprit, helping to locate the error. This process of tracing provides finer grained isolation of the offending code fragments than is possible from the inspection of counter-examples. We also discuss ideas for how such a process could be automated.

Final report of the fisheries catch assessment survey in the Ugandan waters of Lake Victoria for the May 2014 survey

This report presents findings of the CAS conducted in the Ugandan waters of Lake Victoria in December 2015. The results of the previous thirteen harmonized CASs conducted since July 2005 (July, August, September and November 2005; in March, August and December 2006; in March and August 2007; in February and December 2008; March 2010; May 2011 and May 2014) are included to show the emerging trends. The report also presents annual catch estimates for the Ugandan part of the lake from 2005 to 2015. This information together with other fish stock assessment and socio-economic monitoring survey data can now be utilized in the planning and management of the fisheries resources of Lake Victoria. The 2014 CAS results were very vital in the development of the Lake Victoria Fisheries Management Plan 2014.

Filmowe interpretacje polskiej transformacji gospodarczej. Kulturowe spory o obraz Polski

Wydział Nauk Społecznych: Instytut Kulturoznawstwa

A review of the dissociative disorders: from multiple personality disorder to the posttraumatic stress

In this paper we review the idea of dissociation, dissociative disorders and their relationship with the processes of consciousness. We will deal specifically with multiple personality disorder and posttraumatic stress disorder. Both polarize the discussion of diagnostic categories with dissociative symptoms. This review compares the initial ideas (one century old) with the current scenario and emerging trends in research, which are relating cognitive processes and dissociative phenomena and disorders from a neuroscientific approach. We discuss the ideas on dissociation, hypnosis and suicide associated with these disorders. There seems to be a lack of consensus as to the nature of dissociation with theoretical, empirical and clinical implications.

Scenario planning and emerging global trends for the future of roads and automobile transport

Roads and road infrastructure will be faced with multiple challenges over the coming decades – challenges that in many ways bear little resemblance to those previously faced - and as such will require new approaches. The opportunity exists to transform the way road infrastructure is conceived and constructed, as a key part of the process of assisting society to respond to climate change and reduce other environmental pressures. Innovations in road construction, use and management in order to manage these changes can now be seen. Scenario planning is one tool that can take into account emerging challenges, develop or adopt new approaches, and thus help this transformation to occur. The paper explores scenario planning methodologies, global innovations and trends in road construction and maintenance and the findings from stakeholder workshops in Brisbane and Perth. It highlights key opportunities for road agencies to use scenarios to enable planning that, in the face of future uncertainties, facilitates appropriate responses.

Citizens and the future of multilateralism in a polycentric world at 2030: the perspectives of emerging countries for the trading system: the impasse of WTO, the trends of mega agreements, the logic of value chains and the advent of consumers concerns on international trade

A new paradigm is modeling the World: evolutionary innovations in all fronts, new information technologies, huge mobility of capital, use of risky financial tools, globalization of production, new emerging powers and the impact of consumer concerns on governmental policies. These phenomena are shaping the World and forcing the advent of a new World Order in the Multilateral Monetary, Financial, and Trading System. The effects of this new paradigm are also transforming global governance. The political and economic orders established after the World War and centered on the multilateral model of UN, IMF, World Bank, and the GATT, leaded by the developed countries, are facing significant challenges. The rise of China and emerging countries shifted the old model to a polycentric World, where the governance of these organizations are threatened by emerging countries demanding a bigger participation in the role and decision boards of these international bodies. As a consequence, multilateralism is being confronted by polycentrism. Negotiations for a more representative voting process and the pressure for new rules to cope with the new demands are paralyzing important decisions. This scenario is affecting seriously not only the Monetary and Financial Systems but also the Multilateral Trading System. International trade is facing some significant challenges: a serious deadlock to conclude the last round of the multilateral negotiation at the WTO, the fragmentation of trade rules by the multiplication of preferential and mega agreements, the arrival of a new model of global production and trade leaded by global value chains that is threatening the old trade order, and the imposition of new sets of regulations by private bodies commanded by transnationals to support global value chains and non-governmental organizations to reflect the concerns of consumers in the North based on their precautionary attitude about sustainability of products made in the World. The lack of any multilateral order in this new regulation is creating a big cacophony of rules and developing a new regulatory war of the Global North against the Global South. The objective of this paper is to explore how these challenges are affecting the Tradinge System and how it can evolve to manage these new trends.

Land Reform in South Africa in Light of Emerging Urbanization, Industrialization, and Globalization Trends

Black South Africans experienced centuries of mistreatment and land dispossessions, leaving their population in dire poverty and dependence. The 1994 democratization of South Africa birthed a three-fold land reform program dedicated to land restitution, land redistribution, and tenure reform. The first decade of implementation left government goals unmet. The relevance of land reform is examined given modern-day urbanization, industrialization, and globalization. This paper affirms land reform is still relevant socially and is therefore relevant politically and economically. Improvements to program implementation are suggested in the following areas: implementing agency support; rural representation; information management; land market stimulation; beneficiary support; and agrarian reform. Land reform limitations are discussed, and industrialization is briefly explored as the more likely solution to poverty issues.

Implications of emerging travel trends. Conference proceedings.

Federal Highway Administration, Washington, D.C.

Future trends in human resource management in emerging markets

In many ways the emerging markets represent something of a new frontier for academics and practitioners alike, or as one author puts it, ‘a significant topic of interest for a multitude of constituencies’ (Alkire, 2014: 334). The very term itself ‘emerging markets’ is something of a portmanteau one built on a series of layered insights garnered from several academic fields and multiple levels of analysis. Originally coined as a term in the 1980s, albeit with several earlier linked terminologies, this is an evolving and diverse literature. Inherent in its diversity lies a whole series of opportunities, encompassing the purely theoretical through to the methodological and the analytical. Capturing the essence of this in his Editorial in the inaugural edition of The International Journal of Emerging Markets, Akbar (2006) noted that from an academic perspective the emerging markets as a context for the creation and execution of a sustainable research agenda represent ‘a heterogeneous group of economies and societies’ and an ‘important testing ground for our existing theories, models and concepts of business and management’ affording those who focus on them as a research location the opportunity for ‘the development of new theoretical contributions in the field’. In this volume, we have sought to bring some systematics to this evolving literature dedicated to charting HRM in these emerging markets.

Florida Bay: Water quality status and trends, historic and emerging algal bloom problems

Florida Bay is a unique subtropical estuary that while historically oligotrophic, has been subjected to both natural and anthropogenic stressors, including hurricanes, coastal eutrophication and other impacts. These stressors have resulted in degradation of water quality in the past several decades, most evidenced by reoccurring blooms of the picocyanobacterium Synechococcus spp. Major nutrient inputs consist of freshwater flows to the eastern region from runoff and regulated canal releases, inputs from the Everglades to the central region via Taylor Slough, exchanges with the Gulf of Mexico, which include intermittent Shark River inputs to the western region, stormwater and wastewater from the Florida Keys, and atmospheric deposition. These nutrient inputs have resulted in a transition from strong phosphorus (P) limitation of phytoplankton in the eastern bay to nitrogen (N) limitation in the western bay. Large blooms of Synechococcus were most pronounced in the central bay region, in the area of transition between P and N limitation, in the mid-1990s. Although non-toxic, these blooms, which have continued intermittently through the early 2000s, resulted in significant sea-grass and benthic organism mortalities. A new suite of stressors in 2005, including the passages of Hurricanes Katrina, Rita, and Wilma, additional canal releases, and the initiation of road construction to widen the main roadway leading to the Keys, were correlated with a large Synechococcus bloom in the previously clear, strongly P- limited, northeastern region of the bay. Sustained for 3 years, this bloom was accompanied by a shift from P limitation to N limitation during its course. Nutrient bioassay experiments suggest that this bloom persisted due to the ability of Synechococcus to access organic N and P sources, microbial and geochemical cycling of organic and inorganic nutrients in the water column and between the water column and sediments (both suspended particles and benthos), and decreased grazing by benthic fauna due to their die-off.

Audience & Market Foresight : Consumer Trends in Digital News and Information in Australia

We all know that the future of news is digital. But mainstream news providers are still grappling with how to entice more customers to digital news. This paper provides context for a survey currently underway on user intentions towards digital news and entertainment, by exploring: 1. Consumer behaviours and intentions towards digital news and information use; 2. Current trends in the Australian online news and information sector; 3. Issues and emerging opportunities in the Australian (and global) environment. Key influences on digital use of news and information are pricing and access. The paper highlights emerging technical opportunities and flags service gaps as at December 2008. These gaps include multiple disconnects between: 1. Changing user intentions towards online and location based news (news based on a specific locality as chosen by the user) and information; 2. The ability by consumers to act on these intentions via the availability and cost of technologies; 3. Younger users prefer entertainment to news; 4. Current digital offerings of traditional news providers and opportunities. These disconnects present an opportunity for online news suppliers to appraise and resolve. Doing so may enhance their online news and information offering, attract consumers and improve loyalty. Outcomes from this paper will be used to identify knowledge gaps and contribute to the development of further analysis on Australian consumers and their behaviours and intentions towards online news and information. This will be ndertaken via focus groups as part of a broader study by researchers at the Creative Industries Faculty at the Queensland University of Technology supported by the Smart Services Cooperative Research Centre.

Trends in demographic, health behaviour factors, and self-perceived weight status : influences on obesity in Australia from 1995 to 2005

Overweight and obesity are two of the most important emerging public health issues in our time and regarded by the World Health Organisation [WHO] (1998) as a worldwide epidemic. The prevalence of obesity in the USA is the highest in the world, and Australian obesity rates fall into second place. Currently, about 60% of Australian adults are overweight (BMI „d 25kg/m2). The socio-demographic factors associated with overweight and/or obesity have been well demonstrated, but many of the existing studies only examined these relationships at one point of time, and did not examine whether significant relationships changed over time. Furthermore, only limited previous research has examined the issue of the relationship between perception of weight status and actual weight status, as well as factors that may impact on people¡¦s perception of their body weight status. Aims: The aims of the proposed research are to analyse the discrepancy between perceptions of weight status and actual weight status in Australian adults; to examine if there are trends in perceptions of weight status in adults between 1995 to 2004/5; and to propose a range of health promotion strategies and furth er research that may be useful in managing physical activity, healthy diet, and weight reduction. Hypotheses: Four alternate hypotheses are examined by the research: (1) there are associations between independent variables (e.g. socio -demographic factors, physical activity and dietary habits) and overweight and/or obesity; (2) there are associations between the same independent variables and the perception of overweight; (3) there are associations between the same independent variables and the discrepancy between weight status and perception of weight status; and (4) there are trends in overweight and/or obesity, perception of overweight, and the discrepancy in Australian adults from 1995 to 2004/5. Conceptual Framework and Methods: A conceptual framework is developed that shows the associations identified among socio -demographic factors, physical activity and dietary habits with actual weight status, as well as examining perception of weight status. The three latest National Health Survey data bases (1995 , 2001 and 2004/5) were used as the primary data sources. A total of 74,114 Australian adults aged 20 years and over were recruited from these databases. Descriptive statistics, bivariate analyses (One -Way ANOVA tests, unpaired t-tests and Pearson chi-square tests), and multinomial logistic regression modelling were used to analyse the data. Findings: This research reveals that gender, main language spoken at home, occupation status, household structure, private health insurance status, and exercise are related to the discrepancy between actual weight status and perception of weight status, but only gender and exercise are related to the discrepancy across the three time point s. The current research provides more knowledge about perception of weight status independently. Factors which affect perception of overweight are gender, age, language spoken at home, private health insurance status, and diet ary habits. The study also finds that many factors that impact overweight and/or obesity also have an effect on perception of overweight, such as age, language spoken at home, household structure, and exercise. However, some factors (i.e. private health insurance status and milk consumption) only impact on perception of overweight. Furthermore, factors that are rel ated to people’s overweight are not totally related to people’s underestimation of their body weight status in the study results. Thus, there are unknown factors which can affect people’s underestimation of their body weight status. Conclusions: Health promotion and education activities should provide education about population health education and promotion and education for particular at risk sub -groups. Further research should take the form of a longitudinal study design ed to examine the causal relationship between overweight and/or obesity and underestimation of body weight status, it should also place more attention on the relationships between overweight and/or obesity and dietary habits, with a more comprehensive representation of SES. Moreover, further research that deals with identification of characteristics about perception of weight status, in particular the underestimation of body weight status should be undertaken.

Consumer trends in digital news and information in Australia

We all know that the future of news is digital. But mainstream news providers are still grappling with how to entice more customers to their online sites. This paper provides context for a survey currently underway on user intentions towards online news and entertainment, by exploring: 1. Consumer behaviours and intentions with regards to accessing online news and information; 2. Current trends in the Australian online news and information sector; and 3. Key issues and emerging opportunities in the Australian (and global) environment. Key influences on use of online news and information are pricing and access. The paper highlights emerging technical opportunities and flags service gaps. These gaps include multiple disconnects between: 1. Changing user intentions towards online and location based news (news based on a specific locality as chosen by the user) and information; 2. The ability by consumers to act on these intentions via the availability and cost of technologies; 3. Younger users may prefer entertainment to news, or ‘infotainment’; and 4. Current online offerings of traditional news providers and opportunities. These disconnects present an opportunity for online news suppliers to appraise and resolve. Doing so may enhance their online news and information offering, attract consumers and improve loyalty. Outcomes from this paper will be used to identify knowledge gaps and contribute to the development of further analysis on Australian consumers and their behaviours and intentions towards online news and information. This will be undertaken via focus groups as part of a broader study.

Prostate cancer biomarkers and the emerging proteomic techniques used in biomarker research

Prostate cancer (CaP) is the second leading cause of cancer-related deaths in North American males and the most common newly diagnosed cancer in men world wide. Biomarkers are widely used for both early detection and prognostic tests for cancer. The current, commonly used biomarker for CaP is serum prostate specific antigen (PSA). However, the specificity of this biomarker is low as its serum level is not only increased in CaP but also in various other diseases, with age and even body mass index. Human body fluids provide an excellent resource for the discovery of biomarkers, with the advantage over tissue/biopsy samples of their ease of access, due to the less invasive nature of collection. However, their analysis presents challenges in terms of variability and validation. Blood and urine are two human body fluids commonly used for CaP research, but their proteomic analyses are limited both by the large dynamic range of protein abundance making detection of low abundance proteins difficult and in the case of urine, by the high salt concentration. To overcome these challenges, different techniques for removal of high abundance proteins and enrichment of low abundance proteins are used. Their applications and limitations are discussed in this review. A number of innovative proteomic techniques have improved detection of biomarkers. They include two dimensional differential gel electrophoresis (2D-DIGE), quantitative mass spectrometry (MS) and functional proteomic studies, i.e., investigating the association of post translational modifications (PTMs) such as phosphorylation, glycosylation and protein degradation. The recent development of quantitative MS techniques such as stable isotope labeling with amino acids in cell culture (SILAC), isobaric tags for relative and absolute quantitation (iTRAQ) and multiple reaction monitoring (MRM) have allowed proteomic researchers to quantitatively compare data from different samples. 2D-DIGE has greatly improved the statistical power of classical 2D gel analysis by introducing an internal control. This chapter aims to review novel CaP biomarkers as well as to discuss current trends in biomarker research from two angles: the source of biomarkers (particularly human body fluids such as blood and urine), and emerging proteomic approaches for biomarker research.