{"id":2672,"date":"2019-09-03T20:13:22","date_gmt":"2019-09-04T00:13:22","guid":{"rendered":"https:\/\/portfolios.cs.earlham.edu\/?p=2672"},"modified":"2019-09-03T20:15:42","modified_gmt":"2019-09-04T00:15:42","slug":"cs-388-week-2-three-ideas","status":"publish","type":"post","link":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/","title":{"rendered":"CS 388 \u2013 Week 2 \u2013 Three Ideas"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><strong>Breakdown of Mathematical Proofs Using Natural Language Processing<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">I wish to use natural language processing to break down a\nbachelor-level mathematical proof into the components that make up a proof\n(e.g. given knowledge, statements, calculations). This will be shown in a GUI\nso that the user can clearly see the build-up of their proof. Without\nconstraints of time, some more technologies could be applied (machine learning)\nto give feedback to the user of the strength of their proof.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>WhatsUp! : A Passive Event-Sharing Application for Friends<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This application will enable a user to check on friends current\/planned activities through a simple feed or calendar. Events will have scheduled times, lists of \u201cagreed\u201d participants, and the location. They can be confirmed events, or requests for an event, such as someone looking to go to Walmart at a certain time. Privacy settings could be configured to those in a Geo-Area, or to a specific list of friends, and notifications could also be customized.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Extensive Music Recommendation Website<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This website will allow users to input songs and\/or\nattribute values to return recommendations. Users will be able to view detailed\nanalysis of their input tracks attributes and can search also with track\nattributes (e.g. acousticness, energy, speechiness). This will be done with the\nSpotify API.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Breakdown of Mathematical Proofs Using Natural Language Processing I wish to use natural language processing to break down a bachelor-level mathematical proof into the components that make up a proof (e.g. given knowledge, statements, calculations). This will be shown in a GUI so that the user can clearly see the build-up of their proof. Without &#8230; <a title=\"CS 388 \u2013 Week 2 \u2013 Three Ideas\" class=\"read-more\" href=\"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/\" aria-label=\"Read more about CS 388 \u2013 Week 2 \u2013 Three Ideas\">Read more<\/a><\/p>\n","protected":false},"author":70,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[80,88,19],"tags":[],"class_list":["post-2672","post","type-post","status-publish","format-standard","hentry","category-80","category-aleksandr-sergeev","category-student"],"_links":{"self":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts\/2672","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/users\/70"}],"replies":[{"embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/comments?post=2672"}],"version-history":[{"count":3,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts\/2672\/revisions"}],"predecessor-version":[{"id":2675,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts\/2672\/revisions\/2675"}],"wp:attachment":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/media?parent=2672"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/categories?post=2672"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/tags?post=2672"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}