An irreducibility criterion for group representations, with arithmetic applications

We prove a criterion for the irreducibility of an integral group representation p over the fraction field of a noetherian domain R in terms of suitably defined reductions of p at prime ideals of R. As applications, we give irreducibility results for universal deformations of residual representations, with a special attention to universal deformations of residual Galois representations associated with modular forms of weight at least 2.

Second differential of the entropy as a criterion for the stability in low-dimensional climate models

The second differential of the entropy is used for analysing the stability of a thermodynamic climatic model. A delay time for the heat flux is introduced whereby it becomes an independent variable. Two different expressions for the second differential of the entropy are used: one follows classical irreversible thermodynamics theory; the second is related to the introduction of response time and is due to the extended irreversible thermodynamics theory. the second differential of the classical entropy leads to unstable solutions for high values of delay times. the extended expression always implies stable states for an ice-free earth. When the ice-albedo feedback is included, a discontinuous distribution of stable states is found for high response times. Following the thermodynamic analysis of the model, the maximum rates of entropy production at the steady state are obtained. A latitudinally isothermal earth produces the extremum in global entropy production. the material contribution to entropy production (by which we mean the production of entropy by material transport of heat) is a maximum when the latitudinal distribution of temperatures becomes less homogeneous than present values

Increasing stair climbing in a train station: effects of contextual variables and visibility

Accumulation of physical activity during daily living is a current public health target that is influenced by the layout of the built environment. This study reports how the layout of the environment may influence responsiveness to an intervention. Pedestrian choices (n = 41 717) between stairs and the adjacent escalators were monitored for seven weeks in a train station (Birmingham, UK). After a 3.5 week baseline period, a stair riser banner intervention to increase stair climbing was installed on two staircases adjacent to escalators and monitoring continued for a further 3.5 weeks. Logistic regression analyses revealed that the visibility of the intervention, defined as the area of visibility in the horizontal plane opposite to the direction of travel (termed the isovist) had a major effect on success of the intervention. Only the largest isovist produced an increase in stair climbing (isovist=77.6 m2, OR = 1.10, CIs 1.02-1.19; isovist=40.7 m2, OR = 0.98, CIs 0.91-1.06; isovist=53.2 m2, OR = 1.00, CIs 0.95-1.06). Additionally, stair climbing was more common during the morning rush hour (OR = 1.56, CIs 1.80-2.59) and at higher levels of pedestrian traffic volume (OR = 1.92, CIs 1.68-2.21). The layout of the intervention site can influence responsiveness to point-of-choice interventions. Changes to the design of train stations may maximize the choice of the stairs at the expense of the escalator by pedestrians leaving the station.

A measure of stability as a criterion for the verification and analysis of simulation models

The aim of this study is to define a new statistic, PVL, based on the relative distance between the likelihood associated with the simulation replications and the likelihood of the conceptual model. Our results coming from several simulation experiments of a clinical trial show that the PVL statistic range can be a good measure of stability to establish when a computational model verifies the underlying conceptual model. PVL improves also the analysis of simulation replications because only one statistic is associated with all the simulation replications. As well it presents several verification scenarios, obtained by altering the simulation model, that show the usefulness of PVL. Further simulation experiments suggest that a 0 to 20 % range may define adequate limits for the verification problem, if considered from the viewpoint of an equivalence test.

Neurocognition in schizophrenia: a study of the productivity and visibility of spanish authors

This paper provides a map of the scientific productivity of authors affiliated to a Spanish institution and who have addressed one of the most important current topics in schizophrenia: The study of cognitive performance. A search of the Web of Science yielded 125 articles that met the inclusion criteria. In order to provide a comprehensive overview of scientific productivity, we examine several bibliometric indicators, concerning both productivity and impact or visibility. The analysis also focuses on qualitative aspects of key theoretical importance, such as the kinds of cognitive functions that are most often assessed and the tests most widely used to evaluate them in clinical practice. The study shows that interest in the subject of cognitive function in schizophrenia has increased considerably in Spain since the beginning of this century. The results also highlight the need to standardize the type of tests to be used in the cognitive assessment of patients with schizophrenia.

