FREE SHIPPING. 24/7 CUSTOMER SERVICE. ALL THRONES SHIP WITHIN 7 DAYS.

Dennis Shasha's Research Summary (French)

Résumé de recherche de Dennis Shasha


 

Buts

Je travaille sur plusieurs projets différents. La plupart ont trait à des données volumineuses et à la mise en correspondance de modèles ou à l'apprentissage automatique. Les domaines d’intérêt incluent la biologie computationnelle (principalement sur les plantes) et la biomédecine (analyse de données, plan expérimental), les séries chronologiques (algorithmes rapides pour des problèmes fondamentaux tels que la détection de corrélation et de salves, ainsi que des applications telles que la prévision et la correspondance de modèles dans des arbres et des graphiques étiquetés Depuis 2013, je m'intéresse aux problèmes sans fil millimétriques sous les auspices de NYU WIRELESS et en étroite collaboration avec Sundeep Rangan, Aditya Dhananjay et Marco Mezzavilla, notamment des projets portant sur des radios numériques à haute performance, des robots pour trouver le meilleur placement des stations de base et autres.

En plus du travail d’apprentissage automatique appliqué, j’ai travaillé récemment sur le problème de la conception d’un méta-algorithme qui permet de refuser les prédictions d’un algorithme d’apprentissage automatique sous-jacent s’il détermine que les prédictions entraîneront un taux d’erreur supérieur à celui d’un utilisateur. lié spécifié. Notre infrastructure SafePredict peut atteindre de manière asymptotique un taux de correction plus élevé pour tout algorithme d'apprentissage automatique basé sur les prévisions non refusées. C'est le travail de thèse d'Anil Kocak que j'ai co-conseillé avec Elza Erkip. David Ramirez est également un collaborateur dans ce travail.

Récemment, avec Thomas Wies et Siddharth Krishna, j’ai travaillé sur la vérification formelle des algorithmes de structure de recherche simultanée à l’aide de la logique de séparation et d’un cadre que j’ai développé à l’âge de la pierre. Cette approche promet de vérifier de nombreux algorithmes concurrents qui sont maintenant vérifiés à la main et de rechercher des bogues dans d’autres. Sur le même sujet, je travaille avec Stratos Idreos et Michael Kester sur un cadre permettant de choisir des algorithmes concurrents pour les structures de données à la volée en fonction des modèles d’accès frappant divers nœuds.

Chris Collins et Richard Kayne de NYU Linguistics, en compagnie de Michael Taylor, étudiant au doctorat en linguistique, ont travaillé avec l'équipe informatique composée de Sangeeta Vishwanath, d'Hiral Rajani, de Jillian Kozyra et de moi-même pour créer un système appelé Structures syntaxiques des langues du monde (SSWL). . L'idée est de permettre la comparaison de la syntaxe de centaines voire de milliers de langues et permet déjà de répondre à des questions d'une ampleur jamais atteinte auparavant en linguistique. Hilda Koopman a dirigé et élargi considérablement l’effort linguistique au cours des dernières années, portant le nombre de linguistes participants à plusieurs centaines. Marco Liberati, Hannan Butt, Ross Affenberger et Alex Lobascio ont travaillé sur l’implémentation, donnant ainsi à Terraling une version plus souple du logiciel.

D'autres projets incluent (i) des requêtes à plusieurs échelles en astronomie (avec Fabio Piano), en particulier pour détecter les lentilles gravitationnelles, (ii) des approches d'apprentissage par renforcement pour la gestion des catastrophes, (iii) des chaînes de blocs écoénergétiques et sécurisées, et (iv) des projets amusants ayant à faire avec de bons régimes et une chorégraphie de tango.

Un modèle général? J'aime les énigmes. Une deuxième tendance générale est que je programme beaucoup dans un langage rapide et extrêmement exquis appelé K et ses langues successives comme q .Troisièmement, je travaille avec d’excellentes personnes - étudiants de premier cycle, étudiants à la maîtrise, doctorants, post-doctorants, autres professeurs et non universitaires.

Si vous avez du talent, de l'énergie et de l'initiative et si vous aimez ce que vous avez vu ici, alors laissez-moi un mot. Je pourrais avoir un projet pour vous. Ma philosophie est d'essayer de trouver quelque chose qui soit proche de votre coeur et proche du mien. Tous les projets prennent du travail. Vous devez croire au but et prendre plaisir aux moyens d'y parvenir.

