Dennis Shasha Teadus-Kokkuvõte

Link: https://cs.nyu.edu/cs/faculty/shasha/papers/papers.html

Eesmärke

I töö kohta üsna palju erinevaid projekte. Kõige pistmist suurte andmete ja mustrite või machine learning. Huvipakkuvad valdkonnad hõlmavad computational bioloogia ja biomeditsiini (andmete analüüs, visualiseerimine, eksperimentaalne disain), aeg-seeria (kiire algoritmid põhimõttelisi probleeme nagu korrelatsioon ja plahvatuse avastamise, samuti taotluste, nagu päring paaris), ja mustrite puude ja graafikud. Algab 2013. aastal, ma olen mõelnud probleeme ja võimalusi millimeeter traadita egiidi allNYU Traadita. See on lisanud projekte, millel on pistmist muutes magnetic resonance pildi rekonstrueerimine kiiremini (osamaksud õpilased Zhuoheng Yang, Henry de Kergorlay, Felix Tujukas, Julien Rabinow, Pei Wang) ja põhilisi teemasid, nagu kanal modelleerimine (George Wang) ja andmebaaside paljundamiseks mõõdud (Juan Felipe Beltran ja George Wang). Üldine muster? Mulle meeldib mõistatusi. Teine üldine muster on see, et ma programm palju on kiire, väga exressive keel nimega K ja tema järeltulija languaes nagu q. kolmas muster on see, et ma koos töötan, suurepärased inimesed — undergraduates, magistriõppe üliõpilased, doktorandid, post-docs, muud profs, ja mitte-teadlased.

, Kui sul on oskus -, energia -, ja algatusvõime ja kui sulle meeldib, mida näed allpool, siis langeb minu rida. Ma võib-olla projekti. Minu filosoofia on, et püüa leida midagi, mis on lähedane teie südame ja lähedased on minu oma. Kõikide projektide tööd. Sa pead uskuma, et eesmärk ja nautida tähendab, et saada seal.

Vaata Marianne Winslett on intervjuu minust , kus ma püüan selgitada, kuidas ma töötan.

Bioloogiliste Computing

Ma olen töötanud mitmeid projekte, mis viimastel aastatel, eelkõige taimede bioloogia laborid (Gloria Coruzzi, Ken Birnbaum, Rikas Bonneau, Philip Benfey, ja Rodrigo Gutierrez.

  • Tarkvara aitab visualiseerimine ristmikud ja ametiühingud kogud mitmeid eksperimente, mitu genoome või isegi mitu baseball mängijad. Sungear on kutsutud Venn diagramm kohta steroidid. See peaks olema kasulik sotsiaalteadlaste vähk teadlaste ja sport fanaatikud — kellegi muret, püüdes saada huvitavat teavet erinevatest pikk nimekiri esemed (geenid, valgud, inimesed, mängijad). Lisaks toetavad set ristmik ja ametiühingutega esemed, Sungear on seotud nende objektide funktsionaalsete kategooriate. See on ühine töö Chris Poultney, Rodrigo Gutierrez, Manpreet Katari, Miriam Gifford, Brad Paley, ja Gloria Coruzzi. Chris tegi tarkvara, mis see on.
  • Combinatorial projekteerimise tarkvara , et määrata disaini eksperimendid üle mitme sisendmuutujatega, kus enamik neid muutujaid peetakse tähtsusetuks. Eesmärk on uurida suure otsing ruumi vähe katseid, tagades samal ajal teatud omadused. Ühise töö Gloria Coruzzi, Peter Palenchar, Rodrigo Gutierrez, Andrei Kouranov, Laurence Lejay, ja Michael Chou. (Follow-raamat Charles Colbourne andis mulle Erdos arv 2.)
  • Analüüsi tarkvara, et leida analog circuits andnud tulemusi eksperimente. See on ka ühise töö Coruzzi lab ja minu suurepärane õpilased Jacopo Cirrone ja Anil Kocak (kes on Polü töötavad Elza Erkip). Eelmine õpilased tegelevad, mis sisaldavad Jesse Lingeman ja Piotr Mirowski.
  • Masin õppe töö järeldada funktsiooni geenid, töölt geenide ja reguleerivad võrgud. See on ühine töö Gloria Coruzzi, Ken Birnbaum, Huangwen Chen, Aris Tsirigos, Lee Parnell, samuti abi Mehryar Mohri ja Corrina Cortez.
  • Teose abi esimesel etapil valgu docking. Me nimetame seda valku speed-dating. See on ühine töö Noa Youngs ja Bonneau lab.
  • Tarkvara leida funktsiooni geenide põhjal liigi tunnused. See on avastanud flagella geenid näiteks, aga ma olen kohaldatakse ka see, et taimed. Palun vaata kirjeldust siin. Ühine töö Mitchell Levesque, Wook Kim, Michael G. Surette, ja Philip Benfey.
  • Tarkvara proovida järeldada siduv alade transkriptsioonifaktoreid, samuti põhjusliku seose ja repressioonid seas transkriptsioonifaktoreid. Meil alanud on pärm, kuid tarkvara on üsna üldine. Ta kasutab mix muster analüüs ja heuristika põhinev statistika. Ühise töö Philip Benfey ja Ken Birnbaum ja Aris Tsirigos. Ken Birnbaum on viinud projekti mures rakkude sortimist ja analüüsi Arabidopsis, mis avaldati Teaduse. Ken, Sunayan Bandyopadhyay, Yuan-Chien Yang, ja ma olen ka alustanud projekti ennustada, millised geenid on tõenäoliselt koondatud kogumikku.
  • Algoritmid phylogenetic rekonstrueerimine põhjal graafikud a.k.a., võrgustikud), selle asemel, et puud. Meie algoritm võtab sisendiks on parim phylogenetic puud mõned komplekt geene ja vormid parsimonious graafik. Ühine töö on peamiselt Ken Birnbaum, Matt Olim, ja Chien-I Liao, kuigi abivalmis suvel projektide Chandni Rajan Valiathan ja David Almond.

