The arts and Australia's national innovation system 1994 - 2008 arguments, recommendations, challenges

Based on 15 years of arts and innovation literature, this paper explores the central proposition that the arts sector - particularly the performing arts, visual arts and crafts, new media arts and creative writing - should be included in Australian Government innovation policy development and play a significant role in national innovation. After a brief overview of innovation policy and the national innovation systems approach in Australia, we examine the marginal place of the arts in Australia's innovation agenda and various attempts to include them. We identify the principal voices that have argued for arts and innovation development: the humanities, arts and social sciences (HASS) sector, digital content industries, arts education and university research, and new media arts. After three main periods of arts and innovation policy activity from the mid.1990s (when the importance of innovation as a key driver of Australia's prosperity was recognised) to early 2008, a fourth period has opened up as part of the Australian Government's Review of the National Innovation System in 2008.

Emotional expressions preferentially elicit implicit evaluations of faces also varying in race or age

Both facial cues of group membership (race, age, and sex) and emotional expressions can elicit implicit evaluations to guide subsequent social behavior. There is, however, little research addressing whether group membership cues or emotional expressions are more influential in the formation of implicit evaluations of faces when both cues are simultaneously present. The current study aimed to determine this. Emotional expressions but not race or age cues elicited implicit evaluations in a series of affective priming tasks with emotional Caucasian and African faces (Experiments 1 and 2) and young and old faces (Experiment 3). Spontaneous evaluations of group membership cues of race and age only occurred when those cues were task relevant, suggesting the preferential influence of emotional expressions in the formation of implicit evaluations of others when cues of race or age are not salient. Implications for implicit prejudice, face perception, and person construal are discussed.

A fast semi-implicit difference method for a nonlinear two-sided space-fractional diffusion equation with variable diffusivity coefficients

In this paper, we derive a new nonlinear two-sided space-fractional diffusion equation with variable coefficients from the fractional Fick’s law. A semi-implicit difference method (SIDM) for this equation is proposed. The stability and convergence of the SIDM are discussed. For the implementation, we develop a fast accurate iterative method for the SIDM by decomposing the dense coefficient matrix into a combination of Toeplitz-like matrices. This fast iterative method significantly reduces the storage requirement of O(n2)O(n2) and computational cost of O(n3)O(n3) down to n and O(nlogn)O(nlogn), where n is the number of grid points. The method retains the same accuracy as the underlying SIDM solved with Gaussian elimination. Finally, some numerical results are shown to verify the accuracy and efficiency of the new method.

Psychological essentialism, implicit theories, and intergroup relations

Research on implicit person theories shows that beliefs about the malleability of human attributes have important implications for social cognition, interpersonal behavior, and intergroup relations. We argue that these implications can be understood within the framework of psychological essentialism, which extends work on implicit theories in promising directions. We review evidence that immutability beliefs covary with a broader set of essentialist beliefs, and that these essentialist beliefs are associated with stereotyping and prejudice. We then present recent studies indicating that associations between implicit person theories and stereotyping may be explained in terms of essentialist beliefs, implying a significant role for these beliefs in the psychology of group perception. Finally, we propose ways in which research and theory on essentialist beliefs might clarify and advance research on implicit person theories.

The implicit structure of positive characteristics

The implicit structure of positive character traits was examined in two studies of 190 and 100 undergraduates. Participants judged the pairwise covariation or semantic similarity of 42 positive characteristics using a sorting or a rating task. Characteristics were drawn from a new classification of strengths and virtues, the Five-Factor Model, and a taxonomy of values. Participants showed consistent patterns of perceived association among the characteristics across the study conditions. Multidimensional scaling yielded three consistent dimensions underlying these judgments (“warmth vs. self-control,” “vivacity vs. decency,” and “wisdom vs. power”). Cluster analyses yielded six consistent groupings—“self-control,” “love,” “wisdom,” “drive,” “vivacity,” and “collaboration”—that corresponded only moderately to the virtue classification. All three taxonomies were systematically related to this implicit structure, but none captured it satisfactorily on its own. Revisions to positive psychology’s classification of strengths are proposed.

Implicit and multigrid procedures for steady-state computations with upwind algorithms

A computational study for the convergence acceleration of Euler and Navier-Stokes computations with upwind schemes has been conducted in a unified framework. It involves the flux-vector splitting algorithms due to Steger-Warming and Van Leer, the flux-difference splitting algorithms due to Roe and Osher and the hybrid algorithms, AUSM (Advection Upstream Splitting Method) and HUS (Hybrid Upwind Splitting). Implicit time integration with line Gauss-Seidel relaxation and multigrid are among the procedures which have been systematically investigated on an individual as well as cumulative basis. The upwind schemes have been tested in various implicit-explicit operator combinations such that the optimal among them can be determined based on extensive computations for two-dimensional flows in subsonic, transonic, supersonic and hypersonic flow regimes. In this study, the performance of these implicit time-integration procedures has been systematically compared with those corresponding to a multigrid accelerated explicit Runge-Kutta method. It has been demonstrated that a multigrid method employed in conjunction with an implicit time-integration scheme yields distinctly superior convergence as compared to those associated with either of the acceleration procedures provided that effective smoothers, which have been identified in this investigation, are prescribed in the implicit operator.

Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Public history, private memories: Historical imagination in the new Italian cinema 1988-1999

