Informatique

Une méthode pour améliorer la précision dans la résolution des problèmes d'advection-diffusion à travers les dimensions.

Méthodes pour approximer le flux de courbure moyenne et le flux de courbure moyenne hyperbolique sur les surfaces.

Combiner des méthodes traditionnelles avec l'IA pour améliorer les solutions PDE.

Un aperçu des méthodes numériques pour des solutions efficaces d'écoulement de fluides.

Des approches innovantes améliorent les tests de cointégration en utilisant des stratégies d'optimisation.

Une nouvelle méthode simplifie avec succès les calculs des réacteurs nucléaires.

Un nouveau cadre combine l'apprentissage automatique et les EDP pour un modélisation scientifique efficace.

De nouvelles méthodes améliorent les simulations de transport de chaleur dans des plasmas anisotropes pour la recherche sur la fusion.

De nouvelles techniques d'apprentissage automatique améliorent les prévisions en plasticité des polycristaux.

Une méthode pour trouver des solutions optimales dans des environnements incertains avec des évaluations coûteuses.

Un nouveau cadre améliore le mouvement des robots quadrupèdes sur différents terrains.

Une nouvelle approche pour comprendre les réseaux malgré des infos manquantes.

Une nouvelle bibliothèque améliore les méthodes pour gérer des problèmes complexes d'optimisation multi-objectifs.

Une méthode pour apprendre dans des conditions difficiles avec des données bruyantes.

Une approche technologique pour optimiser l'alimentation des poissons et améliorer la durabilité de l'aquaculture.

Une nouvelle méthode améliore la régression symbolique en utilisant des modèles de langage pour une meilleure analyse des données.

Explorer le lien entre l'IA générative et le réseau de centres de données.

Explorer comment Starlink influence le streaming vidéo à l'échelle mondiale.

Explorer le rôle des RIS actifs dans l'amélioration des systèmes de communication THz.

Un nouveau cadre améliore la programmation et l'exécution des tâches dans le cloud edge.

Améliorer la communication en temps réel grâce à de nouvelles méthodes de contrôle de la congestion.

Apprends comment LoRa améliore la communication en agriculture pour une meilleure efficacité.

Utiliser la centralité pour améliorer le partage de données dans les réseaux de capteurs véhiculaires.

Explorer l'avenir des données et de la communication grâce à des réseaux satellites avancés et à l'informatique quantique.

SoftHSM propose une protection abordable contre les menaces cyber pour les industries modernes.

Une étude sur l'utilisation des HSM pour protéger les données dans les environnements industriels.

Count2Multiply améliore l'efficacité de la multiplication de matrices directement dans les systèmes de mémoire.

Une méthode pour améliorer l'efficacité des réseaux de neurones en utilisant le calcul en mémoire.

Un nouveau système utilise des réseaux de neurones à impulsions pour un traitement des données plus efficace.

De nouvelles méthodes améliorent la synthèse de haut niveau grâce à une exploration efficace de l'espace de conception.

CARAML propose une nouvelle façon d'évaluer l'efficacité du matériel AI dans les tâches d'apprentissage automatique.

RapidOMS propose une approche plus rapide et plus efficace pour l'analyse de spectrométrie de masse.

Une nouvelle approche offre des perspectives plus profondes sur les gènes responsables du cancer et leurs interactions.

Des chercheurs créent des copies numériques d'animaux pour des études éthiques et efficaces.

Découvre comment l'ADN pourrait changer l'avenir du stockage de données.

Apprends comment le Matrix Profile détecte des anomalies dans les données de séries temporelles multidimensionnelles.

Une étude sur la performance de différentes techniques de quantification des données pour une recherche efficace.

Un système pour rendre la gestion des données plus facile pour les débutants et les experts.

Lester aide à simplifier le code de science des données en désordre pour une meilleure gestion des données.

De nouvelles méthodes améliorent la rapidité et la pertinence pour trouver des parcours de voyage similaires des utilisateurs.

Une nouvelle méthode améliore l'efficacité des requêtes GraphQL sur les graphes de connaissances.

Des chercheurs développent des méthodes pour un meilleur code d’automatisation de la gestion des données grâce à des exemples riches en contexte.

Un aperçu de comment les technologies avancées peuvent soutenir les processus législatifs.

