<?xml version="1.0" encoding="UTF-8"?>
 <rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/">
  <channel rdf:about="http://pinboard.in">
    <title>Pinboard (connolly)</title>
    <link>https://pinboard.in/u:connolly/public/</link>
    <description>recent bookmarks from connolly</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="https://covidclinical.net/"/>
	<rdf:li rdf:resource="http://listserv.kumc.edu/pipermail/gpc-dev/2017q3/004294.html"/>
	<rdf:li rdf:resource="https://dbmi.hms.harvard.edu/events/precision-medicine/2017-breakaway-business-models"/>
	<rdf:li rdf:resource="https://www.diigo.com/profile/dckc-madmode?query=health+research"/>
	<rdf:li rdf:resource="http://www.structured-commons.org/"/>
	<rdf:li rdf:resource="http://www.washingtonpost.com/national/health-science/scientists-embark-on-unprecedented-effort-to-connect-millions-of-patient-medical-records/2014/04/15/ea7c966a-b12e-11e3-9627-c65021d6d572_story.html"/>
	<rdf:li rdf:resource="http://research.microsoft.com/apps/mobile/showpage.aspx?page=/en-us/projects/fstar/"/>
	<rdf:li rdf:resource="http://wadler.blogspot.co.uk/2014/03/propositions-as-types.html"/>
	<rdf:li rdf:resource="http://www.cs.man.ac.uk/~rector/tutorials/Biomed-Tutorial-2007b-dagstuhl/Presentations/Dagstuhl-june-2007-03.pdf"/>
	<rdf:li rdf:resource="http://www.kckansan.com/2014/01/ku-medical-center-researchers-receive.html"/>
	<rdf:li rdf:resource="http://www.linkedin.com/in/genomics"/>
	<rdf:li rdf:resource="http://www.caregraf.info/blog/topic/datasets/snomed"/>
	<rdf:li rdf:resource="http://vimeo.com/77615376"/>
	<rdf:li rdf:resource="http://vimeo.com/75930329"/>
	<rdf:li rdf:resource="http://vimeo.com/80917386"/>
	<rdf:li rdf:resource="http://www.cse.chalmers.se/~nad/repos/lib/src/Induction/WellFounded.agda"/>
	<rdf:li rdf:resource="https://queuea9.wordpress.com/2012/04/06/fuzzing-a-verified-sat-solver/"/>
	<rdf:li rdf:resource="https://code.google.com/p/guru-lang/"/>
	<rdf:li rdf:resource="http://research.microsoft.com/en-us/downloads/e9089b8e-8871-46a8-987b-75effdcf70e6/default.aspx"/>
	<rdf:li rdf:resource="http://www.youtube.com/watch?v=TS1lpKBMkgg"/>
	<rdf:li rdf:resource="https://docs.google.com/presentation/d/1uu0majdVHnCtIBo2xsdvijcpThoJfKuaYjyfe89l2IY/edit?usp=sharing"/>
	<rdf:li rdf:resource="http://feedback.diigo.com/forums/76211-ideas/suggestions/1101141-integrate-citation-and-bibliography-features-accor"/>
	<rdf:li rdf:resource="https://forums.zotero.org/discussion/2921/use-of-zotero-with-delicious-diigo-etc/"/>
	<rdf:li rdf:resource="http://papers.ssrn.com/sol3/papers.cfm?abstract_id=2031808"/>
	<rdf:li rdf:resource="https://mail.mozilla.org/pipermail/es-discuss/2013-March/029072.html"/>
	<rdf:li rdf:resource="http://www.l4android.org/news/publications.html"/>
	<rdf:li rdf:resource="http://www.economist.com/node/17723223"/>
	<rdf:li rdf:resource="http://www.childrenshospital.org/cfapps/research/data_admin/Site108/mainpageS108P0.html"/>
	<rdf:li rdf:resource="http://annals.org/article.aspx?articleid=711682"/>
	<rdf:li rdf:resource="http://www.nejm.org/doi/full/10.1056/NEJMp1203102"/>
	<rdf:li rdf:resource="https://improvecarenow.org/"/>
	<rdf:li rdf:resource="http://wiki.chip.org/indivo/index.php/HOWTO:_install_Indivo_X"/>
	<rdf:li rdf:resource="http://www.cis.upenn.edu/~bcpierce/sf/"/>
	<rdf:li rdf:resource="http://www.ittc.ku.edu/csdlblog/?p=155"/>
	<rdf:li rdf:resource="http://www.cicm-conference.org/2013/cicm.php?event=dml"/>
	<rdf:li rdf:resource="http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body"/>
	<rdf:li rdf:resource="https://www.coursera.org/course/datamanagement"/>
	<rdf:li rdf:resource="https://www.coursera.org/course/malsoftware"/>
	<rdf:li rdf:resource="https://www.coursera.org/course/biostats"/>
	<rdf:li rdf:resource="http://www.texmacs.org/tmweb/manual/webman-style.en.html"/>
	<rdf:li rdf:resource="http://proofcheck.org/"/>
	<rdf:li rdf:resource="http://www.tug.org/pracjourn/2007-1/neveln/"/>
	<rdf:li rdf:resource="http://adam.chlipala.net/cpdt/"/>
	<rdf:li rdf:resource="http://idris-lang.org/documentation"/>
	<rdf:li rdf:resource="http://vimeo.com/6686570"/>
	<rdf:li rdf:resource="http://yinwang0.wordpress.com/2012/10/13/texmacs/"/>
	<rdf:li rdf:resource="https://zooko.com/uri/URI:DIR2-RO:d73ap7mtjvv7y6qsmmwqwai4ii:tq5tqejzulg7yj4h7nxuurpiuuz5jsgvczmdamcalpk2rc6gmbsq/klog.html#%5B%5BGood%20Calories%2C%20Bad%20Calories%5D%5D"/>
	<rdf:li rdf:resource="http://homepages.cwi.nl/~tromp/cl/cl.html"/>
	<rdf:li rdf:resource="http://www.biostars.org/p/17266/"/>
	<rdf:li rdf:resource="http://www.frontiersin.org/Computational_Neuroscience/10.3389/fncom.2012.00072/full"/>
	<rdf:li rdf:resource="http://docs.racket-lang.org/"/>
	<rdf:li rdf:resource="http://lists.w3.org/Archives/Public/www-archive/2004Oct/0007"/>
	<rdf:li rdf:resource="http://www.ertos.nicta.com.au/research/sel4/"/>
	<rdf:li rdf:resource="http://sciencecareers.sciencemag.org/career_magazine/previous_issues/articles/2012_03_23/caredit.a1200033"/>
	<rdf:li rdf:resource="http://www.cvent.com/events/kansas-city-software-defined-networking-luncheon-featuring-juniper/event-summary-839a98e0bf9042ff93f1c312229fe510.aspx?i=dc1c9fa8-3df1-42b3-b4f5-4403a23efe5d"/>
	<rdf:li rdf:resource="http://nb.sagemath.org/"/>
	<rdf:li rdf:resource="http://www.cs.dartmouth.edu/~sergey/langsec/"/>
	<rdf:li rdf:resource="http://brownplt.github.com/2012/06/04/lambdajs-coq.html"/>
	<rdf:li rdf:resource="http://yuba.stanford.edu/foswiki/bin/view/OpenFlow/Mininet"/>
	<rdf:li rdf:resource="http://www.openflow.org/wp/documents/"/>
	<rdf:li rdf:resource="http://wikiproofs.org/w/index.php?title=Help:Tutorial"/>
	<rdf:li rdf:resource="http://www.worldcat.org/title/calculus/oclc/786736928?referer=di"/>
	<rdf:li rdf:resource="http://www.stanford.edu/~manuelso/"/>
	<rdf:li rdf:resource="http://clevelandclinic.academia.edu/ChristopherPierce/Papers/1728666/SemanticDB_A_Semantic_Web_Infrastructure_for_Clinical_Research_and_Quality_Reporting"/>
	<rdf:li rdf:resource="http://blog.ezyang.com/about/"/>
	<rdf:li rdf:resource="http://mumble.net/~jar/pubs/secureos/secureos.html"/>
	<rdf:li rdf:resource="http://mayoresearch.mayo.edu/mayo/research/staff/fridley_bl.cfm"/>
	<rdf:li rdf:resource="http://proofgeneral.inf.ed.ac.uk/htmlshow.php?title=Proof_General_user_manual"/>
	<rdf:li rdf:resource="http://sites.google.com/site/belayresearchproject/team-blog/open-sourcebelayapplications"/>
	<rdf:li rdf:resource="http://sites.google.com/site/belayresearchproject/team-blog/modelingclientcommunicationinbelay"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="https://covidclinical.net/">
    <title>4CE</title>
    <dc:date>2020-06-11T13:31:04+00:00</dc:date>
    <link>https://covidclinical.net/</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[4CE is a fun collaboration. enjoying talk by @bratogram #health #data #research ]]></description>