Regardez l’interview de Marianne Winslett dans laquelle je tente d’expliquer ma façon de travailler.

 

 


 

Travail plus ancien

Calcul biologique

J'ai travaillé sur plusieurs projets au cours des dernières années, notamment avec les laboratoires de biologie végétale de Gloria Coruzzi, Ken Birnbaum, Rich Bonneau, Philip Benfey et Rodrigo Gutierrez.

  • Logiciel contribuant à la visualisation des intersections et des unions de collections d'expériences multiples, de génomes multiples ou même de plusieurs joueurs de baseball. Sungear a été appelé un diagramme de Venn sur les stéroïdes. Il devrait être utile aux spécialistes des sciences sociales, aux chercheurs sur le cancer et aux passionnés de sport - quiconque voudrait tirer des informations intéressantes de plusieurs longues listes d'éléments (gènes, protéines, personnes, joueurs). En plus de supporter l'intersection des ensembles et les unions sur les éléments, Sungear les relie à des catégories fonctionnelles. C'est un travail conjoint avec Chris Poultney, Rodrigo Gutierrez, Manpreet Katari, Miriam Gifford, Brad Paley et Gloria Coruzzi. Chris a conçu le logiciel tel quel.
  • Logiciel de conception combinatoire permettant de spécifier la conception d'expériences sur plusieurs variables d'entrée, la plupart de ces variables étant considérées comme sans importance. L'objectif est d'explorer un vaste espace de recherche avec peu d'expériences tout en garantissant certaines propriétés. Travail commun avec Gloria Coruzzi, Peter Palenchar, Rodrigo Gutierrez, Andreï Kouranov, Laurence Lejay et Michael Chou. (Un article suivant avec Charles Colbourne m'a donné un numéro Erdos de 2.)
  • Logiciel d'analyse permettant de trouver des circuits analogiques à partir des résultats d'expériences. C'est également un travail conjoint avec le laboratoire Coruzzi et mes excellents étudiants, Jacopo Cirrone et Anil Kocak (qui travaille à Poly et travaille avec Elza Erkip). Jesse Lingeman et Piotr Mirowski ont déjà participé à cette formation.
  • L'apprentissage automatique vise à déduire la fonction des gènes, la redondance des gènes et les réseaux de régulation. C'est un travail conjoint avec Gloria Coruzzi, Ken Birnbaum, Huangwen Chen, Aris Tsirigos, Lee Parnell, ainsi que l'aide de Mehryar Mohri et Corrina Cortez.
  • Travailler pour aider les premières étapes de l'accostage des protéines. Nous appelons cette datation rapide de protéines. C'est un travail conjoint avec Noah Youngs et le laboratoire Bonneau.
  • Logiciel pour trouver la fonctionnalité des gènes basée sur les traits des espèces. Cela a permis de découvrir des gènes de flagelles, par exemple, mais je les ai également appliqués à des plantes. S'il vous plaît voir une description ici. Travail commun avec Mitchell Levesque, Wook Kim, Michael G. Surette et Philip Benfey.
  • Logiciel pour essayer de déduire les sites de liaison des facteurs de transcription, ainsi que la causalité et la répression entre les facteurs de transcription. Nous avons commencé avec la levure, mais le logiciel est assez général. Il utilise une combinaison d'analyse de modèle et d'heuristique basée sur des statistiques. Travail commun avec Philip Benfey et Ken Birnbaum et Aris Tsirigos. Ken Birnbaum a dirigé un projet concernant le tri et l'analyse des cellules pour Arabidopsis, publié dans Science . Ken, Sunayan Bandyopadhyay, Yuan-Chien Yang et moi-même avons également lancé un projet visant à prédire quels gènes risquent d'être redondants dans une collection.
  • Algorithmes de reconstruction phylogénétique basés sur des graphes (ou réseaux) au lieu d’arbres. Notre algorithme prend en entrée les meilleurs arbres phylogénétiques pour un ensemble de gènes et forme un graphe parcimonieux. Travail commun principalement avec Ken Birnbaum, Matt Olim et Chien-I Liao, mais avec des projets estivaux utiles de Chandni Rajan Valiathan et David Almond.

