October 31, 2018

Original page: http://livingheritage.org/lht.htm Living Heritage Trust kehittää kestävän kehityksen vyöhykettä (SDZ) Koslandassa tavoitteenaan elvyttää ja tukea ikääntyneitä kulttuuriperinteitä 21. vuosisadan sosioekonomisessa ympäristössä. Elin perintö Luottamus (Living Heritage Trust (LHT) on yksityisen […]

Original page: http://www.cs.cornell.edu/~ross/publications/proofgen/ POPL 2010: [pdf] [bibtex] [pptx] [mp4] Tekijät: Ross Tate, Michael Stepp, Sorin Lerner Tekninen raportti: [pdf] [bibtex] Video: http://www.cs.cornell.edu/~ross/publications/proofgen/Tate-POPL10.mp4  Abstrakti Esittelemme automaattisen tekniikan kääntäjäoptimointien tuottamiseksi esimerkkeistä konkreettisista ohjelmista ennen ja jälkeen niiden parannusten. Tekniikkamme keskeinen tekninen käsitys on […]

Original page: http://www.pitt.edu/~atteberr/snj/lettertolisteners.html   Hei! Jazz-historian opettajana kevään aikana järjestän myös viikoittaisen radio-ohjelman, “Saturday Swing Session”, WQLN-FM: ssä, Erian yleisradioasemalla. Ohjelma lähetetään joka lauantai klo 8.00-10.00. Itäinen aika. Voit kuulla sen […]

Original page: http://alumnus.caltech.edu/~creutz/windsites.html Reach and jibe, reach ja jibe; että kaikki mitä haluat elämästä? Tämä lista on suosikkipaikoistani purjelautailua varten Long Islandissa, New Yorkissa. Se ei ole kovin täydellinen, mutta kattaa […]