Une nouvelle perspective sur la façon dont les chercheurs décident où publier leurs travaux.

Examine comment les LLM changent l'écriture et la parole dans les milieux académiques.

RRD-Bio propose un hub centralisé pour plus de 2,5 millions de ressources de recherche biomédicale.

Un aperçu des cadres métalliques organiques et de leur importance croissante dans la science.

Une nouvelle approche pour organiser les données dans la recherche sur les plasmas à basse température.

Un système pour faciliter la connaissance sur les Grands Modèles de Langage pour les chercheurs.

Les systèmes de recommandations peuvent améliorer l'accès aux documents historiques dans les archives numériques.

Un cadre pour automatiser et améliorer les résumés de la littérature scientifique pour les chercheurs.

Le modèle DAC améliore la légende audio avec rapidité et diversité.

Cette recherche montre comment les métadonnées peuvent améliorer la précision de la détection de la position politique.

Un nouveau modèle pour améliorer l'extraction de relations en utilisant la syntaxe et le contexte.

Cet article examine des méthodes pour détecter la contamination des données dans les grands modèles de langage.

Un nouveau modèle améliore la compréhension du langage et réduit la désinformation.

Des recherches montrent comment les modèles de langage reflètent les traits de personnalité humains.

Un nouveau jeu de données vise à améliorer les systèmes de QA pour le Quran et les Ahadith.

Un système crée de faux dossiers médicaux tout en garantissant la confidentialité des patients.

Une nouvelle méthode améliore la régression symbolique en utilisant des modèles de langage pour une meilleure analyse des données.

QLMNtal améliore la gestion des graphes avec des fonctionnalités de quantification puissantes.

Les systèmes d'IA apprennent en explorant et en étant motivés, ce qui améliore leur performance dans les tâches.

Une nouvelle méthode pour décomposer des ensembles algébriques en parties équidimensionnelles en utilisant des bases de Gröbner.

Combiner la logique floue et la régression symbolique pour une détection de fraude plus claire.

Les modèles d'IA peuvent aider à trouver des vulnérabilités dans les systèmes cryptographiques pour une meilleure sécurité.

Découvrez comment le CAO simplifie les formes complexes en math et ses utilisations pratiques.

Explorer comment l'intelligence de la nature façonne les futurs systèmes d'IA.

Explorer les complexités des réarrangements du génome et l'importance des arrangements médians.

Examiner comment les améliorations des arbres de décision peuvent booster les méthodes de théorie du code.

De nouvelles idées sur la complexité de Kolmogorov améliorent les méthodes de compression des données.

Des recherches révèlent de nouvelles idées sur la multiplication de groupes et sa complexité de communication.

Explore les VCSP temporels et leur importance dans les problèmes d'optimisation.

Un aperçu du problème Max-Cut et de ses applications dans différents domaines.

Des recherches dévoilent des méthodes de mélange plus rapides dans des circuits réversibles aléatoires pour améliorer la cryptographie.

Enquêter sur comment la fusion des sommets affecte les propriétés et classifications des graphes.

Examiner les vulnérabilités des contrats intelligents et le rôle des modèles linguistiques dans la détection.

SoftHSM propose une protection abordable contre les menaces cyber pour les industries modernes.

Une étude sur l'utilisation des HSM pour protéger les données dans les environnements industriels.

L'apprentissage fédéré s'attaque aux problèmes de confidentialité des données dans des domaines sensibles.

Les organisations font face à des choix difficiles pendant les attaques de ransomware. Apprends à gérer les décisions efficacement.

Un système pour estimer des histogrammes privés qui protège la vie privée des utilisateurs tout en fournissant des données précises.

Une nouvelle technique révèle des faiblesses dans les mesures de sécurité de l'IA pour les modèles de langage.

L'apprentissage fédéré renforce la confidentialité et l'efficacité des opérations de réseau électrique.

Un aperçu des méthodes pour améliorer la cohérence des couleurs entre différentes images.

Playground v3 transforme des invites textuelles en images de haute qualité avec précision.

Visualise comment les mots-clés et les sujets évoluent avec le temps grâce à TimeLink.

Une méthode pour éviter le ramollissement des brins élastiques grâce à l'optimisation de la forme de repos.

Une nouvelle méthode améliore les modèles de têtes 3D pour le réalisme et la performance.