Olümpiaad

Chris Collins ja Richard Kayne alates NYU Keeleteadus, koos Lingvistika doktorant Michael Taylor, töötas arvuti teaduse meeskond, mis koosneb Sangeeta Vishwanath, Hiral Rajani, Jillian Kozyra, ja mul luua veebileht, et võimaldada süntaktilist võrdlus maailma keeltes. disain tagab paindlikkuse ja kõrge funktsionaalsuse ja juba lubab küsimused tuleb vastata skaalal kunagi varem võimalik olümpiaad.

Hilda Koopman on led ja oluliselt laiendatud lingvistika jõupingutusi, et viimase paari aasta jooksul ja Marco Liberati on töötanud koos minuga rakendamine (abiga Ross Affenberger ja Alex Lobascio), mille tulemuseks oli Terraling paindlikum tarkvara versiooni.

kujutuvastuseks

  • Tarkvara ja algoritme, et leida kõrgeim korrelatsioonis voolu seas tuhanded ojad väga tõhusalt. , Mis on ühine töö auhinnatud Yunyue Zhu, Xiaojian Zhao ja Zhihua Wang. Meil oli raamatu VLDB 2002, milles kirjeldatakse algoritme. Hiljem töö on seotud Richard Cole ja Tyler Neylon. Võid leida Zhihua ja Xiaojian on teeside põhjal CS osakonna doktoritööd web site . Töö “koostöövalmiduseta” aeg-seeria (aegread, mille võimu ajal seeria on levinud üle kogu Fourier koefitsiendid), mida kasutab juhusliku prognoosid on juttu siin. Tyler Neylon on laiendatud paari-tark korrelatsioon tööd, et leida ligikaudne lineaarne sõltuvused seas mitu aega seeria nagu näete tema doktoritööEdasi heegelda mööda neid ridu võimaldab meil teha päring paaris Meil oli raamatu SIGMOD 2003, milles kirjeldatakse algoritmekuigi teised on jätkanud seda tööd. Õpilased, kes on töötanud päring paaris on: Yunyue Zhu, Zhihua Wang, Steve Toub, Michael Schidlowsky, Kevin Cox, ja Megan McNulty.Paljud põhilised algoritmid on kokku võetud raamatus ” Suur Jõudlus Avastus Aega Seeria: tehnikad ja juhtumiuuringudavaldatud Springer Verlag (Yunyue Zhu ja mind). Seal on paar > trükiviga raamat.
  • Tarkvara ja algoritmid, leia puruneb aastal aegridade andmed. Meil on paber KDD 2003, milles kirjeldatakse algoritm. , Mis on ühine töö Zhihua Wang, Xiaojian Zhao ja Yunyue Zhu. Zhang Xin kirjutas: väga kena töö, et parandada veelgi.
  • Tarkvara teha puu, graafik ja struktuuri otsimine nii kiiresti kui märksõna otsing. Raamat kirjeldab, mis oli avaldatud ACM Kaunad 2002 as kutsutud juhendaja pdf. See kasutab kombineeritud geomeetriline segamist, combinatorial tehnika ligikaudne puu sobitamine, ja generalizations of sufiks puud. Töö on mu kallid sõbrad Catania: Rosalba Giugno, Alfredo Ferro, Alfredo Pulvirenti, ja eri suurepärane üliõpilased, kes on plii autorid paberid. Alla laadida tarkvara, praegune versioon graph search tarkvara, palun vaata graphgrep pere. Meil on kasutusele sarnane moodul sees kasutamiseks cytoscape tarkvara nimega klaster graafikud (Diego Reforgiato Recupero) , palun vaata GraphClust. Kui teil on vaja võrrelda sõiduplaanide või osaline tellimused palun vaata SchedMatch. Kui teil on vaja puu võrdlus tellitud puud (kus vend, et küsimused), palun vaatatreegrep . Kui teil on vaja otsida seas järjestamata puud (rakendused XML muu hulgas), palun vaata järjestamata puu otsija . Kui soovite võrrelda järjestamata puud, palun vaata meie nõbu-vahemaa alusel järjestamata võrdlus tarkvara leiad meie KAUNAD 2002 esitlus siin.Oluline rakendus see töö on täita struktuurifondide otsingud phylogenetic andmebaasides. Kui 2003. aasta novembris, on umbes 500 kasutajat kogu maailmas on kasutanud vahendeid üle 7000 korda. tööriistad on integreeritud Ühine töö koos Jason Wang, Kaizhong Zhang, Rosalba Giugno, Diego Reforgiato Recupero ja Alfredo Ferro. Siin on Rosalba Giugno on väga kena doktoritöö.Lisaks, me oleme kirjutanud mitmeid raamatud:
    1. Ülevaade ligikaudne puu sobitamise algoritmi järgi (viimane versioon on raamat Pattern Matching in Stringid, Puud, ja Massiivid poolt Apostolico ja Galil avaldas Oxford University Press) paber vastupidises järjekorras, lihtsalt lõbus.
    2. Ligikaudne graafik sobitamine jaoks atsüklilised graafid postscript.
    3. Avastame mustrid valgu järjestusi postscript.
  • grupp Alfredo Ferro (sealhulgas Rosalba Giugno jaoks GraphGrep, ja Domenico Cantone, Alfredo Pulvirenti, Tarcisio Maugeri, ja Giuseppe Piqola arvutiõpetuse pool klasterdamine), oleme välja töötanud tööriistade komplekt leida mitu reastamine, et me usume, et parandada Clustal pakett, samuti uuenduslike klasterdamise algoritmid.
  • Meie eesmärk on, et oleks võimalik avastada mustrid (st teha data mining) stringid, puud, ja graafikud antud muster mõõdik. Selle kohta, kuidas me oleme välja töötanud või laenatud algoritme sobitada muster vastu andmeid ja leida vaheline kaugus skeem ja andmed. Meil on tõesti hea puud ja on saada head kohta graafikud. Meil on tarkvara saadaval anonüümse ftp ja teatud eksperimentaalne tarkvara on saadaval mind. Kaastöötajad: Kaizhong Zhang (U Western Ontario), Jason Wang (NJ Institute of Technology) ja Bruce Shapiro (National Cancer Institute).Meil on toimetatud raamat selle teema kohta: Muster Avastus Biomolekulaarse Andmed: Vahendid, Meetodid ja Rakendused Jason Wang, Bruce Shapiro ja Dennis Shasha (Toim.) Oxford University Press, 1999.Osaliselt jõudu, et raamat,, olen saanud toimetaja raamat sarjast Genoomika ja Bioinformaatika . Kavatsuste seeria on avaldada lõpetaja tasemel tekstid töötavad teadlased valdkonnas. Meil on au, et on suurepärane nõuandekogu: Michael Ashburner, Amos Bairoch, David Botstein, Charles Cantor, Lee Varjuk, Minoru Kanehisa, joogafestival merit raju Kucherlapati, ja Craig Venter.

    Viimasel ajal oleme toimetatud teise raamatu sisu, andmete kaevandamine Andmete Kaevandamine Bioinformaatika J. T. L. Wang, M. J. Zaki, H. T. T. Toivonen ja D. Shasha. avaldatud Springer-Verlag 2005. aastal.

