M & A cases : definition of the relevant market.

Rapport de recherche

Labor Market Institutions and Gender Differences in Wage Inequality.

In this paper, we present graphical and quantitative evidence on the important role played by changes in labor market institutions on the rise in wage inequality in the United States during the 1980s. We show that the decline in the real value of the minimium wage and in the rate of unionization explains over a third of the rise in inequality among men.

Market failure, inequality and redistribution

We consider the following question: does market failure justify redistribution? We argue that the general answer to this question is no, in the sense that policies for correcting market failures do not aim at producing a "desirable" income distribution. This follows from the fact that, by construction, market failure is a deviation from "efficiency" that does not involve any notion of a desirable distribution of welfare (or income). However, there are special cases where a "corrective measure" involving redistribution can offset a market failure, so this can provide a form of efficiency- based justification for redistribution.

Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

Precursors and prices : structuring the Quebec synthetic drug market

Information recueillie sur les marchés des drogues de synthèse est beaucoup moins avancée que les études sur d'autres marchés de drogues illicites. La classification relativement récente des drogues de synthèse comme substances illicites, couplée avec ses caractéristiques distinctes qui empêchent son observation, a entravé le développement d’évaluations complètes et fiables des caractéristiques structurelles des marchés. Le but de cet article est de fournir un aperçu fiable sur la dynamique interne du marché des drogues synthétiques, en particulier sur ses caractéristiques structurelles et organisationnelles. En utilisant l'information obtenue à partir de 365 drogues de synthèse saisies par les policiers pendant un an, cette étude sera la fusion de deux techniques, soit la composition des drogues illicites et des analyses économiques, afin de tirer des évaluations fiables des caractéristiques structurelles du marché du Québec de drogues synthétiques. Les résultats concernant l'analyse de la composition des drogues indiquent que le marché des drogues synthétiques au Québec est probablement composé d'un nombre élevé de petites structures, ce qui indique un marché compétitif. L'analyse économique a également fourni des informations complémentaires sur le marché des drogues. Selon la région géographique les couts de la production et les relations entre trafiquant et consommateur influencent le prix des drogues. Les résultats de cette recherche mettent l'accent sur la nécessité de concevoir des politiques qui tient compte des différences régionales dans la production de drogue et reflète la nature compétitive de ce marché.