- Tactic Learning and Proving for the Coq Proof Assistant: "We present a system that utilizes machine learning for tactic proof search in the Coq Proof Assistant ... our system predicts appropriate tactics and finds proofs in the form of tactic scripts" [abstract + link to PDF]
- Online Master's in Computer Science Website Project
- Technical terminology of distributed system applied in Folding@home
- Covid-19 chatbot
- Please help me with my java program!!
- Programming RFID tags
- Books on HTTP
- Question(s) related to distributed data systems and data locality
- Finding the site of the potential collision between 2 vehicles
| Posted: 23 Mar 2020 02:18 AM PDT |
| Online Master's in Computer Science Website Project Posted: 22 Mar 2020 05:53 PM PDT Hello everyone, I made a flask web app for a school project that I think may be helpful to some people. I've been looking at programs and found it a pain to find specific application requirements (such as GRE/Letters of Recommendation) and price (only tuition information that I could find is included) all in the same place. I went to every website I could find in an attempt to find every fully online master's in computer science program that is not from a for-profit college (I didn't include IT, Software Engineering, etc. only CS). Any feedback for missed programs, mistakes in the data, or general improvement that could be made would be appreciated. It is pretty simple because it is the first website I've made. Anyone can have the spreadsheet of the data I collected if they would like it as well. Here is the link: https://online-masters-cs.herokuapp.com/ [link] [comments]  |
| Technical terminology of distributed system applied in Folding@home Posted: 22 Mar 2020 04:13 PM PDT Is ther a technical terminology that describes the application of distributed systems in projects such as Folding@home? Is there a canonical paper that introduces this? Or is it simply an application of distributed systems? Anyone aware of other similar projects perhaps applied to different industries? edit: What do you know! Nearly immediately after posting this, I found a list of distributed computing projects! But the questions remain. [link] [comments]  |
| Posted: 22 Mar 2020 08:21 AM PDT Hey guys created a covid19 bot using Python which share real time news and updates about covid-19 Bot link :- https://t.me/Covidvirus_bot Project link :- https://github.com/Arbazkhan4712 Visit for More :- https://arbaazkhan.ml/ Also check out my channel for more awesome contant:- https://www.youtube.com/c/GetSetCoding47 share it as much as you can and help aware everyone about the latest news and updates about covid-19 [link] [comments]  |
| Please help me with my java program!! Posted: 22 Mar 2020 08:49 PM PDT I need to write a program that converts a base 10 int to any bases between 2 and 19 and I need to use arrays. Please help I can't find any answers. [link] [comments]  |
| Posted: 22 Mar 2020 08:03 AM PDT Hi, does anyone have any experience with programming RFID tags, ie when an RFID tag passes a sensor, the sensor beeps [link] [comments]  |
| Posted: 22 Mar 2020 10:27 AM PDT I was wondering if there were any books or certificates online that explain advanced HTTP subjects. I am still lost at understand what is a POST, or PUT, and REST. I want to become an expert in this subject. So far I have just been following tutorials like this one https://blog.anvileight.com/posts/simple-python-http-server/ [link] [comments]  |
| Question(s) related to distributed data systems and data locality Posted: 22 Mar 2020 08:31 AM PDT Hi all! First off, if this is the wrong subreddit for this kind of thing, or if there's a better one to post to, please let me know and I can move/remove this post! I'm hoping to do a (somewhat short) research project for school related to data locality in globally distributed data systems, and was hoping to get some feedback on a few things. First off, it will be largely inspired by/based on Facebook's Akkio technology: https://www.usenix.org/system/files/osdi18-annamalai.pdf. It will be largely exploratory in nature; i.e., I won't be devastated if what I come up with doesn't work all that well in practice. I just want to be able to try things out and write a paper about my findings. My biggest question is whether anyone is aware of any (publicly accessible) datasets that contain data access histories, including most importantly location. Or if anyone has any suggestions on how this data could be generated without totally skewing any possible results, that would be great too. Once I have some data, I intend to try and optimize data migrations based on access trends... I'll probably start with some simple statistical approaches and then work my way up to some slightly more complex ML approaches. If anyone has any suggestions on ideas for this, that would be super helpful also! Thank you in advance! [link] [comments]  |
| Finding the site of the potential collision between 2 vehicles Posted: 22 Mar 2020 05:47 AM PDT I've been trying to implement the unaligned collision avoidance steering behavior. I get what needs to be done on a high level, but struggle with the maths behind it. On Craig Reynolds site, he describes
For the trajectory of the vehicles, I simply store a velocity vector (x, y), and to change it an acceleration vector is used. The collision avoidance behavior should return a force (in the form of a vector). How you would find the nearest approach (Isn't this just where they collide?) and the site of the predicted collision? [link] [comments]  |
| You are subscribed to email updates from Computer Science: Theory and Application. To stop receiving these emails, you may unsubscribe now. | Email delivery powered by Google |
| Google, 1600 Amphitheatre Parkway, Mountain View, CA 94043, United States | |
No comments:
Post a Comment