A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

The Rocky Road to an EU-Armenia Agreement: From U-turn to detour. CEPS Commentary, 3 February 2015

The EU was taken by surprise when the President of Armenia, Serzh Sargsyan, stood by his Russian counterpart and announced Armenia’s plans to join the Russian-led Customs Union in September 2013. After all, before this announcement Armenia and the EU had successfully concluded negotiations on their Association Agreement. Armenia is still suffering the consequences of the Kremlin’s coercion to reject this Association Agreement. Indeed, as Armenians around the world commemorate the centenary of the Armenian Genocide by Ottoman Turkey, the Republic of Armenia is facing mounting challenges. The country remains subject to an economic blockade by Turkey and is in conflict with Azerbaijan. Ever since President’s Sargsyan’s astonishing volte-face, the EU and Armenia are still in the process of trying to rework the failed agreement. The author of this commentary argues that because the future of any new agreement is uncertain, negotiations should be accompanied by a pragmatic EU-Armenia roadmap. This roadmap, alongside the start of the visa liberalisation process and Armenia’s signing up to the European Common Aviation Agreement and Horizon 2020, could become a deliverable at the Riga Summit on 26-27 April 2015.

Une quête d'identité par le détour : «Dans ces bras-là», de Camille Laurens

L'articulation savante entre éléments autobiographiques, fiction et détournement de conventions sont caractéristiques du travail de Camille Laurens. Dans ces bras-là (2000) peut être décrit comme une quête d'identité par le détour de l'autre. En effet, le roman s'organise autour des trois rapports dichotomiques autobiographie-fiction, femme-homme et écriture-langage oral. Le résultat en est un regard complexe et profond sur l'identité de Camille Laurens qui est ici une femme, un auteur, mais aussi la narratrice d'un récit.

Implementação de um sistema de gestão municipal com recurso a sistemas de informação geográfica

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Vias de Comunicação e Transportes

'Dusky Sally': La femme esclave entre histoire et fiction

Au travers d'une étude parallèle de deux femmes esclaves - l'une figure historique, l'autre personnage de fiction - et de la façon dont elles ont été inscrites dans, et surtout hors du récit historique et littéraire américain, cet essai vise d'une part à interroger les biais et les limitations de l'historiographie traditionnelle américaine dans sa représentation de l'esclave, et d'autre part à évaluer le rôle de la littérature dans la critique et la « re-vision » du discours historique. Le roman de Gloria Naylor Mama Day (1988) offre ainsi un détour intéressant pour mettre en lumière les processus discursifs, épistémologiques et idéologiques qui ont permis et perpétué l'absence de femmes comme Sally Hemings, esclave et maîtresse supposée de Thomas Jefferson, dans l'Histoire américaine.Through a parallel discussion of two slave women - the first a historical figure, the second a fiction character - and of the way they have been inscribed in, and indeed out of, the historical and fictional narrative of America's past, this essay aims both to interrogate the biases and limitations of traditional American historiography in its representation of slaves and to evaluate the role of literature in the critique and "re-vision" of historical discourse. Gloria Naylor's novel Mama Day (1988) thus provides an interesting detour to cast light on the discursive, epistemological and ideological processes that have permitted and perpetuated the absence from American History of women like Sally Hemings, Thomas Jefferson's slave and supposed mistress.

Use of Incentive/Disincentive Contracting to Mitigate Work Zone Traffic Impacts, 2012

