Filters








6,498 Hits in 1.7 sec

François Gauthier, Religion, Modernity, Globalisation: Nation-State to Market

Manuel Stadler
2021 Zeitschrift für Junge Religionswissenschaft  
François Gauthier, Religion, Modernity, Globalisation: Nation-State to Market Zeitschrift für junge Religionswissenschaft, 16 | 2021 François Gauthier, Religion, Modernity, Globalisation: Nation-State  ...  Gauthier, François. 2020. »La sociologie et la religion: au cɶure, en marge… Et après.« Revue du MAUSS 56 (2): 311-326.  ... 
doi:10.4000/zjr.1955 fatcat:kgqgkdyesfbxvfoownwvcbvz7y

Daniel Coste et Roger-François Gauthier (dir.), « L'oral dans l'éducation », Revue internationale d'éducation, n° 86, 2021

Olivier Mouginot
2022 Lectures  
Daniel Coste et Roger-François Gauthier (dir.), « L’oral dans l’éducation », Revue internationale d’ é ducation , n° 86, 2021 Olivier Mouginot , avril 2021, 181 p., Sèvres, France éducation international  ...  Daniel Coste, Roger-François Gauthier (dir.) , « L'oral dans l'éducation », Revue internationale d'éducation , n° 86 Texte intégral 1 Traduction du vocable anglais oracy , forgé dans les années 1960, le  ... 
doi:10.4000/lectures.53519 fatcat:qc3q6ffcijaz3nqdx44dbgzche

Religion in the Neoliberal Age: Political Economy and Modes of Governance , written by Martikainen, Tuomas, & Francois Gauthier, 2013

Warren S. Goldstein
2017 Comparative Sociology  
The introduction titled "Religion in Market Society" is by François Gauthier, Tuomas Martikainen and Linda Woodhead. The book is composed of two parts.  ...  Rachel Cagnon and François Gauthier in Chapter Ten discuss Canadian laws prohibiting activities surrounding prostitution, which has never been directly prohibited itself.  ... 
doi:10.1163/15691330-12341425 fatcat:i2lufnerv5es5hcewlwod344fu

Ce que l'école devrait enseigner. Pour une révolution de la politique scolaire en France, Roger-François Gauthier

Jean-Pierre Véran
2014 Revue internationale d'éducation Sèvres  
Il faut donc trouver un équilibre critique entre famille, État et monde, que l'école a charge de construire. 10 R-F Gauthier conclut en ouvrant sur la décennie à venir.  ...  R-F Gauthier, attentif aux évolutions les plus récentes, appelle de ses voeux un débat public, démocratique, sur ceCe que l'école devrait enseigner. Pour une révolution de la politique scolair...  ... 
doi:10.4000/ries.4099 fatcat:em3dh676arbszlus6mc7sxfhxu

GAUTHIER, Yvon, De la logique interne

François Mottard
1993 Laval théologique et philosophique  
assujettie à sa politique d'utilisation que vous pouvez consulter à l'URI https://apropos.erudit.org/fr/usagers/politique-dutilisation/ Document téléchargé le 9 février 2017 11:10 COMPTES RENDUS Y von Gauthier  ...  Gauthier. La logique interne est alors recherchée dans le contexte de la philosophie constructive des mathématiques.  ...  François MOTTARD Université Laval Philosophie de l'esprit et sciences du cerveau. Annales de l'institut de philosophie de l'université de Bruxelles, publié sous la direction de J.-N. Missa.  ... 
doi:10.7202/400746ar fatcat:zdbk4pwhjjh43eyh2byhrxrgci

Alain Caillé, Philippe Chanial, François Gauthier (dir.), « La violence et le mal. Mauss, Girard et quelques autres », Revue du MAUSS, n° 55, 2020

Dorian Debrand
2020 Lectures  
Alain Caillé, Philippe Chanial, François Gauthier (dir.), « La violence et le mal.  ...  Alain Caillé, Philippe Chanial, François Gauthier (dir.) , « La violence et le mal.  ... 
doi:10.4000/lectures.45583 fatcat:vpt5g4gzija4bjnw6wbdbfm5au

Numbering matters

Nadji Gauthier, François Pottier
2004 SIGPLAN notices  
We study a type system equipped with universal types and equirecursive types, which we refer to as F µ . We show that type equality may be decided in time O(n log n), an improvement over the previous known bound of O(n 2 ). In fact, we show that two more general problems, namely entailment of type equations and type unification, may be decided in time O(n log n), a new result. To achieve this bound, we associate, with every Fµ type, a first-order canonical form, which may be computed in time
more » ... log n). By exploiting this notion, we reduce all three problems to equality and unification of first-order recursive terms, for which efficient algorithms are known.
doi:10.1145/1016848.1016872 fatcat:wrqn757fg5gv7psowhcbuuvwf4