Une nouvelle méthode améliore le transfert d'animation faciale pour les personnages numériques.

Une nouvelle technique améliore le réalisme des images en séparant la représentation des couleurs et des formes.

Une nouvelle méthode pour améliorer la qualité et le détail du rendu 3D.

Harden aide les utilisateurs à suivre leurs comportements et leurs pensées pour lutter contre l'addiction.

Utiliser des LLM pour estimer avec précision le coût et la durée des projets logiciels.

Des commentaires de code incohérents peuvent causer des bugs et des soucis de logiciel.

Points clés pour améliorer votre papier NeurIPS pour une meilleure évaluation.

Cette étude évalue l'efficacité de différents LLMs pour identifier les vulnérabilités de code.

Examiner les problèmes de confidentialité liés aux SDK tiers dans les applications mobiles.

Un nouveau benchmark qui évalue les grands modèles de code dans des tâches de codage du monde réel.

Analyser les problèmes de performance de WASI avec un cadre basé sur eBPF pour de meilleures applications web.

Un aperçu des complexités des arbres couvrants bichromatiques et de leurs applications.

Une étude sur les problèmes dynamiques dans les graphes à disque unitaire et des méthodes efficaces pour les résoudre.

Apprends à dessiner des graphs planaires bipartis en utilisant des méthodes parallèles.

HypersurfaceRegions.jl aide les chercheurs à analyser des structures mathématiques complexes.

Un aperçu des arbres couvrants minimaux et de leur importance dans divers domaines.

Un aperçu de la planéité groupée et de la saturation linéaire dans la représentation des graphes.

Un nouvel algorithme améliore la recherche de l'enveloppe convexe avec une meilleure efficacité.

Des chercheurs développent des méthodes pour interpréter les formes des cratères dans les images spatiales.

La réplication collaborative sans coordination simplifie le travail en groupe sans messageries constantes.

Une méthode pour mieux gérer les grands réseaux en apprentissage automatique.

Explorer le passage vers des méthodes centrées sur les GPU pour de meilleures performances de calcul.

L'apprentissage fédéré s'attaque aux problèmes de confidentialité des données dans des domaines sensibles.

Un nouveau cadre améliore la programmation et l'exécution des tâches dans le cloud edge.

Une nouvelle méthode améliore la confidentialité des données dans l'apprentissage automatique grâce à des approches personnalisées.

Une nouvelle méthode qui améliore la reconnaissance vocale tout en garantissant la confidentialité des données.

CountChain utilise la blockchain pour améliorer la précision et la confiance dans le comptage pour la publicité en ligne.

Examiner l'impact des prix personnalisés sur le succès des entreprises et la concurrence.

Un cadre pour améliorer le comportement cooperatif en utilisant la technologie AI avancée.

CountChain utilise la blockchain pour améliorer la précision et la confiance dans le comptage pour la publicité en ligne.

Explorer de nouveaux modèles économiques pour les données en utilisant les principes de communication quantique.

MEGA-PT améliore l'efficacité et l'adaptabilité des tests de pénétration pour une meilleure cybersécurité.

Un aperçu de comment les formats d'enchères influencent le comportement des enchérisseurs et les résultats.

Apprends des stratégies de trading clés dans un environnement compétitif.

Examiner l'équité et l'efficacité des enchères d'intention commerciale dans la finance moderne.

Une nouvelle méthode améliore la régression symbolique en utilisant des modèles de langage pour une meilleure analyse des données.

Voici COSCO, un cadre qui améliore la précision de classification avec peu de données.

KAT améliore l'apprentissage profond en utilisant des KANs avancés pour remplacer les MLPs.

Une étude sur des méthodes d'apprentissage incrémental par instance et par lot pour des labels retardés dans la détection de fraude.

Présentation d'un réseau de neurones unique pour gérer efficacement les données complexes.

SHIRE améliore la vitesse d'apprentissage des robots en intégrant l'intuition humaine avec l'apprentissage par renforcement.

Un nouveau système utilise des réseaux de neurones à impulsions pour un traitement des données plus efficace.

Inferno aide les chercheurs à bosser efficacement avec des réseaux de neurones à spikes.

Examiner comment les lacs qui fondent influencent le mouvement de la glace et la montée du niveau de la mer.

Une étude sur des méthodes d'apprentissage incrémental par instance et par lot pour des labels retardés dans la détection de fraude.

