Parking Capacity and Pricing in Park'n Ride Trips: A Continuous Equilibrium Network Design Problem

In this paper we consider the problem of designing parking facilities for park'n ride trips. We present a new continuous equilibrium network design problem to decide the capacity and fare of these parking lots at a tactical level. We assume that the parking facilities have already been located and other topological decisions have already been taken.The modeling approach proposed is mathematical programming with equilibrium constraints. In the outer optimization problem, a central Authority evaluates the performance of the transport network for each network design decision. In the inner problem a multimodal traffic assignment with combined modes, formulated as a variational inequality problem, generates the share demand for modes of transportation, and for parking facilities as a function of the design variables of the parking lots. The objective is to make optimal parking investment and pricing decisions in order to minimize the total travel cost in a subnetwork of the multimodal transportation system.We present a new development in model formulation based on the use of generalized parking link cost as a design variable.The bilevel model is solved by a simulated annealing algorithm applied to the continuous and non-negative design decision variables. Numerical tests are reported in order to illustrate the use of the model, and the ability of the approach to solve applications of moderate size.     

Homology of proof-nets

This work defines homology groups for proof-structures in multiplicative linear logic (see [Gir1], [Gir2], [Dan]). We will show that these groups characterize proof-nets among arbitrary proof-structures, thus obtaining a new correctness criterion and of course a new polynomial algorithm for testing correctness. This homology also bears information on sequentialization. An unexpected geometrical interpretation of the linear connectives is given in the last section. This paper exclusively focuses onabstract proof-structures, i.e. paired-graphs. The relation with actual proofs is investigated in [Gir1], [Gir2], [Dan], [Ret] and [Tro].     

Quantitative Concentration Inequalities for Empirical Measures on Non-compact Spaces

We establish quantitative concentration estimates for the empirical measure of many independent variables, in transportation distances. As an application, we provide some error bounds for particle simulations in a model mean field problem. The tools include coupling arguments, as well as regularity and moment estimates for solutions of certain diffusive partial differential equations.     

The complexification and degree of a semi-algebraic set

The complexification of a semi-algebraic set is the smallest complex algebraic set containing S. Let S be defined by s polynomials of degrees less than d. We prove that the geometric degree of the complexification is less than . Received: 9 January 1997; in final form: 11 August 2000 / Published online: 17 May 2001     

Analysis of a Poisson system with boundary conditions

We consider a class of problems originating from a Raman laser amplification model, for which the equations can be written as a Poisson system with boundary conditions. Once reformulated, this system becomes an integro-differential equation that we study here in some detail. In particular, we show the existence of a smooth solution under general assumptions, and prove its uniqueness for boundary values that are not too far apart. Eventually, we completely solve the question of uniqueness for systems of dimensions one and two. To cite this article: F. Castella et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Quasi-free divisors and duality

We prove a duality theorem for some logarithmic $\text{D}$-modules associated with a class of divisors. We also give some results for the locally quasi-homogeneous case. To cite this article: F.J. Castro-Jiménez, J.M. Ucha-Enr??quez, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Parametric Centers for Trigonometric Abel Equations

This article is devoted to one-dimensional perturbative theory on R × S ¹. There is a recursive formula for the successive obstructions to parametric center at any order of the perturbation parameter. The first obstruction is studied by means of complex analysis techniques. This extends to the trigonometric case what was done previously for the polynomial case (Israel J. Math. 142, 273–283, 2004). This article is dedicated to Professor Zhang Zhi-Fen on the occasion of her 80th Birthday     

Simultaneous determination of cloramphenicol, salicylic acid and resorcinol by capillary zone electrophoresis and its application to pharmaceutical dosage forms

This study demonstrates the separation of active ingredients in acne formulations (salicylic acid, cloramphenicol and resorcinol in presence of azulene) by capillary zone electrophoresis. Factors affecting their separations were the buffer pH and concentration, applied voltage, sample preparation, and presence of additives. Optimun results were obtained with a 50 mM sodium tetraborate-50 mM sodium phosphate, pH 9.0. The carrier electrolyte gave baseline separation with good resolution, short migration times (<6 min), great reproducibility and accuracy. Calibration plots were linear over at least three orders of magnitude of analyte concentrations, the lower limits of detection being within the range 0.39-1.25 μg ml⁻¹. The procedure was fast and reliable and commercial pharmaceuticals could be analysed without prior sample clean-up procedure.