<dc:subject>data health research</dc:subject>
<dc:source>https://twitter.com/</dc:source>
<dc:identifier>https://pinboard.in/u:connolly/b:c9a0c6afdc27/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:data"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://listserv.kumc.edu/pipermail/gpc-dev/2017q3/004294.html">
    <title>Untitled (http://listserv.kumc.edu/pipermail/gpc-dev/2017q3/004294.html)</title>
    <dc:date>2017-09-28T19:09:53+00:00</dc:date>
    <link>http://listserv.kumc.edu/pipermail/gpc-dev/2017q3/004294.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[@GPCNetwork: interactive multi-site query of cancer tumor registry, EMR diagnoses   #health #data #research]]></description>
<dc:subject>research data health</dc:subject>
<dc:source>https://twitter.com/</dc:source>
<dc:identifier>https://pinboard.in/u:connolly/b:b65839da39b1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:data"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://dbmi.hms.harvard.edu/events/precision-medicine/2017-breakaway-business-models">
    <title>2017: Breakaway Business Models | Department of Biomedical Informatics</title>
    <dc:date>2017-06-21T13:16:23+00:00</dc:date>
    <link>https://dbmi.hms.harvard.edu/events/precision-medicine/2017-breakaway-business-models</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[Looking forward to cool #health #research stuff at #precisionmedbiz ]]></description>
<dc:subject>precisionmedbiz research health</dc:subject>
<dc:source>https://twitter.com/</dc:source>
<dc:identifier>https://pinboard.in/u:connolly/b:a72cefdcd92f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:precisionmedbiz"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.diigo.com/profile/dckc-madmode?query=health+research">
    <title>https://www.diigo.com</title>
    <dc:date>2017-06-02T18:56:39+00:00</dc:date>
    <link>https://www.diigo.com/profile/dckc-madmode?query=health+research</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[@danbri My #health #research bookmarks might document my ramp-up: ]]></description>
<dc:subject>research health</dc:subject>
<dc:source>https://twitter.com/</dc:source>
<dc:identifier>https://pinboard.in/u:connolly/b:608225265de9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.structured-commons.org/">
    <title>Structured Commons :: About</title>
    <dc:date>2016-07-19T03:31:54+00:00</dc:date>
    <link>http://www.structured-commons.org/</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[@robinberjon @sandhawke seen  ? #decentralized academic publication. #research]]></description>
<dc:subject>decentralized research</dc:subject>
<dc:source>https://twitter.com/</dc:source>
<dc:identifier>https://pinboard.in/u:connolly/b:3560e628af33/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:decentralized"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.washingtonpost.com/national/health-science/scientists-embark-on-unprecedented-effort-to-connect-millions-of-patient-medical-records/2014/04/15/ea7c966a-b12e-11e3-9627-c65021d6d572_story.html">
    <title>Scientists embark on unprecedented effort to connect millions of patient medical records - The Washington Post</title>
    <dc:date>2014-05-07T06:06:59+00:00</dc:date>
    <link>http://www.washingtonpost.com/national/health-science/scientists-embark-on-unprecedented-effort-to-connect-millions-of-patient-medical-records/2014/04/15/ea7c966a-b12e-11e3-9627-c65021d6d572_story.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[Scientists embark on unprecedented effort to connect millions of patient medical records  via @washingtonpost]]></description>
<dc:subject>research health kumc press media</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:0a0eb882a737/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:kumc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:press"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:media"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://research.microsoft.com/apps/mobile/showpage.aspx?page=/en-us/projects/fstar/">
    <title>rF*</title>
    <dc:date>2014-04-30T06:48:09+00:00</dc:date>
    <link>http://research.microsoft.com/apps/mobile/showpage.aspx?page=/en-us/projects/fstar/</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[when i saw work on crypto in idris, this is the sort of results that i wondered if they could reach

open source? relies on Z3 which is non-commercial]]></description>
<dc:subject>security quality research programming</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:95bb9d1f3393/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:quality"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://wadler.blogspot.co.uk/2014/03/propositions-as-types.html">
    <title>Wadler's Blog: Propositions as Types</title>
    <dc:date>2014-03-08T01:42:15+00:00</dc:date>
    <link>http://wadler.blogspot.co.uk/2014/03/propositions-as-types.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA["From its incep-
