Grivaux, Julien Topological properties of Hilbert schemes of almost-complex fourfolds. I. (English) Zbl
Manuscr. Math. 136, No. 1-2, Given a smooth irreducible complex projective surface X,

Source URL: jgrivaux.perso.math.cnrs.fr

• Abstract algebra
• Algebra
• Mathematics
• Algebraic geometry
• Homological algebra
• Differential geometry
• Cohomology theories
• Projective variety
• Hilbert scheme
• Perverse sheaf
• Manifold
• tale cohomology

A MODEL FOR FRAMED CONFIGURATION SPACES OF POINTS RICARDO CAMPOS, JULIEN DUCOULOMBIER, NAJIB IDRISSI, AND THOMAS WILLWACHER Abstract. We study configuration spaces of framed points on compact manifolds. Such configuratio

Source URL: idrissi.eu

• Algebra
• Mathematics
• Topology
• Homotopy theory
• Algebraic topology
• Abstract algebra
• Category theory
• Homological algebra
• Operad theory
• Homotopy category
• Rational homotopy theory
• Homotopy

Julien Signoles État civil Nationalité Date et lieu de naissance :

Source URL: julien.signoles.free.fr

manuscripta math. 136, 155–) © Springer-Verlag 2011 Julien Grivaux

Source URL: jgrivaux.perso.math.cnrs.fr

• Mathematics
• Mathematical analysis
• Algebra
• Algebraic varieties
• Algebraic topology
• General topology
• Operator theory
• Projective geometry
• Projective variety
• Sheaf
• Diffeomorphism
• Local homeomorphism

Electrum Lightweight specification of behavioral models with rich configurations Julien Brunel1 , David Chemouil1 , Alcino Cunha2 , Nuno Macedo2 et al. Workshop on the Future of Alloy, April 30 & May 1, 2018, MIT.

Source URL: alloytools.org

• Theoretical computer science
• Formal methods
• Temporal logic
• Software engineering
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Concurrency
• Model checking
• TLA+
• Linear temporal logic
• Computation tree logic

1003 Documenta Math. Formality of Derived Intersections Julien Grivaux

Source URL: jgrivaux.perso.math.cnrs.fr

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Sheaf theory
• Intersection theory
• Coherent sheaf
• Sheaf
• Chow group
• Cohomology
• Morphism of algebraic varieties
• Vertex operator algebra

Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Data types
• C++
• C
• Primitive types
• Software bugs
• Pointer
• Struct
• Memory safety
• C dynamic memory allocation

Grivaux, Julien Topological properties of Hilbert schemes of almost-complex four-manifolds. II. (English) Zbl
Geom. Topol. 15, No. 1, In the paper under review, the author studies the ratio

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Abstract algebra
• Algebra
• Algebraic geometry
• Differential topology
• Algebraic topology
• Complex manifolds
• Moduli theory
• Cobordism
• Hilbert scheme
• Projective variety
• Chern class

ORSAY No d’ordre : 2097 ´ DE PARIS-SUD 11 UNIVERSITE CENTRE D’ORSAY

Source URL: julien.signoles.free.fr

• Software engineering
• Computer programming
• Software
• Frama-C
• Formal methods
• Logic in computer science
• ACSL
• OCaml
• Runtime verification
• ANSI/ISO C Specification Language

PDF Document

Source URL: julien.signoles.free.fr