La reconnaissance de formes

  • Logiciel et algorithmes permettant de trouver de manière extrêmement efficace les flux corrélés les plus élevés parmi des milliers de flux. C’est un travail conjoint avec Yunyue Zhu, Xiaojian Zhao et Zhihua Wang, lauréats de nombreux prix . Nous avons eu un article dans VLDB 2002 décrivant les algorithmes. Les travaux ultérieurs ont impliqué Richard Cole et Tyler Neylon. Vous trouverez les thèses de Zhihua et de Xiaojian sur le site Web des thèses du département CS . Les travaux sur les séries chronologiques "non coopératives" (séries chronologiques dans lesquelles la puissance de la série chronologique est répartie sur tous les coefficients de Fourier) qui utilisent des projections aléatoires sont discutés ici. Tyler Neylon a étendu le travail de corrélation par paires à la recherche de dépendances linéaires approximatives parmi plusieurs séries chronologiques, comme vous pouvez le constater dans sa thèse.

    Des travaux supplémentaires dans ce sens nous permettent de faire des requêtes en fredonnant Nous avons eu un article dans SIGMOD 2003 décrivant les algorithmes, bien que d’autres aient poursuivi ce travail. Les étudiants qui ont travaillé sur une requête en fredonnant sont: Yunyue Zhu, Zhihua Wang, Steve Toub, Michael Schidlowsky, Kevin Cox et Megan McNulty.

    La plupart des algorithmes de base sont résumés dans le livre Découverte haute performance en séries chronologiques: techniques et études de cas publiées par Springer Verlag (de Yunyue Zhu et moi).Il y a quelques errata dans le livre.

  • Logiciels et algorithmes permettant de rechercher des rafales dans les données de séries chronologiques. Nous avons un article dans KDD 2003 décrivant l'algorithme. C'est un travail conjoint avec Zhihua Wang, Xiaojian Zhao et Yunyue Zhu. Xin Zhang a écrit une très belle thèse pour améliorer cela davantage.
  • Logiciel permettant de faire des recherches dans les arbres, les graphiques et les structures aussi rapidement que la recherche par mot-clé. Un article décrivant ce sujet a été publié dans ACM Pods 2002 en tant que didacticiel invité au format PDF. Ceci utilise une combinaison de hachage géométrique, de techniques combinatoires à partir d'appariements d'arbres approximatifs et de généralisations d'arbres de suffixes. Le travail a été réalisé avec mes chers amis de Catane: Rosalba Giugno, Alfredo Ferro, Alfredo Pulvirenti et divers étudiants remarquables qui sont les auteurs principaux des articles. Pour télécharger le logiciel de la version actuelle du logiciel de recherche de graphes, veuillez vous reporter à la famille de graphgrep . Nous avons déployé un module similaire destiné à être utilisé dans le logiciel cytoscape, appelé Pour les grappes graphiques (avec Diego Reforgiato Recupero), veuillez consulter GraphClust . Si vous avez besoin de comparer des calendriers ou des commandes partielles, veuillez consulter SchedMatch . Si vous avez besoin de comparer les arbres pour les arbres commandés (où l'ordre des frères et soeurs est important), veuillez consulter treegrep .Si vous avez besoin d'effectuer une recherche parmi des arbres non ordonnés (avec des applications au format XML, entre autres), veuillez consulter l' outil de recherche d'arbres non ordonnés . Si vous souhaitez comparer des arbres non ordonnés, veuillez consulter notre logiciel de comparaison non ordonnée basé sur la distance entre cousin et distance. Vous trouverez la présentation de notre PODS 2002 ici .

    Une application importante de ce travail a été d'effectuer des recherches structurelles dans des bases de données phylogénétiques. En novembre 2003, environ 500 utilisateurs dans le monde avaient accédé aux outils plus de 7 000 fois. Les outils ont été intégrés au travail commun avec Jason Wang, Kaizhong Zhang, Rosalba Giugno, Diego Reforgiato Recupero et Alfredo Ferro. Voici la très belle thèse de Rosalba Giugno.

    De plus, nous avons écrit plusieurs articles: 
    1. Une revue des algorithmes d'appariement d'arbres approximatifs par (la version finale est dans le livre Pattern Matching in Strings, Trees, and Arrays de Apostolico et Galil, publiée par Oxford University Press) dans l'ordre inverse, juste pour le plaisir . 
    2. Correspondance approximative des graphes pour les graphes acycliques postscript . 
    3. Découverte de modèles dans les séquences protéiques postscript .

  • Avec le groupe Alfredo Ferro (comprenant Rosalba Giugno pour GraphGrep et Domenico Cantone, Alfredo Pulvirenti, Tarcisio Maugeri et Giuseppe Piqola pour le volet informatique du clustering), nous avons développé un ensemble d’outils permettant de rechercher des alignements multiples améliorés. sur le paquet Clustal ainsi que des algorithmes de clustering innovants.
  • Notre objectif est de permettre la découverte de modèles (c’est-à-dire d’exploration de données) dans des chaînes, des arbres et des graphiques à partir d’une métrique de modèle. En cours de route, nous avons élaboré ou emprunté des algorithmes pour faire correspondre un modèle à des données et trouver une distance entre celui-ci et les données. Nous excellons dans les arbres et dans les graphiques.Nous avons des logiciels disponibles par FTP anonyme et certains logiciels expérimentaux sont disponibles chez moi. Collaborateurs: Kaizhong Zhang (Université de Western Ontario), Jason Wang (Institut de technologie du NJ) et Bruce Shapiro (Institut national du cancer).

    Nous avons publié un livre sur ce sujet: Pattern Discovery dans les données biomoléculaires: outils, techniques et applications, Jason Wang, Bruce Shapiro et Dennis Shasha (éd.) Oxford University Press, 1999.

    En partie sur la force de ce livre, je suis devenu l'éditeur d'une série de livres en génomique et en bioinformatique . Le but de la série est de publier des textes de deuxième cycle destinés aux chercheurs travaillant dans le domaine. Nous sommes honorés de disposer d’un conseil consultatif exceptionnel: Michael Ashburner, Amos Bairoch, David Botstein, Charles Cantor, Lee Hood, Minoru Kanehisa, Raju Kucherlapati et Craig Venter.

    Plus récemment, nous avons publié un deuxième livre sur l’extraction de données Data Mining in Bioinformatics par JTL Wang, MJ Zaki, HTT Toivonen et D. Shasha. publié par Springer-Verlag en 2005.