tion, linear logic was suspected to apply to problems of importance
to computer scientists, and its first publication was not in Annals of
Mathematics but in Theoretical Computer Science. Computational
aspects of linear logic are discussed by Abramsky [1] and Wadler
[39], among many others, and applications to quantum computing
are surveyed by Gay [15]. Most recently, Caires and Pfenning [4]
have applied Propositions as Types to explain Session Types, a way
of describing communication protocols introduced by Honda [23],
inspiring a new view of Propositions as Sessions [41].
"]]></description>
<dc:subject>programming logic research protocols</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:7f759c26dc0a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:protocols"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.man.ac.uk/~rector/tutorials/Biomed-Tutorial-2007b-dagstuhl/Presentations/Dagstuhl-june-2007-03.pdf">
    <title>Developing Biomedical Ontologies in OWL</title>
    <dc:date>2014-02-04T20:10:59+00:00</dc:date>
    <link>http://www.cs.man.ac.uk/~rector/tutorials/Biomed-Tutorial-2007b-dagstuhl/Presentations/Dagstuhl-june-2007-03.pdf</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[by Alan Rector]]></description>
<dc:subject>health data research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:64944fd26e3b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:data"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.kckansan.com/2014/01/ku-medical-center-researchers-receive.html">
    <title>Kansas City Kansan: KU Medical Center researchers receive more than $10 million to pursue new translational research projects</title>
    <dc:date>2014-01-15T23:18:06+00:00</dc:date>
    <link>http://www.kckansan.com/2014/01/ku-medical-center-researchers-receive.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[KUMC made a big announcement about our GPC translational #health #research project ]]></description>
<dc:subject>research health</dc:subject>
<dc:source>https://twitter.com/</dc:source>
<dc:identifier>https://pinboard.in/u:connolly/b:492323a8ac86/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.linkedin.com/in/genomics">
    <title>Simon Lin | LinkedIn</title>
    <dc:date>2014-01-14T00:26:53+00:00</dc:date>
    <link>http://www.linkedin.com/in/genomics</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[Director, Biomedical Informatics, Marshfield Clinic]]></description>
<dc:subject>health research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:061e1f0d36fb/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.caregraf.info/blog/topic/datasets/snomed">
    <title>SNOMED | Caregraf</title>
    <dc:date>2014-01-06T17:34:02+00:00</dc:date>
    <link>http://www.caregraf.info/blog/topic/datasets/snomed</link>
    <dc:creator>connolly</dc:creator><dc:subject>health research data</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:8ebca79d7a91/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:data"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://vimeo.com/77615376">
    <title>Expert Exchange: L. Russell Waitman, PhD on Vimeo</title>
    <dc:date>2014-01-02T21:22:56+00:00</dc:date>
    <link>http://vimeo.com/77615376</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[We're hiring a DBA (esp. Oracle)  to support Medical Informatics research () and Enterprise A…]]></description>
