- Sunday
- May 18th, 2025
- Ajouter un cours

Modèles de machines à compteurs non ambiguës Automates de Parikh faiblement non ambigus Automate de Parikh, calcul acceptant, faible non-ambiguïté Nous introduisons dans cette section les automates de Parikh étudiés dans [KR02], ainsi que leur version faiblement non ambiguë. De...

Modèles d’observation SMV parcimonieux Modèle SMV pour le contexte aéroporté On considère un réseau d’antennes embarqué dans un avion ou un drone, comme représenté sur la figure 3.1. La charge utile est alors limitée, et le réseau est contraint à...

Modèles 2D de la machine synchrone à aimants permanents à concentration de flux Présentation des modèles basés sur les réseaux de perméances 2D La dualité entre circuits magnétique et électrique est développée pour permettre un calcul simple des grandeurs magnétiques....

Modèle quantique variationnel de l’atome moyen dans le jellium Des modèles quantiques tels que ceux abordés dans le chapitre précédent sont indispensables aux calculs des propriétés de transport et des propriétés radiatives des plasmas denses. Cependant, aucun des modèles quantiques...

ML parallèle minimalement synchrone Modèle de coût et d’exécution Plutôt que de passer directement à la conception d’un modèle et d’un langage à deux niveaux pour l’utilisation de grappes de machines parallèles, nous avons considéré la conception d’un langage proche...

Mise en œuvre numérique des simulations 3D Systèmes d’équations adimensionnelles Valeurs de références et grandeurs adimensionnelles De manière générale, toutes les grandeurs mécaniques peuvent être exprimées à partir de quatre dimensions fondamentales : la longueur [m], la masse [kg], la...

Microscopic dynamics of a soft colloidal glass Macroscopic rheology The bulk viscoelastic properties of the dispersions were investigated using conventional rheology. The rheometer is a ThermoRheo RS600 controlled stresses rheometer. The mesurements were made using cone and plate geometry (diameter:...

Métriques de similarité Métriques directes pour la comparaison d’arbres de syntaxe Les arbres de syntaxe, comme explicité en 9.1.1, peuvent faire l’objet d’une quantification vectorielle de certaines propriétés syntaxiques et sémantiques. Ces métriques sont facilement modifiables par certains procédés d’obfuscation....

Méthodes de visualisation de correspondances et de similarité Visualisation des correspondances Confrontation des sources La visualisation de correspondances par confrontation des sources est proposée par la plupart des outils de recherche de similitudes. Elle consiste à afficher les différents extraits...