Tendencias y prácticas innovadoras en inclusión social. Perspectiva internacional

El objetivo de este artículo es el de identificar y describir las principales tendencias que en los países de nuestro entorno se están desarrollando en el ámbito de las políticas para la inclusión social, así como dar a conocer algunas prácticas innovadoras "o, al menos, novedosas" que están siendo puestas en funcionamiento en este ámbito. Para ello, se repasan los principales paradigmas que rigen en la actualidad las políticas para la inclusión, con particular atención a las tendencias articuladas en torno a la activación de las políticas de garantía de ingresos, el paradigma del estado social inversor, las iniciativas que buscan la "recapitalización" de los pobres, el modelo de vida independiente y los intentos para dotar de una nueva centralidad a los lazos e iniciativas comunitarias

El papel de los sistemas de garantía de ingresos en el abordaje de la pobreza en el empleo: la experiencia del País Vasco

As a consequence of the increase in the number of poor workers, several European countries have changed their income support systems in recent years to simplify compatibility between welfare benefits and employment income. Far from being a secondary or a minor objective, the idea that it is necessary to make earning low pay conceptually and administratively compatible with recourse to the income support system has been at the centre of a new generation of minimum income architecture in Europe. On the one hand this article describes the reforms in this direction in France and the United Kingdom, while on the other it assesses the impact of the system to boost employment implemented within the framework of income support in the Basque Country. According to this analysis, even with the limitations introduced in recent years, this structure has managed to significantly reduce the phenomenon of in-work poverty among the population associated with the labour market in the Basque Country, without dragging salaries down and achieving greater access to benefits than that recorded in countries that have devoted more resources to benefits of this kind.; Como consecuencia del incremento del número de trabajadores pobres, varios países de Europa han modificado sus sistemas de garantía de ingresos en los últimos años para permitir una compatibilización más sencilla entre prestaciones asistenciales e ingresos laborales. Lejos de ser un objetivo secundario o menor, la idea de que resulta necesario hacer compatible, conceptual y administrativamente, la percepción de un salario bajo con el acceso al sistema de garantía de ingresos ha estado en el centro de la arquitectura de la nueva generación de rentas mínimas en Europa. Este artículo describe por una parte las reformas realizadas en ese sentido en Francia y Reino Unido y, por otra parte, analiza el impacto del sistema de estímulos al empleo desarrollado en el marco de la RGI en Euskadi. De acuerdo al análisis realizado, aun con las limitaciones introducidas en los últimos años, ese dispositivo ha sido capaz de reducir de forma significativa el fenómeno de la pobreza laboral entre la población vinculada al mercado de trabajo en Euskadi, sin arrastrar a la baja los salarios y consiguiendo una tasa de acceso a la prestación superior a la que se registra en países que han dedicado mayores recursos a estas prestaciones.; Langile pobreen zenbakia igotzearen ondorioz, Europako zenbait Estatuk euren diru-sarrerak bermatzeko sistemak aldatu dituzte azken urteotan asistentziaprestazioen eta lan-sarreren arteko bateragarritasuna errazagoa egin ahal izateko. Hori ez da bigarren mailako helburua, soldata txikia jasotzea eta diru-sarrerak bermatzeko sistemara sarbidea bateragarri egin behar Europako gutxieneko errenten sorrera berrien arkitekturaren muinean dago. Artikulu honek deskribatzen du, batetik, Frantzian eta Erresuma Batuan zentzu horretan aurrera eramandako erreformak eta, bestetik, Euskadin Diru-sarrerak Bermatzeko Sistemaren baitan enplegurako pizgarri sistemaren eragina aztertzen du. Egindako analisiaren arabera, azken urteotan murrizketak egon badira ere, gailu hori gai izan da Euskadin lan-merkatuarekin lotutako herritarren modu esanguratsuan lan-pobreziaren fenomenoa modu esanguratsuan txikitzeko, soldatek ez baitute behera egin eta era honetako prestazioetara baliabide gehien dedikatu dituzten Estatuetan erregistraturiko baino sarbide tasa altuagoa lortu delako

