Gender differences of the spanish adult population in barriers to active living

Social research on the needs, barriers and innovations in sport and physical activities to adult women in Spain

Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures

Los tipos de datos concurrentes son implementaciones concurrentes de las abstracciones de datos clásicas, con la diferencia de que han sido específicamente diseñados para aprovechar el gran paralelismo disponible en las modernas arquitecturas multiprocesador y multinúcleo. La correcta manipulación de los tipos de datos concurrentes resulta esencial para demostrar la completa corrección de los sistemas de software que los utilizan. Una de las mayores dificultades a la hora de diseñar y verificar tipos de datos concurrentes surge de la necesidad de tener que razonar acerca de un número arbitrario de procesos que invocan estos tipos de datos de manera concurrente. Esto requiere considerar sistemas parametrizados. En este trabajo estudiamos la verificación formal de propiedades temporales de sistemas concurrentes parametrizados, poniendo especial énfasis en programas que manipulan estructuras de datos concurrentes. La principal dificultad a la hora de razonar acerca de sistemas concurrentes parametrizados proviene de la interacción entre el gran nivel de concurrencia que éstos poseen y la necesidad de razonar al mismo tiempo acerca de la memoria dinámica. La verificación de sistemas parametrizados resulta en sí un problema desafiante debido a que requiere razonar acerca de estructuras de datos complejas que son accedidas y modificadas por un numero ilimitado de procesos que manipulan de manera simultánea el contenido de la memoria dinámica empleando métodos de sincronización poco estructurados. En este trabajo, presentamos un marco formal basado en métodos deductivos capaz de ocuparse de la verificación de propiedades de safety y liveness de sistemas concurrentes parametrizados que manejan estructuras de datos complejas. Nuestro marco formal incluye reglas de prueba y técnicas especialmente adaptadas para sistemas parametrizados, las cuales trabajan en colaboración con procedimientos de decisión especialmente diseñados para analizar complejas estructuras de datos concurrentes. Un aspecto novedoso de nuestro marco formal es que efectúa una clara diferenciación entre el análisis del flujo de control del programa y el análisis de los datos que se manejan. El flujo de control del programa se analiza utilizando reglas de prueba y técnicas de verificación deductivas especialmente diseñadas para lidiar con sistemas parametrizados. Comenzando a partir de un programa concurrente y la especificación de una propiedad temporal, nuestras técnicas deductivas son capaces de generar un conjunto finito de condiciones de verificación cuya validez implican la satisfacción de dicha especificación temporal por parte de cualquier sistema, sin importar el número de procesos que formen parte del sistema. Las condiciones de verificación generadas se corresponden con los datos manipulados. Estudiamos el diseño de procedimientos de decisión especializados capaces de lidiar con estas condiciones de verificación de manera completamente automática. Investigamos teorías decidibles capaces de describir propiedades de tipos de datos complejos que manipulan punteros, tales como implementaciones imperativas de pilas, colas, listas y skiplists. Para cada una de estas teorías presentamos un procedimiento de decisión y una implementación práctica construida sobre SMT solvers. Estos procedimientos de decisión son finalmente utilizados para verificar de manera automática las condiciones de verificación generadas por nuestras técnicas de verificación parametrizada. Para concluir, demostramos como utilizando nuestro marco formal es posible probar no solo propiedades de safety sino además de liveness en algunas versiones de protocolos de exclusión mutua y programas que manipulan estructuras de datos concurrentes. El enfoque que presentamos en este trabajo resulta ser muy general y puede ser aplicado para verificar un amplio rango de tipos de datos concurrentes similares. Abstract Concurrent data types are concurrent implementations of classical data abstractions, specifically designed to exploit the great deal of parallelism available in modern multiprocessor and multi-core architectures. The correct manipulation of concurrent data types is essential for the overall correctness of the software system built using them. A major difficulty in designing and verifying concurrent data types arises by the need to reason about any number of threads invoking the data type simultaneously, which requires considering parametrized systems. In this work we study the formal verification of temporal properties of parametrized concurrent systems, with a special focus on programs that manipulate concurrent data structures. The main difficulty to reason about concurrent parametrized systems comes from the combination of their inherently high concurrency and the manipulation of dynamic memory. This parametrized verification problem is very challenging, because it requires to reason about complex concurrent data structures being accessed and modified by threads which simultaneously manipulate the heap using unstructured synchronization methods. In this work, we present a formal framework based on deductive methods which is capable of dealing with the verification of safety and liveness properties of concurrent parametrized systems that manipulate complex data structures. Our framework includes special proof rules and techniques adapted for parametrized systems which work in collaboration with specialized decision procedures for complex data structures. A novel aspect of our framework is that it cleanly differentiates the analysis of the program control flow from the analysis of the data being manipulated. The program control flow is analyzed using deductive proof rules and verification techniques specifically designed for coping with parametrized systems. Starting from a concurrent program and a temporal specification, our techniques generate a finite collection of verification conditions whose validity entails the satisfaction of the temporal specification by any client system, in spite of the number of threads. The verification conditions correspond to the data manipulation. We study the design of specialized decision procedures to deal with these verification conditions fully automatically. We investigate decidable theories capable of describing rich properties of complex pointer based data types such as stacks, queues, lists and skiplists. For each of these theories we present a decision procedure, and its practical implementation on top of existing SMT solvers. These decision procedures are ultimately used for automatically verifying the verification conditions generated by our specialized parametrized verification techniques. Finally, we show how using our framework it is possible to prove not only safety but also liveness properties of concurrent versions of some mutual exclusion protocols and programs that manipulate concurrent data structures. The approach we present in this work is very general, and can be applied to verify a wide range of similar concurrent data types.

