373 research outputs found
Le Guern (Michel). L 'image dans l'œuvre de Pascal
No full textMesnard Jean. Le Guern (Michel). L 'image dans l'œuvre de Pascal. In: Revue belge de philologie et d'histoire, tome 49, fasc. 1, 1971. pp. 107-111
Le Guern (Michel). L 'image dans l'œuvre de Pascal
No full textMesnard Jean. Le Guern (Michel). L 'image dans l'œuvre de Pascal. In: Revue belge de philologie et d'histoire, tome 49, fasc. 1, 1971. pp. 107-111
André-Hubert Mesnard, « Droit de l'urbanisme communal », 1993
No full textL. C. André-Hubert Mesnard, « Droit de l'urbanisme communal », 1993. In: Revue Juridique de l'Environnement, n°4, 1994. p. 462
Managing the variability of biomechanical characteristics before the preliminary design stage of a medical device
No full textThe very high level of requirements for certification procedures often limit research and development departments to innovate using increments and iterations during the design process for medical devices (MD). Instead of this semi-empirical approach, a structured procedure, a breakthrough innovation should be used when designing an articular MD (prosthesis, implant). The search for concepts can be based on functional analysis and producing behavioural models of the joint in its natural state and/or equipped with the prosthesis. This paper shows how anatomical variables can be managed and integrated using a modular design approach.This study has been realized under the two joint action projects PESSOA 14630YA and PTDC/EME-PME/112977
MMlles F. Leclercq, С Marandet, MM. R. Alix, L. Cognet, J. Mesnard, R. Sève, Clermont, ville de Pascal
No full textDeyon Pierre. MMlles F. Leclercq, С Marandet, MM. R. Alix, L. Cognet, J. Mesnard, R. Sève, Clermont, ville de Pascal. In: Annales. Economies, sociétés, civilisations. 18ᵉ année, N. 2, 1963. pp. 387-390
Using CLP Simplifications to Improve Java Bytecode Termination Analysis
No full textIn an earlier work, a termination analyzer for Java bytecode was developed that translates a Java bytecode program into a constraint logic program and then proves the termination of the latter. An efficiency bottleneck of the termination analyzer is the construction of a proof of termination for the generated constraint logic program, which is often very large in size. In this paper, a set of programsimplifications are presented that reduce the size of the constraint logic program without changing its termination behavior. These simplifications remove program clauses and/or predicate arguments that do not affect the termination behavior of the constraint logic program. Their effect is to reduce significantly the time needed to build the termination proof for the constraint logic program, as our experiments show
Y a-t-il encore une perspective pour l’homme ?
No full textDès son développement au XVe siècle, la perspective est liée à la modernité et à l’idée de l’« homme » prenant progressivement forme et se développant jusqu’aux Temps modernes. Ceux-ci, à partir du XIXe siècle, voient émerger et se réaliser la volonté de maîtriser totalement l’homme et son champ de vision. En ce sens, la perspective dépasse les techniques de la représentation de l’espace et s’affirme comme un indicateur majeur de la situation, voire de la condition de l’homme dans le monde moderne. De même qu’elle est un élément clé du rapport « réaliste » à la réalité, elle se trouve au coeur d’enjeux tout aussi importants où l’espace urbain s’articule aux démonstrations du politique et de sa volonté de puissance.Mesnard Philippe. Y a-t-il encore une perspective pour l’homme ?. In: Communications, 85, 2009. L’homme a-t-il encore une perspective ? sous la direction de Philippe Mesnard. pp. 5-22
Concolic Testing in CLP
No full text[EN] Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. A previous approach to concolic testing in logic programming was not sound because it only dealt with positive constraints (by means of substitutions) but could not represent negative constraints. In this paper, we present a novel framework for concolic testing of CLP programs that generalizes the previous technique. In the CLP setting, one can represent both positive and negative constraints in a natural way, thus giving rise to a sound and (potentially) more efficient technique. Defining verification and testing techniques for CLP programs is increasingly relevant since this framework is becoming popular as an intermediate representation to analyze programs written in other programming paradigms.This author has been partially supported by EU (FEDER) and Spanish MCI/AEI under grants TIN2016-76843-C4-1-R and PID2019-104735RB-C41, and by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust).Mesnard, F.; Payet, E.; Vidal, G. (2020). Concolic Testing in CLP. Theory and Practice of Logic Programming. 20(5):671-686. https://doi.org/10.1017/S1471068420000216S67168620
Les merveilles de l\u27exposition universelle de 1867 : arts, industrie : bronzes, meubles, orfévrerie, porcelaines, faïences, cristaux, bijoux, dentelles, soieries, tissus de toutes sortes, papiers peints, tapisseries, tapis, glaces, etc. Tome premier. Tome second
No full text2 vol. (243 p., 240 p.) : ill. ; 36 c
L´écriture testimoniale au-delà de la temporalité narrative
No full textWe analyze what it happens when a writer want to transcribe an experience and a reality which
resist against the temporal dimension of the narration. We examine, with W ou le souvenir d´enfance
of Georges Perec, the aesthetic and ethic choices of the author, in particular the capabilities of the
language to produce descriptions, inventory and enumeration instead of narration and plot. We note
there is suspension of the narrative temporality. The question of the space is highlighted. In that
sense, there is experimental writing, directly linked with historical experiences, in particular the
Holocaust, which call in question the narrative capabilities of the tales
- …