Võltsimiskindlates failisüsteem

David Mazieres, ma töötanud network file system), mis toetab järgmisi stsenaarium (teiste hulgas): rühm inimesi koos töötada hajus mood, kuid usaldus ei ole ei üks, teine ega oma süsteemi administraatori poole. Näiteks, nad võivad tellida oma süsteemi haldamise organisatsiooni, et nad ei pruugi usaldada. Ajalooliselt on, et organisatsioon võiks teha peent muutused nende andmete kohta, vaata oma andmeid, ja nii edasi. Süsteemi oleme loonud teeb teeb omavoliliste muudatuste kiiresti avastatavad. (Hoidmise võimalik saavutada lihtsate krüptograafilisi võtteid.) Ainus eeldus me teeme on see, et iga klient on salajane allkiri võti. Palun vaata meie PODC paberi siin . Mõned paljulubavad tulemused tõttu suuri jõupingutusi David, Jinyuan Li, ja Maxwell Krohn ilmuvad OSDI. Koos Radu Mõõt ja Peter Väärt Stony Brook ja siis koos Arthur Meacham siis NYU, me tegime tööd teha võttes provably turvalises andmebaasis allhanke korras. Oletame, et vastastikku usaldav grupp kliendid soovivad kasutada tarkvara esitatud outsourcer. Garantii on, et outsourcer ei suuda mõista kliendi andmeid (sest see on krüpteeritud, kui outsourcer näeb seda), samuti ei outsourcer teada, milliseid andmeid mis tahes klient kasutab ning kliendid saavad nautida täielikku tehingu tagatisi.