O BOCA A BOCA ON-LINE: AS IMPLICAÇÕES DA VOZ DO CONSUMIDOR NA COMUNICAÇÃO DE MERCADO

O consumidor contemporâneo, inserido em um novo ambiente de comunicação, potencializa suas expressões, capaz de avaliar uma marca ou produto e transmitir sua opinião pelas redes sociais, ou seja, o consumidor expressa suas opiniões e desejos dialogando com seus pares de forma espontânea nas redes sociais on-line. É neste ambiente de participação e interação (ciberespaço) que está nosso objeto de estudo, o boca a boca on-line – a voz do consumidor contemporâneo, também conhecido como uma manifestação informativa pessoal ou uma conversa, a opinion sharing. Proporcionado pelos consumidores nas redes sociais on-line, o boca a boca se fortalece em função das possibilidades de interação, característica da sociedade em rede. Nesse cenário, oobjetivo desta pesquisa é caracterizar o boca a boca on-line como um novo fluxo comunicacional entre consumidores, hoje potencializado pelas novas tecnologias da comunicação, capazes de alterar a percepção da marca e demonstrar o uso, pelas marcas, das redes sociais on-line ainda como um ambiente de comunicação unidirecional. Mediante três casos selecionados por conveniência (dois casos nacionais e um internacional), o corpus de análise de nossa pesquisa se limitou aos 5.084 comentários disponibilizados após publicação de matérias jornalísticas no Portal G1 e nas fanpages (Facebook), ambos relativos aos casos selecionados. Com a Análise de Conteúdo dos posts, identificamos e categorizamos a fala do consumidor contemporâneo, sendo assim possível comprovar que as organizações/marcas se valem da cultura do massivo, não dialogando com seus consumidores, pois utilizam as redes sociais on-line ainda de forma unidirecional, além de não darem a devida atenção ao atual fluxo onde se evidencia a opinião compartilhada dos consumidores da sociedade em rede.

«Somos iguales a cualquier otra familia… estamos convencidos de que somos verdaderos padres y de que formamos una auténtica familia». Las familias adoptivas en el catálogo de las nuevas formas familiares

En este artículo abordamos el significado de la familia adoptiva a partir del análisis del discurso de los relatos autobiográficos de madres y padres adoptivos españoles. En un contexto de vacío de cultura adoptiva, las familias adoptivas publican narraciones para ser valoradas como «normales» al tiempo que, en ausencia de modelos de referencia, definen su modelo de familia desdibujando el arquetipo familiar instituido. A partir del método biográfico, aplicamos un doble ejercicio sociológico de (1) deconstrucción ideológica del modelo de familia hegemónico a partir de la (2) construcción del significado que padres y madres adoptivas otorgan a su familia. Las teorías de la familia postmoderna y las teorías feministas postestructuralistas enmarcan el análisis crítico del discurso con perspectiva de género con el que es abordado el estudio de estos singulares documentos personales.

