-
Comparison of Different Definitions of Traces for a Class of Ramified Domains...
International audience -
Extension of the canonical trace and associated determinants
This thesis is devoted to the study of the canonical trace and two types of deter- minants: on the one hand a determinant associated with the canonical trace on a... -
Prevision of evaluation by traces during the software design of interactive s...
International audience -
POM: a Virtual Parallel Machine Featuring Observation Mechanisms
We describe in this paper a Parallel Observable virtual Machine (POM), which provides a homogeneous interface upon the communication kernels of parallel architectures.... -
Partage d'expériences entre utilisateurs différents : Adaptation des modalité...
International audience -
User assistance for collaborative knowledge construction
International audience -
Description et exploitations des traces du logiciel d'algèbre Aplusix
Cet article porte sur l'emploi de traces dans un contexte éducatif et sur leur utilisation dans un EIAH. La première partie présente le logiciel Aplusix, un micromonde... -
Development of a multi-residue method using acetonitrile-based extraction fol...
International audience -
Pretty-Big-Step Semantics
International audience -
Traces, mémoire et communication
ce volume constitue les Actes du 18e colloque bilatéral franco-roumain tenu à Bucarest les 31 juin et 1er Juillet 2011 et poursuit le travail collectif initié par... -
Sobolev extension property for tree-shaped domains with self-contacting fract...
International audience -
Production et gestion d'attributs identitaires
National audience -
Evaluation of Profiling Tools for the Acquisition of Time Independent Traces
In a previous work, we proposed a framework for the off-line simulation of MPI applications. Its main originality with regard to the literature is to rely on... -
1. Traces patrimoine, mémoire des cultures populaires, ESSACHESS. Journal for...
After taking care to redefine the concepts of trace, heritage and memory, we focus on the heritage process, which begins with the selection of traces and finishes with... -
Quantification of grain boundary equilibrium segregation by NanoSIMS analysis...
International audience -
Conception et mise en place d'un entrepôt de traces et processus de traitemen...
Démonstration - Session : Traces et données d'observation -
Invariants topologiques quantiques non semi-simples.
Invariants topologiques quantiques non semi-simples. La théorie des nœuds (courbes simples plongées dans R³, à déformation continue près) se développe au début du...