Incentive/disincentive clauses (I/D) are designed to award payments to contractors if they complete work ahead of schedule and to deduct payments if they exceed the completion time. A previously unanswered question is, “Did the costs of the actual work zone impacts that were avoided justify the incentives paid?” This report answers that question affirmatively based on an evaluation of 20 I/D projects in Missouri from 2008 to 2011. Road user costs (RUC) were used to quantify work zone impacts and included travel delays, vehicle operating costs, and crash costs. These were computed using work zone traffic conditions for partial-closure projects and detour volumes and routes for full-closure projects. Conditions during construction were compared to after construction. Crash costs were computed using Highway Safety Manual methodology. Safety Performance Functions produced annual crash frequencies that were translated into crash cost savings. In considering an average project, the percentage of RUC savings was around 13% of the total contract amount, or $444,389 of $3,464,620. The net RUC savings produced was around $7.2 million after subtracting the approximately $1.7 million paid in incentives. In other words, for every dollar paid in incentives, approximately 5.3 dollars of RUC savings resulted. I/D provisions were very successful in saving RUC for projects with full-closure, projects in urban areas, and emergency projects. Rural, non-emergency projects successfully saved RUC but not at the same level as other projects. The I/D contracts were also compared to all Missouri Department of Transportation contracts for the same time period. The results show that I/D projects had a higher on-time completion percentage and a higher number of bids per call than average projects. But I/D projects resulted in 4.52% higher deviation from programmed costs and possibly more changes made after the award. A survey of state transportation departments and contractors showed that both agreed to the same issues that affect the success of I/D contracts. Legal analysis suggests that liquidated damages is preferred to disincentives, since enforceability of disincentives may be an issue. Overall, in terms of work zone impact mitigation, I/D contracts are very effective at a relatively low cost.

Pilot Project - Demonstration of Load Rating Capabilities through Physical Load Testing: Tech Transfer Summary, RB32-013, 2013

This project demonstrated the capabilities for load testing bridges in Iowa, developed and presented a webinar to local and state engineers, and produced a spreadsheet and benefit evaluation matrix that others can use to preliminarily assess where bridge testing may be economically feasible given truck traffic and detour lengths.

Correlation of the Roughometer to the High-Speed Laser Profiler, MLR-97-7, 1997

The Iowa Department of Transportation has been using the Bureau of Public Roads (BPR) Roughometer as part of its detour analysis process for more than 20 years. Advances in technology have made the BPR Roughometer obsolete for ride quality testing. High-speed profilers that can collect the profile of the road at highway speeds are the standard ride instruments for determining ride quality on pavements. The objective of the project was to develop a correlation between the BPR Roughometer and the high-speed laser South Dakota type Profiler (SD Profiler). Nineteen pavement sections were chosen to represent the range of types and conditions for detours. Three computer simulation models were tested on the profiler profiles. The first model is the International Ride Index (IRI) which is considered the standard index for reporting ride quality in the United States. The second model is the Ride Number (RN) developed by the University of Michigan Transportation Research Institute and the third model used is a quarter-car simulation of the BPR Roughometer (ASTM E-1170) which should match the speed and range of roadway features experienced by Iowa's BPR Roughometer Unit. The BPR Roughometer quarter-car model provided the best overall correlation with Iowa's BPR Roughometer.

Fast Track and Fast Track II Cedar Rapids, Iowa, HR-544, 1993

Two lanes of a major four-lane arterial street in Cedar Rapids, Iowa, needed reconstruction. Because of the traffic volume and the detour problem, closure of the intersections, even for 1 day was not feasible. Use of Fast Track concrete paving on the mainline portion of the project permitted achievement of the opening strength of 400 psi in less than 12 hr. Fast Track II, used for the intersections, achieved the opening strength of 350 psi in 6 to 7 hr. Flexural and compression specimens of two sections each in the Fast Track and Fast Track II sections were subjected to pulse velocity tests. Maturity curves were developed by monitoring the temperatures. Correlations were performed between the pulse velocity and flexural strength and between the maturity and flexural strength. The project established the feasibility of using Fast Track II to construct portland cement concrete pavement at night and opening the roadway to traffic the next day.

Pronounced species divergence in corticospinal tract reorganization and functional recovery after lateralized spinal cord injury favors primates.