The concern with the following arguments started during a study of national and international cinemas, from the desire to account for a cinema that internationally was doing well, but was undervalued domestically. The aims were to account for the renewal of Italian filmmaking from 1988, the New Italian cinema, and understand the conditions behind this renewal. The thesis identifies in the historical theme and in the recurrence of features from Italian cinema history elements of coherence with previous cinema production. The first consideration that emerges is that a triangulation between a new generation of filmmakers, their audience and recent history shaped the recovery of Italian cinema from 1988. A second consideration is that no discussion of Italian cinema can be separated from a discussion of that which it represents: Italian society and politics. This representation has not only addressed questions of identity for a cohort of spectators, but on occasions has captured the attention of the international audience. Thus the thesis follows a methodologic approach that positions texts in relation to certain traditions in Italian filmmaking and to the context by taking into consideration also industrial factors and social and historical changes. By drawing upon a range of disciplines, from political history to socio-psychological studies, the thesis has focussed on representation of history and memory in two periods of Italian film history: the first and the last decade of twentieth century. The concern has been not so much to interpret the films, but to understand the processes that made the films and how spectarors have applied their knowledge structures to make meaning of the films. Thus the thesis abstains from ascribing implicit meanings to films, but acknowledges how films project cultural contingencies. This is beacause film is shaped by production conditions and cultural and historical circumstances that make the film intelligible. As Bordwell stated in Making Meaning, "One can do other things with films besides 'reading' them" (1989, p. xiii). Within this framework, the thesis proposes a project that understands history films with the norms that govern Italian filmic output, those norms that regulate conditions of production and consumption and the relation between films from various traditions.

Tutkimusetiikka ja tutkimusympäristön normit

According to some scientists it is not useful to integrate ethics into research practices. Their claim is that only unethical persons have ethical problems and because of this we must accept ethical misbehaviour as a phenomenon typical of human society. In the present study the argument that the moral personality of scientists explains ethical problems in science is questioned; in addition, the focus is shifted from individuals to the level of the research environment. The question asked is whether the research environment somehow contributes to research ethics violations. To answer this question the focus was turned towards the research environment norms. The aim of the study was to investigate whether or not these norms are consistent with the norms of research ethics, so that it would be possible to evaluate if the research environment supports scientists in their task of meeting the ethical standards of scientific research. In the study the research environment was examined in three parts. The first deals with society especially Finnish society as a research environment. The second deals with the autonomous science institution as a research environment, while the third deals with scientific society (working according to scientific criteria) as a research environment. The conceptual analysis method was used. This means that various normative arguments were analysed, the primary assumptions behind them were recognized, and the acceptability of normative claims was evaluated according to their consistency. The results of the study do not support the claim that ethical violations in science could be satisfactorily explained by referring only to the personal qualities of scientists. The research environment can limit the freedom to follow the ethical principles of science, it can prevent scientists from handling ethical problems openly and from integrating ethical norms effectively into research practices. The norms of research environment are often implicit but nevertheless influence scientific practices. Further, the results indicate that handling ethical questions should be a part of scientific training.

Implicit and explicit interactions in video mediated collaboration

In this paper we report the results of a study comparing implicit-only and explicit-only interactions in a collaborative, video-mediated task with shared content. Expanding on earlier work which has typically only evaluated how implicit interaction can augment primarily explicit systems, we report issues surrounding control, anxiousness and negotiation in the context of video mediated collaboration. We conclude that implicit interaction has the potential to improve collaborative work, but that there are a multitude of issues that must first be negotiated.

The fully implicit stochastic-alpha method for stiff stochastic differential equations

A fully implicit integration method for stochastic differential equations with significant multiplicative noise and stiffness in both the drift and diffusion coefficients has been constructed, analyzed and illustrated with numerical examples in this work. The method has strong order 1.0 consistency and has user-selectable parameters that allow the user to expand the stability region of the method to cover almost the entire drift-diffusion stability plane. The large stability region enables the method to take computationally efficient time steps. A system of chemical Langevin equations simulated with the method illustrates its computational efficiency.

Activation and persistence of implicit causality information in spoken language comprehension

A visual world eye-tracking study investigated the activation and persistence of implicit causality information in spoken language comprehension. We showed that people infer the implicit causality of verbs as soon as they encounter such verbs in discourse, as is predicted by proponents of the immediate focusing account (Greene & McKoon, 1995; Koornneef & Van Berkum, 2006; Van Berkum, Koornneef, Otten, & Nieuwland, 2007). Interestingly, we observed activation of implicit causality information even before people encountered the causal conjunction. However, while implicit causality information was persistent as the discourse unfolded, it did not have a privileged role as a focusing cue immediately at the ambiguous pronoun when people were resolving its antecedent. Instead, our study indicated that implicit causality does not affect all referents to the same extent, rather it interacts with other cues in the discourse, especially when one of the referents is already prominently in focus.

The approximate parametrization of the curve of intersection of implicit surfaces

A clear definition of an approximate parametrization of the curve of intersection of (n-1) implicit surfaces in Rn is given. It is justified that marching methods yield such an approximation.

Implicit scheme for meshless compressible Euler solver

In this paper, an implicit scheme is presented for a meshless compressible Euler solver based on the Least Square Kinetic Upwind Method (LSKUM). The Jameson and Yoon's split flux Jacobians formulation is very popular in finite volume methodology, which leads to a scalar diagonal dominant matrix for an efficient implicit procedure (Jameson & Yoon, 1987). However, this approach leads to a block diagonal matrix when applied to the LSKUM meshless method. The above split flux Jacobian formulation, along with a matrix-free approach, has been adopted to obtain a diagonally dominant, robust and cheap implicit time integration scheme. The efficacy of the scheme is demonstrated by computing 2D flow past a NACA 0012 airfoil under subsonic, transonic and supersonic flow conditions. The results obtained are compared with available experiments and other reliable computational fluid dynamics (CFD) results. The present implicit formulation shows good convergence acceleration over the RK4 explicit procedure. Further, the accuracy and robustness of the scheme in 3D is demonstrated by computing the flow past an ONERA M6 wing and a clipped delta wing with aileron deflection. The computed results show good agreement with wind tunnel experiments and other CFD computations.