Estudio experimental de las vibraciones de un eje con defectos

En este trabajo se ha analizado la influencia que una fisura puede tener en el modo de vibrar de una viga experimentalmente. Para ello se ha medido la frecuencia natural de la viga experimentalmente en diferentes condiciones y diferentes vigas de tamaño y profundidad de fisura, y se ha comparado con la teoría adecuada en cada caso. En el caso de las vigas con fisura, se ha tenido que utilizar una teoría que no es válida para vigas de sección circular, pero se ha considerado que era la que más se acercaba y que sirve para tener datos orientativos. Entre los componentes analizados, cinco han sido vigas fisuradas y también se ha analizado una viga sin fisura. Para poder analizar los dos casos y sacar las conclusiones Para realizar las mediciones experimentales se ha podido utilizar un laboratorio del departamento de mecánica de la escuela politécnica, donde se han podido utilizar todos los recursos necesarios, ya que una de las razones por la que se ha querido hacer este proyecto era poner a punto el sistema de ensayos utilizado.Ingeniería Mecánic

Nous auxiliars quirals amb simetria C₂, un eix i dos centres estereogènics : síntesi de (aR,R,R)- i (aS,R,R)- 1,1'-(1,1'-binaftalè-2,2'-diil)bis(2,2,2-trifluoroetanol) /

