新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

pintman library [98 articles]

最近 pintman さんのライブラリ .
  • Amorphous computing
    Commun. ACM, Vol. 43, No. 5. (May 2000), pp. 74-82.
    by Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F Knight, Radhika Nagpal, Erik Rauch, Gerald J Sussman, Ron Weiss
    posted to bio cs programming science by pintman on 2006-09-27 13:52:07 as read
  • A Biological Programming Model for Self-Healing
    (31 October 2003)
    by Selvin George, David Evans, Steven Marchette
    posted to cs science self-healing-systems by pintman on 2006-07-24 12:40:29 as read along with 1 person claim
  • Formal Methods: State of the Art and Future Directions
    by Edmund M Clarke, Jeannette M Wing
    posted to formal-methods model-checking by pintman on 2006-07-04 15:44:51 as read
  • Data-Flow Analysis as Model Checking Within the jABC
    Lecture Notes in Computer Science, Vol. 3923 (January 2006), pp. 101-104.
    by Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
    posted to dfa model-checking by pintman on 2006-07-03 10:17:21 as read
  • The First 10 Prolog Programming Contests
    by Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Tronçon
    posted to contest exercises programming prolog solutions by pintman on 2006-07-01 23:01:13 as **
  • Simplifying the modal mu-calculus alternation hierarchy
    (1998)
    by JC Bradfield
    posted to mu-arithmetic mu-calculus by pintman on 2006-06-26 13:30:47 as ** along with 15 people and 3 groups turker maggon darcynog wangxx balicea worksmarts chchatham neural_nets_chapter asifqureshi1971 arunark7 shivakmr baniel rlai lfriedl mmkenry VisionLab Cognitive_Development_Center_-_Neural_Nets_Chapter MITCCI
  • Continuations and Transducer Composition
    (2006)
    by Olin Shivers, Matthew Might
    posted to cs programming scheme science by pintman on 2006-06-24 11:04:12 as **
  • The Propositional mu-Calculus and its Use in ModelChecking
    by Jeffery Zucker
    posted to cs examples model-checking science by pintman on 2006-06-24 09:43:56 as **
  • notes Modal Mu-Calculi
    by Julian Bradfield, Colin Stirling
    posted to model-checking mu-calculus science by pintman on 2006-06-22 17:26:51 as read
  • Model Checking: A Tutorial Overview
    (2001)
    by Stephan Merz
    posted to cs model-checking science by pintman on 2006-06-22 14:42:09 as *** along with 1 person jrw
  • Functional Programming For The Rest of Us
    (19 June 2006)
    posted to cs functional-programming lisp programming science by pintman on 2006-06-22 08:02:07 as ***
  • Algorithms
    (22 May 2006)
    by S Dasgupta, CH Papadimitriou, UV Vazirani
    posted to algorithm book cs science by pintman on 2006-06-18 08:41:43 as ** along with 2 people and 2 groups jrw camu Crypto Randomness
  • The Semicolon Wars
    by Brian Hayes
    posted to cs programming-languages prorgramming science web by pintman on 2006-06-18 08:05:55 as read
  • "Sometime" is sometimes "not never": on the temporal logic of programs
    (1980), pp. 174-185.
    by Leslie Lamport
    posted to cs ctl model-checking by pintman on 2006-06-15 15:12:34 as read along with 1 person ljcamargos
  • "Sometimes" and "not never" revisited: on branching versus linear time temporal logic
    J. ACM, Vol. 33, No. 1. (January 1986), pp. 151-178.
    by Allen E Emerson, Joseph Y Halpern
    posted to cs model-checking science by pintman on 2006-06-15 15:09:03 as **
  • Expressibility results for linear-time and branching-time logics
    (1989), pp. 428-437.
    by Edmund M Clarke, IA Draghicescu
    posted to cs model-checking science by pintman on 2006-06-15 15:08:45 as *** along with 1 person Scis0000002
  • A Guided Tour of CLIM, Common Lisp Interface Manager
    (9 February 2006)
    by Clemens Fruhwirth, Ramana Rao, William M York, Dennis Doughty
    posted to 23s common-lisp gui by pintman on 2006-06-13 14:23:04 as **
  • Guided Model Checking with a Bayesian Meta-heuristic
    by Kevin Seppi, Michael Jones, Peter Lamborn
    posted to 22s concurrent model-checking by pintman on 2006-06-12 10:31:46 as ***
  • Backtracking games and inflationary fixed points
    (7 February 2006)
    by Anuj Dawar, Erich Grädel, Stephan Kreutzer
    posted to 14s games model-checking science by pintman on 2006-06-12 10:20:52 as ***
  • Version Control with Subversion
    (2006)
    by Ben Collins-Sussman, Brian W Fitzpatrick, Michael C Pilato
    posted to 328s book subversion version-control by pintman on 2006-06-12 08:02:33 as **
  • Tutorial on Good Lisp Programming Style
    (10 August 1993)
    by Peter Norvig
    posted to lisp programming science by pintman on 2006-06-11 16:58:16 as **** along with 2 people ansobol jrw
  • Practical Foundations of Mathematics
    by Paul Taylor
    posted to book web by pintman on 2006-06-11 13:27:13 as **
  • Games and modal mu-calculus
    (1996)
    by Colin Stirling
    posted to 15s model-checking mu-calculus by pintman on 2006-06-09 21:10:27 as ****
  • Model checking the full modal mu-calculus for infinite sequential processes
    (1999)
    by Olaf Burkart, Bernhard Steffen
    posted to 20s model-checking mu-calculus by pintman on 2006-06-09 21:00:30 as ***
  • 'Loving Lisp - the Savy Programmer's Secret Weapon'
    (2002)
    posted to 60s common-lisp cs lisp programming science by pintman on 2006-06-08 16:34:25 as *
  • COMMON LISP An Interactive Approach
    (1992)
    by Stuart C Shapiro
    posted to 346s book common-lisp cs lisp programming science by pintman on 2006-06-08 16:29:02 as *****
  • Continuations and advanced flow control
    (24 May 2006)
    by Jonathan Bartlett
    posted to cs programming web by pintman on 2006-06-08 07:55:18 as read
  • Automatic verification of finite-state concurrent systems using temporal logic specifications
    ACM Trans. Program. Lang. Syst., Vol. 8, No. 2. (April 1986), pp. 244-263.
    by EM Clarke, EA Emerson, AP Sistla
    posted to 20s cs model-checking by pintman on 2006-06-07 06:42:46 as ** along with 2 people and 1 group hmeyer mccrimson gk-intern
  • Über die Bausteine der mathematischen Logik
    Mathematische Annalen, Vol. 92, No. 3 - 4. (1924), pp. 305-316.
    by M Schönfinkel
    posted to mathematics by pintman on 2006-06-06 10:26:17 as **
  • Macros that Compose: Systematic Macro Programming
    by Oleg Kiselyov
    posted to functional-programming macros meta-programming programming scheme by pintman on 2006-06-06 09:11:17 as read
  • Functional Objects
    by Matthias Felleisen
    posted to functional-programming programming slides by pintman on 2006-06-06 09:08:13 as read
  • Beyond NP: The Work and Legacy of Larry Stockmeyer
    (2005)
    by Lance Fortnow
    posted to complexity cs by pintman on 2006-06-05 15:12:16 as **
  • Nonrepetitive Paths and Cycles in Graphs with Application to Sudoku
    (2006)
    by David Eppstein
    posted to 17s cs da graph sudoku by pintman on 2006-06-05 15:06:31 as ***
  • Structure and Meaning of Elementary Programs
    (1970)
    by Erwin Engeler
    posted to cs programming by pintman on 2006-06-03 16:19:43 as read
  • Computing Machinery and the Individual: the Personal Turing Test
    by Rollo Carpenter, Jonathan Freeman
    posted to ai chatbot cs turing-test by pintman on 2006-05-29 07:46:15 as read
  • Solving Checkers
    by J Schaeffer, Y Björnsson, N Burch, A Kishimoto, M Müller, R Lake, P Lu, S Sutphen
    posted to cs game programming by pintman on 2006-05-29 07:44:23 as **
  • Practical Common Lisp
    (06 September 2004)
    by Peter Seibel
    posted to book common-lisp computation functional-programming lisp programming by pintman on 2006-05-24 19:33:05 as read along with 6 people hamish pdlug ujh jrw mbeautru BastianSpanneberg
  • Proofs are Programs: 19th Century Logic and 21st Century Computing
    (November 2000)
    by Philip Wadler, Avaya Labs
    posted to 15s programming by pintman on 2006-05-10 08:00:10 as ** along with 1 person robotact
  • Context Free Languages
    (2006)
    by Mark Chu-Carroll
    posted to context-free-languages grammar online web by pintman on 2006-05-10 07:54:57 as read
  • Logic, Programming and Prolog (2ed)
    (2000)
    by Ulf Nilsson, Jan Maluszynski
    posted to book computation programming prolog by pintman on 2006-05-06 12:36:29 as **
  • Elegant LISP Programs
    People and Ideas in Theoretical Computer Science (1999), pp. 32-52.
    by GJ Chaitin
    posted to goedel icompleteness lisp programming web by pintman on 2006-04-26 20:36:31 as read
  • The anatomy of a loop: a story of scope and control
    (2005), pp. 2-14.
    by Olin Shivers
    posted to sigplan by pintman on 2006-04-12 09:39:32 as read along with 5 people hamish JeffreyPalmer voigt robennals ryanc
  • Programmers go bananas
    (2006)
    posted to category-theory programming web by pintman on 2006-04-08 08:46:50 as read
  • Math For Programmers
    (17 March 2006)
    by Steve Yegge
    posted to 9s mathematics programming web by pintman on 2006-04-08 07:52:41 as ****
  • History of Programming Languages
    (2004)
    posted to history poster programming programming-languages by pintman on 2006-04-08 07:49:35 as read
  • Three Implementation Models for Scheme
    (1987)
    by Kent R Dybvig
    posted to 190s functional-programming implementation scheme by pintman on 2006-04-06 06:57:32 as **
  • A lattice-theoretical fixpoint theorem and its applications.
    (1955)
    by Alfred Tarski
    posted to cassics da mathematics by pintman on 2006-04-02 18:35:40 as read
  • On Lisp
    (1993)
    by Paul Graham
    posted to book lisp programming by pintman on 2006-04-01 09:34:11 as **
  • The Y Combinator
    by John Franco
    posted to programming scheme y by pintman on 2006-03-20 21:38:50 as ***
  • The First 10 Prolog Programming Contests
    by Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Tronçon
    posted to 122s geometry programming by pintman on 2006-03-19 20:32:53 as **** along with 753 people and 135 groups scalptob Torsten_Holmer Rootsister frauta jspeer jmetz ejmeij pblanchenay dhbradshaw ecome soeleadership jjrodriguez mederly JLMC sbutterfill rsimitev theshadowhost standara chiayung stajich sannama softsimu vlado CameronNeylon emmackinnon fbr susz mazsx cveres johnabender HugoMarcelo dlobo fernand0 dperkel egh samth sora florine ladygoat hopm hellige parmentierf ssn mortimer tinkha V plaugg ansobol mjaz berthelemy eldan pdlug zephoria carloscabanillas Janos bkliethermes nazareno elsantosneto januadiaboli yaroslavvb jurijmlotman geomblog srl bigga treycausey CSG mcphee chandrashekar denns matzke sherrivokey sona cassj lijil hlovise coolger bigmagpie alicetiara yorgos johannsen cavlec smbrower viller jenmy mlzafron tymmail sedging davidr macowell eimaj42jdp Flit BenWillems agallet hawesie sngourlay jolilius rmagf acer ville garyfeng danifazzio willwade gantlord melanieramage mgregg cwb neteler carneym crispinb rdlong lillekatt davemack agarza carsonr imcdnzl tjimenez Tolik lna dmikurube szityu michmill P2324548 jpbenda Vaccine tadm mkwalker anar grzegorz japple planetoid okarsligil stormybriggs UWerplab nbr inbetweener pafmon stina pgastrein xiruela kutabar jfr xamde kliether mleis jshahin cmunson lfriedl sharonhoward ccots terraces czlamer brent_lance subhradeep jjray Jellyfish cmmorel bayesian benavides ghsalazar manuelpq sekulerlab jmaryott kristina chad_davis Ayest thens RMGraze e2holmes JAShapiro contradictoryben lrodero jamesfournie nybon hawkestein diegolino_veneziano rvosa Schmidtc lyongu ricmilne KarinaFigueroa jfmenudet cdmilligan great_apes brthz juliajumeau gloinf billwolff mrkrause halsnalle yish mkcerusky cyph3r idm smithco ruudvanleeuwen BarrosH aelva harshpshah earnoux princessbritty Laki kupopo ryang eustatic daqing stain matts ram frankgrimes Pfaff9 locatellimp seawidget ianli kate_waxlyrical rherring ThomasEtEckert cliona shaun gregnishihara harmonjt Happybene jklugman mwyarbro rburnett prabakaran nperrin tystl gugek NicolasNeubauer gytisc Nele pedagogicapprentice dlouzeck phillipkent emerson rafamayo arichar6 pasion sadsackmac gbae redcourgette sunilbajpai JJNonesuch heintz BuckeyePhysicist bretblosser charlesijones term madhadron ypeter cmm agraham yijisoo jberro peaksun balabu djsaab crumj garypearce rinelk plashkes PaulB charlescearl p2p-sec langec tuaba os252 JonathanFeinberg jingliu dvoigt hywel tshr dgront isorhiza foistudy jenine donade kmcolo fisherp voiklis insilico fitzgeraldsteele junoda sumeetonweb familydoc craigtalbert dmitri83 dmboyer martint RalphPutnam atsu-kan hlwoodcock reta gogabr smmurphy rafabravo dabhishe JennaW hisashim cjones chuggins Sulpicus ranb alikocho hiromark gane5h l-alex rdiaz pilho ueberweise wangsd echinotrix ak Odi bezbozhnik todchambers perceptron wasteland93 yizheng stephane-jean mahlow mbaric mtr anon_pl dir289 lanubile fcalefato dpeeler QFRMC xwenlong johncumbers kgronemyer keitokita hkl pervane mpennell kedmond mfisk brusilovsky gregflanders hgamboa pgeymueller last5laps jbrown nathanielvirgo rwm101 ChristianGraf marohn davetown101 barbz79it naturecure edgarbc muellerkind fugitive joshuashen aviad_work crusher lucbelanger lauragonzalez Manhal gagliol ashandanj lns cblock trungdong lechristophe ealloza s-adachi rsabouni dhingra corcoted Shii vrv fmiyamae livingthingdan kaz229 Haggan knowlengr aniak krzywy tg Rootfruit ricklillie gracev lrsantos babyone eenauk long pereicoco yeqiwei amcmorl redelings nojhan mkharito rocarvaj stoev tdpessem briansludwig ttsutsumi wenniehu elsiatcase perhapstoopink atbrew fsteeg digitaldust CDivin whshen andersok fpalm brembs ragha mgran thomaswuebben justaubrey macfreek lilalia azygmunt ddineen miguelbezerra jdiggans sjgaller huminfly thjt shenshei erikwdavis jsvoboda ceegrs2 jared jijkoun slafont mdifranc GregorSuhr jmurdoch mattlee jvrantwijk ible fruminator mkowa fellow tzmtzm samjlord abbyworld aozkan giorgis fluomouse Tellima RiccardoAlbertoni annmarie37 ciriol sstoerge gengh goingsomewhere ruddyconsult MichaelGaebler nco71 Vezhnick fabianhemmert shangnan Fahland lossius adriancooke baikanamako elisaformist jsanpedro oceanflynn imaginaryunit bobturner grahamc nascardaughter shariffdinah ibschwartz srfairclough joepickrell bouchard islandrru hohkhkh1 alchemyst mlewcio irwink henriksdal cychang padraic trshepherd tarjeiha josemblazquez pitzelberger hukkinen toppi sjc garancher_gougeon_reyotero nmaisonneuve powell digamberjuwekar cmcleod grieth isys1186 aartaki polyparadigm rodney portalqm bangb cdm jeanfou CareyNadell teh zwang shivakmr prerona michaelmampaey mick39 dagmar bellia kevin7 friveroll khm zetetic karipuf leechuck hp2oo1 jenda_z ngrandy andreacapocci ghunter Maderlock shizhao dayadvham monientiedt rebeccamancy calamar c-gobert baniel jborn dmschneid tale chrisatcite mloewer hanxiansheng rlai jasonbobe ggorjan zeppe AlisonBabeu eprzekwa J_Raff fornstar yodha Akimasa technical oilpalm spacely j0nes TCgroup ingedwar Oktoplus stonest cwr jladell rbmoura Leize adjih carpi omidf2 msampson olaf markusd paulschlesinger qwermish librain pkrrules thehajime PeterRabbit paulvb cvq peefeeyatko kinestetika lynleypage truongducthang metaspencer dodger042 jpassoth krokicki tibbitts brianlimyl vogmae doylem wongmld nkishan hayko gjhuang ashko buggle bemike cvarnam jakobl umurthy21 andregermanoregert Katje tgyork ivanois toivotuo jnz snyder84 idonaldson dandaman awc Thaverkamp mtugrul buchgeher fairy mebiel lectorespa bennettn waszak forestier claudiotubertini acastaner hkreysa AnneB GimpyBee sgclendenon paj prdrieze cortex rschulz aklassen kenneth1ny nschaeff japarejo andreacastelletti schocol hillarpoldmaa kcrawlik ipora yavanna Grobi s-fujii kdesmond bjbecerra ziggy talkingpoints linxiang mllee monkare pantxorama petergun6666 iantunbridge farzanehs mpisarenco blackm0k bluecricket mrosenki eisenmaj BrianTomasik adamsi schulz iup massimocencini natasjadenouden nickpitman genericg dmmarinlo kericson makbot adenkabe ThomasKluge kndiaye duckysherwood scottkb freddan IanBrown squirmelia gkvas hrwiltse mfloris mamadoudiao LTrottier giolakat nikko sarahmccrum jago malkav30 psique Repton gvandyk1 pdessus joni2am taenneken vrich christian_librarian Neeperando ranger midshipman Corbasson murb yungyuc carterb applebyb kaniko skumagai Stepstep abdulpur mirweis nlauzier Axis gi0rgi0ne danzinde christiankissig jsenn tbolt427 Scis0000002 balicea Langster jeanbean EsepBib pulsus-morbi ezaydens melody scarcelan ablam maburkitt fghjorth austin MariaChiaraP wartaalman dconnelly kungcc Gaetan sbaete tanneama000 ricckli boellernadja tkravitz nafets laurabailey iarmac alexispaz pathari steveut wolfe275 dcastro yori amydash rpbharti rwilliamson motchy 6rheology songpku andrealira Zephyrus wilkinm AbnerCYH pchia davidchavalarias Berkeley Mycology GEB CGREL CMU-HCII NU-PRL UoY-CS-AIG Blog_and_Wiki_Research CompetitionLawAndPolicy Tectonics_and_geomorphology NeuronDynamics Context-driven-testers ReadingLab political_science_students kdl distance remote TUCS-ES_Lab Quantum_physics_Education WAND sims_phd_cohort_2005 ASR digital_youth Librarians biodiversity_conservation Global_biodiversity_model InformationRetrieval Wikipedia AssistiveTechnology Bioinformatics mathgamespatterns MACLab folksonomy Neuroscience VisionLab Personal-Information-Management CMS Stoc_Proc_Ecology_WG LanguageAndBrain BrainTheory dtl hdm id vds-arg ALF DPR EvolutionaryComputation STS infovis 2ndFloor fammed-publichealth AI eni Biofluid FAB-lab DSS NeuralNetworks mobilecomputing tmig_psycho RETA SITCRC CDG cliamte_change folk_epistemology instaar_graduate_students Projet_ENSIMAG climate_change BUiGEM social_navigation Macroelectronics ARC04 The_Truants QFRMC_ConsumerCredit Plant-Tissue-Simulation METRIK Metaheuristics Boydian_Society eLearning BioinfoCIPF Nutritional_Polymorphisms CaltechCMP SEGAL Optimization location SNE kickOffTUG-Robocup NanoMechanicsofMetals_MPIMF Georouting Child_Support Software-Architecture ParkinsonLab_at_MaRS moernerlab ilps livingthing HUCO-627-W07 elearning_research PLE-TEL-project Femtochemistry_LMU ediadem ENSSIBVeille memoir ILK ColDyn ImatiGESemantic AGH-IISG PRC_SEA TCD-NDS102-Project CAOS Adaptive-Web Microbial-Ecology Flexible_ICT-supported_learning Social_Software_ws_07-08 DialogueResearchGroup AM-VideoGames-Gender dIEMoSIRIS microbiology_nijmegen Europe_GPE ZnO_project ADMiRes Health_Sciences_Librarians Desgin-by-Contract MITCCI Kopelman_Group DarkMarkGroup VivesMinions PostureMobility compneur Philosophy of physics PsychStatsBanter Video based Animation for People Social Informatics @ IU Global_patent_pools Knowledge_Economy_Reform feminist_technoscience Roswell Cancer Crosstalk Parsons MFA DT 2008 Thesis Research
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/pintman

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.