AQuery: andmebaasi süsteem päringu tellida andmed

Selleks, sõltub päring on see, kelle tulemus (tõlgendada kui multi-set) muutusi, kui et sisestatud andmed on muutunud. In stock-quotes andmebaasis, näiteks, allalaadimise kõik hinnapakkumised käsitleb teatavat stock antud päeva ei sõltu järjekorras, sest kogumise hinnapakkumisi ei sõltu järjekorras. Seevastu leida viis hinna libisev keskmine kaubandus tabel annab tulemuse, mis sõltub tellimuse tabel. Päringu keeles, mis põhineb relatsiooniline mudel saab hakkama, et sõltuv päringuid ainult läbi add-ons. SQL:1999, näiteks võimaldab kasutada andmeid tellimine mehhanism nimega `aken” piiratud osad päringu. Selle tulemusena, et sõltuv päringud muutuvad keeruliseks, et kirjutada neist keeltest ja optimeerimine tehnikat nende funktsioonide jaoks, kohaldatakse pre – või post-enumerating etappi, on üldiselt töötlemata. Eesmärk on meie töö näitab, et kui selleks on vara aluseks olevad andmed mudel ja algebra, kirjalikult, et sõltuv päringuid keelt võib olla nii füüsiliste kui on nende optimeerimine. Tutvustame AQuery, SQL-nagu query language) ja algebra t-on-the-ground-up toetuse saamiseks. Meil on ka praegu raamistik optimeerimine, et sõltuv päringuid kategooriad ta väljendab. Raames on võimalik ära suur keha päringu muutuste kohta relatsiooniline süsteemid, samas kaasates uusi kirjeldatud siin. Näitame katse, et saadud süsteem on suurusjärgu võrra kiiremini kui praegu SQL:1999 süsteeme paljud looduslikud et-dependen näete, meie siin raamatus. näete power point esitlus siin. Ühine töö koos Alberto Lerner.

AJAX: andmete puhastamise süsteem

  • Ajax on raamistik andmete puhastus. See sisaldab rakendamine võrdlus, klastrite ja skeemi jälgimise kõigi aspektide kohta andmeid puhastus. See on ka raamistiku edasiseks täiendamiseks andmete puhastus. Ühise töö Helena Galhardas, Dana Florescu ja Eric Simon, Inria.

Le Tellida: publish-subscribe süsteem

  • Me (see on ühine töö Francoise Fabret ja Francois Llirbat, ja Joao Pereira kell INRIA) on rakendanud avaldada e-posti süsteemi, väga suure jõudlusega ja jaotatakse funktsioonide kohta.
  • Meie tellimine on sidesõnu vormi (atribuut; väärtus; relop) nt
    (filmi; toy story II; =), (hind; < ; $10)
    Meie üritused on ka sidesõnu aga vormi (atribuut; väärtus) ja kaudselt võrdõiguslikkuse kohta, nt
    (filmi; toy story II), (linn; pariis)
  • Meie tööd on järgmised: 400,000 tellimine, millel on 5-omadused, millest üks on ebavõrdsus ja neli on võrdõiguslikkuse ja ürituste 5 omadust, saame protsessi sündmuste 5 millisekundit ühe sündmuse masin, millel on Linux NII i686 CPU juures 500MHz koos 1G RAM.

tõrketaluvuse Paralleelselt Programmeerimine

  • Meie Püsiv Linda projekt laiendab Linda süsteem välja töötatud peamiselt Dave Gelernter ja Nick Carriero Yale ‘ i. Me kasutame veidi nõrgenenud kujul tehingu koos kontrollpunktid, et toetada fault tolerance (ilmus Proc 13. Symp kohta tõrketaluvuse Hajutatud Süsteemide) postscript. Saad koopia PLinda meie kodulehel. Kaastöötajad: Brian Anderson, Karp Jeong, Suren Talla, Peter Wyckoff, Bin Li, kõik õpilased, või endised õpilased NYU lisaks Ekkart Kindler on tehtud ametlik tõend meetod kontrollimiseks kaua kestnud paralleelselt arvutuste kohta.

Andmebaasi Siseosad Tööd

  • Puhvri piipar algoritme, et võita JRE mitut kohaldamise valdkondades. Kaastöötajad: Ted Johnson (U. Florida), tööstus-kaastöötajad, eelkõige andmebaasi ettevõtted (ilmus VLDB 94) seoses viimaste kasutuselevõtu juures suur otsingumootori firma,postscript. Muide, osa Johnsoni doktoritöö näitas, et see on hea mõte olla laisk kui olete projekteerimine B-puud,: nii kaua, kui seal on rohkem lisab kui kustutab, vaba-at-tühi on parem strateegia kui merge-at-pool (ilmus Teataja Arvuti Teaduse ja Süsteemide, Aug. 1993) postscript.Ted ja ma olen teinud teise töö kohta andmete struktuur otsus toetada nn `Jagatud Hierarhiliselt Cube Metsad”.postscript .

