Spatial and temporal variation in distribution of mangroves in Moreton Bay, subtropical Australia: a comparison of pattern metrics and change detection analyses based on aerial photographs

An assessment of the changes in the distribution and extent of mangroves within Moreton Bay, southeast Queensland, Australia, was carried out. Two assessment methods were evaluated: spatial and temporal pattern metrics analysis, and change detection analysis. Currently, about 15,000 ha of mangroves are present in Moreton Bay. These mangroves are important ecosystems, but are subject to disturbance from a number of sources. Over the past 25 years, there has been a loss of more than 3800 ha, as a result of natural losses and mangrove clearing (e.g. for urban and industrial development, agriculture and aquaculture). However, areas of new mangroves have become established over the same time period, offsetting these losses to create a net loss of about 200 ha. These new mangroves have mainly appeared in the southern bay region and the bay islands, particularly on the landward edge of existing mangroves. In addition, spatial patterns and species composition of mangrove patches have changed. The pattern metrics analysis provided an overview of mangrove distribution and change in the form of single metric values, while the change detection analysis gave a more detailed and spatially explicit description of change. An analysis of the effects of spatial scales on the pattern metrics indicated that they were relatively insensitive to scale at spatial resolutions less than 50 m, but that most metrics became sensitive at coarser resolutions, a finding which has implications for mapping of mangroves based on remotely sensed data. (C) 2003 Elsevier Science B.V. All rights reserved.

Using partially structured attitude measures to enhance the attitude-behavior relationship

This article recalls a classic scheme for categorizing attitude measures. One particular group of measures, those that rely on respondents' interpretations of partially structured stimuli, has virtually disappeared from attitude research. An attitude measure based on respondents' interpretation of partially structured stimuli is considered. Four studies employing such a measure demonstrate that it predicts unique variance in self-reported and actual behavior, beyond that predicted by explicit and contemporary implicit measures and regardless of whether the attitude object under consideration is wrought with social desirability concerns. Implications for conceptualizing attitude measurement and attitude-behavior relations are discussed.

Assessing the ex ante economic impacts of transportation infrastructure policies in Brazil

This paper uses a fully operational inter-regional computable general equilibrium (CGE) model implemented for the Brazilian economy, based on previous work by Haddad and Hewings, in order to assess the likely economic effects of road transportation policy changes in Brazil. Among the features embedded in this framework, modelling of external scale economies and transportation costs provides an innovative way of dealing explicitly with theoretical issues related to integrated regional systems. The model is calibrated for 109 regions. The explicit modelling of transportation costs built into the inter-regional CGE model, based on origin-destination flows, which takes into account the spatial structure of the Brazilian economy, creates the capability of integrating the inter-regional CGE model with a geo-coded transportation network model enhancing the potential of the framework in understanding the role of infrastructure on regional development. The transportation model used is the so-called Highway Development and Management, developed by the World Bank, implemented using the software TransCAD. Further extensions of the current model specification for integrating other features of transport planning in a continental industrialising country like Brazil are discussed, with the goal of building a bridge between conventional transport planning practices and the innovative use of CGE models. In order to illustrate the analytical power of the integrated system, the authors present a set of simulations, which evaluate the ex ante economic impacts of physical/qualitative changes in the Brazilian road network (for example, a highway improvement), in accordance with recent policy developments in Brazil. Rather than providing a critical evaluation of this debate, they intend to emphasise the likely structural impacts of such policies. They expect that the results will reinforce the need to better specifying spatial interactions in inter-regional CGE models.

Forward-looking versus recursive-dynamic modeling in climate policy analysis: A comparison

This paper develops a multi-regional general equilibrium model for climate policy analysis based on the latest version of the MIT Emissions Prediction and Policy Analysis (EPPA) model. We develop two versions so that we can solve the model either as a fully inter-temporal optimization problem (forward-looking, perfect foresight) or recursively. The standard EPPA model on which these models are based is solved recursively, and it is necessary to simplify some aspects of it to make inter-temporal solution possible. The forward-looking capability allows one to better address economic and policy issues such as borrowing and banking of GHG allowances, efficiency implications of environmental tax recycling, endogenous depletion of fossil resources, international capital flows, and optimal emissions abatement paths among others. To evaluate the solution approaches, we benchmark each version to the same macroeconomic path, and then compare the behavior of the two versions under a climate policy that restricts greenhouse gas emissions. We find that the energy sector and CO(2) price behavior are similar in both versions (in the recursive version of the model we force the inter-temporal theoretical efficiency result that abatement through time should be allocated such that the CO(2) price rises at the interest rate.) The main difference that arises is that the macroeconomic costs are substantially lower in the forward-looking version of the model, since it allows consumption shifting as an additional avenue of adjustment to the policy. On the other hand, the simplifications required for solving the model as an optimization problem, such as dropping the full vintaging of the capital stock and fewer explicit technological options, likely have effects on the results. Moreover, inter-temporal optimization with perfect foresight poorly represents the real economy where agents face high levels of uncertainty that likely lead to higher costs than if they knew the future with certainty. We conclude that while the forward-looking model has value for some problems, the recursive model produces similar behavior in the energy sector and provides greater flexibility in the details of the system that can be represented. (C) 2009 Elsevier B.V. All rights reserved.

