Blogue
Synchronisation explicite de l'horloge moyenne d'ensemble pour un temps atomique optimal Génération d'échelle
Cet article présente un nouveau cadre théorique pour la génération d'échelles de temps atomiques., appelée synchronisation explicite de la moyenne d'ensemble, qui unifie la synchronisation d'horloge et la génération d'échelle de temps au sein d'un paradigme de théorie du contrôle. En exploitant une décomposition canonique observable d'un modèle d'ensemble d'horloge atomique standard,...
RisqueNet: Prévision des risques basée sur l'interaction pour la conduite autonome Scénarios à longue traîne
Assurer la sécurité des véhicules autonomes (AV) dans les scénarios à longue traîne reste un défi crucial, en particulier dans des conditions d'incertitude élevée et d'interactions multi-agents complexes. Pour résoudre ce problème, nous proposons RiskNet, un cadre de prévision des risques prenant en compte les interactions, qui intègre une modélisation déterministe des risques avec une prédiction probabiliste du comportement..
Invites basées sur VLM comme assistant optimal pour l'histopathologie non appariée Coloration virtuelle
En histopathologie, les coupes de tissus sont généralement colorées à l'aide de H commun&Coloration E ou teintures spéciales (MAIS, PAS, GROUPE, etc.) visualiser clairement des structures tissulaires spécifiques. Les progrès rapides de l’apprentissage profond offrent une solution efficace pour générer des images virtuellement colorées, réduisant considérablement le...
Fais-le pour moi vs. Fais-le avec moi: Enquêter sur les perceptions des utilisateurs concernant Différents paradigmes d'automatisation dans les copilotes pour les logiciels riches en fonctionnalités
Grand modèle de langage (LLM)-assistants intégrés à l'application, ou copilotes, peut automatiser les tâches logicielles, mais les utilisateurs préfèrent souvent apprendre par la pratique, soulever des questions sur le niveau optimal d’automatisation pour une expérience utilisateur efficace. Nous avons étudié deux paradigmes d'automatisation en concevant et en mettant en œuvre un...
Lisse, Preuves intégrées de temps constant cryptographique pour Programmes et compilateurs non déterministes
La vérification formelle des logiciels et des compilateurs a été utilisée pour exclure de grandes catégories de problèmes critiques pour la sécurité., mais le risque de fuite involontaire d’informations a été beaucoup moins pris en compte. C'est une exigence clé pour les spécifications formelles de laisser certains détails d'un ...
Conception d'approvisionnement optimale: Une approche de forme réduite
Les modèles d'approvisionnement standard supposent que l'acheteur connaît la qualité du bien au moment de l'achat.; cependant, dans de nombreux contextes, la qualité ne s'apprend que longtemps après la transaction. Nous étudions les problèmes d’approvisionnement dans lesquels la valorisation du bien par l’acheteur..
Analyse dynamique en champ moyen des diffusions adaptatives de Langevin: Propagation du chaos et convergence de la réponse linéaire
Motivé par une application à l'apprentissage empirique de Bayes en régression de grande dimension, on étudie une classe de diffusions de Langevin dans un système à désordre aléatoire, où le coefficient de dérive est déterminé par un paramètre qui s'adapte en permanence à la distribution empirique du ...
Analyse dynamique en champ moyen des diffusions adaptatives de Langevin: Point fixe symétrique réplique et Bayes empirique
Dans de nombreuses applications d'estimation statistique par échantillonnage, on peut souhaiter échantillonner à partir d'une distribution cible de grande dimension qui évolue de manière adaptative aux échantillons déjà vus. Nous étudions un exemple d'une telle dynamique, donné par une diffusion de Langevin pour un échantillonnage postérieur..
Détermination collaborative à haute sensibilité et haute résolution de coefficient de biréfringence utilisant une mesure faible
Nous présentons un système de détermination du coefficient de biréfringence à haute sensibilité et haute résolution pour les films membranaires au niveau nm, basé sur une mesure faible, résoudre le compromis sensibilité-résolution. Une source lumineuse à bande passante réglable est exploitée pour obtenir un élan complémentaire (Pointeur P) et l'intensité (I-pointeur) mesures,permettant un fonctionnement sans étalonnage sur divers...
Solutions globales pour les équations de Schrödinger quadratiques du quatrième ordre 5D
We prove small data scattering for the fourth-order Schr\”odinger equation with quadratic nonlinearity \begin{équation*} i\partial_t u+\Delta^2 u+\alpha u^2 + \beta \bar{toi}^2=0\qquad\text{dans }\mathbb{R.}^5 \end{équation*} for $\alpha, \beta \in \mathbb{R.}$. Nous étendons la méthode de résonance spatio-temporelle, initialement introduit par Germain, Masmoudi, et Shatah, à...