Examen de comment les sanctions affectent les transactions crypto des entités sanctionnées.

Les modèles spécifiques aux patients améliorent la compréhension du flux sanguin cardiaque et des stratégies de traitement.

Une nouvelle méthode améliore la stabilité des simulations SPH pour la dynamique des solides.

Cet article parle de l'analyse d'incertitude en ingénierie grâce à la méthode FgPC.

De nouvelles techniques d'IA améliorent la précision et l'efficacité de la modélisation de la dynamique des fluides.

Un aperçu de la méthode d'Euler implicite et de ses applications dans l'inversion différentielle.

Cet article souligne comment les variations d'étiquettes affectent les modèles de machine learning.

Une approche technologique pour optimiser l'alimentation des poissons et améliorer la durabilité de l'aquaculture.

AMBER surpasse les CNN dans la classification des images hyperspectrales, montrant une meilleure précision.

Combiner des méthodes traditionnelles avec l'IA pour améliorer les solutions PDE.

Une nouvelle méthode améliore la régression symbolique en utilisant des modèles de langage pour une meilleure analyse des données.

Apprends comment le Matrix Profile détecte des anomalies dans les données de séries temporelles multidimensionnelles.

Un nouveau modèle pour améliorer l'extraction de relations en utilisant la syntaxe et le contexte.

Examiner les vulnérabilités des contrats intelligents et le rôle des modèles linguistiques dans la détection.

Un regard sur les préoccupations de sécurité dans les espaces de vie partagés.

Examiner comment les sentiments partagés influencent la dynamique de groupe et la performance.

AutoJournaling capture automatiquement des moments et des émotions quotidiens en utilisant des captures d'écran de smartphone.

Un système permet aux utilisateurs de contrôler leur processus d'écriture réflexive.

Un nouvel outil aide les enfants autistes peu verbaux à mieux communiquer avec leurs parents.

Un nouveau modèle aide les robots à suivre des instructions humaines floues plus efficacement.

Examinons comment les modes clair et sombre influencent l'interprétation des données selon les tranches d'âge.

Cet article explore comment le contexte améliore la prise de décision des utilisateurs avec des systèmes d'IA.

La réplication collaborative sans coordination simplifie le travail en groupe sans messageries constantes.

Un nouveau langage de codage vise à améliorer les performances d'entraînement des réseaux neuronaux.

Minuska offre une méthode solide pour créer des interprètes vérifiés à partir de définitions de langage.

Un aperçu de comment les parties partagent des infos en informatique quantique.

Apprends comment les continuations aident à gérer les calculs quantiques.

QLMNtal améliore la gestion des graphes avec des fonctionnalités de quantification puissantes.

vMocks simplifie la vérification formelle, améliorant la sécurité et la fiabilité des logiciels.

Explorer l'importance de la cohérence de la mémoire dans les environnements de programmation multi-thread.

Explorer les récents développements dans l'apprentissage des automates et les techniques de requête.

Une nouvelle approche pour aider les voitures autonomes à prendre des décisions plus sûres sur la route.

Cet article parle d'une nouvelle méthode pour générer des preuves de correction en Rust.

Cet article parle du problème d'appartenance au sous-monoïde dans les groupes de lampistes et de ses implications.

Une nouvelle méthode pour évaluer les requêtes de chaînes plus rapidement en utilisant la logique MSO.

Un aperçu des automates finis, en mettant l'accent sur les états, les transitions et la reachabilité.

Une nouvelle méthode améliore la façon dont les robots planifient et exécutent des tâches efficacement.

Un cadre pour mieux comprendre les chaînes de Markov complexes en utilisant des techniques d'abstraction et d'échantillonnage.

Une nouvelle bibliothèque améliore les méthodes pour gérer des problèmes complexes d'optimisation multi-objectifs.

Un nouveau cadre combine l'apprentissage automatique et les EDP pour un modélisation scientifique efficace.

Apprends comment les émulateurs quantiques font avancer la recherche et explore la performance des algorithmes.

Forester simplifie l'apprentissage automatique pour les utilisateurs R avec un package super sympa.

Découvre comment la méthode de l'entonnoir simplifie la résolution des problèmes d'optimisation sous contrainte.

Améliorer les simulations de flux de fluides multiphases en utilisant la technologie GPU moderne.