Andmebaasi Häälestamine ja Wall Street

  • Andmebaasi häälestamine on tegevus muuta oma andmebaasi süsteemi kiiremini jooksma. Kuigi iga müüja ütleb sulle, teine lugu sellel teemal, selgub, et aluseks olevad põhimõtted on samad. (Konsultant, ma olen rakendada neid põhimõtteid ettevõtetele, telekommunikatsiooni -, rahandus -, interneti-reisibürood, ning online-mängude mängimine.) Kui olete huvitatud märkused teemal, siis palun laske käia ja alla laadida, Mu raamat teemal, kaasautor koos Philippe Kapott, nimetatakse Andmebaasi Otsing: põhimõtted, eksperimendid ja troublieshooting tehnikat poolt avaldatud Morgan-Kaufmann 2002. aastal. Arvestades, et numbrid on avaldatud, et raamatut ei kehti enam, enamik tuning põhimõtete ikka teha. Wei Cao ja töötasin välja mõned võimalustest, kuidas avastada application programming “kurjategija” disaini mustreid, mis võiks põhjustada aeglase jõudluse.Koos Arthur Whitney, Steve Apter, ja ülejäänud Pr ühenduse, olen töötanud lihtsustamise kohta tehingute töötlemise suur peamise mälu seade. Tehnika kasutab väga kiire, tõlgendada vektor-töötlemise keel. See väldib concurrency kontrolli, kuid võimaldab concurrency. See on kohandatud, et finants-rakendused. postscript versioon ja pdf-versioon .Selles Sigmod 1997, esitasin mõned õppetunnid minu kogemus on Wall Street. Õppetunde on, et ei liistuga ülemaailmse hajutatud süsteemide, tuning, ja keeleküsimused. Õppetunnid Wall Street (postscript) .