Experimental and clinical studies suggest that primate species exhibit greater recovery after lateralized compared to symmetrical spinal cord injuries. Although this observation has major implications for designing clinical trials and translational therapies, advantages in recovery of nonhuman primates over other species have not been shown statistically to date, nor have the associated repair mechanisms been identified. We monitored recovery in more than 400 quadriplegic patients and found that functional gains increased with the laterality of spinal cord damage. Electrophysiological analyses suggested that corticospinal tract reorganization contributes to the greater recovery after lateralized compared with symmetrical injuries. To investigate underlying mechanisms, we modeled lateralized injuries in rats and monkeys using a lateral hemisection, and compared anatomical and functional outcomes with patients who suffered similar lesions. Standardized assessments revealed that monkeys and humans showed greater recovery of locomotion and hand function than did rats. Recovery correlated with the formation of corticospinal detour circuits below the injury, which were extensive in monkeys but nearly absent in rats. Our results uncover pronounced interspecies differences in the nature and extent of spinal cord repair mechanisms, likely resulting from fundamental differences in the anatomical and functional characteristics of the motor systems in primates versus rodents. Although rodents remain essential for advancing regenerative therapies, the unique response of the primate corticospinal tract after injury reemphasizes the importance of primate models for designing clinically relevant treatments.

La conjecture de partitionnement des chemins

Soit G = (V, E) un graphe simple fini. Soit (a, b) un couple d’entiers positifs. On note par τ(G) le nombre de sommets d’un chemin d’ordre maximum dans G. Une partition (A,B) de V(G) est une (a,b)−partition si τ(⟨A⟩) ≤ a et τ(⟨B⟩) ≤ b. Si G possède une (a, b)−partition pour tout couple d’entiers positifs satisfaisant τ(G) = a+b, on dit que G est τ−partitionnable. La conjecture de partitionnement des chemins, connue sous le nom anglais de Path Partition Conjecture, cherche à établir que tout graphe est τ−partitionnable. Elle a été énoncée par Lovász et Mihók en 1981 et depuis, de nombreux chercheurs ont tenté de démontrer cette conjecture et plusieurs y sont parvenus pour certaines classes de graphes. Le présent mémoire rend compte du statut de la conjecture, en ce qui concerne les graphes non-orientés et ceux orientés.

Construction des problèmes publics, controverse et action publique : santé publique et jeux de hasard et d'argent au Québec

Depuis la fin des années 1990, les jeux de hasard et d’argent (JHA) sèment régulièrement la controverse dans l’espace public québécois. En effet, au cours des dernières années, la question du management et de la régulation des JHA a pris une place de plus en plus importante dans les débats publics. Dans le cadre de cette thèse, qui prend la forme d’une thèse par articles, nous nous intéresserons au processus de construction du problème public que représente maintenant le jeu excessif au Québec. Pour ce faire, nous tracerons, dans un premier temps, la genèse de ce problème public en remontant à ses origines. Ce détour historique nous permettra de mettre en relief les diverses constructions par lesquelles l’action de s’adonner aux JHA et ce, de manière excessive ou non, est passée au cours du dernier siècle, soit de vice, à crime, à loisir en passant par maladie et problème de santé publique. Cette genèse nous permettra d’apporter un nouvel éclairage sur la présente controverse relative aux JHA au Québec. Nous tenterons, dans un premier temps, de mettre en relief comment la santé publique a réussi à construire ce « nouveau risque » que représente maintenant l’action de s’adonner aux JHA. Par la suite, nous tenterons de tirer des leçons pour la compréhension, l’analyse et le management des politiques publiques et ce, via une analyse de la controverse portant sur les JHA (article 1), un travail de reconceptualisation théorique (article 2) ainsi qu’une réflexion épistémologique sur des fondements de l’analyse et du management des politiques publiques (article 3).

HACCP plan proposal for a typical Brazilian peanut processing company

Peanuts are likely to be infested by fungi with consequent contamination by aflatoxin in post-harvest industries. A hazard analysis critical control point (HACCP) plan is proposed for a typical Brazilian post-harvest industry from raw in-shell reception to the unpeeled peanuts transportation. Codex Alimentarius Commission guidelines were followed, with four critical control points (CCP) for aflatoxin being identified. The process steps with highest probability of aflatoxin occurrence (risk) are the in-shell reception, the dried in-shell storage, and the unpeeled kernel storage. During the storage steps there is a lack of control of air moisture and temperature. Therefore, there is no option but to keep rigid monitoring and control over each CCP, and detour lots with high aflatoxin levels to either oil or seed production. Attempts to correlate the aflatoxin levels with the rainfall showed an irregular trend of the toxin level. (c) 2008 Elsevier Ltd. All rights reserved.