Je suppose que j'ai lu trop de documents ambitieux du CdRR . Le problème est que ces articles ne sont pas examinés par des pairs, mais semblent souvent intéressants et passent des contrôles de plausibilité de base. Ou peut-être pas, et j'ai juste besoin d'améliorer mes contrôles de plausibilité....
Il existe de nombreuses applications de l'analyse réelle en informatique théorique, couvrant les tests de propriété, la complexité de la communication, l'apprentissage PAC et de nombreux autres domaines de recherche. Cependant, je ne peux penser à aucun résultat dans TCS qui repose sur une analyse...
D'après ce que je comprends (ce qui est très peu, corrigez-moi donc là où je me trompe!), La théorie des langages de programmation s'intéresse souvent aux preuves "intuitionnistes". Dans ma propre interprétation, l'approche nous oblige à prendre au sérieux les conséquences du calcul sur la logique...
Dans l'état actuel des choses, cette question ne convient pas à notre format de questions / réponses. Nous nous attendons à ce que les réponses soient étayées par des faits, des références ou une expertise, mais cette question suscitera probablement un débat, des arguments, des sondages ou une...
Regardons l'avenir dans une trentaine d'années. Soyons optimistes et supposons que les domaines liés à l'apprentissage automatique continuent de se développer aussi rapidement que ce que nous avons vu au cours des 10 dernières années. Ce serait formidable, mais alors quel serait le rôle de...
Je me demandais quels outils les gens de ce domaine (informatique théorique) utilisent pour créer des présentations. Puisqu'une grande partie de l'informatique ne consiste pas seulement à rédiger des articles mais aussi à faire des présentations, j'ai pensé que ce serait une question souple...
Je reçois récemment mes articles rejetés des revues (c.-à-d., TALG) sur la simple base de ne pas avoir une différence significative entre la version du journal et des actes (c.-à-d., SODA). La principale raison pour laquelle je soumets à une revue est son processus d'examen approfondi. En dehors de...
J'ai du mal à enseigner le concept de fonctions calculables. J'ai essayé de développer l'idée de pourquoi des chercheurs comme Hilbert / Ackermann / Godel / Turing / Church / ... ont inventé la notion de «calculabilité». Les étudiants ont immédiatement demandé: "que signifie la calculabilité?" et...
Dans l'article "LA COMPLEXITÉ DES PROBLÈMES DE SATISFACABILITÉ" de Thomas J. Schaefer, l'auteur a mentionné que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the...
Il s'agit de l'efficacité avec laquelle nous pouvons exprimer un algorithme à portée de main. J'en ai besoin pour mon enseignement de premier cycle. Je comprends qu'il n'y a pas de moyen standard d'écrire un pseudo-code. Différents auteurs suivent différentes conventions. Il serait utile que les...
Lors de la compilation des résultats, il est souvent souhaitable d'avoir des diagrammes d'aspect professionnel, plutôt que des diagrammes rassemblés dans MS Paint. Quelle est la norme pour dessiner des structures de
J'enseignerai un cours de premier cycle standard sur les langues et les automates au semestre prochain, et je préférerais utiliser un texte légitime gratuit ou à faible coût. Aucune suggestion? J'adore le texte Sipser mais la dernière édition coûte 196 $, ce qui est difficile à dire avec un visage...
Je suis un étudiant de premier cycle et j'ai récemment accepté le fait que je n'ai peut-être pas l'intellect pour faire des recherches en informatique théorique, ou être en mesure d'être admis et de terminer un programme de doctorat. Cependant, je voudrais quand même m'impliquer dans l'informatique...
J'écris des articles en informatique théorique étant parfois un auteur unique non anonyme. Plus tôt, j'ai utilisé la première personne du pluriel dans ces articles, par exemple: Nous montrerons que les classes de complexité X et Y coïncident. Je ne suis ni natif ni anglophone ni très bon anglais....
La plupart des articles sont maintenant rédigés en collaboration, et les collaborateurs sont souvent situés dans des endroits différents. J'ai toujours utilisé des systèmes de contrôle de version pour mes documents et mon code, et j'ai également trouvé le contrôle de version critique pour les...
J'ai deux questions historiques: Qui a décrit en premier le calcul non déterministe? Je sais que Cook a décrit des problèmes NP-complets et qu'Edmonds a proposé que les algorithmes P soient des algorithmes "efficaces" ou "bons". J'ai cherché dans cet article Wikipedia et j'ai survolé "Sur la...
Cette question est similaire à une question plus générale pour savoir quel est le bon modèle théorique d'un ordinateur pour concevoir des algorithmes et des structures de données. Ici, je pose des questions spécifiquement sur les ordinateurs haute performance actuels (comme ceux répertoriés dans le...
Cette récente question sur la théorie des jeux m'a fait réfléchir (c'est une tangente, bien sûr): est-il possible d'optimiser efficacement une stratégie personnelle pour choisir des questions de recherche sur lesquelles travailler en utilisant la théorie des jeux? Afin d'avancer vers une...
J'ai une éducation mathématique de premier cycle raisonnable, mais je n'ai jamais été à 100% à l'aise avec l'algèbre abstraite (les mathématiques des groupes, des anneaux, des champs, etc.). Je pense que c'était en partie parce que j'avais besoin de voir des applications et toutes celles que je...
Quelles sont les meilleures ressources pour trouver des offres d'emploi pour des postes de professeurs en théorie CS? Existe-t-il un site Web ou une liste de diffusion en particulier assez complet? J'ai actuellement l'impression qu'il faut utiliser une variété de ressources pour obtenir une liste...