Fourier-based registration for robust forward-looking sonar mosaicing in low-visibility underwater environments

Vehicle operations in underwater environments are often compromised by poor visibility conditions. For instance, the perception range of optical devices is heavily constrained in turbid waters, thus complicating navigation and mapping tasks in environments such as harbors, bays, or rivers. A new generation of high-definition forward-looking sonars providing acoustic imagery at high frame rates has recently emerged as a promising alternative for working under these challenging conditions. However, the characteristics of the sonar data introduce difficulties in image registration, a key step in mosaicing and motion estimation applications. In this work, we propose the use of a Fourier-based registration technique capable of handling the low resolution, noise, and artifacts associated with sonar image formation. When compared to a state-of-the art region-based technique, our approach shows superior performance in the alignment of both consecutive and nonconsecutive views as well as higher robustness in featureless environments. The method is used to compute pose constraints between sonar frames that, integrated inside a global alignment framework, enable the rendering of consistent acoustic mosaics with high detail and increased resolution. An extensive experimental section is reported showing results in relevant field applications, such as ship hull inspection and harbor mapping

Embedding theorems of funcitional classes, III

In this paper we obtain the necessary and sufficient conditions for embedding results of different function classes. The main result is a criterion for embedding theorems for the so-called generalized Weyl-Nikol'skii class and the generalized Lipschitz class. To define the Weyl-Nikol'skii class, we use the concept of a (λ,β)-derivative, which is a generalization of the derivative in the sense of Weyl. As corollaries, we give estimates of norms and moduli of smoothness of transformed Fourier series.

Self-selection consistent functions

This paper studies collective choice rules whose outcomes consist of a collection of simultaneous decisions, each one of which is the only concern of some group of individuals in society. The need for such rules arises in different contexts, including the establishment of jurisdictions, the location of multiple public facilities, or the election of representative committees. We define a notion of allocation consistency requiring that each partial aspect of the global decision taken by society as a whole should be ratified by the group of agents who are directly concerned with this particular aspect. We investigate the possibility of designing envy-free allocation consistent rules, we also explore whether such rules may also respect the Condorcet criterion.

Catalan Policies and Experiences on Cooperative Repositories

The Centre de Supercomputació de Catalunya (CESCA) together with the Consorci de Biblioteques Universitàries de Catalunya (CBUC) started in 1999 a cooperative repository, named TDR, to file in digital format the full-text of the read thesis at the universities of our country to spread them worldwide in open access preserving the intellectual copyright of the authors. This became operational in 2001 and today it is a service fully consolidated not only among the Catalan universities, but also used by other Spanish universities. Since then, there are four additional cooperative repositories which have been created: RECERCAT, for research papers; RACO, for scientific, cultural and erudite Catalan magazines; PADICAT, for archiving Catalan web sites; and MDC, for Catalan digital collections of pictures, maps, posters, old magazines... These five repositories have some common characteristics: they are open access, that is, they are accessible on the internet for free; they mostly comply with the Open Archive Initiative interoperability protocol for facilitating the efficient dissemination of content; and they have been built in a cooperative manner so that it is easy to adopt common procedures and to share the repository developing and managing costs, it permits more visibility of the indexed documents throughout the search engines, and a better provision for long-term preservation can be made. In this paper we present the common policy established for the Catalan cooperative repositories, we describe the five of them briefly, and we comment on the results obtained of our 6-year experience since the first one became operational.

Freedom of choice as control over outcomes

As interactions between individuals are introduced into the freedom of choice literature by the mean of game forms, new issues appear. In particular, in this paper it is argued that individuals face uncertainty with respect to outcomes as they lose the control they implicitely exert over options in the opportunity set framework. A criterion is proposed as to compare alternative game forms in terms of the control they offer to individuals. The CardMin criterion suggests that any game form should be judged on the basis of the strategy offering the lowest number of pairwise different outcomes. An axiomatic characterization is provided in the case of two individuals.

Elements of algebraic geometry and the positive theory of partially commutative groups