Descripció del recurs: el 01 setembre 2012Al llarg de l'evolució, la natura ha optimitzat els processos biològics mitjançant el reconeixement quiral, arribant així a un molt alt nivell d'especificitat. Només en un organisme unicel·lular es poden donar milers de reaccions diferents, sense que aquestes interfereixin entre elles i a més regulades en tot moment. Per a estudiar els processos que es donen a la natura, poder influir en ells o imitar-los, fet que suposa un gran repte a la ciencia actual, és indispensable tener en compte les interaccions estereoespecífiques. En el camp de la química farmacéutica s'ha comprovat que l'efecte terapèutic d'un fàrmac pot dependre de la quiralitat del compost. Conseqüentment, s'ha desenvolupat un gran interés en la síntesi estereoselectiva, els mètodes de resolució d'enantiòmers, l'anàlisi de la puresa enantiomèrica i la determinació de la configuración absoluta de compostos químics La present Tesi Doctoral se situa dins d'aquests àmbits. En una primera part, es profunditzarà en els mètodos de determinació de la puresa enantiomèrica, una de les línies d'investigació principals del nostre grup d'investigació: el diseny, la síntesi i l'estudi de nous agents de solvatació quiral (CSA). L'ús d'aquests auxiliars quirals es basa en la formació de complexes diastereoisomèrics amb els dos enantiòmers d'un substrat quiral, permetent així l'enantiodiferenciació mitjançant una tècnica aquiral como la Ressonància Magnètica Nuclear (RMN). Els factors clau que permeten aquesta diferenciació de cada enantiòmero del substrat són una diferent geometria i/o estabilitat de los complexes. El repte a l'hora de dissenyar nous CSA's és el de poder enantiodiferenciar el màxim nombre de substrats quirals i amb una màxima eficàcia.During the evolution, nature has optimized biological processes by means of Chiral Recognition, leading in this way to a very high level of specificity. Only in a single cell, thousands of different reactions can be carried out without any kind of interference between them and being regulated all time. In order to study the different processes that take place in the nature, to affect them and copy them, which means a big challenge to the actual science, is essential to take into account the stereospecific interactions. In the field of pharmaceutical chemistry, has been checked that therapeutic effect of a drug could be dependent on the compound. Consequently, the interest in stereoselective chemistry, enantiomerical purity analysis and the determination of the absolute configuration of the compounds has increased a lot. This Doctoral Thesis can be found inside these fields. The first part, will be focused deeply in the study of the enantiomerical purity determination, which is one of the principal areas of our research group: the design, synthesis and study of new Chiral Solvating Agents (CSA's). The use of these chiral auxiliaries is based on the formation of diastereoisomeric complexes with both enantiomers of a chiral compound, achieving in this way the enantiodiferentiation by using an achiral technique such the NMR. The key factors that allow the differentiation of each enantiomer of the substrate are,the different geometry and/or stability of each complex. The challenge when designing new CSA's is to be able to differentiate the maximum number of substrates and with the maximum efficienc

Question

Desde 1860, la presencia vasca asentada en unos pocos barrios porteños, era notable. Dos décadas más tarde comenzaban a organizarse institucionalmente y ensayar pequeñas editoriales. A una semana de marcha hacia el sur, la comunidad vasca de la ciudad de Tandil también destacaba en el conjunto. Lo suficiente, incluso, para contar con un periódico propio. Sin embargo, eso no ocurrió. Indagaremos sobre las experiencias euskaldunas sobre el particular en distintos escenarios y coyunturas. El inocultable sentimiento de identidad regionalista de los vascos en el interior pampeano no es un elemento a descartar. Los ámbitos de sociabilidad que caracterizaron a esta comunidad y el rol de vecino que desplazaba al de extranjero en sociedades nuevas como la de Tandil, tampoco

π with Leftovers: a Mechanisation in Agda

Linear type systems need to keep track of how programs use their resources. The standard approach is to use context splits specifying how resources are (disjointly) split across subterms. In this approach, context splits redundantly echo information which is already present within subterms. An alternative approach is to use leftover typing [2, 23], where in addition to the usual (input) usage context, typing judgments have also an output usage context: the leftovers. In this approach, the leftovers of one typing derivation are fed as input to the next, threading through linear resources while avoiding context splits. We use leftover typing to define a type system for a resource-aware π -calculus [26, 27], a process algebra used to model concurrent systems. Our type system is parametrised over a set of usage algebras [20, 34] that are general enough to encompass shared types (free to reuse and discard), graded types (use exactly n number of times) and linear types (use exactly once). Linear types are important in the π -calculus: they ensure privacy and safety of communication and avoid race conditions, while graded and shared types allow for more flexible programming. We provide a framing theorem for our type system, generalise the weakening and strengthening theorems to include linear types, and prove subject reduction. Our formalisation is fully mechanised in about 1850 lines of Agda [37]

π with Leftovers: a Mechanisation in Agda

Linear type systems need to keep track of how programs use their resources. The standard approach is to use context splits specifying how resources are (disjointly) split across subterms. In this approach, context splits redundantly echo information which is already present within subterms. An alternative approach is to use leftover typing [2, 23], where in addition to the usual (input) usage context, typing judgments have also an output usage context: the leftovers. In this approach, the leftovers of one typing derivation are fed as input to the next, threading through linear resources while avoiding context splits. We use leftover typing to define a type system for a resource-aware π -calculus [26, 27], a process algebra used to model concurrent systems. Our type system is parametrised over a set of usage algebras [20, 34] that are general enough to encompass shared types (free to reuse and discard), graded types (use exactly n number of times) and linear types (use exactly once). Linear types are important in the π -calculus: they ensure privacy and safety of communication and avoid race conditions, while graded and shared types allow for more flexible programming. We provide a framing theorem for our type system, generalise the weakening and strengthening theorems to include linear types, and prove subject reduction. Our formalisation is fully mechanised in about 1850 lines of Agda [37]

A Dependently-Typed Linear π -Calculus in Agda

Session types have consolidated as a formalism for the specification and static enforcement of communication protocols. Many different theories of dependent session types have been proposed, some enabling refined specifications on the content of messages, others allowing the structure of the protocols to depend on data exchanged in the protocol itself. In this work we continue a line of research studying the foundations of binary session types. In particular, we propose a variant of the linear π-calculus whose type structure encompasses virtually all dependent session types using just two type constructors: linear channel types and linear dependent pairs. We use Agda not only to formalize the metatheory of the calculus and obtain machine-checked proofs of type soundness, but also as host language in which we implement data-dependent protocols