HypersurfaceRegions.jl aide les chercheurs à analyser des structures mathématiques complexes.

QHyper simplifie l'utilisation de l'informatique quantique pour les tâches d'optimisation combinatoire.

Les conteneurs structurent les données pour une meilleure gestion et organisation en programmation.

Une nouvelle méthode simplifie le comptage des modèles minimaux en logique booléenne.

Une nouvelle approche du calcul des lambda, intégrant l'utilisation des ressources et l'approximation.

Un aperçu de la propriété de stabilité et de son importance dans le calcul par valeur.

Un aperçu de comment le hasard façonne les techniques de calcul modernes.

Un aperçu des fonctions, des dérivées et de leur interconnexion dans des situations de la vie quotidienne.

Explore l'importance des espaces de couverture en topologie algébrique et leurs applications.

Explorer de nouvelles méthodes pour améliorer la vérification des preuves en ingénierie logicielle.

Un aperçu des relations et des caractéristiques des graphes à arcs circulaires et des graphes chordaux.

Un aperçu des graphes de puissance, de leurs orientations et de leurs implications en théorie des groupes.

Apprends comment les digraphes améliorent le placement des stations de recharge pour véhicules électriques.

Un aperçu de la façon dont les graphes creux sont liés à leurs graphes de ligne et à leurs propriétés.

Apprends comment l'étiquetage d'adjacence optimise le stockage et l'analyse des données graphiques.

Un aperçu de comment les graphes aident dans des applications concrètes comme la logistique.

Un aperçu de la propriété d'encastrement commun et ses implications pour les cographes et les arbres.

Cette étude révèle les limites et les structures des graphes planaires complets.

LLaQo propose des retours super détaillés pour évaluer les performances musicales, ce qui booste l'apprentissage des élèves.

Explorer comment Starlink influence le streaming vidéo à l'échelle mondiale.

L'intelligence artificielle est en train de transformer la musique avec de nouveaux outils et des approches.

Améliorer la communication en temps réel grâce à de nouvelles méthodes de contrôle de la congestion.

De nouvelles méthodes améliorent la synchronisation audio avec les scènes vidéo qui changent.

NVLM améliore la compréhension du langage et des visuels par l'IA pour des tâches variées.

La méthode TRIM réduit les tokens d'image dans les modèles de langage multimodaux tout en maintenant la performance.

Explorer comment les LLMs améliorent le raisonnement à travers différents types de données.

Cet article présente une méthode pour améliorer l'équité dans les modèles d'apprentissage machine à multiples sorties.

Cette étude examine le biais sexuel dans la prédiction du stress et de la fatigue des pilotes.

Un cadre pour améliorer le comportement cooperatif en utilisant la technologie AI avancée.

Examen de la désinformation sur COVID-19 sur YouTube aux États-Unis et en Afrique du Sud.

La coopération internationale est essentielle pour les normes de sécurité en IA.

Explorer les avantages et les défis des compagnons IA qui se souviennent des interactions avec les utilisateurs.

Examiner le lent progrès vers les objectifs de l'ONU pour 2030 dans les pays.

ARTAI vise à évaluer les impacts sociaux des systèmes de recommandation et à améliorer la transparence.

Explorer le passage vers des méthodes centrées sur les GPU pour de meilleures performances de calcul.

Explorer comment Starlink influence le streaming vidéo à l'échelle mondiale.

nekCRF améliore les simulations de combustion pour plus d'efficacité et moins d'émissions.

Découvrez comment UL-TDoA améliore les capacités de positionnement 5G pour diverses industries.

Une étude qui analyse la tolérance aux pannes de la blockchain dans cinq systèmes modernes.

Cette recherche améliore les simulations RFA en utilisant des techniques de calcul parallèle pour réduire le temps d'exécution.

CARAML propose une nouvelle façon d'évaluer l'efficacité du matériel AI dans les tâches d'apprentissage automatique.

Un nouveau compresseur améliore les performances de GMRES dans la résolution d'équations linéaires.

Une étude sur la performance de différentes techniques de quantification des données pour une recherche efficace.

Une nouvelle méthode améliore la sécurité du classement pour de meilleures expériences utilisateur.

Une nouvelle méthode pour classer les articles améliore la précision des recherches et des recommandations.

