Simulation of Laser Beam Propagation With a Paraxial Model in a Tilted Frame

We study the Schr\"odinger equation which comes from the paraxial approximation of the Helmholtz equation in the case where the direction of propagation is tilted with respect to the boundary of the domain. In a first part, a mathematical analysis is made which leads to an analytical formula of the solution in the simple case where the refraction index and the absorption coefficients are constant. Afterwards, we propose a numerical method for solving the initial problem which uses the previous analytical expression. Numerical results are presented. We also sketch an extension to a time dependant model which is relevant for laser plasma interaction

Semantic-Directed Clumping of Disjunctive Abstract States *

International audienceTo infer complex structural invariants, shape analyses rely on expressive families of logical properties. Many such analyses manipulate abstract memory states that consist of separating conjunctions of basic predicates describing atomic blocks or summaries. Moreover, they use finite disjunctions of abstract memory states in order to account for dissimilar shapes. Disjunctions should be kept small for scalability, though precision often requires keeping additional case splits. In this context, deciding when and how to merge case splits and to replace them with summaries is critical both for precision and efficiency. Existing techniques use sets of syntactic rules, which are tedious to design and prone to failure. In this paper, we design a semantic criterion to clump abstract states based on their silhouette, which applies not only to the conservative union of disjuncts but also to the weakening of separating conjunctions of memory predicates into inductive summaries. Our approach allows us to define union and widening operators that aim at preserving the case splits that are required for the analysis to succeed. We implement this approach in the MemCAD analyzer and evaluate it on real-world C codes from existing libraries dealing with doubly-linked lists, red-black trees, AVL-trees and splay-trees

New software for computational structural biology and chemoinformatics

Ma thèse introduit cinq logiciels de trois différents domaines: le calcul parallèle et distribué, la biologie structurale computationnelle et la chémoinformatique. Le logiciel pour le calcul parallèle et distribué s'appelle PAR. PAR permet d'exécuter des expériences indépendantes de manière parallèle et distribuée. Les logiciels pour la biologie structurale computationnelle sont Durandal, EleKit et Fragger. Durandal exploite la propagation de contraintes géométriques afin d'accélérer l'algorithme de partitionnement exact pour des modèles de protéines. EleKit permet de mesurer la similarité électrostatique entre une petite molécule et la protéine qu'elle est conçue pour remplacer sur une interface protéine-protéine. Fragger est un cueilleur de fragments de protéines permettant de sélectionner des fragments dans la banque de protéines mondiale. Enfin, le logiciel de chémoinformatique est ACPC. ACPC permet l'encodage fin, d'une manière rotation-translation invariante, d'une molécule dans un ou une combinaison des trois espaces chimiques (électrostatique, stérique ou hydrophobe). ACPC est un outil de criblage virtuel qui supporte les requêtes consensus, l'annotation de la molécule requête et les processeurs multi-coeurs.This thesis introduces five software useful in three different areas : parallel and distributed computing, computational structural biology and chemoinformatics. The software from the parallel and distributed area is PAR. PAR allows to execute independent experiments in a parallel and distributed way. The software for computational structural biology are Durandal, EleKit and Fragger. Durandal exploits the propagation of geometric constraints to accelerate the exact clustering algorithm for protein models. EleKit allows to measure the electrostatic similarity between a chemical molecule and the protein it is designed to replace at a protein-protein interface. Fragger is a fragment picker able to select protein fragments in the whole protein data-bank. Finally, the chemoinformatics software is ACPC. ACPC encodes in a rotation-translation invariant way a chemical molecule in any or a combination of three chemical spaces (electrostatic, steric or hydrophobic). ACPC is a ligand-based virtual screening tool supporting consensus queries, query molecule annotation and multi-core computers

Mesurer la consommation de l’Hôtel du roi Charles II

L’article présente une première esquisse de la consommation de l’Hôtel de Charles II (1285-1309) reposant sur l’analyse de ce qui nous est parvenu des libri expensarum domus regie, c’est-à-dire un unique registre de trente-deux folios et quelques extraits édités au xixe siècle. Un premier volet est consacré aux mesures mentionnées dans ces documents. Les unités du royaume de Sicile y côtoient celles d’autres territoires, Charles II ayant beaucoup voyagé tout au long de son règne. Les indications fournies par les officiers royaux permettent de calculer les équivalences entre les différentes mesures. La tâche est plus ardue quand il s’agit de les convertir dans le système métrique. Les données obtenues sont utilisées dans un second volet pour donner une estimation de la consommation quotidienne de l’Hôtel en pain et en vin, ainsi que des rations servies aux personnes admises au tinel.The present article is the first outline of the consumption of victuals in the household of Charles II (1285-1309) which is based on the analysis what has come down to us from the libri expensarum domus regie, i.e. a single register of thirty-two folios and a few extracts published in the 19th century. The first part is devoted to the measurements mentioned in these documents. As Charles II was a much-travelled king, units of measurement from the Kingdom of Sicily are found side by side with units from other territories. Indications provided by the royal officers allow us to work out the equivalences between the different units of measurement. When it comes to converting these units to the metric system, things become more difficult. The data that has been obtained is used in the second part of the article to give an estimation of the household’s daily consumption of bread and wine and the rations fed to people who were allowed into the dining hall

