output
20012026
most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations

researchers with a paper here
collaborating institutions
Showing 2013Show all

5 papers · 1 filter

math.AG2013★ 3 cited

Push-pull operators on the formal affine Demazure algebra and its dual

Baptiste Calmès, Kirill Zainoulline, Changlong Zhong

In the present paper we introduce and study the push pull operators on the formal affine Demazure algebra and its dual. As an application we provide a non-degenerate pairing on the…

cs.MA2013★ 9 cited

A Methodology to Engineer and Validate Dynamic Multi-level Multi-agent Based Simulations

Jean-Baptiste Soyez, Gildas Morvan, Daniel Dupont +1

This article proposes a methodology to model and simulate complex systems, based on IRM4MLS, a generic agent-based meta-model able to deal with multi-level systems. This methodolog…

cs.MA2013

Observation of large-scale multi-agent based simulations

Gildas Morvan, Alexandre Veremme, Daniel Dupont

The computational cost of large-scale multi-agent based simulations (MABS) can be extremely important, especially if simulations have to be monitored for validation purposes. In th…

cs.MA2013★ 25 cited

IRM4MLS: the influence reaction model for multi-level simulation

Gildas Morvan, Alexandre Veremme, Daniel Dupont

In this paper, a meta-model called IRM4MLS, that aims to be a generic ground to specify and execute multi-level agent-based models is presented. It relies on the influence/reaction…

math.AT2013★ 7 cited

Steenrod squares on Intersection cohomology and a conjecture of M. Goresky and W. Pardon

David Chataur, Martintxo Saralegi-Aranguren, Daniel Tanré

We prove a conjecture raised by M. Goresky and W. Pardon, concerning the range of validity of the perverse degree of Steenrod squares in intersection cohomology. This answer turns…