Systèmes de fichiers inviolables

Avec David Mazieres, j'ai travaillé sur un système de fichiers réseau prenant en charge le scénario suivant (parmi d'autres): un groupe de personnes travaille ensemble de manière distribuée, mais ne fait confiance ni aux autres ni à leur administrateur système. Par exemple, ils peuvent sous-traiter leur administration système à une organisation à laquelle ils ne font pas nécessairement confiance.Historiquement, cette organisation pouvait apporter des modifications subtiles à leurs données, lire leurs données, etc. Le système que nous avons conçu permet de détecter rapidement les modifications d'altération. (Le secret peut être obtenu avec des techniques cryptographiques simples.) Notre seule hypothèse est que chaque client possède une clé de signature secrète. S'il vous plaît voir notre papier PODC ici . OSDI présente des résultats de performance prometteurs dus aux efforts de David, Jinyuan Li et Maxwell Krohn . Avec Radu Sion et Peter Worth de Stony Brook, puis avec Arthur Meacham puis à l'Université de New York, nous avons travaillé sur une sous-traitance de base de données sécurisée. Supposons qu'un groupe de clients se faisant confiance souhaite utiliser le logiciel fourni par un donneur d'ordre. La garantie est que le donneur d'ordre ne sera pas en mesure de comprendre les données du client (car elles sont cryptées lorsque le donneur l'aperçoit). Il ne saura pas non plus quelles données le client accède et les clients bénéficieront de toutes les garanties transactionnelles.

AQuery: un système de base de données pour interroger les données commandées

Une requête dépend de l'ordre est une requête dont le résultat (interprété comme un ensemble multiple) change si l'ordre des enregistrements d'entrée est modifié. Dans une base de données de cotations boursières, par exemple, l'extraction de toutes les cotations concernant un stock donné pour un jour donné ne dépend pas de l'ordre, car la collection de cotations ne dépend pas de l'ordre. En revanche, la recherche de la moyenne mobile à cinq prix dans une table de transaction donne un résultat qui dépend de l'ordre de la table. Les langages de requête basés sur le modèle de données relationnel peuvent gérer des requêtes dépendantes de l'ordre uniquement via des add-ons. SQL: 1999, par exemple, permet l'utilisation d'un mécanisme de tri des données appelé "fenêtre" dans des parties limitées d'une requête. En conséquence, les requêtes dépendantes de l'ordre deviennent difficiles à écrire dans ces langages et les techniques d'optimisation de ces fonctions, appliquées en tant que phases avant ou après énumération, sont généralement rudimentaires. Le but de notre travail est de montrer que lorsque l'ordre est une propriété du modèle de données sous-jacent et de l'algèbre, l'écriture de requêtes dépendantes de l'ordre dans un langage peut être naturelle, tout comme leur optimisation. Nous introduisons AQuery, un langage de requête de type SQL, et algebra t prend en charge de bout en bout les commandes. Nous présentons également un cadre d’optimisation des catégories de requêtes dépendantes de l’ordre qu’il exprime. Le framework est capable de tirer parti du grand nombre de transformations de requêtes sur les systèmes relationnels tout en incorporant les nouvelles décrites ici. Nous montrons par expérience que le système résultant est beaucoup plus rapide que les systèmes actuels SQL: 1999 sur de nombreux systèmes dépendant d’ordre naturel. Vous pouvez consulter notre document ici. Vous pouvez voir une présentation PowerPoint ici. Travail en commun avec Alberto Lerner.

AJAX: un système de nettoyage de données

  • Ajax est un framework pour le nettoyage des données. Il comprend une implémentation de la comparaison, de la mise en cluster et du suivi de schéma pour tous les aspects du nettoyage des données.C'est également un cadre pour les ajouts futurs au nettoyage des données. Travail en collaboration avec Helena Galhardas, Dana Florescu et Eric Simon d’Inria.

Le Subscribe: un système de publication / abonnement

  • Nous (nous travaillons conjointement avec Françoise Fabret et François Llirbat, et Joao Pereira à l'INRIA) avons mis en place un système de publication / abonnement pour des performances extrêmement élevées et des fonctionnalités distribuées.
  • Nos abonnements sont des conjonctions de la forme (attribut; valeur; relop) par exemple 
    (film; histoire de jouet II; =), (prix; <; 10 $) 
    Nos événements sont aussi des conjonctions mais de forme (attribut; valeur) et implicitement d'égalité, par exemple 
    (film; histoire de jouets II), (ville; paris) 
  • Nos performances sont les suivantes: Pour 400 000 abonnements comportant 5 attributs, dont l’inégalité et 4, l’égalité et les événements comportant 5 attributs, nous pouvons traiter les événements à 5 millisecondes par événement sur une machine sous Linux SO, un processeur i686 à 500 MHz avec 1G. de RAM.

Programmation parallèle tolérante aux pannes

  • Notre projet Persistent Linda étend le système Linda développé principalement par Dave Gelernter et Nick Carriero à Yale. Nous utilisons une forme de transaction légèrement affaiblie, associée à des points de contrôle, pour prendre en charge la tolérance aux pannes (publiée dans Proc du 13ème Symp sur les systèmes distribués à tolérance de pannes). Vous pouvez obtenir une copie de PLinda sur notre site Web . Collaborateurs: Brian Anderson, Karp Jeong, Suren Talla, Peter Wyckoff, Bin Li, tous étudiants ou anciens étudiants de NYU. En outre, Ekkart Kindler a mis au point une méthode de preuve formelle pour la vérification de calculs parallèles de longue durée.

Base de données sur le travail interne

  • Algorithmes de pagination de mémoire tampon qui surpassent LRU dans plusieurs domaines d’application. Collaborateurs: Ted Johnson (U. of Florida), collaborateurs industriels notamment dans des sociétés de bases de données (apparus dans VLDB 94), récemment déployés dans un important moteur de recherche postscript . En passant, une partie de la thèse de Johnson a montré qu'il est une bonne idée d'être paresseux lorsque vous concevez des arbres B: tant qu'il y a plus d'insertions que de suppressions, libre-à-vide est une meilleure stratégie que de fusionner -moitié (paru dans Journal of Computer Science and Systems, août 1993) post-scriptum .

    Ted et moi avons effectué un autre travail sur une structure de données pour l’aide à la décision appelée «Forêts de cube hiérarchiquement divisées». post-scriptum .

Réglage de la base de données et Wall Street

  • Le réglage de la base de données consiste à rendre votre système de base de données plus rapide. Bien que chaque fournisseur vous raconte une histoire différente sur le sujet, il s'avère que les principes sous-jacents sont les mêmes. (En tant que consultant, j'ai appliqué ces principes aux entreprises des secteurs des télécommunications, de la finance, des agences de voyage en ligne et des jeux en ligne.) Si des notes sur le sujet vous intéressent, n'hésitez pas à télécharger Mon livre sur Le sujet, co-écrit avec Philippe Bonnet, s'intitule Database Tuning: principes, expériences et techniques de dépannagepubliés par Morgan-Kaufmann en 2002. Bien que les chiffres publiés dans ce livre ne s'appliquent plus, la plupart des principes de réglage le sont toujours. Wei Cao et moi avons trouvé des moyens de détecter les modèles de conception "en retard" de programmation d'application susceptibles de ralentir les performances.

    Avec Arthur Whitney, Steve Apter et le reste de la communauté K, j'ai travaillé à la simplification du traitement des transactions dans une grande mémoire principale. La technique utilise un langage de traitement de vecteurs interprété très rapide. Il évite le contrôle de la simultanéité mais autorise la concurrence. Il est adapté aux applications financières. version postscript et version pdf .

    Dans Sigmod 1997, j'ai présenté quelques leçons tirées de mon expérience à Wall Street. Les leçons portent sur la configuration des systèmes distribués globaux, le réglage et les problèmes de langue.Leçons de Wall Street (post-scriptum) .

Planification en temps réel

  • Nous avons développé des algorithmes pour la planification de tâches temps réel sporadiques surchargées dans un format postscript mono (avec Siam J. comp) et multiprocesseur (publié dans Theoretical Computer Science, juillet 1994).

    Nous avons trouvé des algorithmes et des limites pour la planification de tâches périodiques arrivant sporadiquement. Autrement dit, les instances de chaque tâche arrivent à des périodes régulières, mais la tâche peut arriver à tout moment. Notre problème avec ce problème est que nous permettons à certaines instances de telles tâches d’être ignorées. Nous examinons la possibilité de planifier dans ce contexte. pdf .

    Collaborateur: Gilad Koren

Thinksheet et StratPal

  • Un outil permettant d'adapter le flux d'informations aux lecteurs de documents complexes (ou ennuyeux) tels que les lois et un outil de résolution de problèmes généralisant des feuilles de calcul. L'outil intègre des feuilles de calcul, des règles, des bases de données et de l'hypermédia. Collaborateurs: Roman Yangarber, Peter Piatko, Daoi Lin, Minna Cha, Dave Tanzer, Alex Shenker, Mike Leder, Julia Tolpin, Mirella Shannon et Chris Jones, tous étudiants à l'Université de New York.
La thèse de Dave Tanzer porte sur le raisonnement arrière efficace dans le contexte des feuilles de réflexion. Le travail est terminé.

Récemment, nous (Stacey Kuznetsov et moi) avons conçu un nouveau système appelé Stratpal. Stratpal est une feuille de réflexion simplifiée qui peut être utilisée pour modéliser les lois et les stratégies. Ses principales caractéristiques sont qu’avec un document linéaire, il est facile de créer une application StratPal qui peut être améliorée progressivement au fil du temps.

Des repères

K. Jacob de Morgan Stanley et moi-même avons conçu un repère pour les requêtes de séries chronologiques financières, appelé FinTime, que les fournisseurs de base de données et les clients peuvent trouver intéressants. Également au sujet des points de repère, Yunyue Zhu et moi avons conçu un point de repère pour les systèmes de gestion de base de données bitemporal, appelé SpyTime .

Logiciel

Description du logiciel Statstream (corrélation incrémentielle en série chronologique)

Recherche d'arbres (recherche d'un petit arbre dans une base de données de grands arbres; l'ordre dans lequel les frères et sœurs ont peu d'importance) description du logiciel

