Jeux de contrôle et d'extraction de cryptomonnaies
Cet article étudie les jeux de champ moyen (MFG) dans lequel la dynamique des agents est donnée par des processus de saut d'intensité contrôlée, avec interaction en champ moyen via les commandes et affectant les intensités de saut. Nous établissons l'existence d'équilibres MFG dans un contexte général à temps discret,...
Estimations des périodes de rotation des chevaux de Troie Jupiter avec le Zwicky Courbes de lumière photométriques pour installations transitoires
Nous présentons de nouvelles estimations de périodes de rotation pour 216 Chevaux de Troie Jupiter utilisant les données photométriques de l'installation transitoire de Zwicky (ZTF), y compris 80 Chevaux de Troie avec des périodes jusqu'alors inconnues. Notre analyse révèle des périodes de rotation allant de 4.6 heures pour 447.8 heures. Ces résultats soutiennent le...
Transition de photoconductivité positive à négative dans AlGaN/GaN hétérostructures à puits quantiques
Les hétérostructures à puits quantiques AlGaN/GaN présentent généralement une photoconductivité positive (PPC) pendant l'éclairage. Étonnamment, nous avons constaté que l'introduction du super-réseau GaN/AlN (Sl) la barrière arrière dans les hétérostructures à puits quantiques AlGaN/GaN N-polaires induit une transition dans ces hétérostructures du PPC à la photoconductivité négative (PNJ)...
Alignement dépendant de l'échelle dans la turbulence magnétohydrodynamique compressible
En utilisant $10,\!080Simulations de grille ^3$, nous analysons l'alignement dépendant de l'échelle en conduite, compressible, pas de turbulence magnétohydrodynamique à flux net. Le plasma s'auto-organise en, régions fortement alignées. L'alignement couvre toutes les variables primitives et leurs boucles. Contrairement à la théorie de l'incompressible, velocity-magnetic alignment scales as $\theta(\lambda) \sim \lambda^{1/8}$,...
Apprentissage profond interprétable pour la prédiction des réactions mécanistes polaires
Prédire avec précision les réactions chimiques est essentiel pour stimuler l’innovation en chimie synthétique, avec de larges applications en médecine, fabrication, et agricole. En même temps, la prédiction des réactions est un problème complexe dont la résolution peut prendre beaucoup de temps et de ressources pour les chimistes.. Profond...
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 ...