https://www.bibsonomy.org/user/pitman/systemBibSonomy RSS Feed for /user/pitman/systemThe RNA project deals in a very practical way with methods, tools and techniques for building dynamic knowledge systems. In these systems a key role is played by reference networks, sets of reference structures (like thesauri, taxonomies, etc.) and related content metadata. The project is financed by the Dutch Ministry of Economic Affairs under the auspices of the Ministry of Education, Culture and Science. It is a combined effort of a group of innovative small companies, vanguard institutions in the cultural heritage field and outstanding, internationally acclaimed academics.http://www.rnaproject.org/pitman2009-02-18T07:22:12+01:00knowledge network project reference system <span itemprop="description">The RNA project deals in a very practical way with methods, tools and techniques for building dynamic knowledge systems. In these systems a key role is played by reference networks, sets of reference structures (like thesauri, taxonomies, etc.) and related content metadata. The project is financed by the Dutch Ministry of Economic Affairs under the auspices of the Ministry of Education, Culture and Science. It is a combined effort of a group of innovative small companies, vanguard institutions in the cultural heritage field and outstanding, internationally acclaimed academics.</span>http://www.selenic.com/mercurial/wiki/pitman2008-11-13T19:41:10+01:00code control programming python repository source system <a itemprop="url" data-versiondate="2008-11-13T19:41:10+01:00" href="http://www.selenic.com/mercurial/wiki/" rel="nofollow" class="description-link">http://www.selenic.com/mercurial/wiki/</a>ProofWeb is both a system for teaching logic and for using proof assistants through the web. ProofWeb can be used in three ways. First, one can use the guest login, for which one does not even need to register. Secondly, a user can be a student in a logic or proof assistants course. We are hosting courses free of charge. If you are a teacher and would like to host your course on this server, send email to proofweb@cs.ru.nl. Thirdly, if teachers do not want to trust us with their students' files, they can freely download the ProofWeb system and run it on a server of their own. http://proofweb.cs.ru.nl/login.phppitman2008-11-12T23:15:53+01:00logic math proof system <span itemprop="description">ProofWeb is both a system for teaching logic and for using proof assistants through the web. ProofWeb can be used in three ways. First, one can use the guest login, for which one does not even need to register. Secondly, a user can be a student in a logic or proof assistants course. We are hosting courses free of charge. If you are a teacher and would like to host your course on this server, send email to proofweb@cs.ru.nl. Thirdly, if teachers do not want to trust us with their students&#039; files, they can freely download the ProofWeb system and run it on a server of their own. </span>The expert guide to the most important advances in biology Explore the site to see which papers our Faculty of over 2000 world leading scientists have selected.http://www.f1000biology.com/homepitman2008-11-03T02:56:22+01:00journals recommender science system <span itemprop="description">The expert guide to the most important advances in biology Explore the site to see which papers our Faculty of over 2000 world leading scientists have selected.</span>Encouraging and enabling the development of tools to facilitate the use of the DOI® System and DOI® names by end users is a priority of the International DOI Foundation. This page identifies tools that are currently available, with descriptions and links to their sources, and tools that are currently under development. More will be added as they become available. We welcome your comments to contact@doi.org.http://www.doi.org/tools.htmlpitman2008-08-21T02:57:37+02:00DOI system tools <span itemprop="description">Encouraging and enabling the development of tools to facilitate the use of the DOI® System and DOI® names by end users is a priority of the International DOI Foundation. This page identifies tools that are currently available, with descriptions and links to their sources, and tools that are currently under development. More will be added as they become available. We welcome your comments to contact@doi.org.</span>http://wotan.liu.edu/dois/pitman2008-03-23T06:55:29+01:00access distributed document open system <a itemprop="url" data-versiondate="2008-03-23T06:55:29+01:00" href="http://wotan.liu.edu/dois/" rel="nofollow" class="description-link">http://wotan.liu.edu/dois/</a>http://lemon8.org/pitman2008-01-22T18:58:20+01:00journal system tools <a itemprop="url" data-versiondate="2008-01-22T18:58:20+01:00" href="http://lemon8.org/" rel="nofollow" class="description-link">http://lemon8.org/</a>