362 research outputs found
J. A. Maravall, La philosophie politique espagnole au XVIIe siècle dans ses rapports avec l'esprit de la Contre-Réforme. Trad. de Louis Cazes et Pierre Mesnard; introduction de Pierre Mesnard
No full textMarcilly Charles. J. A. Maravall, La philosophie politique espagnole au XVIIe siècle dans ses rapports avec l'esprit de la Contre-Réforme. Trad. de Louis Cazes et Pierre Mesnard; introduction de Pierre Mesnard. In: Bulletin Hispanique, tome 58, n°4, 1956. pp. 482-488
José Antonio Maravall, La philosophie politique espagnole au XVIIe siècle dans ses rapports avec l'esprit de la Contre-Réforme. Traduit et présenté par Louis Cazes et Pierre Mesnard
No full textMols R. José Antonio Maravall, La philosophie politique espagnole au XVIIe siècle dans ses rapports avec l'esprit de la Contre-Réforme. Traduit et présenté par Louis Cazes et Pierre Mesnard. In: Revue Philosophique de Louvain. Troisième série, tome 56, n°52, 1958. pp. 632-633
On the idea of ex ante and ex post normalization of biproportional methods
No full textBiproportional methods project a matrix A to give it the column and row sums of another matrix; the result is R A S, where R and S are diagonal matrices. As R and S are not identified, one must normalize them, even after computing, that is, ex post. This article starts from the idea developed in de Mesnard (2002) – any normalization amounts to put constraints on Lagrange multipliers, even when it is based on an economic reasoning, – to show that it is impossible to analytically derive the normalized solution at optimum. Convergence must be proved when normalization is applied at each step on the path to equilibrium. To summarize, normalization is impossible ex ante, what removes the possibility of having a certain control on it. It is also indicated that negativity is not a problem. Copyright Springer-Verlag 2004C63, C67, D57,
sj-tif-2-jet-10.1177_15266028221119612 – Supplemental material for Early Institutional Experience with One-Piece Bifurcated-Fenestrated Stentgraft in the Treatment of Abdominal Aortic Aneurysms
No full textSupplemental material, sj-tif-2-jet-10.1177_15266028221119612 for Early Institutional Experience with One-Piece Bifurcated-Fenestrated Stentgraft in the Treatment of Abdominal Aortic Aneurysms by Thomas Mesnard, Louis Pruvot, Benjamin Oliver Patterson, Agathe De Préville, Richard Azzaoui and Jonathan Sobocinski in Journal of Endovascular Therapy</p
Clermont ville de Pascal. Ont collaboré à la rédaction de cet ouvrage Francine LECLERCQ, Christiane MAKANDET, Roland ALIX, Louis COGNET, Jean MESNARD, Roger SEVE. Illustrations de Maurice MARANDET. Clermont- Ferrand, impr. Mont-Louis ,éd Volcans. (Collection "Auvergne de tous les temps")
No full textFournier Pierre-François. Clermont ville de Pascal. Ont collaboré à la rédaction de cet ouvrage Francine LECLERCQ, Christiane MAKANDET, Roland ALIX, Louis COGNET, Jean MESNARD, Roger SEVE. Illustrations de Maurice MARANDET. Clermont- Ferrand, impr. Mont-Louis ,éd Volcans. (Collection "Auvergne de tous les temps"). In: Bibliothèque de l'école des chartes. 1962, tome 120. pp. 264-265
sj-tif-1-jet-10.1177_15266028221119612 – Supplemental material for Early Institutional Experience with One-Piece Bifurcated-Fenestrated Stentgraft in the Treatment of Abdominal Aortic Aneurysms
No full textSupplemental material, sj-tif-1-jet-10.1177_15266028221119612 for Early Institutional Experience with One-Piece Bifurcated-Fenestrated Stentgraft in the Treatment of Abdominal Aortic Aneurysms by Thomas Mesnard, Louis Pruvot, Benjamin Oliver Patterson, Agathe De Préville, Richard Azzaoui and Jonathan Sobocinski in Journal of Endovascular Therapy</p
Biproportional Techniques in Input-Output Analysis: Table Updating and Structural Analysis
No full textThis paper is dedicated to the contributions of Sir Richard Stone, Michael Bacharach, and Philip Israilevich. It starts out with a brief history of biproportional techniques and related matrix balancing algorithms. We then discuss the RAS algorithm developed by Sir Richard Stone and others. We follow that by evaluating the interpretability of the product of the adjustment parameters, generally known as R and S. We then move on to discuss the various formal formulations of other biproportional approaches and discuss what defines an algorithm as “biproportionalâ€. After mentioning a number of competing optimization algorithms that cannot fall under the rubric of being biproportional, we reflect upon how some of their features have been included into the biproportional setting (the ability to fix the value of interior cells of the matrix being adjusted and of incorporating data reliability into the algorithm). We wind up the paper by pointing out some areas that could use further investigation.Input-Output Economics; RAS; data raking; iterative proportional fitting; estimating missing data
Measuring structural change in the I-O production function by biproportional methods: A theorem of price invariance
No full textThis research note demonstrates the advantage of biproportional projection over the ordinary (proportional) method of technical coefficients in input-output analysis: the former is insensitive to price changes, the latter is not so. Consequently, structural change can generally be measured using the biproportional filter on tables in current prices instead of inflation-adjusted matrices, without changing anything in the result. This may be useful when price information and inflation-adjusted matrices are unavailable. The result can be applied to matrix updating. Copyright (c) 2006 the author(s). Journal compilation (c) 2006 RSAI.
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
- …