<dc:subject>KC research health</dc:subject>
<dc:source>https://twitter.com/</dc:source>
<dc:identifier>https://pinboard.in/u:connolly/b:5ab1daac33bc/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:KC"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://vimeo.com/75930329">
    <title>Annual Dinner 2013: Featured Presenter, Stephen Kingsmore, “How Genomic Medicine is Helping the Children of Kansas City” on Vimeo</title>
    <dc:date>2014-01-02T20:59:51+00:00</dc:date>
    <link>http://vimeo.com/75930329</link>
    <dc:creator>connolly</dc:creator><dc:subject>health research kc</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:7d9dfc0d1b50/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:kc"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://vimeo.com/80917386">
    <title>Annual Dinner 2013: Keynote Speaker, John Wilbanks, “If You’re Not Selling Data, You Should Be Sharing It”</title>
    <dc:date>2014-01-02T20:59:16+00:00</dc:date>
    <link>http://vimeo.com/80917386</link>
    <dc:creator>connolly</dc:creator><dc:subject>health research kc</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:7c2d737605b0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:kc"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cse.chalmers.se/~nad/repos/lib/src/Induction/WellFounded.agda">
    <title>http://www.cse.chalmers.se/~nad/repos/lib/src/Induction/WellFounded.agda</title>
    <dc:date>2014-01-01T00:11:35+00:00</dc:date>
    <link>http://www.cse.chalmers.se/~nad/repos/lib/src/Induction/WellFounded.agda</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[WellFounded.agda]]></description>
<dc:subject>programming fp logic research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:d622056c27fe/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:fp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://queuea9.wordpress.com/2012/04/06/fuzzing-a-verified-sat-solver/">
    <title>Fuzzing A Verified SAT Solver | QA9</title>
    <dc:date>2013-11-28T02:26:42+00:00</dc:date>
    <link>https://queuea9.wordpress.com/2012/04/06/fuzzing-a-verified-sat-solver/</link>
    <dc:creator>connolly</dc:creator><dc:subject>programming research quality</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:d67fe7f031f7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:quality"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://code.google.com/p/guru-lang/">
    <title>guru-lang - Implementation of the Guru verified programming language. - Google Project Hosting</title>
    <dc:date>2013-11-28T02:25:58+00:00</dc:date>
    <link>https://code.google.com/p/guru-lang/</link>
    <dc:creator>connolly</dc:creator><dc:subject>programming research quality</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:4dc2fad50113/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:quality"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://research.microsoft.com/en-us/downloads/e9089b8e-8871-46a8-987b-75effdcf70e6/default.aspx">
    <title>F*: A Verifying Compiler for ML Programs - Microsoft Research</title>
    <dc:date>2013-11-12T05:04:45+00:00</dc:date>
    <link>http://research.microsoft.com/en-us/downloads/e9089b8e-8871-46a8-987b-75effdcf70e6/default.aspx</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[35MB? I just wanted to look at the parser because I couldn't find sum type syntax in the paper nor tutorials]]></description>
<dc:subject>programming research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:b91a6acd0e88/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.youtube.com/watch?v=TS1lpKBMkgg">
    <title>Pacific Northwest Scala 2013 We're Doing It All Wrong by Paul Phillips - YouTube</title>
    <dc:date>2013-11-04T23:48:38+00:00</dc:date>
    <link>http://www.youtube.com/watch?v=TS1lpKBMkgg</link>
    <dc:creator>connolly</dc:creator><dc:subject>programming research video presentation</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:74ec7a9560a8/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:presentation"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://docs.google.com/presentation/d/1uu0majdVHnCtIBo2xsdvijcpThoJfKuaYjyfe89l2IY/edit?usp=sharing">
    <title>Cap'n Proto - Google Drive</title>
    <dc:date>2013-09-30T18:38:40+00:00</dc:date>
    <link>https://docs.google.com/presentation/d/1uu0majdVHnCtIBo2xsdvijcpThoJfKuaYjyfe89l2IY/edit?usp=sharing</link>
    <dc:creator>connolly</dc:creator><dc:subject>protocol research security</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:323dca009732/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:protocol"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://feedback.diigo.com/forums/76211-ideas/suggestions/1101141-integrate-citation-and-bibliography-features-accor">
    <title>Integrate citation and bibliography features according to accepted formatting standards – Customer Feedback for Diigo</title>
    <dc:date>2013-09-27T00:54:45+00:00</dc:date>
    <link>http://feedback.diigo.com/forums/76211-ideas/suggestions/1101141-integrate-citation-and-bibliography-features-accor</link>
    <dc:creator>connolly</dc:creator><dc:subject>research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:96b0b665875b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://forums.zotero.org/discussion/2921/use-of-zotero-with-delicious-diigo-etc/">
    <title>Zotero Forums - Use of zotero with delicious, diigo, etc.</title>
    <dc:date>2013-09-27T00:54:36+00:00</dc:date>
    <link>https://forums.zotero.org/discussion/2921/use-of-zotero-with-delicious-diigo-etc/</link>
    <dc:creator>connolly</dc:creator><dc:subject>research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:8bdea67074a8/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://papers.ssrn.com/sol3/papers.cfm?abstract_id=2031808">
    <title>Defining Privacy and Utility in Data Sets by Felix T. Wu :: SSRN</title>
    <dc:date>2013-09-25T20:06:40+00:00</dc:date>
    <link>http://papers.ssrn.com/sol3/papers.cfm?abstract_id=2031808</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[Reading: Defining Privacy and Utility in Data Sets by Felix T. Wu :: SSRN ]]></description>
