• Breaking News

    Tuesday, May 12, 2020

    Home Unlabelled How do we know The Halting Problem isn't only impossible to implement for itself? Computer Science

    How do we know The Halting Problem isn't only impossible to implement for itself? Computer Science

    May 12, 2020

    How do we know The Halting Problem isn't only impossible to implement for itself? Computer Science

    How do we know The Halting Problem isn't only impossible to implement for itself?

    Posted: 11 May 2020 10:53 PM PDT

    I've been aware of The Halting Problem since university, but it's not until Tim Scott just did a video on it that I realized a basic question:

    Alan Turing proved that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist by coming up a counterexample that causes a paradox.

    That of course dismisses the possibility of "all" programs from being decideable.

    But is this result actually meaningful? Do we know of other relevant programs that cannot be evaluated?

    Or is it just a thought experiment?

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

    Richard Feynman’s Advice to a Young Stephen Wolfram (1985)

    Posted: 11 May 2020 05:30 AM PDT

    Do all Computer Science courses include Calculus?

    Posted: 11 May 2020 09:35 PM PDT

    I am currently an undergraduate taking CompSci. Contrary to what i have read and heard, my degree programme doesn't have Calculus/other types of math in it except logical problem solving. Is it normal?

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

    Medical Coursework

    Posted: 12 May 2020 04:08 AM PDT

    I'm creating a medical app for my A level coursework and doing a questionnaire on what most people would like to see in an application as such, the intro is :

    "My application, Healthcare for the everyday user would combat misinformation by scraping data from only peer-reviewed scientific advice on well-established websites such as the NHS, providing users with the most up to date information on medical conditions, treatments, and the latest medical articles."

    What features would you like to see in addition to those already described and do you have any other recommendations?

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

    Remembering John Conway's FRACTRAN, a ridiculous, yet surprisingly deep language

    Posted: 11 May 2020 09:32 AM PDT

    ICYMI: Real-world Masked Face Recognition Dataset (RMFRD) is currently the world's largest real-world masked face dataset

    Posted: 11 May 2020 04:37 PM PDT

    How to get into theoretical computer science research?

    Posted: 11 May 2020 03:49 PM PDT

    I'm entering my final semester in CS this fall. I recently finished courses in linear algebra and graph theory and realized I actually really like doing math proofs. However, I didn't know that I would like math proofs before so I haven't taken theoretical CS courses like complexity theory yet.

    Since this fall will be my last semester, is it still possible for me to get research experience in theoretical CS before I graduate? Which areas in CS is most closely associated with linear algebra and graph theory?

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

    [R] Cooperation Instead of Competition: Harvard & Microsoft Research Optimizes AI-Human Teamwork

    Posted: 11 May 2020 02:26 PM PDT

    Machines beating up on humans is old news — maybe it's time we all learn to work nicely together? A new paper explores the potentially richer optimizations that could result from a spirit of human-machine teamwork built on complementarity.

    The first author of Learning to Complement Humans is a Harvard PhD student focused on optimization and ML for social impact. Bryan Wilder and his supervisors at Microsoft Research propose that optimizing AI performance in isolation overlooks common situations where human expertise can contribute complementary perspectives. The paper introduces methods for optimizing team performance wherein machines perform some parts of a given task and humans others.

    Here is a quick read: Cooperation Instead of Competition: Harvard & Microsoft Research Optimizes AI-Human Teamwork

    The paper Learning to Complement Humans is on arXiv.

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

    [R] ProSelfLC: Progressive Self Label Correction for Target Revising in Label Noise https://arxiv.org/pdf/2005.03788.pdf

    Posted: 11 May 2020 03:43 PM PDT

    ICYMI: Novel approach to generating high-resolution images

    Posted: 11 May 2020 08:10 PM PDT

    Would it be better to use a weighted graph data structure or a matrix for an implementation of TextRank?

    Posted: 11 May 2020 04:55 PM PDT

    I'm working on a project in my lab in Java. We're attempting to add a text summarization algorithm to our system. We decided on using TextRank combined with TF-IDF for making sentence vectors and Cosine Similarity for calculating similarity between the vectors, mostly due to it yielding acceptable (for the most part) results without being as computationally intensive as word embeddings. Sadly there's not a good implementation of textrank for Java already made out there (the one in the opennlp sandbox is deprecated and poorly written).

    I'm going to base my Java implementation off the code in a python library for TextRank called Summa. However, I'm trying to decide whether I should use an actual weighted graph data structure (since that's how the paper presents it), or a matrix (in la4j) with each i, j index indicating the similarity between sentence i and j.

    Would anyone whose a bit more familiar with the TextRank algorithm be willing to weigh in on which approach would be best? Thank you in advance!

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

    Latest from MIT researchers: A new methodology for lidar super-resolution with ground vehicles

    Posted: 11 May 2020 01:57 PM PDT

    The Infinity Machine

    Posted: 11 May 2020 12:15 PM PDT

    Best Python Courses to Learn

    Posted: 11 May 2020 05:07 AM PDT
    Read more
    at

    No comments:

    Post a Comment