The regulation of professional advertising practices in Spain, 1988–2013

From the perspective of the sociology of professions, every professional activity should have its own clearly circumscribed and regulated sphere of action. Such an articulation facilitates the regulation of the production of a given profession as well as the way in which it is practiced. The purpose of the research reported here was to provide a comprehensive review and evaluation of the regulatory framework governing the advertising sector in Spain. To this end, the authors analysed external regulatory legislation and self-regulatory codes extracted from the data base of the Asociación para la Autoregulación de la Comunicación Comercial (Autocontrol) that had been enacted or adopted between 1988, the year that Law 11/1998 on General Telecommunications entered into force, and 2003 as well as other relevant documents retrieved from the Boletin Oficial del Estado (BOE) pertaining to the same period. Findings indicate that although there has been a groundswell of legislation governing advertising practices in Spain since 1988, especially at the regional level, lawmakers have focused on the content of advertising messages and shown very little interest in regulating the professions of advertising and public relations. Furthermore, Spanish legislation enacted in 2003 and EU policies appear to have encouraged the adoption of voluntary codes of ethics. Sectors traditionally subject to mandatory advertising regulation, either due to the vulnerability of their target audiences or the potential impact of their commercial messages on public health or the environment, are more likely to develop self-regulatory codes of conduct than others

La opinión pública sobre el turismo. Crítica y propuesta para una nueva orientación

Este texto plantea una reflexión crítica sobre la aplicación de los principios básicos en los que se asienta la Teoría del Intercambio Social a los estudios sobre la percepción del turismo en las sociedades receptoras. Específicamente, se cuestiona la pertinencia científica de esta perspectiva. La oportunidad de esta tarea cobra sentido al constatar cómo la acumulación de estudios empíricos sobre turismo y opinión pública durante las últimas tres décadas, en lugar de desembocar en el establecimiento de un núcleo sólido de certezas teóricas sobre las que construir nuevo conocimiento, ha ido a parar a un callejón sin salida. Además, se propone una vía de trabajo alternativa, inspirada en referentes de la teoría sociológica, aunque apenas utilizados hasta ahora en la investigación del turismo. Esa vía se asienta en la premisa que afirma que la opinión pública no existe más que como resultado de un proceso constitutivo promovido por grupos movilizados alrededor de intereses privados. Ello exige la reubicación del poder como factor explicativo esencial y, por consiguiente, la articulación de estrategias metodológicas más apropiadas.

Student notebook of Thomas Prince, ca. 1707

Paper notebook in Latin on classical Greek grammar. The name "Thomas Prince" appears on the first page. The manuscript is undated. Based on the signature, this volume is assumed to have belonged to Thomas Prince, Sr., although it is undated and may have indeed belonged to Thomas Prince, Jr.

Student lecture notes on the Theory & Practice of Physic, and patient case histories, of Lyman Spalding, 1795-1799 (inclusive)

Contains notes taken by Harvard student Lyman Spalding from lectures delivered by Hersey Professor of the Theory and Practice of Physic Benjamin Waterhouse (1754-1846) in 1795. The notes cover the history of medicine, theories of contemporary physicians like Herman Boerhaave, William Cullen, and John Brown, and topics like fetal growth, digestion, and circulation. The volume also contains six pages of patient case notes from Spalding’s medical practice in Walpole, New Hampshire, in 1799, which detail the patients’ symptoms and course of treatment he pursued. In the case of a young man who complained of pain in his breast following a wrestling match, Spalding bled him and prescribed a cathartic of soap and aloes. Spalding also operated on a man who cut off part of his ankle with an ax.

Lost in Translation? Russian Media Portrayals and Laypersons’ Interpretations of Angelina Jolie’s Breast Cancer Discourse

