Episciences.org
Not a member yet
6707 research outputs found
Sort by
Adding Negation to Lambda Mu
No full textWe present , an extension of Parigot's -calculus byadding negation as a type constructor, together with syntactic constructs thatrepresent negation introduction and elimination. We will define a notion ofreduction that extends 's reduction system with two new reductionrules, and show that the system satisfies subject reduction. Using Aczel'sgeneralisation of Tait and Martin-L\"of's notion of parallel reduction, we showthat this extended reduction is confluent. Although the notion of typeassignment has its limitations with respect to representation of proofs innatural deduction with implication and negation, we will show that allpropositions that can be shown in there have a witness in . UsingGirard's approach of reducibility candidates, we show that all typeable termsare strongly normalisable, and conclude the paper by showing that typeassignment for enjoys the principal typing property
Solvable Leibniz superalgebras whose nilradical has the characteristic sequence and nilindex
No full textLeibniz superalgebras with nilindex and characteristic sequence divided into four parametric classes that contain a set ofnon-isomorphic superalgebras. In this paper, we give a complete classificationof solvable Leibniz superalgebras whose nilradical is a nilpotent Leibnizsuperalgebra with nilindex and characteristic sequence (n-1, 1 \ | \m). We obtain a condition for the value of parameters of the classes of suchnilpotent superalgebras for which they have a solvable extension. Moreover, theclassification of solvable Leibniz superalgebras whose nilradical is a Liesuperalgebra with the maximal nilindex is given
Les archives du communisme en république de Moldavie : entre idéologie et mémoire politique
No full textPour mise en ligne sur Épisciences.The process of writing history in Moldova, as in many ex-Soviet countries, is still a source of political conflict on a memorial background. This difficult context presumes the use of sources as a factor of impartiality. However, the picture becomes clouded if the document also participates in differences of opinions that confuse past and present. The history of communism is marked by the Party’s desire to control the dissemination of information, both in the short and long term. Thus, Moldova inherited the Bessarabian archives, the focus of the particularism of Romanian and Soviet communism in the interwar period. As is customary in countries with a communist past, the post-1989-1991 period is representative of slow and complex change. On that account, the Archives of the Party of the RSSM became the Archives of the socio-political organizations of the Republic of Moldova (AOSPRM) in an almost identical image to the Russian archives RGASPI. For to multiple reasons, it is complicated for historians researching Romanian or transnational communism to work on this type of document, and access to the archives remains difficult. Although located in the city center of the capital, the premises keep several marks of the Soviet heritage, which renders the consultation problematic, especially for foreign visitors. The archival funds are also difficult to access because of the bureaucratic formulation of requests. Moreover, the funds have kept the communist inventory of documents, as a result of the ideological policy of the Stalin period.Comme dans beaucoup de pays ex-soviétiques, écrire l’histoire est encore une source de conflit politique sur fond mémoriel, y compris en Moldavie. Ce contexte difficile suppose le recours aux sources comme facteur d’impartialité. Toutefois, le tableau se ternit si le document participe également aux divergences d’opinions qui confondent le présent et le passé. L’histoire du communisme est marquée par la volonté du Parti de contrôler la diffusion de l’information sur le long terme. Ainsi, la Moldavie hérite des archives bessarabiennes, foyer du particularisme du communisme roumain et soviétique dans l’entre-deux-guerres. Comme il est de coutume dans les pays ayant eu un passé communiste, la période suivant 1989-1991 est représentative d’un changement lent et complexe. Ainsi, les Archives du Parti de la RSSM deviennent les Archives des organisations sociopolitiques de la république de Moldavie (AOSPRM), à l’image presque identique des archives russes RGASPI. Pour les historiens qui travaillent sur le communisme roumain ou sur le communisme transnational, il est compliqué de travailler sur ce type de document pour de multiples raisons : l’accès aux archives reste compliqué (bien que situés en centre-ville de la capitale, les locaux gardent plusieurs marques de l’héritage soviétique, ce qui complique la consultation, particulièrement pour les visiteurs étrangers) et les fonds sont difficiles d’accès du fait de la formulation bureaucratique des demandes. Qui plus est, les fonds conservent l’inventaire communiste des documents, fruit de la politique idéologique de la période stalinienne
« Voilà les anthropos » : à quoi sert un archéologue ?
No full textPour une publication sur Épisciences.Whittaker John, 1997, “Here Come the Anthros. What Good is an Archaeologist?” in Andelson Jon (dir.), Anthropology Matters: Essays in Honor of Ralph A. Luebben, Grinnell College, Grinnell, p. 101-108.Starting with a song denouncing anthropologists and prehistorians as disrespectful of the cultures they study, the article reflects on the relationship between lost cultures and their scientific study, drawing on the author’s personal experience. It then examines NAGPRA, the federal “Native American Graves Protection and Repatriation Act”, which in 1990 gave Native American communities extensive rights over various cultural properties and archaeological sites. He highlights the paradoxical, if not perverse, effects of such legislation, which has not necessarily contributed to a better knowledge (and recognition) of pre-colonial societies in North America.À partir d’une chanson dénonçant les anthropologues et des préhistoriens comme irrespectueux des cultures qu’ils étudient, l’article propose une réflexion sur le rapport entre les cultures disparues et leur étude scientifique inspirée de l’expérience personnelle de l’auteur. Il examine ensuite le NAGPRA, loi fédérale sur « la protection et le rapatriement des tombes des natifs américains » qui, en 1990, a conféré aux communautés amérindiennes des droits étendus sur divers biens culturels et sites archéologiques. Il souligne notamment les effets paradoxaux, sinon pervers, d’un tel dispositif législatif, qui n’a pas forcément contribué à une meilleure connaissance (et reconnaissance) des sociétés précoloniales d’Amérique du Nord
La Polynésie française : dernier bastion de l’« invention de la tradition » ?: Quand le champ scientifique adresse une fin de non-recevoir aux renaissances culturelles
No full textPour une publication sur Épisciences.While the actors of cultural renaissances in French Polynesia do not hesitate to mobilize historical, archeological or anthropological research work as means of knowing the precolonial past, the scientific field, especially the French-speaking researchers, continue to overlook and discredit this cultural enunciation. The historicity of the practices and the aims pursued within the framework of these renaissances are thus questioned, revealing the still decisive influence of a theory that has nevertheless been undermined elsewhere in the Pacific: the invention of tradition.Alors que les actrices et les acteurs des renaissances culturelles en Polynésie française n’hésitent pas à mobiliser des travaux de recherche (historique, archéologique, anthropologique, etc.) comme moyens de connaître le passé précolonial, le champ scientifique continue d’adresser à cette énonciation culturelle une fin de non-recevoir. L’historicité des pratiques et les finalités poursuivies dans le cadre de ces renaissances sont ainsi mises en cause, révélant l’influence toujours décisive d’une théorie pourtant battue en brèche ailleurs dans le Pacifique : l’invention de la tradition
Biais socio-centrés et constructions de l’altérité: Pour une approche anthropologique critique et raisonnée
No full textConsidering the colonial heritage and the other forms of domination makes it necessary to take a critical approach to the positions of authority on which scientific discourse is based. What would be the conditions for the possibility of knowledge giving access to alternative forms of knowledge and discourse about the world? Does not every approach bring its own biases in the project of universal knowledge? The reflection is based on an ethnographic survey (Wallis) and the current debate on the restitution of African museum collections by former colonial countries.Retornar a los legados coloniales y a otras formas de dominación hace necesario un enfoque crítico de las posiciones de autoridad en las que se basa el discurso científico ¿Cuáles serían las condiciones de posibilidad de un saber que permita formas alternativas de conocimiento del mundo y de discurso sobre él? ¿No aporta cada enfoque sus propios sesgos al proyecto de un conocimiento universal? La reflexión se basa en una encuesta etnográfica (Wallis) y en el debate actual sobre la restitución por parte de los antiguos países coloniales de las colecciones africanas conservadas en sus museos.Le retour sur les héritages coloniaux et les autres formes de domination rendent nécessaires l’approche critique des positions d’autorité fondant le discours scientifique. Quelles seraient les conditions de possibilité d’un savoir faisant droit à des formes alternatives de connaissance du monde et de discours à son sujet ? Toute approche n’apporte-t-elle pas ses biais dans le projet d’un savoir universel ? La réflexion repose sur une enquête ethnographique (Wallis) et le débat actuel sur la restitution, par les anciens pays coloniaux, des collections muséales africaines
Causal Unfoldings and Disjunctive Causes
No full textIn the simplest form of event structure, a prime event structure, an event isassociated with a unique causal history, its prime cause. However, it is quitecommon for an event to have disjunctive causes in that it can be enabled by anyone of multiple sets of causes. Sometimes the sets of causes may be mutuallyexclusive, inconsistent one with another, and sometimes not, in which case theycoexist consistently and constitute parallel causes of the event. Theestablished model of general event structures can model parallel causes. Onoccasion however such a model abstracts too far away from the precise causalhistories of events to be directly useful. For example, sometimes one needs toassociate probabilities with different, possibly coexisting, causal historiesof a common event. Ideally, the causal histories of a general event structurewould correspond to the configurations of its causal unfolding to a prime eventstructure; and the causal unfolding would arise as a right adjoint to theembedding of prime in general event structures. But there is no suchadjunction. However, a slight extension of prime event structures remedies thisdefect and provides a causal unfolding as a universal construction. Prime eventstructures are extended with an equivalence relation in order to dissociate thetwo roles, that of an event and its enabling; in effect, prime causes arelabelled by a disjunctive event, an equivalence class of its prime causes. Withthis enrichment a suitable causal unfolding appears as a pseudo right adjoint.The adjunction relies critically on the central and subtle notion of extremalcausal realisation as an embodiment of causal history. Finally, we exploresubcategories which support parallel causes as well the key operations neededin developing probabilistic distributed strategies with parallel causes.Comment: arXiv admin note: text overlap with arXiv:1607.0374
Multidimensional integer trigonometry
No full textThis paper is dedicated to providing an introduction into multidimensionalinteger trigonometry. We start with an exposition of integer trigonometry intwo dimensions, which was introduced in 2008, and use this to generalise theseinteger trigonometric functions to arbitrary dimension. We then move on tostudy the basic properties of integer trigonometric functions. We find integertrigonometric relations for transpose and adjacent simplicial cones, and forthe cones which generate the same simplices. Additionally, we discuss therelationship between integer trigonometry, the Euclidean algorithm, andcontinued fractions. Finally, we use adjacent and transpose cones to introducea notion of best approximations of simplicial cones. In two dimensions, thisnotion of best approximation coincides with the classical notion of the bestapproximations of real numbers.Comment: 24 pages, 12 illustration
La science ensemble : pratique de l’interdisciplinarité au sein d’un projet d’observatoire de l’habitat du futur
No full textCet article propose l'observation ethnographique et l’analyse interdisciplinaire d’un projet scientifique constitué d’une diversité de disciplines autour de la thématique de l’habitat du futur. Matérialiser par un appartement truffé de capteurs habité à l’année (universitaire) par deux étudiants volontaires et sélectionnés, la collaboration entre les chercheurs y prend une forme originale qui permet de réévaluer ce que représente l’Interdisciplinarité au sein de la recherche scientifique contemporaine. Fait social complexe, elle devient elle-même un objet sur lequel les acteurs projettent des stratégies et des attentes à la conjonction des multiples dimensions qu’elle sous-tend aussi comme organisation de la collaboration, méthodologie, perspective de résultats et incitation institutionnelle ambivalente
Analyzing today geometry on architectural heritage between mathematics and representation to define architect's background
No full textWe present and analyze an example of activity aiming at introducing graphical language and standards to students of the first year bachelor's in architecture. Our example concerns the 2D representation of an architectural object, an essential competency in the architect's profession, and specifically deals with roofing systems made up of vaults generated by cylinders and their intersections. It is a first attempt to create activities that involve all students regardless of their different levels of geometric understanding and of familiarity with graphic language; in particular, this example exploits the introduction of physical or virtual models to support the mathematical thinking of students in completing the task and takes place during regular lesson times, without modifying or adding mathematical subject contents. Research literature on mathematical modeling, in particular on the so-called prescriptive one, provides us tools to frame and implement our study case; it also allows presenting mathematical modeling as a goal in an extra-mathematical educational context.Nous présentons et analysons un exemple d'activité visant à initier au langage graphique codé des étudiants de première année de licence en architecture. Notre exemple concerne la représentation 2D d'un objet architectural, une compétence essentielle dans le métier d'architecte, et traite spécifiquement des systèmes de couverture constitués de voûtes générées par des cylindres et par leurs intersections. Il s'agit d'une première tentative de créer des activités qui impliquent tous les élèves, quels que soient leurs différents niveaux de compréhension géométrique et de familiarité avec le langage graphique ; en particulier, l'exemple présenté exploite l'introduction de modèles physiques ou virtuels pour soutenir la pensée mathématique des élèves dans la réalisation de la tâche et se déroule pendant le temps normal de cours, sans modifier ni ajouter le contenu mathématique établi dans les programmes d'études. La littérature de recherche sur la modélisation mathématique, en particulier celle dite prescriptive, nous fournit les outils pour cadrer et mettre en œuvre notre étude; il permet également de présenter la modélisation mathématique comme un objectif dans un contexte éducatif extra-mathématique