Le contrôle des officiers du royaume de Sicile dans le dernier tiers du XIIIe siècle

Agnès Bérenger et Frédérique LachaudInternational audienc

Nouveaux logiciels pour la biologie structurale computationnelle et la chémoinformatique

This thesis introduces five software useful in three different areas : parallel and distributed computing, computational structural biology and chemoinformatics. The software from the parallel and distributed area is PAR. PAR allows to execute independent experiments in a parallel and distributed way. The software for computational structural biology are Durandal, EleKit and Fragger. Durandal exploits the propagation of geometric constraints to accelerate the exact clustering algorithm for protein models. EleKit allows to measure the electrostatic similarity between a chemical molecule and the protein it is designed to replace at a protein-protein interface. Fragger is a fragment picker able to select protein fragments in the whole protein data-bank. Finally, the chemoinformatics software is ACPC. ACPC encodes in a rotation-translation invariant way a chemical molecule in any or a combination of three chemical spaces (electrostatic, steric or hydrophobic). ACPC is a ligand-based virtual screening tool supporting consensus queries, query molecule annotation and multi-core computers.Ma thèse introduit cinq logiciels de trois différents domaines: le calcul parallèle et distribué, la biologie structurale computationnelle et la chémoinformatique. Le logiciel pour le calcul parallèle et distribué s'appelle PAR. PAR permet d'exécuter des expériences indépendantes de manière parallèle et distribuée. Les logiciels pour la biologie structurale computationnelle sont Durandal, EleKit et Fragger. Durandal exploite la propagation de contraintes géométriques afin d'accélérer l'algorithme de partitionnement exact pour des modèles de protéines. EleKit permet de mesurer la similarité électrostatique entre une petite molécule et la protéine qu'elle est conçue pour remplacer sur une interface protéine-protéine. Fragger est un cueilleur de fragments de protéines permettant de sélectionner des fragments dans la banque de protéines mondiale. Enfin, le logiciel de chémoinformatique est ACPC. ACPC permet l'encodage fin, d'une manière rotation-translation invariante, d'une molécule dans un ou une combinaison des trois espaces chimiques (électrostatique, stérique ou hydrophobe). ACPC est un outil de criblage virtuel qui supporte les requêtes consensus, l'annotation de la molécule requête et les processeurs multi-coeurs

Le fonctionnement du scriptorium de Charles Ier d'Anjou

François Brizay et Véronique SarrazinInternational audienc

édifier une capitale : le fonctionnement des grands chantiers de construction de la première Naples angevine

Robert Carvais, André Guillerme, Valérie Nègre et Joël SakarovitchInternational audienc

Les Battosi : banquiers et fidèles soutiens de Charles II d’Anjou

élisabeth Malamut et Mohamed OuerfelliInternational audienc

Les Battosi : banquiers et fidèles soutiens de Charles II d’Anjou

Les Battosi de Lucques, qui dirigent une compagnie fondée au milieu du xiiie siècle, deviennent les principaux banquiers de la monarchie angevine au début du règne de Charles II (1285-1309) et le restent jusqu’au milieu des années 1290. Ils fournissent à la couronne de nombreux services financiers dont l’un des plus importants est le transfert de fonds de part et d’autre des Alpes. La compagnie dispose pour cela d’un réseau d’agents et d’associés solidement implanté à Gênes, dans le royaume de Sicile, le comté de Provence et le royaume de France. Grâce à lui, les Battosi transfèrent aisément et rapidement d’importantes sommes pour le compte de la monarchie et fournissent ainsi au souverain, partout où il en a besoin, les fonds nécessaires à sa politique de reconquête des territoires perdus après la révolte des Vêpres siciliennes (1282). Ces opérations ne sont généralement pas facturées, les marchands lucquois étant rémunérés par d’autres biais. Ils bénéficient notamment de la protection royale et du statut de principaux banquiers de la couronne, ce qui leur assure dons, titres, privilèges et une nombreuse clientèle dans les territoires angevins.The Battosi of Lucca ran a company that was started in the mid 12th century. At the beginning of the reign of Charles II (1285-1309), they became the main bankers of the monarchy of Anjou and remained so until the mid 1290s. They provided the Crown with several financial services. One of the most important of these was the transfer of funds across the Alps. To that end, the company could rely on a well-established network of agents and associates in Genoa, in the Kingdom of Sicily, in the County of Provence as well as in the Kingdom of France. Thanks to this network, the Battosi could quickly and easily transfer large sums of money for the monarchy. Thus, they supplied the monarch – wherever needed – with the funds required for his policy to reconquer the territories lost after the Sicilian Vespers (1282). Usually, such operations were not invoiced as the merchants of Lucca were paid by other means: they enjoyed royal protection as well as the status of main bankers of the Crown, which provided them with gifts, titles, privileges and enabled them to have a considerable number of clients in the territories near Anjou