In May 2013, Angelina Jolie revealed that because she had a family history of breast and ovarian cancer and carried a rare BRCA gene mutation, she had undergone a preventive double mastectomy. Media coverage has been extensive around the world, including in Russia, not an English-language country, where all global news is inevitably filtered by translation. After examining the reactions of Russian mass media and members of the public to Jolie’s disclosure, I consider what transformations have occurred with Jolie’s message in the process of cross-cultural transfer. I explore the mass media portrayal of Jolie’s announcement, laypersons’ immediate and prolonged reactions, and the reflections of patients involved directly in the field of hereditary breast cancer. To my knowledge, this multifaceted and bilingual project is the first conceptualization of Jolie’s story as it has been translated in a different sociocultural environment. I start with examination of offline and online publications that appeared in Russia within two months after Jolie’s announcement. In this part of my analysis, I conceptualize the representation of Jolie’s case in Russian mass media and grasp what sociocultural waves were generated by this case among general lay audiences. Another part of my study contains the results of qualitative in-depth interviews. Eight women with a family history of hereditary breast cancer were recruited to participate in the research. The findings represent Jolie’s case through the eyes of Russian women with the same gene mutation as Jolie. Consolidating my findings, I argue that Jolie’s announcement was misinterpreted and misrepresented by Russian mass media, as well as misunderstood by a considerable part of the media audience. Jolie’s perspective on hereditary breast cancer mostly remained unheard among members of the Russian public. I make suggestions about the reasons for such a phenomenon, and demonstrate how Jolie’s case is implicated in politics, economics, and the culture of contemporary Russia.

Inhibitory Control is a Rate-Limiting Factor to Preschoolers' Use of Irregular Inflection

We investigated whether children’s inhibitory control is associated with their ability to produce irregular verb forms as well as learn from corrective feedback following their use of an over-regularized form. Forty-eight 3.5 to 4.5 year old children were tested on the irregular past tense and provided with adult corrective input via models of correct use or recasts of errors following ungrammatical responses. Inhibitory control was assessed with a three-item battery of tasks that required suppressing a prepotent response in favor of a non-canonical one. Results showed that inhibitory control was predictive of children’s initial production of irregular forms and not associated with their post-feedback production of irregulars. These findings show that children’s executive functioning skills may be a rate-limiting factor on their ability to produce correct forms, but might not interact with their ability to learn from input in this domain. Findings are discussed in terms of current theories of past-tense acquisition and learning from input more broadly.

On the pragmatics of social theory. The case of Elias's "On the Process of Civilization"

This paper proposes a new approach to the study of sociological classics. This approach is pragmatic in character. It draws upon the social pragmatism of G.H. Mead and the sociology of texts of D.F. McKenzie. Our object of study is Norbert Elias’s On the Process of Civilization. The pragmatic genealogy of this book reveals the importance of taking materiality seriously. By documenting the successive entanglements between human agency and non-human factors, we discuss the origins of the book in the 1930s, how it was forgotten for thirty years, and how in the mid-1970s it became a sociological classic. We explain canonization as a matter of fusion between book’s material form and its content, in the context of the paperback revolution of the 1960s, the events of May 1968, and the demise of Parsons’ structural functionalism, and how this provided Elias with an opportunity to advance his model of sociology.

The Labour Allocation Decisions of Farm Households: Defining a theoretical model. Factor Markets Working Paper No. 31, October 2012

This paper presents a theoretical model for the analysis of decisions regarding farm household labour allocation. The agricultural household model is selected as the most appropriate theoretical framework; a model based on the assumption that households behave to maximise utility, which is a function of consumption and leisure, and is subject to time and budget constraints. The model can be used to describe the role of government subsidies in farm household labour allocation decisions; in particular the impact of decoupled subsidies on labour allocation can be examined. Decoupled subsidies are a labour-free payment and as such represent an increase in labour-free income or wealth. An increase in wealth allows farm households to work less while maintaining consumption. On the other hand, decoupled subsidies represent a decline in the return to farm labour and may lead to a substitution effect, i.e., farmers may choose to substitute non-farm work for farm work. The theoretical framework proposed in this paper allows for the examination of these two conflicting effects.