<dc:subject>health data research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:8a13472b9f0f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:data"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://mail.mozilla.org/pipermail/es-discuss/2013-March/029072.html">
    <title>a future caller alternative ?</title>
    <dc:date>2013-09-24T14:39:43+00:00</dc:date>
    <link>https://mail.mozilla.org/pipermail/es-discuss/2013-March/029072.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[talks by Crockford

Gears and the Mashup Problem: <http://www.youtube.com/watch?v=qfBL2sc2zUU/>
Web Forward: <http://www.youtube.com/watch?v=yh7TeoEwNyI#t=15m40s>
Securing JavaScript: <http://www.youtube.com/watch?v=T6TTQoqln7c>]]></description>
<dc:subject>security research videos presentation</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:a94123c0a3e9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:videos"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:presentation"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.l4android.org/news/publications.html">
    <title>L4Android Publications</title>
    <dc:date>2013-09-24T14:27:13+00:00</dc:date>
    <link>http://www.l4android.org/news/publications.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA["
L4Android: A Generic Operating System Framework for Secure Smartphones
Matthias Lange, Steffen Liebergeld, Adam Lackorzynski, Alexander Warg, Michael Peter
Workshop on Security and Privacy in Smartphones and Mobile Devices (ACM CCS SPSM), Chicago, IL, USA (October 2011)
PDF | Slides"]]></description>
<dc:subject>mobile security research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:3252037601c7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:mobile"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.economist.com/node/17723223">
    <title>Doctoral degrees: The disposable academic | The Economist</title>
    <dc:date>2013-09-09T14:55:12+00:00</dc:date>
    <link>http://www.economist.com/node/17723223</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[On the same subject as my blog post  …: the @TheEconomist had an article about the phenomenon ]]></description>
<dc:subject>research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:31cc8ee059d2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.childrenshospital.org/cfapps/research/data_admin/Site108/mainpageS108P0.html">
    <title>Kenneth Mandl, MD, MPH - Research Faculty - Boston Children's Hospital</title>
    <dc:date>2013-06-28T23:09:19+00:00</dc:date>
    <link>http://www.childrenshospital.org/cfapps/research/data_admin/Site108/mainpageS108P0.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[notes from his talk at the i2b2/SHRINE meeting last week:
on "Preparation for Patient-Centered Research"

Shawn Murphy, MD, PhD, Partners HealthCare
Ken Mandl, Boston Children's Hospitals
patient centered = [darn it]]></description>
<dc:subject>BOS health research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:9518ad564595/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:BOS"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://annals.org/article.aspx?articleid=711682">
    <title>Annals of Internal Medicine | Electronic Patient-Physician Communication: Problems and Promise</title>
    <dc:date>2013-06-28T23:07:19+00:00</dc:date>
    <link>http://annals.org/article.aspx?articleid=711682</link>
    <dc:creator>connolly</dc:creator><dc:subject>BOS health research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:5ee38c3d76d3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:BOS"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.nejm.org/doi/full/10.1056/NEJMp1203102">
    <title>Escaping the EHR Trap — The Future of Health IT — NEJM</title>
    <dc:date>2013-06-28T23:07:12+00:00</dc:date>
    <link>http://www.nejm.org/doi/full/10.1056/NEJMp1203102</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[nominated in Ken Mandl's talk at the i2b2/SHRINE conference last week

Preparation for Patient-Centered Research

Escaping the EHR Trap — The Future of Health IT
Kenneth D. Mandl, M.D., M.P.H., and Isaac S. Kohane, M.D., Ph.D.
N Engl J Med 2012]]></description>
<dc:subject>BOS health research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:524cb5b4eea9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:BOS"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://improvecarenow.org/">
    <title>Home | ImproveCareNow</title>
    <dc:date>2013-06-28T23:02:47+00:00</dc:date>
    <link>https://improvecarenow.org/</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[saw Peter Margolis give a talk on this at the I2B2 conference this week]]></description>
<dc:subject>BOS health research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:2f27e7b82e09/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:BOS"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://wiki.chip.org/indivo/index.php/HOWTO:_install_Indivo_X">
    <title>HOWTO: install Indivo X - Indivo</title>
    <dc:date>2013-06-22T17:38:44+00:00</dc:date>
    <link>http://wiki.chip.org/indivo/index.php/HOWTO:_install_Indivo_X</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[installation looks a little too involved for today]]></description>
<dc:subject>ubuntu health research data someday</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:9903f4195e15/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:ubuntu"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:data"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:someday"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cis.upenn.edu/~bcpierce/sf/">
    <title>Software Foundations</title>
    <dc:date>2013-05-21T20:50:57+00:00</dc:date>
    <link>http://www.cis.upenn.edu/~bcpierce/sf/</link>
    <dc:creator>connolly</dc:creator><dc:subject>programming research someday quality</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:86bce280dab3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:someday"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:quality"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.ittc.ku.edu/csdlblog/?p=155">
    <title>Sunroof: Clockwork Progress « CSDL Blog</title>
    <dc:date>2013-04-25T03:17:06+00:00</dc:date>
    <link>http://www.ittc.ku.edu/csdlblog/?p=155</link>
    <dc:creator>connolly</dc:creator><dc:subject>programming research haskell javascript</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:327cad6f89cd/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:javascript"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cicm-conference.org/2013/cicm.php?event=dml">
    <title>CICM 2013 - Conferences on Intelligent Computer Mathematics</title>
    <dc:date>2013-04-17T04:15:31+00:00</dc:date>
    <link>http://www.cicm-conference.org/2013/cicm.php?event=dml</link>
    <dc:creator>connolly</dc:creator><description><![CDATA["Math-aware representations of mathematical knowledge"]]></description>
