• Breaking News

    Thursday, July 2, 2020

    Home Unlabelled New algorithm verified the Collatz problem for all numbers below 2^68 Computer Science

    New algorithm verified the Collatz problem for all numbers below 2^68 Computer Science

    July 02, 2020

    New algorithm verified the Collatz problem for all numbers below 2^68 Computer Science

    New algorithm verified the Collatz problem for all numbers below 2^68

    Posted: 02 Jul 2020 12:14 AM PDT

    Masters in computer science but not many practical skills

    Posted: 01 Jul 2020 10:20 AM PDT

    So I've just finished a master's in computer science with focusses on ML and robotics. My undergraduate was in electronic engineering. My problem is that I feel I have good skills in specific tasks but I'm quite poor with general coding skills and some other basic compsci knowledge an employer looks for which I missed by not doing compsci undergrad.

    Does anyone have any sources I could use to build/brush up some basic knowledge and python/C++ skills which would be useful in developer roles?

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

    My Foolproof Roadmap for Mastery of Theoretical Computer Science

    Posted: 01 Jul 2020 11:31 PM PDT

    Step 1. Develop Mathematical Intuition

    It is the first thing I realised I needed to get anything rigorous done in the world of Computer Science especially Theoretical CS. So I have been reading Proof Writing (How to Prove It by Velleman) and Axiomatic Set Theory (Set Theory: A First Course by Cunningham). I came from not so academic background where I learnt mostly hands on software development and when finally I decided to learn Algorithms (CLRS) rigorously I found myself severely lacking in Mathematical Intuition. Reading these two books, I felt getting more and more comfortable with Mathematics every passing day.

    Step 2. Master Algorithmic Thinking

    Right after I finished learning about Proofing Writing book, I started re-reading Introduction to Algorithms by CLRS texbook again, and I was very excited by how comfortable with the proofing of Algorithm Correctness and Growth Rates. They are all just a form of Induction and, sometimes, strong induction. There are still some concepts that I found quite challenged to wrap my head around like Red-Black Trees and Dynamic Programming (analyzing subproblems and their dependencies). But I feel quite optimistic that I should be able to handle them quite comfortably given enough time and focus.

    Step 3. Learn Theory of Computation

    Next, I'll use my mathematical and algorithmic intuition that I have built up and will learn Theory of Computation from Micheal Sipser's Introduction to Theory of Computation where I'll learn about Automata, Computability and Complexity Theory.

    Step 4. Compiler Design and Optimisation

    Using my knowledge on State Machines from learning Theory of Computation, I'll give me a head start into learning Compiler Design from the legendary Dragon Book. I believe Compiler Design will allow me to understand deeply about the inner workings of Programming Languages in terms of not only on Lexical and Syntax level also Runtime Environments and Data Flow Analysis.

    Step 5. Mathematical Maturity

    Step 5A: I'm also planning to delve a little into Deep Learning so, I might need to learn Introductory Linear Algebra by Gilbert Strang. Even if I never get to do Artificial Intelligence, I believe Lin Alg will help me become more comfortable with manipulating Data and better visualize the their dimensions.

    Step 5B: Real Analysis is what separate Men from the Bois when it comes to Mathematical Maturity. As such I am eyeing the much revered text, Baby Rudin. Notorious for its terse delivery and one-liner proofs but since by this point I'm already well versed with Proof Writing, Set Theory and Linear Algebra and I think I will have enough to tackle what comes out of that book.

    Step 6: Measure Theory

    I want to to explore the building blocks of Probability Theory which has led me to Measure Theory. It will allow me understand Probabilistic and Stochastic reasonings to approach much more advanced topics of computations below.

    Step 7: Advanced Models of Computation

    Using the Mathematical Maturity and Automata Theory knowledge gained in the previous steps, it's time to study Models of Computation in much greater detail in terms of Higher-Order Functional Language, Nondeterministic and Interactive models, and Probabilistic/Stochastic models.

    Step 8: Functional Analysis

    "Linear Algebra on Steriods" as they call it. It's a natural continuation from Real Analysis, Linear Algebra and Measure Theory. I believe Functional Analysis (by Kreyzig) will allow me to discuss classic and latest literature from AI and Theoretical Computer Science on a higher dimension (pun intended).

    Step 9: Advanced Complexity Theory

    Finally, with maturity in terms of Advanced Models of Computation and Functional Analysis, it's time to tackle topics from Computational Complexity: A Modern Approach such as Circuit Complexity, PCP Theorems, Fourier Transforms, and Quantum Computation.

    This by no means marks the end of my journey in Mastery of Computer Science. According to my calculations, it would take me roughly 4 years to get till the end of Step 9. As of now, I'm a rising junior undergraduate and I'm obsessed with learning new stuffs in Computer Science and I'm literally reading textbooks on my own account in my spare time apart from my university studies instead of playing video games or partying (I major in Information Systems which sucks but I have been doing a Research Assistantship for my mentor-professor for the previous 2 summers. He said to me that I have what it takes to continue PhD studies in Computer Science after I graduate which is quite uplifting.)

    Please add on if I missed out any area in order to master Computer Science. I have heard from a good number of peeps that Elements of Statistical Learning is the "Bible" for AI Practitioners and Data Scientists.

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

    [R] Open discussion on deep robustness, please!

    Posted: 02 Jul 2020 01:31 AM PDT

    Guys please help a brother out ...some topic ideas

    Posted: 02 Jul 2020 05:03 AM PDT

    C++ projects for complete beginners

    Posted: 02 Jul 2020 04:58 AM PDT

    Are there any good webdev masters programs?

    Posted: 02 Jul 2020 04:50 AM PDT

    I have a scholarship that covers the cost of a master's degree, and I'm looking to do it in web development.

    My background is in Econ, but I've taken a Coursera course or two on Python.

    Are there any good (in-person) masters programs that specialize in webdev? All the CS programs I've come across are focused more on theory.

    Thanks for the help!

    submitted by /u/home-cook
    [link] [comments]

    Top Main Uses Of C Programming Language In Future

    Posted: 02 Jul 2020 01:41 AM PDT

    Transdisciplinary Artificial Intelligence (TransAI) 2020 conference

    Posted: 01 Jul 2020 09:59 PM PDT

    Transdisciplinary Artificial Intelligence (TransAI) 2020 conference

    ​

    https://www.transai.org

    ​

    The paper submission deadline is extended to July 24, 2020.

    ​

    The conference will be held in California (September 21-23) with a hybrid mode. You may join the conference in person or online.

    ​

    ​

    Details:

    ​

    Artificial Intelligence (AI) is concerned with computing technologies that allow machines to see, hear, talk, think, learn, and solve problems even above the level of human beings. On the one hand it allows data to be analyzed by real-time models that enable unprecedented levels of accuracy and efficiency. On the other hand it enables domain specific problem solving and knowledge discovery that cannot be easily done by humans.

    ​

    ​

    Transdisciplinary AI 2020 (TransAI 2020), technically sponsored by the IEEE Computer Society, is an international forum focusing on the interactions between artificial intelligence (AI) and other research disciplines. It consists of themes that each addresses the applications of AI to a specific research discipline as well as how domain specific applications may advance the research on AI.

    ​

    The TransAI themes academic research including, but are not limited to, the following:

    ​

    ​​

    * Artificial Intelligence

    * Robotics

    * Human-Robot Interaction

    * Multi Agent Systems

    * Intelligent Transportation System

    * Autonomous Driving

    * Automatic Speech Recognition

    * Speech Synthesis

    * Computer Vision

    * Planning

    * Perception

    * Reasoning

    * knowledge Representation

    * Machine Learning

    * Statistical Learning

    * Deep Learning

    * Reinforcement Learning

    * AI and education

    * AI and humanities

    * AI and medicine

    * AI and agriculture

    * AI and sciences

    * AI and engineering

    * AI and law

    * AI and business

    ​​​

    The conference proceedings will be submitted to the IEEE Xplore® and/or IEEE Computer Society Press digital library. Distinguished quality papers presented at the conference will be selected for the best paper/poster awards and for publication in internationally renowned journals (SCI, EI, and/or Scopus indexed).

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

    Reaching level 5 autonomy (self driving cars)

    Posted: 01 Jul 2020 02:48 PM PDT

    What is the best coding bootcamp in IL?

    Posted: 01 Jul 2020 07:31 PM PDT

    ML/AI Code Implementation Finder (free browser extension)

    Posted: 01 Jul 2020 07:28 PM PDT

    Is this a good cs major?

    Posted: 01 Jul 2020 07:13 PM PDT

    [R] NetHack: Fast & Complex Learning Environment For Testing RL Agent Robustness & Generalization

    Posted: 01 Jul 2020 04:14 PM PDT

    The NetHack Learning Environment (NLE) aims to solve this problem. Introduced by a team of researchers from Facebook AI, University of Oxford, New York University, Imperial College London, and University College London, NLE is a procedurally generated environment for testing the robustness and systematic generalization of RL agents. The name "NetHack" is taken from a popular, procedurally generated dungeon exploration role-playing video game that helped inspire the new environment.

    Here is a quick read: NetHack: Fast & Complex Learning Environment For Testing RL Agent Robustness & Generalization

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

    We made a podcast about job hunting post grad. Hopefully it helps some of you setting out right now.

    Posted: 01 Jul 2020 07:28 AM PDT

    https://www.youtube.com/watch?v=sRfL-AiQRVE

    Enjoy :) Feel free to subscribe, we post weekly when we are not busy with life.

    submitted by /u/joom_enhance
    [link] [comments]
    Read more
    at

    No comments:

    Post a Comment