Gibt es eine politische Philosophie der Europäischen Union? = Is there a political philosophy of the European Union?. ZEI Discussion Paper C223, 2014

In a theoretical context, the European Union is generally interpreted through the prism of integration theories, which in turn reflect the ever changing empirical reality of the integration process. ZEI Director Ludger Kühnhardt asks if and to what extent the process of European integration has begun to generate a specific political philosophy which uses the EU - and not the classical notion of the state – as the starting and reference point for its reasoning. Kühnhardt examines examples – such as the European notion of civil rights and the notion of the Union itself, but also critical categories such as euroskepticism – which indicate that the EU itself is beginning to be the starting point and frame of reference for a reflection on the common good. For now, a political philosophy in the context of the European Union exists only in an embryonic stage, but the topic may generate intellectual insights through further and deeper research.

Émergence et développement de l’oncologie au Québec : collaboration, compétition et défis organisationnels, 1900-2005

Objectifs : le principal objectif de notre projet doctoral consiste à mettre en relief les transformations qui ont marqué le développement de l’oncologie et de la lutte contre le cancer au Québec au 20e siècle. Pour ce faire, nous nous sommes penchées sur trois niveaux d’analyse : 1) le niveau micro aborde l’organisation des services médicaux au sein d’une organisation hospitalière, soit l’Hôtel-Dieu de Québec. 2) Le niveau méso analyse une lutte professionnelle, soit la lutte entre les hématologues et les oncologues médicaux pour la reconnaissance de l’oncologie médicale. 3) Le niveau macro s’intéresse à l’organisation de la lutte contre le cancer à travers la province de Québec et aux différents modèles organisationnels créés. Principale hypothèse : l’émergence et la transformation de l’oncologie et de la lutte contre le cancer ont été influencées des rapports de collaboration et de compétition entre les acteurs impliqués en oncologie. En effet, il apparaît que ce champ se trouve en tension entre l’obligation de collaborer pour offrir des services de qualité aux patients et les dynamiques professionnelles et/ou organisationnelles. Cadre théorique : un cadre théorique a été développé pour chacun des niveaux d’analyse. Le niveau micro s’inspire des travaux de Frickel, Abbott et Strauss et s’intéresse plus particulièrement aux négociations entourant l’ordre social au sein d’un hôpital universitaire; le niveau méso emploie les travaux de Bourdieu et Abbott pour analyser la lutte entre deux spécialités médicales pour le contrôle des agents de chimiothérapie; et le niveau macro, de la sociologie des organisations et de la théorie néo-institutionnaliste pour mettre en relief l’émergence et la transformation de la lutte contre le cancer au Québec au 20e siècle. Méthodologie : l’approche de l’étude de cas a été adoptée et chaque niveau d’analyse constitue une étude de cas à part entière. Le corpus de données se compose de données archivistiques recueillies dans 10 centres d’archives canadiens, et de données d’entrevues. Une soixantaine d’entrevues avec des oncologues, des professionnels de la santé, des gestionnaires, des chercheurs et des fonctionnaires ont été réalisées. Conclusion : les différents niveaux d’analyse offrent différentes contributions qui leurs sont propres, mais l’ensemble de la thèse tend à mettre en relief la complexité du changement organisationnel à travers un perpétuel processus de définition et de redéfinition des frontières professionnelles et des organisations en raison du développement des connaissances scientifiques, des technologies, des expertises professionnelles et de l’environnement social, politique et économique.

Chemical observations in the Red Sea and the inner Gulf of Aden during the International Indian Ocean Expedition 1964/65

