<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="https://www.bibsonomy.org/tag/computation"><title>BibSonomy bookmarks for /tag/computation</title><link>https://www.bibsonomy.org/tag/computation</link><description>BibSonomy RSS Feed for /tag/computation</description><items><rdf:Seq><rdf:li rdf:resource="https://wireilla.com/papers/ijcis/V14N2/14224ijcis01.pdf"/><rdf:li rdf:resource="https://web.archive.org/web/20231016133443/https://phys.org/news/2023-10-cheapest-plane-ticket.html"/><rdf:li rdf:resource="https://twitter.com/SchillerJackie/status/1515189673756344321"/><rdf:li rdf:resource="https://www.science.org/doi/10.1126/science.abn1421#.YljtXxX6YoA.twitter"/><rdf:li rdf:resource="https://www.smbc-comics.com/comic/2013-11-14"/><rdf:li rdf:resource="http://people.duke.edu/~ccc14/"/><rdf:li rdf:resource="https://people.duke.edu/~ccc14/sta-663/index.html"/><rdf:li rdf:resource="http://people.eecs.berkeley.edu/~tianshi/research.html"/><rdf:li rdf:resource="https://people.eecs.berkeley.edu/~jordan/courses.html"/><rdf:li rdf:resource="https://dspace.mit.edu/bitstream/handle/1721.1/55908/18-409Fall-2007/OcwWeb/Mathematics/18-409Fall-2007/Readings/index.htm"/><rdf:li rdf:resource="http://stellar.mit.edu/S/course/18/fa09/18.409/materials.html"/><rdf:li rdf:resource="http://users.cms.caltech.edu/~vidick/teaching/"/><rdf:li rdf:resource="https://courses.csail.mit.edu/6.042/spring18/"/><rdf:li rdf:resource="http://mfleck.cs.illinois.edu/building-blocks/"/><rdf:li rdf:resource="http://jeffe.cs.illinois.edu/teaching/algorithms/"/><rdf:li rdf:resource="https://lucatrevisan.github.io/"/><rdf:li rdf:resource="https://lucatrevisan.wordpress.com/lecture-notes/"/><rdf:li rdf:resource="https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/"/><rdf:li rdf:resource="https://cs121.boazbarak.org/"/><rdf:li rdf:resource="https://files.boazbarak.org/introtcs/lnotes_book.pdf"/></rdf:Seq></items></channel><item rdf:about="https://wireilla.com/papers/ijcis/V14N2/14224ijcis01.pdf"><title>A universal whitening algorithm for commercial random number generators</title><description>In this work, we present a universal whitening algorithm using n-qubit permutation matrices to
remove the imperfections in commercial random number generators without compression. Specifically, we demonstrate the efficacy of our algorithm in several categories of random number generators
and its comparison with cryptographic hash functions and block ciphers.</description><link>https://wireilla.com/papers/ijcis/V14N2/14224ijcis01.pdf</link><dc:creator>alinta</dc:creator><dc:date>2024-10-17T11:34:35+02:00</dc:date><dc:subject>&amp; Biological Coding Computation Cryptography Evolutionary Quantum and cryptography </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;In this work, we present a universal whitening algorithm using n-qubit permutation matrices to
remove the imperfections in commercial random number generators without compression. Specifically, we demonstrate the efficacy of our algorithm in several categories of random number generators
and its comparison with cryptographic hash functions and block ciphers.&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/&amp;"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/Biological"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/Coding"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/Computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/Cryptography"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/Evolutionary"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/Quantum"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/and"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/cryptography"/></rdf:Bag></taxo:topics></item><item rdf:about="https://web.archive.org/web/20231016133443/https://phys.org/news/2023-10-cheapest-plane-ticket.html"><title>New research shows why hunting for the cheapest plane ticket is a waste of your time</title><description></description><link>https://web.archive.org/web/20231016133443/https://phys.org/news/2023-10-cheapest-plane-ticket.html</link><dc:creator>bshanks</dc:creator><dc:date>2023-10-20T09:13:58+02:00</dc:date><dc:subject>computation computer econ plane rational </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2023-10-20T09:13:58+02:00&#034; href=&#034;https://web.archive.org/web/20231016133443/https://phys.org/news/2023-10-cheapest-plane-ticket.html&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;https://web.archive.org/web/20231016133443/https://phys.org/news/2023-10-cheapest-plane-ticket.html&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computer"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/econ"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/plane"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/rational"/></rdf:Bag></taxo:topics></item><item rdf:about="https://twitter.com/SchillerJackie/status/1515189673756344321"><title>Jackie Schiller on Twitter: &#034;We are happy to share our new story published in Science today on &#034;Dynamic compartmental computations in tuft dendrites of layer-5 neurons during motor behavior&#034; https://t.co/e5X0tgDZD8&#034; / Twitter</title><description></description><link>https://twitter.com/SchillerJackie/status/1515189673756344321</link><dc:creator>bshanks</dc:creator><dc:date>2022-06-11T23:21:27+02:00</dc:date><dc:subject>computation dendrite motor </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2022-06-11T23:21:27+02:00&#034; href=&#034;https://twitter.com/SchillerJackie/status/1515189673756344321&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;https://twitter.com/SchillerJackie/status/1515189673756344321&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/dendrite"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/motor"/></rdf:Bag></taxo:topics></item><item rdf:about="https://www.science.org/doi/10.1126/science.abn1421#.YljtXxX6YoA.twitter"><title>Dynamic compartmental computations in tuft dendrites of layer 5 neurons during motor behavior</title><description></description><link>https://www.science.org/doi/10.1126/science.abn1421#.YljtXxX6YoA.twitter</link><dc:creator>bshanks</dc:creator><dc:date>2022-06-11T23:20:27+02:00</dc:date><dc:subject>computation dendrite intracellular intraneuronal </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2022-06-11T23:20:27+02:00&#034; href=&#034;https://www.science.org/doi/10.1126/science.abn1421#.YljtXxX6YoA.twitter&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;https://www.science.org/doi/10.1126/science.abn1421#.YljtXxX6YoA.twitter&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/dendrite"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/intracellular"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/intraneuronal"/></rdf:Bag></taxo:topics></item><item rdf:about="https://www.smbc-comics.com/comic/2013-11-14"><title>Saturday Morning Breakfast Cereal - 2013-11-14</title><description></description><link>https://www.smbc-comics.com/comic/2013-11-14</link><dc:creator>bshanks</dc:creator><dc:date>2020-07-09T04:32:31+02:00</dc:date><dc:subject>computation economics rational rationality smbc </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2020-07-09T04:32:31+02:00&#034; href=&#034;https://www.smbc-comics.com/comic/2013-11-14&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;https://www.smbc-comics.com/comic/2013-11-14&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/economics"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/rational"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/rationality"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/smbc"/></rdf:Bag></taxo:topics></item><item rdf:about="http://people.duke.edu/~ccc14/"><title>Courses for Numerical Sampling and Inference</title><description>Courses for Numerical Sampling and Inference at Duke</description><link>http://people.duke.edu/~ccc14/</link><dc:creator>kirk86</dc:creator><dc:date>2020-06-16T22:37:52+02:00</dc:date><dc:subject>computation course inference lecture notes sampling website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Courses for Numerical Sampling and Inference at Duke&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/inference"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lecture"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/notes"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/sampling"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="https://people.duke.edu/~ccc14/sta-663/index.html"><title>Computational Statistics in Python</title><description>Computational Statistics in Python Course</description><link>https://people.duke.edu/~ccc14/sta-663/index.html</link><dc:creator>kirk86</dc:creator><dc:date>2020-06-16T22:30:53+02:00</dc:date><dc:subject>computation course lecture mcmc notes sampling website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Computational Statistics in Python Course&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lecture"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/mcmc"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/notes"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/sampling"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="http://people.eecs.berkeley.edu/~tianshi/research.html"><title>tianshi/research.html</title><description></description><link>http://people.eecs.berkeley.edu/~tianshi/research.html</link><dc:creator>bshanks</dc:creator><dc:date>2020-06-14T01:22:46+02:00</dc:date><dc:subject>computation phase turing universal </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2020-06-14T01:22:46+02:00&#034; href=&#034;http://people.eecs.berkeley.edu/~tianshi/research.html&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://people.eecs.berkeley.edu/~tianshi/research.html&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/phase"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/turing"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/universal"/></rdf:Bag></taxo:topics></item><item rdf:about="https://people.eecs.berkeley.edu/~jordan/courses.html"><title>Courses By Michael Jordan</title><description>Courses into CS and Stats</description><link>https://people.eecs.berkeley.edu/~jordan/courses.html</link><dc:creator>kirk86</dc:creator><dc:date>2020-01-28T15:40:17+01:00</dc:date><dc:subject>complexity computation course lecture notes probability stats website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Courses into CS and Stats&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/complexity"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lecture"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/notes"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/probability"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/stats"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="https://dspace.mit.edu/bitstream/handle/1721.1/55908/18-409Fall-2007/OcwWeb/Mathematics/18-409Fall-2007/Readings/index.htm"><title>Topics in Theoretical Computer Science: An Algorithmist&#039;s Toolkit</title><description>Topics in Theoretical Computer Science: An Algorithmist&#039;s Toolkit 2007</description><link>https://dspace.mit.edu/bitstream/handle/1721.1/55908/18-409Fall-2007/OcwWeb/Mathematics/18-409Fall-2007/Readings/index.htm</link><dc:creator>kirk86</dc:creator><dc:date>2020-01-15T02:48:41+01:00</dc:date><dc:subject>computation course lecture notes theory website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Topics in Theoretical Computer Science: An Algorithmist&amp;#039;s Toolkit 2007&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lecture"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/notes"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/theory"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="http://stellar.mit.edu/S/course/18/fa09/18.409/materials.html"><title>Topics in Theoretical Computer Science</title><description>Topics in Theoretical Computer Science</description><link>http://stellar.mit.edu/S/course/18/fa09/18.409/materials.html</link><dc:creator>kirk86</dc:creator><dc:date>2020-01-15T02:45:11+01:00</dc:date><dc:subject>computation course lecture notes theory website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Topics in Theoretical Computer Science&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lecture"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/notes"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/theory"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="http://users.cms.caltech.edu/~vidick/teaching/"><title>Theoretical Computer Science</title><description>Advanced Theoretical Computer Science</description><link>http://users.cms.caltech.edu/~vidick/teaching/</link><dc:creator>kirk86</dc:creator><dc:date>2020-01-14T16:24:15+01:00</dc:date><dc:subject>computation course lecture notes slides theory website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Advanced Theoretical Computer Science&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lecture"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/notes"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/slides"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/theory"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="https://courses.csail.mit.edu/6.042/spring18/"><title>Mathematics of CS</title><description>Mathematics of CS MIT 6.042 Spring 2018</description><link>https://courses.csail.mit.edu/6.042/spring18/</link><dc:creator>kirk86</dc:creator><dc:date>2020-01-07T03:26:52+01:00</dc:date><dc:subject>book computation mathematics notes website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Mathematics of CS MIT 6.042 Spring 2018&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/book"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/mathematics"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/notes"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="http://mfleck.cs.illinois.edu/building-blocks/"><title>Building Blocks for Theoretical Computer Science</title><description>Building Blocks for Theoretical Computer Science</description><link>http://mfleck.cs.illinois.edu/building-blocks/</link><dc:creator>kirk86</dc:creator><dc:date>2020-01-07T03:02:01+01:00</dc:date><dc:subject>book computation mathematics website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Building Blocks for Theoretical Computer Science&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/book"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/mathematics"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="http://jeffe.cs.illinois.edu/teaching/algorithms/"><title>Algorithms by Jeff Erickson</title><description>Algorithms by Jeff Erickson</description><link>http://jeffe.cs.illinois.edu/teaching/algorithms/</link><dc:creator>kirk86</dc:creator><dc:date>2020-01-07T02:59:34+01:00</dc:date><dc:subject>book computation theory website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Algorithms by Jeff Erickson&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/book"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/theory"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="https://lucatrevisan.github.io/"><title>Luca Trevisan Lecture Notes on Theoretical CS and ML</title><description>Luca Trevisan Lecture Notes on Theoretical CS, ML and Optim</description><link>https://lucatrevisan.github.io/</link><dc:creator>kirk86</dc:creator><dc:date>2019-11-14T20:16:45+01:00</dc:date><dc:subject>complexity computation course lecture notes optimization probability stats theory website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Luca Trevisan Lecture Notes on Theoretical CS, ML and Optim&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/complexity"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lecture"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/notes"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/optimization"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/probability"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/stats"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/theory"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="https://lucatrevisan.wordpress.com/lecture-notes/"><title>Lecture Notes | in theory</title><description>This page provides quick links to lecture notes that I have written for various classes: CS254: A graduate class on computational complexity (Stanford) [Spring 2010 Class Home Page] [Notes for Lectures 1-8] CS278: A graduate class on computational complexity (Berkeley) [Spring 2001 Class Home Page] [Fall 2002 Class Home Page] [2001 Lecture Notes in book…</description><link>https://lucatrevisan.wordpress.com/lecture-notes/</link><dc:creator>kirk86</dc:creator><dc:date>2019-11-09T20:39:24+01:00</dc:date><dc:subject>complexity computation course lecture notes optimization theory website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;This page provides quick links to lecture notes that I have written for various classes: CS254: A graduate class on computational complexity (Stanford) [Spring 2010 Class Home Page] [Notes for Lectures 1-8] CS278: A graduate class on computational complexity (Berkeley) [Spring 2001 Class Home Page] [Fall 2002 Class Home Page] [2001 Lecture Notes in book…&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/complexity"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lecture"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/notes"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/optimization"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/theory"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/"><title>Mathematics for Computer Science | Electrical Engineering and Computer Science | MIT OpenCourseWare</title><description>This subject offers an interactive introduction to discrete mathematics oriented toward computer science and engineering. The subject coverage divides roughly into thirds: Fundamental concepts of mathematics: Definitions, proofs, sets, functions, relations. Discrete structures: graphs, state machines, modular arithmetic, counting. Discrete probability theory. On completion of 6.042J, students will be able to explain and apply the basic methods of discrete (noncontinuous) mathematics in computer science. They will be able to use these methods in subsequent courses in the design and analysis of algorithms, computability theory, software engineering, and computer systems.Interactive site components can be found on the Unit pages in the left-hand navigational bar, starting with Unit 1: Proofs.</description><link>https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/</link><dc:creator>kirk86</dc:creator><dc:date>2019-11-08T18:31:34+01:00</dc:date><dc:subject>book computation course mathematics proof-systems website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;This subject offers an interactive introduction to discrete mathematics oriented toward computer science and engineering. The subject coverage divides roughly into thirds: Fundamental concepts of mathematics: Definitions, proofs, sets, functions, relations. Discrete structures: graphs, state machines, modular arithmetic, counting. Discrete probability theory. On completion of 6.042J, students will be able to explain and apply the basic methods of discrete (noncontinuous) mathematics in computer science. They will be able to use these methods in subsequent courses in the design and analysis of algorithms, computability theory, software engineering, and computer systems.Interactive site components can be found on the Unit pages in the left-hand navigational bar, starting with Unit 1: Proofs.&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/book"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/mathematics"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/proof-systems"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="https://cs121.boazbarak.org/"><title>CS-121 / CSCI-E121: Introduction to Theoretical Computer Science :: CS 121 Website</title><description>Introduction to Theoretical Computer Science  - Harvard CS Concentration</description><link>https://cs121.boazbarak.org/</link><dc:creator>kirk86</dc:creator><dc:date>2019-09-09T12:40:36+02:00</dc:date><dc:subject>computation course theory website </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Introduction to Theoretical Computer Science  - Harvard CS Concentration&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/course"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/theory"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/website"/></rdf:Bag></taxo:topics></item><item rdf:about="https://files.boazbarak.org/introtcs/lnotes_book.pdf"><title>Introduction to Theoretical Computer Science</title><description>Barak, Boaz</description><link>https://files.boazbarak.org/introtcs/lnotes_book.pdf</link><dc:creator>kirk86</dc:creator><dc:date>2019-09-03T15:06:42+02:00</dc:date><dc:subject>book computation mathematics theory </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Barak, Boaz&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/book"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/computation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/mathematics"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/theory"/></rdf:Bag></taxo:topics></item></rdf:RDF>