Couvre la programmation assistée par solveur, intégrant les résolveurs SMT pour la vérification, la synthèse et le débogage des programmes, ainsi que les défis dans la construction d'outils assistés par solveur.
Couvre l'étude mathématique des comportements de programme, l'analyse, les langages spécifiques à un domaine et les outils puissants de conception de langage.
Couvre la récupération d'informations probabilistes, la pertinence de la modélisation en tant que probabilité, l'expansion des requêtes et la génération automatique de thésaurus.
Explore les modèles de préformation comme BERT, T5 et GPT, en discutant de leurs objectifs de formation et de leurs applications dans le traitement des langues naturelles.
Couvre la modélisation des données dans les SIG et l'ingénierie des logiciels, y compris les modèles de relations entités-entités, les associations et les outils de modélisation.
Couvre la récupération d'informations probabilistes, y compris le modèle de vraisemblance des requêtes, la modélisation du langage et les techniques de lissage pour les termes non récurrents.
Couvre la recherche probabiliste de l'information, les modèles de probabilité d'interrogation, la modélisation du langage et les algorithmes de rétroaction de pertinence.
Couvre les modèles probabilistes d'extraction, les mesures d'évaluation, la probabilité de la requête, la rétroaction sur la pertinence de l'utilisateur et l'expansion de la requête.
Couvre le 'V-Model' de l'ingénierie des systèmes, en mettant l'accent sur les bonnes exigences, l'architecture du système, la génération de concepts et la sélection de concepts.