Présentation

Roger-François Gauthier
2005 Revue internationale d'éducation Sèvres  
Roger-François Gauthier «Comment adapter ?»,c omme s'il allait de soi que les politiques éducatives dussent s'« adapter »!  ...  Gauthier (2005) Échec scolaire et réformes éducatives. Quand les solutions deviennent la source du problème.Presses de l'Université Laval.  ... 
doi:10.4000/ries.1257 fatcat:jyxodoticjh7tam2rmd2v7refu

Présentation

Alain Caillé, Philippe Chanial, François Gauthier
2017 Revue du MAUSS  
Sur cette dynamique identitaire du consumérisme, voir François Gauthier, « Les ressorts symboliques du consumérisme.  ...  François Gauthier et Alain Caillé, à l'inverse, font le pari qu'il est non seulement indispensable de parvenir à une définition féconde de la religion, mais que c'est même peut-être possible !  ... 
doi:10.3917/rdm.049.0005 fatcat:fyy3yaqffrfv5m47dqyxbwowmu

Présentation

Alain Caillé, Philippe Chanial, François Gauthier
2018 Revue du MAUSS  
C'est un argument assez proche que l'on pourra lire dans les « Réflexions brutes sur le postcolonialisme » que nous livre ici François Gauthier. Rappelant tout ce que ce courant 13.  ... 
doi:10.3917/rdm.051.0005 fatcat:37nfj2t6lzge3a4exyp3utrbkq

Présentation

Alain Caillé, Philippe Chanial, François Gauthier
2020 Revue du MAUSS  
Présentation Alain Caillé, Philippe Chanial et François Gauthier Au départ, nous avions prévu d'intituler ce numéro : « D'où vient le mal ? Et comment l'endiguer ?  ...  Empruntons tout d'abord à François Gauthier (qui en est par ailleurs très critique) ce bon résumé de départ : Le « système girardien » se laisse ramener à quatre propositions formulées par Lucien Scubla  ... 
doi:10.3917/rdm.055.0005 fatcat:vcvrdk5sjjbijnldnwudnxmc5u

IFDS Taint Analysis with Access Paths [article]

Nicholas Allen, François Gauthier, Alexander Jordan
2021 arXiv   pre-print
Over the years, static taint analysis emerged as the analysis of choice to detect some of the most common web application vulnerabilities, such as SQL injection (SQLi) and cross-site scripting (XSS) . Furthermore, from an implementation perspective, the IFDS dataflow framework stood out as one of the most successful vehicles to implement static taint analysis for real-world Java applications. While existing approaches scale reasonably to medium-size applications (e.g. up to one hour analysis
more » ... e for less than 100K lines of code), our experience suggests that no existing solution can scale to very large industrial code bases (e.g. more than 1M lines of code). In this paper, we present our novel IFDS-based solution to perform fast and precise static taint analysis of very large industrial Java web applications. Similar to state-of-the-art approaches to taint analysis, our IFDS-based taint analysis uses access paths to abstract objects and fields in a program. However, contrary to existing approaches, our analysis is demand-driven, which restricts the amount of code to be analyzed, and does not rely on a computationally expensive alias analysis, thereby significantly improving scalability.
arXiv:2103.16240v1 fatcat:5r5qia4fjjablo32kwleyy3jey

Série de gestes pour exercices, François Delsarte

Benoît Gauthier
2011 L'Annuaire théâtral Revue québécoise d'études théâtrales  
doi:10.7202/1009311ar fatcat:7peqjkdc75ab5pl2gpwd2ylfqu

Élèves associés

Roger-François Gauthier
2002 Revue internationale d'éducation Sèvres  
Élèves associés Témoignage à l'école allemande de Paris Roger-François Gauthier À l'école allemande de Paris, la confrontation collective à une situation problème, constamment préférée à un exposé magistral  ... 
doi:10.4000/ries.1865 fatcat:qyrh2msbwnds3cakbqjyqiffki

Polymorphic typed defunctionalization

François Pottier, Nadji Gauthier
2004 SIGPLAN notices  
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-class values. Its purpose is thus identical to that of closure conversion. It differs from closure conversion, however, by storing a tag, instead of a code pointer, within every closure. Defunctionalization has been used both as a reasoning tool and as a compilation technique. Defunctionalization is commonly defined and
more » ... udied in the setting of a simply-typed λ-calculus, where it is shown that semantics and well-typedness are preserved. It has been observed that, in the setting of a polymorphic type system, such as ML or System F, defunctionalization is not typepreserving. In this paper, we show that extending System F with guarded algebraic data types allows recovering type preservation. This result allows adding defunctionalization to the toolbox of type-preserving compiler writers.
doi:10.1145/982962.964009 fatcat:jkxlgwwk55gf5awr4nrz4nikey
« Previous Showing results 1 — 15 out of 6,498 results