<dc:subject>mathematics research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:9b27e3220849/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body">
    <title>http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body</title>
    <dc:date>2013-04-02T22:24:40+00:00</dc:date>
    <link>http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body</link>
    <dc:creator>connolly</dc:creator><dc:subject>research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:0857dedf21ac/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.coursera.org/course/datamanagement">
    <title>Data Management for Clinical Research / Coursera.org</title>
    <dc:date>2013-03-27T03:40:17+00:00</dc:date>
    <link>https://www.coursera.org/course/datamanagement</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[Paul Harris at Vanderbilt]]></description>
<dc:subject>research health</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:445439844449/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.coursera.org/course/malsoftware">
    <title>Malicious Software and its Underground Economy: Two Sides to Every Story / Coursera.org</title>
    <dc:date>2013-03-27T03:36:35+00:00</dc:date>
    <link>https://www.coursera.org/course/malsoftware</link>
    <dc:creator>connolly</dc:creator><dc:subject>research security</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:475819ba0319/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.coursera.org/course/biostats">
    <title>Mathematical Biostatistics Boot Camp / Coursera.org</title>
    <dc:date>2013-03-27T03:32:37+00:00</dc:date>
    <link>https://www.coursera.org/course/biostats</link>
    <dc:creator>connolly</dc:creator><dc:subject>research health statistics</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:f18883056b6e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:statistics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.texmacs.org/tmweb/manual/webman-style.en.html">
    <title>TeXmacs style files (FSF GNU project)</title>
    <dc:date>2013-03-05T19:54:59+00:00</dc:date>
    <link>http://www.texmacs.org/tmweb/manual/webman-style.en.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[I kept running into goblin farts when trying to edit style files.  Annotated link https://www.diigo.com/bookmark/http://www.texmacs.org/tmweb/manual/webman-style.en.html]]></description>
<dc:subject>writing research math</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:46d327a7327b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:writing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:math"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://proofcheck.org/">
    <title>Checking Proofs Written in TeX</title>
    <dc:date>2013-03-03T08:17:03+00:00</dc:date>
    <link>http://proofcheck.org/</link>
    <dc:creator>connolly</dc:creator><dc:subject>python research math</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:6ba45b917c6d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:python"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:math"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.tug.org/pracjourn/2007-1/neveln/">
    <title>The PracTeX Journal - TeX Users Group</title>
    <dc:date>2013-03-03T08:06:30+00:00</dc:date>
    <link>http://www.tug.org/pracjourn/2007-1/neveln/</link>
    <dc:creator>connolly</dc:creator><dc:subject>math research python</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:dda7e5a71ac0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:python"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://adam.chlipala.net/cpdt/">
    <title>Certified Programming with Dependent Types</title>
    <dc:date>2013-02-27T18:44:01+00:00</dc:date>
    <link>http://adam.chlipala.net/cpdt/</link>
    <dc:creator>connolly</dc:creator><dc:subject>programming research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:cabf232f611e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://idris-lang.org/documentation">
    <title>Idris - Documentation</title>
    <dc:date>2013-02-27T06:21:52+00:00</dc:date>
    <link>http://idris-lang.org/documentation</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[dependent types, C-H proofs, macros, etc.]]></description>
<dc:subject>programming research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:6086ed662e77/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://vimeo.com/6686570">
    <title>Push-pull Functional Reactive Programming on Vimeo</title>
    <dc:date>2013-02-24T04:18:37+00:00</dc:date>
    <link>http://vimeo.com/6686570</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[not sure how well I grokked... but it might be enough to enable me to read the paper]]></description>
<dc:subject>haskell programming research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:f81c04ecdf14/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://yinwang0.wordpress.com/2012/10/13/texmacs/">
    <title>A Mind Map Guide for TeXmacs | Surely I Am Joking</title>
    <dc:date>2013-02-08T18:14:50+00:00</dc:date>
    <link>http://yinwang0.wordpress.com/2012/10/13/texmacs/</link>
    <dc:creator>connolly</dc:creator><dc:subject>writing research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:b99190c42440/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:writing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://zooko.com/uri/URI:DIR2-RO:d73ap7mtjvv7y6qsmmwqwai4ii:tq5tqejzulg7yj4h7nxuurpiuuz5jsgvczmdamcalpk2rc6gmbsq/klog.html#%5B%5BGood%20Calories%2C%20Bad%20Calories%5D%5D">
    <title>Zooko's Hack Log - a chronological arrangement of Zooko's work/play</title>
    <dc:date>2013-02-04T15:15:39+00:00</dc:date>
    <link>https://zooko.com/uri/URI:DIR2-RO:d73ap7mtjvv7y6qsmmwqwai4ii:tq5tqejzulg7yj4h7nxuurpiuuz5jsgvczmdamcalpk2rc6gmbsq/klog.html#%5B%5BGood%20Calories%2C%20Bad%20Calories%5D%5D</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[Good Calories, Bad Calories by Gary Taubes]]></description>
<dc:subject>health research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:4ce4ed3c9c49/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://homepages.cwi.nl/~tromp/cl/cl.html">
    <title>John's Combinatory Logic Playground</title>
    <dc:date>2013-01-18T00:11:14+00:00</dc:date>
    <link>http://homepages.cwi.nl/~tromp/cl/cl.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[spotter: jar]]></description>
