CompSci Weekend SuperThread (June 12, 2020) Computer Science

CompSci Weekend SuperThread (June 12, 2020)
Has anyone seen any interesting computer science lectures/keynotes during quarantine that you could recommend
Introduction to Bimachines
Suggestion: Note taking desktop apps for linux???
From SIGGRAPH 2020: Method reconstructs the geometry of complex 3D thin structures in high quality from a color video captured by a handheld camera
Logic of Indexed Arrays and Automatic Program Verification
[R] Toward Practical Real-World RL: New Criterion & Algorithm Enhance Deployment Efficiency
Free Volume in a PVME Polymer–Water Solution from Computer Simulations

CompSci Weekend SuperThread (June 12, 2020)

Posted: 11 Jun 2020 06:04 PM PDT

/r/compsci strives to be the best online community for computer scientists. We moderate posts to keep things on topic.

This Weekend SuperThread provides a discussion area for posts that might be off-topic normally. Anything Goes: post your questions, ideas, requests for help, musings, or whatever comes to mind as comments in this thread.

Pointers

If you're looking to answer questions, sort by new comments.
If you're looking for answers, sort by top comment.
Upvote a question you've answered for visibility.
Downvoting is discouraged. Save it for discourteous content only.

Caveats

It's not truly "Anything Goes". Please follow Reddiquette and use common sense.
Homework help questions are discouraged.

submitted by /u/AutoModerator
[link] [comments]

Has anyone seen any interesting computer science lectures/keynotes during quarantine that you could recommend

Posted: 11 Jun 2020 09:51 AM PDT

I am both bored and writing a personal statement, so if anyone has seen an interesting lecture(maybe on the royal institute yt channel) that they would recommend that would be great!

submitted by /u/-InThePit-
[link] [comments]

Introduction to Bimachines

Posted: 12 Jun 2020 04:16 AM PDT

submitted by /u/deniskyashif
[link] [comments]

Suggestion: Note taking desktop apps for linux???

Posted: 11 Jun 2020 10:37 PM PDT

Hey guys, in this quarantine I got my fingers into a lot of pies and it's getting kind of hard to manage them all at once. I really dislike taking handwritten notes when I am not in a class. I've wanted a good note taking desktop app for linux (Ubuntu). Any good recommendations :)

submitted by /u/down-the-rabbit_hole
[link] [comments]

From SIGGRAPH 2020: Method reconstructs the geometry of complex 3D thin structures in high quality from a color video captured by a handheld camera

Posted: 11 Jun 2020 07:56 PM PDT

submitted by /u/MLtinkerer
[link] [comments]

Logic of Indexed Arrays and Automatic Program Verification

Posted: 11 Jun 2020 03:48 PM PDT

Hello Everyone,

I have a question about the state of art of automatic program verification especially i'm interested in Quantified assertion over arrays

For Example Consider a program that outputs the index of the maximum value of an array

forall j in [0,length(x)] x[b] > x[j] where b is the index of the max

submitted by /u/smxadn94
[link] [comments]

[R] Toward Practical Real-World RL: New Criterion & Algorithm Enhance Deployment Efficiency

Posted: 11 Jun 2020 02:19 PM PDT

Researchers from the University of Tokyo and Google Research have proposed a new metric for reinforcement learning (RL) performance and novel Behaviour-Regularized Model-ENsemble (BREMEN) algorithm designed to manage the costs and risks of new policy deployment.

Here is a quick read: Toward Practical Real-World RL: New Criterion & Algorithm Enhance Deployment Efficiency

The paper Deployment-Efficient Reinforcement Learning via Model-Based Offline Optimization is on arXiv.

submitted by /u/Yuqing7
[link] [comments]

Free Volume in a PVME Polymer–Water Solution from Computer Simulations

Posted: 11 Jun 2020 01:43 PM PDT

submitted by /u/DusanRck
[link] [comments]