Midazolam reduces the selective activation of the rhinal cortex by contextual fear stimuli

Independent brain circuits appear to underlie different forms of conditioned fear, depending on the type of conditioning used, such as a context or explicit cue paired with footshocks. Several clinical reports have associated damage to the medial temporal lobe (MTL) with retrograde amnesia. Although a number of studies have elucidated the neural circuits underlying conditioned fear, the involvement of MTL components in the aversive conditioning paradigm is still unclear. To address this issue, we assessed freezing responses and Fos protein expression in subregions of the rhinal cortex and ventral hippocampus of rats following exposure to a context, light or tone previously paired with footshock (Experiment 1). A comparable degree of freezing was observed in the three types of conditioned fear, but with distinct patterns of Fos distribution. The groups exposed to cued fear conditioning did not show changes in Fos expression, whereas the group subjected to contextual fear conditioning showed selective activation of the ectorhinal (Ect), perirhinal (Per), and entorhinal (Ent) cortices, with no changes in the ventral hippocampus. We then examined the effects of the benzodiazepine midazolam injected bilaterally into these three rhinal subregions in the expression of contextual fear conditioning (Experiment 2). Midazolam administration into the Ect, Per, and Ent reduced freezing responses. These findings suggest that contextual and explicit stimuli endowed with aversive properties through conditioning recruit distinct brain areas, and the rhinal cortex appears to be critical for storing context-, but not explicit cue-footshock, associations. (C) 2010 Elsevier B.V. All rights reserved.

Loss of Ergodicity in the Transition from Annealed to Quenched Disorder in a Finite Kinetic Ising Model

We consider a kinetic Ising model which represents a generic agent-based model for various types of socio-economic systems. We study the case of a finite (and not necessarily large) number of agents N as well as the asymptotic case when the number of agents tends to infinity. The main ingredient are individual decision thresholds which are either fixed over time (corresponding to quenched disorder in the Ising model, leading to nonlinear deterministic dynamics which are generically non-ergodic) or which may change randomly over time (corresponding to annealed disorder, leading to ergodic dynamics). We address the question how increasing the strength of annealed disorder relative to quenched disorder drives the system from non-ergodic behavior to ergodicity. Mathematically rigorous analysis provides an explicit and detailed picture for arbitrary realizations of the quenched initial thresholds, revealing an intriguing ""jumpy"" transition from non-ergodicity with many absorbing sets to ergodicity. For large N we find a critical strength of annealed randomness, above which the system becomes asymptotically ergodic. Our theoretical results suggests how to drive a system from an undesired socio-economic equilibrium (e. g. high level of corruption) to a desirable one (low level of corruption).

What Brazilian Portuguese Says about Control: Remarks on Boeckx & Hornstein

In an article in this journal, Boeckx & Hornstein (2006a) present data from Brazilian Portuguese (BP) as an argument in favor of the Movement Theory of Control (MTC). In this reply, I show that the data presented by those authors do not necessarily argue for a movement analysis of BP finite subjects nor of nonfinite control. I also show that BP provides arguments against the MTC when inflected infinitives are considered. Inflected infinitives may be used in BP in partial control structures, which makes it explicit that a singular matrix argument may control a syntactically plural null subject and shows that these two positions cannot be related by movement. Additionally, I show that the MTC makes the wrong predictions when a language with inflected infinitives is considered.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Eigenvalues of Casimir invariants for unitary irreps of Uq(gl(m vertical bar n))

A fully explicit formula for the eigenvalues of Casimir invariants for U-q(gl(m/n)) is given which applies to all unitary irreps. This is achieved by making some interesting observations on atypicality indices for irreps occurring in the tensor product of unitary irreps of the same type. These results have applications in the determination of link polynomials arising from unitary irreps of U-q(gl(m/n)).

Analysis and implementation of a new constant acceleration subcycling algorithm

An algorithm for explicit integration of structural dynamics problems with multiple time steps is proposed that averages accelerations to obtain subcycle states at a nodal interface between regions integrated with different time steps. With integer time step ratios, the resulting subcycle updates at the interface sum to give the same effect as a central difference update over a major cycle. The algorithm is shown to have good accuracy, and stability properties in linear elastic analysis similar to those of constant velocity subcycling algorithms. The implementation of a generalised form of the algorithm with non-integer time step ratios is presented. (C) 1997 by John Wiley & Sons, Ltd.

The subcycled Newmark algorithm