<dc:subject>programming research logic</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:0480352af99e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:logic"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.biostars.org/p/17266/">
    <title>How can I convert IMPUTE2 (.haps .sample) to PLINK (.map .ped)? - BioStar</title>
    <dc:date>2013-01-17T17:50:42+00:00</dc:date>
    <link>http://www.biostars.org/p/17266/</link>
    <dc:creator>connolly</dc:creator><description><![CDATA["Question: How can I convert IMPUTE2 (.haps .sample) to PLINK (.map .ped)?"]]></description>
<dc:subject>health research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:d5f7e8c66d04/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.frontiersin.org/Computational_Neuroscience/10.3389/fncom.2012.00072/full">
    <title>Frontiers | Designing next-generation platforms for evaluating scientific output: what scientists can learn from the social web | Frontiers in Computational Neuroscience</title>
    <dc:date>2013-01-15T04:06:48+00:00</dc:date>
    <link>http://www.frontiersin.org/Computational_Neuroscience/10.3389/fncom.2012.00072/full</link>
    <dc:creator>connolly</dc:creator><dc:subject>research publishing collaboration</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:364d60ac4f07/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:publishing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:collaboration"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://docs.racket-lang.org/">
    <title>Racket Documentation</title>
    <dc:date>2013-01-02T23:29:29+00:00</dc:date>
    <link>http://docs.racket-lang.org/</link>
    <dc:creator>connolly</dc:creator><dc:subject>programming research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:ce6ce7eab54a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://lists.w3.org/Archives/Public/www-archive/2004Oct/0007">
    <title>ode to a closet librarian (take 2) from Dan Connolly on 2004-10-02 (www-archive@w3.org from October 2004)</title>
    <dc:date>2012-12-27T15:50:48+00:00</dc:date>
    <link>http://lists.w3.org/Archives/Public/www-archive/2004Oct/0007</link>
    <dc:creator>connolly</dc:creator><dc:subject>research archives bibliography</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:7f15b55d3de1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:archives"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:bibliography"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.ertos.nicta.com.au/research/sel4/">
    <title>seL4 (Secure Embedded L4) | ERTOS | NICTA</title>
    <dc:date>2012-12-09T03:06:06+00:00</dc:date>
    <link>http://www.ertos.nicta.com.au/research/sel4/</link>
    <dc:creator>connolly</dc:creator><dc:subject>security research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:0f2815bb9897/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://sciencecareers.sciencemag.org/career_magazine/previous_issues/articles/2012_03_23/caredit.a1200033">
    <title>How to Write Like a Scientist - Science Careers - Biotech, Pharmaceutical, Faculty, Postdoc jobs on Science Careers</title>
    <dc:date>2012-11-01T17:47:50+00:00</dc:date>
    <link>http://sciencecareers.sciencemag.org/career_magazine/previous_issues/articles/2012_03_23/caredit.a1200033</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[why must dryness be written by us? ]]></description>
<dc:subject>writing research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:4ac3155f26b5/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:writing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cvent.com/events/kansas-city-software-defined-networking-luncheon-featuring-juniper/event-summary-839a98e0bf9042ff93f1c312229fe510.aspx?i=dc1c9fa8-3df1-42b3-b4f5-4403a23efe5d">
    <title>Kansas City Software Defined Networking Luncheon featuring Juniper - Event Summary | Online Registration by Cvent</title>
    <dc:date>2012-10-25T01:56:19+00:00</dc:date>
    <link>http://www.cvent.com/events/kansas-city-software-defined-networking-luncheon-featuring-juniper/event-summary-839a98e0bf9042ff93f1c312229fe510.aspx?i=dc1c9fa8-3df1-42b3-b4f5-4403a23efe5d</link>
    <dc:creator>connolly</dc:creator><dc:subject>kc networking research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:a7f228b307e3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:kc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:networking"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://nb.sagemath.org/">
    <title>Sage Notebook</title>
    <dc:date>2012-10-21T01:21:00+00:00</dc:date>
    <link>http://nb.sagemath.org/</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[explore sage notebook for number theory w/metamath export
project: Math ]]></description>
<dc:subject>action math research writing</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:d3e4ac8a4933/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:action"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:writing"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.dartmouth.edu/~sergey/langsec/">
    <title>Language-theoretic Security</title>
    <dc:date>2012-10-15T18:29:51+00:00</dc:date>
    <link>http://www.cs.dartmouth.edu/~sergey/langsec/</link>
    <dc:creator>connolly</dc:creator><dc:subject>security research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:6b33ebcfa2ea/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://brownplt.github.com/2012/06/04/lambdajs-coq.html">
    <title>Mechanized LambdaJS</title>
    <dc:date>2012-09-19T01:42:09+00:00</dc:date>
    <link>http://brownplt.github.com/2012/06/04/lambdajs-coq.html</link>
    <dc:creator>connolly</dc:creator><dc:subject>programming research javascript</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:73ab2a31245c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:javascript"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://yuba.stanford.edu/foswiki/bin/view/OpenFlow/Mininet">
    <title>Mininet &lt; OpenFlow &lt; Foswiki</title>
    <dc:date>2012-09-07T20:12:56+00:00</dc:date>
    <link>http://yuba.stanford.edu/foswiki/bin/view/OpenFlow/Mininet</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[  Annotated link http://www.diigo.com/bookmark/http://yuba.stanford.edu/foswiki/bin/view/OpenFlow/Mininet]]></description>