The Red Sea has a special place among the adjacent seas of the world. High evaporation, exclusion of its deep water from contact with the Indian Ocean proper and complete absence of continental drainage may result special conditions of the chemistry of the Red Sea. This paper aims to describe and explain the peculiarity of the hydrochemical situation. The influence of the topography, of the inflow and outflow through the straights of Bab el Mandeb, of the evaporation, of the stability of the water layers, and of the circulation will be studied. An attempt is made to estimate the apparent oxygen ultilisation in order to obtain an indication of the biological activity. A further attempt is made toward the quantitative estimation of the circulation of the nutrients and also to obtain some information about transport, dissolution, and precipitation of calcium carbonate. The basis of these investigations are mainly observations of R. V. "Meteor" during the International Indian Ocean Expedition 1964/65. The determination of dissolved oxygen, dissolved inorganic phosphate, nitrate, nitrite, ammonia, pH, alkalinity, silicate as well as salinity and temperature forms the necessary basis for such an investigation of the chemical conditions. In the first chapter the methods and some modifications for the determination of the chemical properties as applied during the I.I.O.E. cruise of R. V. "Meteor" are described. The new methods, as worked out and tested under sea going conditions during several years by the author, are described in more detail. These are the methods for nitrate, silicate, the automatic determination of dissolved inorganic phosphate and silicate, the automated determination of total phosphorus, the in situ recording of the oxygen tension, and the modification for the determination of ammonia, calcium, and dissolved oxygen. With these revised methods more than 18,000 determinations have been carried out during the Indian Ocean cruise. The complete working up of the chemical data of the Indian Ocean Expedition of R. V. "Meteor" is devided into four sections: Contributions 1) to the Chemistry of the Red Sea and the Inner Gulf of Aden, 2) to the Gulf of Aden and the Somali Coast Region, 3) to the Western Indian Coast Region, and 4) to the Persian Gulf and the Straits of Oman. This paper presents the first contribution. The special hydrographical conditions are discussed. It can be shown, that the increase of salinity in the surface waters from the south to the north of the Red Sea is only to about 30 % due to evaporation. The remaining increase is presumed to be due to the admixture of deep water to the surface layers. A special rate for the consumption of oxygen (0.114 ml/ l/a) is derived for the deep water of the Red Sea at 1500 m. Based upon the distribution of the dissolved oxygen along the axii of the Red Sea, a chematic model for the longitudinal circulation of the Red Sea is constructed. This model should be considered as a first approximation and may explain the special distribution of phosphate, nitrate, and silicate. Based upon the evaluation of the residence time of the deep water a dissolution rate for silicate is estimated as 1 mygat/a. It seems possible to calculate residence times of water masses outside the Red Sea from the silicate content. The increase of silicate and the consumption of oxygen lead to residence times of the water below the thermocine of 30 to 48 years. The distribution of oxygen in the Straits of Bab el Mandeb is described and discussed. The rate of consumption of the oxygen in the outflowing Red Sea water is estimated to 8.5 ml/ l/a. This rather high rate is explained with reference to the special conditions in the outflowing water. The Red Sea water is characterized initially by a relative high content of oxygen and a low content of nutrients. The increase in nutrients and the decrease in the oxygen content is a secondary process of the Red Sea water on its way to the Arabian Sea. Based upon the vertical distribution of the dissolved inorganic phosphate vertical exchange coefficients of 1 - 4 g/cm/sec and vertical current speeds of 10**-5 to 10**-4 cm/sec are calculated for some stations in the Red Sea. The distribution of phosphate, silicate, nitrate, nitrite and ammonia for the Red Sea and the Straits of Bab el Mandeb are discussed. The special circulation is evaluated and the balance of the nutrients is estimated by means of the brutto transport. The nutrient deficit is assumed to be balanced by sporadic inflow of intermediate water from the Gulf of Aden. An example for such an inflow has been observed and is demonstrated. The silicate-salinity relationships are a suitable way for characterizing water masses in the Red Sea. Equations for the calculation of the different components from the carbonate system, the ion activities, and the calcium carbonate saturation are evaluated. The influence of temperature and pressure is taken into account. The carbonate saturation is calculated from the determined concentrations of calcium, alkalinity, and the hydrogen ion activity. Saturation values of 320 % are found for the surface layer and of 100% ± 1 for the deep water. The extraordinary equilibrium conditions may explain the constant Ca/Cl ratio and also the sedimentation of undissolved carbonate skelecons even in greater depths. A main sedimentation rate of 2 * 10**-3cm/year is evaluated from a total sedimentation of 10 * 106 to/a of calcium carbonate in the Red Sea. The appendix contains those data, which are not published in the data volume of the I.I.O.E. expedition of R. V. "Meteor".