Surmonter le biais de récence pour améliorer l'expérience utilisateur dans les systèmes de recommandation.

De nouvelles méthodes simplifient l'extraction PICO des essais cliniques pour une recherche plus efficace.

Analyser comment les préjugés influencent les suggestions de contenu numérique selon les démographies.

Ce cadre permet d'apprendre rapidement de nouvelles catégories d'objets avec peu de données.

Apprends comment les modèles causaux peuvent améliorer les recommandations en se concentrant sur les facteurs clés.

Un nouveau cadre améliore le mouvement des robots quadrupèdes sur différents terrains.

La recherche explore de nouvelles méthodes pour générer des arbres de comportement en utilisant des modèles de langage.

Des recherches montrent que les robots qui s'adaptent au comportement humain améliorent le confort et la sécurité au travail.

Une approche technologique pour optimiser l'alimentation des poissons et améliorer la durabilité de l'aquaculture.

GEVO améliore la cartographie 3D tout en minimisant l'utilisation de mémoire sur les appareils mobiles.

Les exosquelettes de genoux améliorés facilitent le passage de la position assise à la position debout pendant la rééducation.

Un système de génération d'images en temps réel améliore l'opération des robots à distance dans l'agriculture.

Progrès dans l'utilisation de l'ultrason pour la reconnaissance des gestes de la main sur les petits appareils.

De nouvelles méthodes améliorent les GNN pour des types de graphes difficiles.

Un nouveau modèle révèle des infos sur les relations positives et négatives dans les réseaux.

Le dataset ES-KT-24 améliore le suivi des connaissances avec des données de jeux éducatifs et des vidéos.

PropEnc transforme les métriques de graphe en caractéristiques de nœuds utiles, améliorant la performance des GNN.

Présentation d'une méthode flexible pour simplifier les connexions réseau sans paramètres fixes.

Une étude compare des modèles pour détecter le cyberharcèlement visant les individus LGBTQ+ sur les réseaux sociaux.

Une nouvelle méthode améliore l'efficacité de l'appariement entre freelances et projets à travers les langues.

Explorer l'auto-similarité dans les réseaux au fil du temps révèle des infos sur des systèmes complexes.

Des chercheurs développent de nouvelles stratégies pour distinguer les animaux individuels grâce à leurs sons uniques.

Une nouvelle méthode simplifie la détection des sirènes pour améliorer la sécurité des véhicules.

Une nouvelle approche combine la détection d'événements sonores et la diarisation des locuteurs pour une meilleure compréhension audio.

Une nouvelle approche améliore la reconnaissance vocale en se concentrant sur des détails spécifiques des locuteurs.

Une étude qui révèle comment les modèles d'apprentissage profond reconnaissent les émotions dans la voix.

Un outil facile à utiliser pour peaufiner des modèles de parole sans code compliqué.

De nouvelles méthodes améliorent l'isolation sonore des environnements bruyants sans données étiquetées.

Une nouvelle approche s'attaque à la variation de canal dans les systèmes de reconnaissance vocale.

Une méthode pour apprendre dans des conditions difficiles avec des données bruyantes.

De nouvelles méthodes améliorent l'efficacité du stockage des données grâce à des techniques de compression efficaces.

Une étude sur la performance de différentes techniques de quantification des données pour une recherche efficace.

Une méthode pour optimiser l'attribution des tags pour les pubs sur panneaux en fonction des besoins du public.

Combiner des algos et du machine learning rend la gestion des flux de données plus efficace.

Découvre comment la vie privée différentielle améliore l'analyse de données tout en protégeant les infos perso.

Apprends comment l'étiquetage d'adjacence optimise le stockage et l'analyse des données graphiques.

Les structures de données oblitérées protègent les infos sensibles en cachant les modèles d'accès.

Un aperçu détaillé des performances de la mémoire CXL et des techniques d'optimisation.

Un aperçu des méthodes de planification FIFO et Round Robin dans les systèmes informatiques.

GPUVM améliore la gestion de la mémoire GPU pour un traitement des données plus rapide.

Une API unifiée simplifie la communication avec les appareils NVMe pour les développeurs.

L'EDM transforme la désagrégation de la mémoire, permettant un accès rapide aux données et une meilleure efficacité.

HotMem accélère la récupération de mémoire dans les configurations serverless pour une meilleure performance.