HUDSON HEALTH CORRIDOR: REDEFINING THE WORKFORCE HOUSING COMMUNITY

Neighborhoods slated for redevelopment and revitalization within urban centers are often overtaken by luxury development due to the incentives and benefits related to return on investment in these relatively ignored areas. Developers tend to create housing that will attract higher incomes in order to gain higher returns, resulting in the creation of an exclusive area marketed to particular groups within a certain income bracket. These areas then grow in popularity, continuing to attract upper class residents, and increasing the income level of the area. The result of this type of development displaces those who previously occupied these areas because they are no longer able to afford the various options and become priced out of their homes. Those with an income below the target market in these neighborhoods are never able to occupy them at all. This thesis aims to counter the problem. Instead of beginning revitalization with living options exclusive to higher incomes, these communities can instead be anchored by affordable housing options. This involves developing affordable housing marketed to the working class at the initial phase of redevelopment. By combining workforce housing with a health platform, flexible and adaptive spaces can be produced to fit a variety of family types, balance community, and maintain economic sustainability for the future. Through this approach, it is possible for different residents to find housing situations that fit their family with adaptable units for a variety of income levels. A community focus in design becomes an economic driver to produce revenue as well as an attractor of neighborhood residents to help break down barriers and perceptions commonly associated with workforce housing. Architecture has the potential to change the way in which society views and treats workforce housing and its residents. By challenging the current development process, a new approach can be created where residents feel valued and community engagement becomes the forefront of workforce housing design

La ville désenchantée ? Sécularisation et laïcisation des espaces urbains français (XIXe_XXe siècles)

L'espace urbain français a connu une sécularisation et une laïcisation progressive, mais non linéaire, depuis la Révolution. En effet, malgré une déchristianisation certaine, l'Eglise catholique a développé des formes multiples d'intervention sociale qui expliquent peut_être ses fortes réticences à accepter un islam dorénavant solidement établi comme seconde religion en France et très présent dans la société française

The VerCors tool for verification of concurrent programs

The VerCors tool implements thread-modular static verification of concurrent programs, annotated with functional properties and heap access permissions. The tool supports both generic multithreaded and vector-based programming models. In particular, it can verify multithreaded programs written in Java, specified with JML extended with separation logic. It can also verify parallelizable programs written in a toy language that supports the characteristic features of OpenCL. The tool verifies programs by first encoding the specified program into a much simpler programming language and then applying the Chalice verifier to the simplified program. In this paper we discuss both the implementation of the tool and the features of its specification language

Contracting the Facebook API

In recent years, there has been an explosive growth in the popularity of online social networks such as Facebook. In a new twist, third party developers are now able to create their own web applications which plug into Facebook and work with Facebook's "social" data, enabling the entire Facebook user base of more than 400 million active users to use such applications. These client applications can contain subtle errors that can be hard to debug if they misuse the Facebook API. In this paper we present an experience report on applying Microsoft's new code contract system for the .NET framework to the Facebook API.We wrote contracts for several classes in the Facebook API wrapper which allows Microsoft .NET developers to implement Facebook applications. We evaluated the usefulness of these contracts during implementation of a new Facebook application. Our experience indicates that having code contracts provides a better and quicker software development experience.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

Entretien avec E. Elçibey

L'ancien président azerbaïdjanais, décédé le 22 août 2000 d'un cancer, avait accordé un entretien en 1997 lors de son retour sur la scène politique de son pays. La publication de ses propos d'alors permet de revenir sur le rôle et les idées de l'homme qui a symbolisé à la fois l'indépendance et la défaite du nouvel Azerbaïdjan indépendant. Eboulfaz Elçibey insiste sur les efforts et les ambitions entretenues par l'Azerbaïdjan pour intégrer l'Occident démocratique en critiquant l'autoritarisme et la corruption. Il reconnaît l'héritage de la culture russe mais témoigne un attachement fidèle à la Turquie et à l'expérience kémaliste

Introduction

Reconnaissance de l'altérité, de la diversité et de la liberté d'expression égale pour tous, la laïcité est, par définition, une valeur universaliste et humaniste, positive et inclusive (affirmation des libertés individuelles et publiques) avant d'être négative (séparation des Eglises et de l'Etat) ou exclusive (libre-pensée). Elle a toujours été contestée : sur le principe, dès l'origine; dans la pratique, dès qu'on est passé au stade de son institutionnalisation. Elle l'est à nouveau depuis une décennie, et de manière parfois virulente, par des discours religieux, idéologiques et politiques qui lui imputent la responsabilité partielle ou totale de la crise des valeurs, du matérialisme, et des échecs sociaux et politiques des sociétés contemporaines nées de la modernité occidentale

Introduction

Reconnaissance de l'altérité, de la diversité et de la liberté d'expression égale pour tous, la laïcité est, par définition, une valeur universaliste et humaniste, positive et inclusive (affirmation des libertés individuelles et publiques) avant d'être négative (séparation des Eglises et de l'Etat) ou exclusive (libre-pensée). Elle a toujours été contestée : sur le principe, dès l'origine; dans la pratique, dès qu'on est passé au stade de son institutionnalisation. Elle l'est à nouveau depuis une décennie, et de manière parfois virulente, par des discours religieux, idéologiques et politiques qui lui imputent la responsabilité partielle ou totale de la crise des valeurs, du matérialisme, et des échecs sociaux et politiques des sociétés contemporaines nées de la modernité occidentale

Histoire et actualité de la laïcité en France et en Turquie

Présentation d'abord de façon comparative les principales phases de cette construction historique qu'est la laïcité en France (Révolution, Concordat de 1801, lois sur l'Ecole républicaine, loi de 1905, mutations depuis les années 1950) et en Turquie (premières réformes ottomanes, Tanzimat, Jeunes-Ottomans, Jeunes-Turcs, période kémaliste). Puis, le travail expose les enjeux contemporains de la laïcité dans les deux pays : affirmation de l'islam, querelles de l'école en 1984 et 1993, port du foulard, en France ; succès des islamistes, retour de la pratique et du sentiment religieux, en Turquie

Histoire et actualité de la laïcité en France et en Turquie

Présentation d'abord de façon comparative les principales phases de cette construction historique qu'est la laïcité en France (Révolution, Concordat de 1801, lois sur l'Ecole républicaine, loi de 1905, mutations depuis les années 1950) et en Turquie (premières réformes ottomanes, Tanzimat, Jeunes-Ottomans, Jeunes-Turcs, période kémaliste). Puis, le travail expose les enjeux contemporains de la laïcité dans les deux pays : affirmation de l'islam, querelles de l'école en 1984 et 1993, port du foulard, en France ; succès des islamistes, retour de la pratique et du sentiment religieux, en Turquie