Reaalajas Planeerimine

  • Me välja töötatud algoritmid sõiduplaani ülekoormatud juhuslik reaalajas ülesandeid uniprocessor seadistus (Siam J. comp) postscriptja multi-protsessor seade (ilmus Teoreetiline arvutiteadus, juuli 1994) postscript.Me oleme leidnud algoritmid ja piire sõiduplaani hooti saabuvad perioodilisi ülesandeid. See tähendab, et juhtudel, iga ülesande jõuda korrapäraste ajavahemike kuid see ülesanne võib jõuda igal instant. Meie twist see probleem on, et me lubada teatud juhtudel selliste ülesannete tuleb vahele. Me vaatame schedulability selles kontekstis. pdf .Kaastöötaja: Gilad Koren

Thinksheet ja StratPal

  • vahendit kohandada teabe liikumist lugejatele keeruline (või igav) dokumendid, nagu näiteks seadused ja probleemide lahendamise vahend üldistades tabeleid. Vahend ühendab arvutustabeleid, eeskirjad, andmebaasid, ja hypermedia. Kaastöötajad: Roman Yangarber, Peter Piatko, Daoi Lin, Minna Cha, Dave Tanzer, Alex Shenker, Mike Leder, Julia Tolpin, Mirella Shannoni ja Chris Jones, kõik õpilased, NYU.

Dave Tanzer teesiks on tõhus tagasi põhjendus thinksheet kontekstis. Tööd on lõpetatud.

Hiljuti, me (Stacey Kuznetsov ja I) mis on loodud uus süsteem nimega Stratpal. Stratpal on lihtsustatud thinksheet, mida saab kasutada, et mudeli seadused ja strateegiad. Selle põhijooned on see, et antud lineaarse dokument, see on lihtne luua StratPal taotlus, mida saab parandada järk-järgult aja jooksul.

Sihttasemed

K. Jacob Morgan Stanley ja ma olen loodud sihttaseme financial time series päringut, nimega FinTime, kus andmebaasi müüjad ja kliendid võivad leida huvitav. Ka teemal kriteeriumid, Yunyue Zhu ja ma olen loodud sihttaseme bitemporal andmebaasi haldamise süsteemid, nimega SpyTime .

Tarkvara

Statstream (täiendavad korrelatsioon aeg-seeria) tarkvara kirjeldus

Puu otsimine (järeldus väike puu andmebaasi suured puud; kui et ühed õed-vennad, vahet pole) tarkvara kirjeldus

Puu erinevus (järeldus vahe puud, kui tellimuse seas õed-vennad ei asja) tarkvara kirjeldus

Graafik võrdlus (heuristiline meetodid võrreldes graafikud) tarkvara kirjeldus

Graafik klasterdamine (leida huvitavaid motiive ja graafikute kujul) tarkvara kirjeldus

SchedMatch (erinevuste otsimine osaline tellimusi) tarkvara kirjeldus