<dc:subject>research protocols</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:8f69d5270e6a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:protocols"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.openflow.org/wp/documents/">
    <title>OpenFlow » Documents</title>
    <dc:date>2012-09-07T20:11:46+00:00</dc:date>
    <link>http://www.openflow.org/wp/documents/</link>
    <dc:creator>connolly</dc:creator><dc:subject>research protocols internet</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:6e5dc7ca2afc/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:protocols"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:internet"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://wikiproofs.org/w/index.php?title=Help:Tutorial">
    <title>Help:Tutorial - Wikiproofs</title>
    <dc:date>2012-08-31T05:12:00+00:00</dc:date>
    <link>http://wikiproofs.org/w/index.php?title=Help:Tutorial</link>
    <dc:creator>connolly</dc:creator><dc:subject>math research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:45fbdd5889b4/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.worldcat.org/title/calculus/oclc/786736928?referer=di">
    <title>Calculus (Book, 1980) [WorldCat.org]</title>
    <dc:date>2012-08-25T17:05:01+00:00</dc:date>
    <link>http://www.worldcat.org/title/calculus/oclc/786736928?referer=di</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[Linda Hall, Rockhurst]]></description>
<dc:subject>geo book research math</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:5cba6be1bda3/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:geo"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:book"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:math"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.stanford.edu/~manuelso/">
    <title>Manuel Salvadores' Web</title>
    <dc:date>2012-08-07T13:46:39+00:00</dc:date>
    <link>http://www.stanford.edu/~manuelso/</link>
    <dc:creator>connolly</dc:creator><dc:subject>research health data</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:5350bb62d569/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:data"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://clevelandclinic.academia.edu/ChristopherPierce/Papers/1728666/SemanticDB_A_Semantic_Web_Infrastructure_for_Clinical_Research_and_Quality_Reporting">
    <title>SemanticDB: A Semantic Web Infrastructure for Clinical Research and Quality Reporting (Christopher Pierce) - Academia.edu</title>
    <dc:date>2012-07-26T14:40:48+00:00</dc:date>
    <link>http://clevelandclinic.academia.edu/ChristopherPierce/Papers/1728666/SemanticDB_A_Semantic_Web_Infrastructure_for_Clinical_Research_and_Quality_Reporting</link>
    <dc:creator>connolly</dc:creator><dc:subject>health data research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:a4f1d7565794/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:data"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.ezyang.com/about/">
    <title>About : Inside 233</title>
    <dc:date>2012-06-19T19:16:52+00:00</dc:date>
    <link>http://blog.ezyang.com/about/</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[haskell heap...  Annotated link http://www.diigo.com/bookmark/http://blog.ezyang.com/about/]]></description>
<dc:subject>programming logic research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:f3146bdd3aa7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://mumble.net/~jar/pubs/secureos/secureos.html">
    <title>Emergent Technologies Inc. -- Security Kernel</title>
    <dc:date>2012-05-30T17:55:03+00:00</dc:date>
    <link>http://mumble.net/~jar/pubs/secureos/secureos.html</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[A Security Kernel Based on the Lambda Calculus
Jonathan A. Rees]]></description>
<dc:subject>security research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:089c65fe1c20/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://mayoresearch.mayo.edu/mayo/research/staff/fridley_bl.cfm">
    <title>Researcher Profile: Fridley, Brooke L, Ph.D.</title>
    <dc:date>2012-05-04T17:11:47+00:00</dc:date>
    <link>http://mayoresearch.mayo.edu/mayo/research/staff/fridley_bl.cfm</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[  Annotated link http://www.diigo.com/bookmark/http://mayoresearch.mayo.edu/mayo/research/staff/fridley_bl.cfm]]></description>
<dc:subject>health research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:5441568e79fb/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:health"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://proofgeneral.inf.ed.ac.uk/htmlshow.php?title=Proof_General_user_manual">
    <title>Proof General: 2. Basic Script Management</title>
    <dc:date>2012-04-21T18:55:10+00:00</dc:date>
    <link>http://proofgeneral.inf.ed.ac.uk/htmlshow.php?title=Proof_General_user_manual</link>
    <dc:creator>connolly</dc:creator><dc:subject>research logic</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:3cd5ddacfaef/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:logic"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://sites.google.com/site/belayresearchproject/team-blog/open-sourcebelayapplications">
    <title>Open-source Belay Applications - Belay Research</title>
    <dc:date>2012-04-12T15:36:27+00:00</dc:date>
    <link>http://sites.google.com/site/belayresearchproject/team-blog/open-sourcebelayapplications</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[does Belay use an encrypted vat for serialization?]]></description>
<dc:subject>web security research</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:7541c58f81a0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:web"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://sites.google.com/site/belayresearchproject/team-blog/modelingclientcommunicationinbelay">
    <title>Modeling Client Communication in Belay - Belay Research</title>
    <dc:date>2012-04-12T15:34:18+00:00</dc:date>
    <link>http://sites.google.com/site/belayresearchproject/team-blog/modelingclientcommunicationinbelay</link>
    <dc:creator>connolly</dc:creator><description><![CDATA[interesting... Alloy]]></description>
<dc:subject>research web security</dc:subject>
<dc:identifier>https://pinboard.in/u:connolly/b:72e6960c30d7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:web"/>
	<rdf:li rdf:resource="https://pinboard.in/u:connolly/t:security"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>