The popular Newmark algorithm, used for implicit direct integration of structural dynamics, is extended by means of a nodal partition to permit use of different timesteps in different regions of a structural model. The algorithm developed has as a special case an explicit-explicit subcycling algorithm previously reported by Belytschko, Yen and Mullen. That algorithm has been shown, in the absence of damping or other energy dissipation, to exhibit instability over narrow timestep ranges that become narrower as the number of degrees of freedom increases, making them unlikely to be encountered in practice. The present algorithm avoids such instabilities in the case of a one to two timestep ratio (two subcycles), achieving unconditional stability in an exponential sense for a linear problem. However, with three or more subcycles, the trapezoidal rule exhibits stability that becomes conditional, falling towards that of the central difference method as the number of subcycles increases. Instabilities over narrow timestep ranges, that become narrower as the model size increases, also appear with three or more subcycles. However by moving the partition between timesteps one row of elements into the region suitable for integration with the larger timestep these the unstable timestep ranges become extremely narrow, even in simple systems with a few degrees of freedom. As well, accuracy is improved. Use of a version of the Newmark algorithm that dissipates high frequencies minimises or eliminates these narrow bands of instability. Viscous damping is also shown to remove these instabilities, at the expense of having more effect on the low frequency response.

Exploring the knowledge contained in neuroimages: Statistical discriminant analysis and automatic segmentation of the most significant changes

Objective: The aim of this article is to propose an integrated framework for extracting and describing patterns of disorders from medical images using a combination of linear discriminant analysis and active contour models. Methods: A multivariate statistical methodology was first used to identify the most discriminating hyperplane separating two groups of images (from healthy controls and patients with schizophrenia) contained in the input data. After this, the present work makes explicit the differences found by the multivariate statistical method by subtracting the discriminant models of controls and patients, weighted by the pooled variance between the two groups. A variational level-set technique was used to segment clusters of these differences. We obtain a label of each anatomical change using the Talairach atlas. Results: In this work all the data was analysed simultaneously rather than assuming a priori regions of interest. As a consequence of this, by using active contour models, we were able to obtain regions of interest that were emergent from the data. The results were evaluated using, as gold standard, well-known facts about the neuroanatomical changes related to schizophrenia. Most of the items in the gold standard was covered in our result set. Conclusions: We argue that such investigation provides a suitable framework for characterising the high complexity of magnetic resonance images in schizophrenia as the results obtained indicate a high sensitivity rate with respect to the gold standard. (C) 2010 Elsevier B.V. All rights reserved.

Participatory ergonomics: Understanding the contributions of reflection groups in a hospital food service

Aim: To identify how the methodology of Reflection Groups (RG) can contribute to approach social-psychological problems, so often observed as obstacles in PE efforts. The objective was also to verify the contributions from RG to the implementation of ergonomics recommendations, which were a starting point and organized group discussions. Method: A concrete case was used as an illustration, and studied in depth: RG with administration and production workers` representatives from the Department of Nutrition and Dietetics of a cardiologic hospital in Sao Paulo, Brazil. RG are temporary thinking groups, taking place outside the workplace and having delegative and consultive participation. They make use of Operative Groups, an adapted form of tripartite group, activity as an instrumental resource, group dynamic techniques and videotaping. In 2007, 31 meetings took place during paid working hours with 7 groups of different composition, ranging from 1.5 h to 3 h. Results: Additionally to the positive effects in communication and psychosocial environment, RG could also contribute to changes in interpersonal relationships, cooperation, personal and work behaviours. By dealing with aspects which could hinder the explicit task: fears, conflicts, and stereotyped beliefs and behaviours; resistance to change could be broken and group members could learn. RG allowed input about new risks; continuous information and feedback about ongoing ergonomics interventions so that immediate corrective action could be taken. The main form of participation was in administrative, organizational, and psychosocial problems which required a better clarification and identification of their real causes, commitment, and elaboration of strategies and negotiation of different stakeholders in their solution. Conclusion: RG takes advantage of homogeneous and heterogeneous groups, in face to face communication. The interactions in the groups are task-oriented (explicit task) but attaining groups` goals depends on a relational interaction (implicit task). Relevance to industry: Reflection groups can bring important contributions to ergonomics and industry because they favour the discussion, disclosure of problems and incorporation of solutions, enabling interventions in working organization, psychosocial environment and relationships in a collective and participatory approach, promoting health and social integration. (C) 2010 Elsevier B.V. All rights reserved.

Changes in Management Strategies After Spontaneous Migration of a Retained Intraorbital Metallic Foreign Body

Purpose: Because of the controversial biologic tolerance and management, retained intraorbital metallic foreign body (RIMFb) poses a formidable challenge to surgeons. Besides location of the foreign body, indications for surgical management include neurologic injury, mechanical restriction of the eye movement, and development of local infection or draining fistula. The authors describe an unusual case of spontaneous migration of a RIMFb. Methods: A 26-year-old man had a gunshot injury on the left orbit. The patient was initially managed conservatively because of the posterior position of the bullet fragment. Thereafter, because of the clinical impairments and anterior migration of projectile, surgical treatment was considered. Results: Spontaneous anterior migration has led to mechanical disturbances and inflammatory complications that comprise explicit surgical indications for removal. The patient underwent surgery with complete relief of symptoms. We suppose that extrinsic ocular muscles might play a role in shifting large RIMFb over time, leading to change in the management strategies. Conclusions: Spontaneous migration of RIMFb is a rare clinical situation that can lead to pain, local deformity, as well as changes in the management strategies of the affected patients even in the late phase of follow-up.