Fun Stuff

  • ma olen kirjutanud mängu, et õpetada lastele matemaatikat ja elementaarne algebra nimetatakse Superply. Üks mu lapsed lööki mulle seda regulaarselt, paraku.Chris Poultney on peamine autor mäng I projekteeritud nimega Voronoi mäng. See oli kirjutatud umbes Prantsusmaal, sest see on ilmunud paljudes teadus messidel.Mäng õpetab statistika lõbus viis nõuab mängija leida põhjused pandeemia nii, see on, mida nimetatakse Pandeemia Mängu
  • Dr. Ecco, matemaatilise detektiiv praod saladused lahendada mõistatusi. Mõned on combinatoric, nt mis on väikseim arv inimesi, kes võiks olla peol, kus kõik on värise käed kolm inimest, välja arvatud üks inimene, kes on ainult värise käed koos ühe inimesega? Teised kaasata algorithmic küsimusi, sealhulgas lihtsaim null teadmised protokollid teada (wo)man.Esimesed raamatud temast oli esimene avaldatud W. H. Freeman, (1-)212-576-9400:
    Mõistatuslik Adventures of Dr. Ecco 1988. aastal (taasavaldatud poolt Dover (1998) ja
    Koodid, Mõistatused ja Vandenõu 1992. aastal (nüüd retitled Dr. Ecco: matemaatiliste detektiiv Dover edition). Vaata Professor Scarlet on Sülearvuti kaaslane raamat õpetab tõeline matemaatika kaudu mõistatusi.
    Dr. Ecco Cyberpuzzles : 36 Mõistatusi, Häkkerid ja Muud Matemaatilised Detektiivid poolt avaldatud W. W. Norton 2002. See oli esimene kogumik mõistatusi Dr. Dobb ‘ s Journal
    Mõistatuslik Seiklusi poolt avaldatud W. W. Norton 2005. aasta jaanuaris. See oli esimene kogumik mõistatusi minu Scientific American veerus.
    Puzzler on Elusion poolt avaldatud Avalon Vajutage, Märts 2006. Kombinatsioon mõistatusi Scientific American ja Dr. Dobb ‘ s Journal.
    Mõistatusi Programmeerijatele ja Plussid poolt avaldatud Wiley 2007. aasta Mais.
  • Nagu soovitas neid raamatuid, mis mul on olnud rõõm kirjutamise matemaatiline puzzle veerg Dr. Dobb ‘ s Journal ja praegu kirjutada igakuine puzzle veerg Scientific American (vaata all recreations).
  • näete rääkida nimega Upstart Mõistatusi , et ma andsin kell Kanada Matemaatika Seltsi suvel istungil Edmonton 2003. aasta juunis.
  • Te saate ka kuulata, mõistatusi raadios Arkansas.
  • Välja Oma Mõtetes: elu ja avastused 15 suur arvuti teadlased on raamat elulood 15 suur arvuti teadlased. Te näete mind, realplayer video räägime raamatust.
  • Minu viimane raamat Looduslik Computing on raamat tööst arvuti teadlased, roboticists, ja muud uuendajad tuleviku kohta computing. Siin on mõned arvustusi.
  • Kõik smart vene õpilasi on mul olnud inspireeris mind tegema koostööd näitekirjaniku Marina Shron raamat umbes viimased vene immigrandid õigus Punane Blues: hääled viimase laine Rusian sisserändajate. Võid leida katkendeid raamatust siin.
  • Siin on loetelu kirjastajad, kes on tõlgitud minu puzzle raamatuid mitmes riigis:
    • Hiina rahvavabariik: Hunan Teaduse ja Tehnoloogia vajutage.
    • tšehhi Vabariik: Mlada
    • Prantsusmaa: Odile Jacob
    • Saksamaa: MVG Verlag
    • Ungari: Typotex
    • Jaapan: Nikkei Teadusliku
    • Korea: Kyungmoon
    • Poola: Spolddzielnia Wydawniczo-Handlowa Ksiazka ma Wiedza
    • Portugal: Gradiva
    • Hispaania: Töö-ja Gredisa
    • Sloveenia: Drzavna Zalozba Slovenije, zbirka z logiko
    • Taiwan, Hiina Vabariik: Euraasia Publishing Group ja Chiu Chang Matemaatika. Raamatud & Mõistatusi Co.
    • Türgi: Tubitak
  • Need kirjastajad on tõlgitud {\em Andmebaasi Otsing: põhimõtted, eksperimendid ja tõrkeotsingus kindlalt} poolt Philippe Mütsi ja mina:
    • Hiina rahvavabariik: Kirjastus Elektroonika
    • Korea: KCC (Aju-Korea Publishing Co.)
    • Venemaa: Kudits Obraz
  • Need kirjastajad tõlgitud {\em Välja oma Mõtetes: elu ja avastused 15 suur arvuti teadlased} mida Cathy Lazere ja mina:
    • Hiina rahvavabariik: Hebei Ülikooli Kirjastajad
    • Jaapan: Nikkei business väljaannete
    • Korea: Sejong
    • Taiwan: Jüaan-Liou

Leave a Reply

Your email address will not be published. Required fields are marked *