The first main result of the paper is a criterion for a partially commutative group G to be a domain. It allows us to reduce the study of algebraic sets over G to the study of irreducible algebraic sets, and reduce the elementary theory of G (of a coordinate group over G) to the elementary theories of the direct factors of G (to the elementary theory of coordinate groups of irreducible algebraic sets). Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group H. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of H has quantifier elimination and that arbitrary first-order formulas lift from H to H * F, where F is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.

A theoretical and practical study on linear reforms of dual taxes

We extend the linear reforms introduced by Pf¨ahler (1984) to the case of dual taxes. We study the relative effect that linear dual tax cuts have on the inequality of income distribution -a symmetrical study can be made for dual linear tax hikes-. We also introduce measures of the degree of progressivity for dual taxes and show that they can be connected to the Lorenz dominance criterion. Additionally, we study the tax liability elasticity of each of the reforms proposed. Finally, by means of a microsimulation model and a considerably large data set of taxpayers drawn from 2004 Spanish Income Tax Return population, 1) we compare different yield-equivalent tax cuts applied to the Spanish dual income tax and 2) we investigate how much income redistribution the dual tax reform (Act ‘35/2006’) introduced with respect to the previous tax.

How collaboration could contribute to make Catalan journals visible on the Internet?

Cooperation between libraries is a universal language spoken in different dialects. In 1996 the libraries of the state-funded universities and the National Library of Catalonia (Spain) formed the Consortium of Academic Libraries of Catalonia (CBUC) to act as a channel for cooperation. The organization and activities of CBUC are an example of how this universal language has been adapted to the specific characteristics of the Libraries of Catalonia. Catalonia is an autonomous region of Spain with 7 million inhabitants with its own language, history and traditions and with a strong feeling of own identity that facilitates the cooperation. Thanks to this (and also to the hard work of the member libraries), since then, CBUC has created a union catalogue, an interlibrary lending program, the Digital Library of Catalonia, a cooperative store, different cooperatives repositories and other cooperation programs. One of these cooperatives repositories is RACO (Catalan Journals in Open Access, www.raco.cat) where can be consulted, in open access, the full-text articles of scientific, cultural and scholar Catalan journals. The main purpose of RACO is to increase the visibility and searches of the journals included and to spread the scientific and academic production published in Catalonia. This purpose makes specific in three aims: encourage the electronic edition of Catalan journals; be the interface that allows the whole search of all the journals and provide the instruments for its preservation. There are currently 244 journals in RACO, that includes more than 85.000 articles (80% in OA) from 50 publishing institutions. Since it got into operation it has had more than 4 millions of queries. These 244 journals offer the full-text of all the published issues. Nevertheless, some journal can have a delay between the introduction of the table of contents and the full-text for the recent issues. From 2005 we have a plan of retrospective digitization that has allowed to digitize more than 350.000 pages of back issues. The RACO repository works with the open source program OJS (Open Journal Systems, http://pkp.sfu.ca/ojs/) and uses Dublin Core Metadata and the interoperability protocol created by Open Archives Initiative (OAI) which allows to increase the visibility of the articles published in journals offering oneself together with other international repositories.

Comparison of different devices for predicting the lean meat percentage of pig carcasses

Lean meat percentage (LMP) is the criterion for carcass classification and it must be measured on line objectively. The aim of this work was to compare the error of the prediction (RMSEP) of the LMP measured with the following different devices: Fat-O-Meat’er (FOM), UltraFOM (UFOM), AUTOFOM and -VCS2000. For this reason the same 99 carcasses were measured using all 4 apparatus and dissected according to the European Reference Method. Moreover a subsample of the carcasses (n=77) were fully scanned with a X-ray Computed Tomography equipment (CT). The RMSEP calculated with cross validation leave-one-out was lower for FOM and AUTOFOM (1.8% and 1.9%, respectively) and higher for UFOM and VCS2000 (2.3% for both devices). The error obtained with CT was the lowest (0.96%) in accordance with previous results, but CT cannot be used on line. It can be concluded that FOM and AUTOFOM presented better accuracy than UFOM and VCS2000.