Différence entre les arbres (recherche de la différence entre les arbres, l'ordre dans lequel les frères et sœurs étant importants) description du logiciel

Comparaison de graphes (techniques heuristiques de comparaison de graphes) Description du logiciel

Groupement de graphes (recherche de motifs intéressants dans des graphes) description du logiciel

Description du logiciel SchedMatch (trouver les différences entre les commandes partielles)

Truc amusant

  • J'ai écrit un jeu pour enseigner aux enfants l'arithmétique et l'algèbre élémentaire appelé Superply. Un de mes enfants me bat régulièrement, hélas.

    Chris Poultney est l'auteur principal d'un jeu que j'ai conçu et appelé le jeu Voronoï. Il a été écrit en France car il est apparu dans de nombreuses foires scientifiques.

    Un jeu pour enseigner les statistiques de manière amusante nécessite qu'un joueur trouve les causes d'une pandémie, alors il s'appelle le jeu pandémique.

  • Dr. Ecco, un détective mathématique déchiffre les mystères en résolvant des énigmes. Certaines sont combinatoires, par exemple quel est le plus petit nombre de personnes pouvant participer à une fête dans laquelle tout le monde a serré la main de trois autres personnes, à l'exception d'une personne qui a seulement serré la main d'une autre personne? D'autres comportent des aspects algorithmiques, notamment les protocoles de connaissance zéro les plus simples connus de (wo) man.

    Les premiers livres sur lui ont été publiés pour la première fois par WH Freeman, (1-) 212-576-9400: 
    Les aventures mystérieuses du docteur Ecco en 1988 (republié par Dover en 1998) et 
    Codes, énigmes et complots en 1992 (aujourd'hui rebaptisé Dr. Ecco: détective mathématique dans l'édition Dover). Voir le livre du professeur Scarlet, un livre d'accompagnement pour enseigner les vraies mathématiques à l'aide de puzzles. 
    Cyberpuzzles du Dr. Ecco: 36 puzzles pour hackers et autres détectives mathématiques publiés par WW Norton en 2002. Ce livre avait la première collection de puzzles du Dr. Dobb's Journal 
    Puzzling Adventures, publié par WW Norton en janvier 2005. Il s’agissait de la première collection de puzzles de ma colonne Scientific American. 
    The Puzzler's Elusion publié par Avalon Press, mars 2006. Une combinaison de puzzles de Scientific American et du Dr. Dobb's Journal. 
    Puzzles for Programmers and Pros publiés par Wiley en mai 2007.

  • Comme suggéré par ces livres, j'ai eu le plaisir d'écrire une colonne de casse-tête mathématique pour le Journal du Dr. Dobb et d'écrire actuellement la colonne de casse-tête mensuelle pour Scientific American (voir sous récréations).
  • Vous pouvez assister à une conférence intitulée Upstart Puzzles que j'ai donnée lors de la réunion d'été de la Société mathématique du Canada à Edmonton en juin 2003.
  • Vous pouvez également entendre des énigmes à la radio dans l'Arkansas.
  • De mémoire: la vie et les découvertes de 15 grands informaticiens est un recueil de biographies de 15 grands informaticiens. Vous pouvez me voir sur une vidéo en mode réel en train de parler du livre.
  • Mon dernier livre, Natural Computing, traite du travail d'informaticiens, de robotistes et d'autres innovateurs sur l'avenir de l'informatique. Voici quelques commentaires.
  • Tous les étudiants russes que j'ai rencontrés m'ont inspiré à collaborer avec la dramaturge Marina Shron dans un livre sur les immigrants russes récents intitulé Red Blues: les voix de la dernière vague d'immigrants russes . Vous pouvez trouver des extraits du livre ici .
  • Voici une liste des éditeurs qui ont traduit mes livres de casse-tête dans plusieurs pays:
    • Chine, République populaire: Presse scientifique et technologique du Hunan.
    • République tchèque: Mlada
    • France: Odile Jacob
    • Allemagne: MVG Verlag
    • Hongrie: Typotex
    • Japon: Nikkei Scientific
    • Corée: Kyungmoon
    • Pologne: Spolddzielnia Wydawniczo-Handlowa Ksiazka i Wiedza
    • Portugal: Gradiva
    • Espagne: travail et Gredisa
    • Slovénie: Drzavna Zalozba Slovenije, zbirka z logiko
    • Taiwan, République de Chine: The Eurasian Publishing Group et Chiu Chang Math. Livres & Puzzles Co.
    • Turquie: Tubitak
  • Ces éditeurs ont traduit {\ em Database Tuning: principes, expériences et techniques de dépannage} par Philippe Bonnet et moi-même:
    • Chine, République populaire: Maison d'édition d'électronique
    • Corée: KCC (Brain Korea Publishing Co.)
    • Russie: Kudits Obraz
  • Ces éditeurs ont traduit {Out of the Minds: La vie et les découvertes de 15 grands informaticiens} de Cathy Lazere et moi-même:
    • Chine, République populaire: Editeurs de l'Université de Hebei
    • Japon: publications commerciales Nikkei
    • Corée: Sejong
    • Taiwan: Yuan-Liou