Encoding Turing Machines into the Deterministic λ-Calculus [PDF] Computer Science

---

• Encoding Turing Machines into the Deterministic λ-Calculus [PDF]
• Tips for a CS student into AI
• Human-Like Bots Infiltrate U.S. Lawmaking Process
• Requirements for my Big Data side project
• Do discrete quantum finite automata exist
• Cross-post to r/dddesign - a graph that resembles a Petri-Net but represents Elements of Domain Driven Design
• Understanding OOP - Object Calculi
• China’s Smart Speaker Market Heats Up
• A super-fast history of supercomputers: CDC 6600 to today
• [Serious] Why is everyone so obsessed with machine learning and AI?
• Sender-Initiated Load Balancing Algorithm
• The black friday and Cyber monday event ends in few hours, see if you like to consider a top course for 10 bucks

Encoding Turing Machines into the Deterministic λ-Calculus [PDF] Posted: 28 Nov 2017 08:40 PM PST submitted by /u/flexibeast [link] [comments]

Tips for a CS student into AI Posted: 28 Nov 2017 06:12 AM PST I am CS student that is about to finish college, i wanna get into AI but for my own. What are some books/tips to get into it? submitted by /u/elolugo [link] [comments]

Human-Like Bots Infiltrate U.S. Lawmaking Process Posted: 29 Nov 2017 02:12 AM PST submitted by /u/Neker [link] [comments]

Requirements for my Big Data side project Posted: 28 Nov 2017 06:23 PM PST Hey guys I'm trying to start a big data project using hadoop(cloudera dist). My goal is to use twitter streaming API to take in the data and do some analytics or MapReduce/Spark jobs on the data. This is the data flow of what I'm thinking: Twitter Stream API —> Flume —> HDFS —> Spark/MapReduce —> Some database. I would like the Twitter data to be real time streamed but don't know how I would actually store it. Also, I was thinking of using an ec2 instance to host my Hadoop/HDFS But I don't want to spend a lot of money for the amount of compute and run time of that instance. Does this make sense and/or possible in terms of data flow and architecture? Would I be spending a lot of money for my ec2 instance for running Hadoop on it? I've been thinking about this project a lot lately and I'm having a hard time just getting my requirements right. Thanks! submitted by /u/Scoobydoobyy [link] [comments]

Do discrete quantum finite automata exist Posted: 28 Nov 2017 11:43 AM PST Deterministic finite automata are awesome. Simple to explain, quite expressive given enough states, and have lots of practical applications. However, they are not able to express how quantum computing works quite as easily. The problem is the quantum variants require the use of complex numbers to describe their state (which means you must have knowledge about real analysis, at least, to formally reason about these automata). My questions are: 1) Is there any way to replace the complex numbers that appear in quantum finite automata with something discrete and still maintain the same power? 2) Could the same technique be used for the probabilistic finite automata that use real numbers? 3) How come these automata can use complex numbers and yet still seem to be fairly weak in deciding languages? Isn't the set of real numbers way bigger than the set of computable numbers? I'm trying to learn how quantum computing works and the model that I follow is the one described on the wiki of quantum state machines, that is: have state as a vector of quantum probability distribution and the transition function as a set of unitary matrices. The math itself is rather easy but having uncountable numbers in describing state machines seems excesive. submitted by /u/perpetuallyperpetual [link] [comments]

Cross-post to r/dddesign - a graph that resembles a Petri-Net but represents Elements of Domain Driven Design Posted: 28 Nov 2017 10:43 AM PST submitted by /u/orksliver [link] [comments]

Understanding OOP - Object Calculi Posted: 28 Nov 2017 09:09 AM PST submitted by /u/Wallblacksheep [link] [comments]

China’s Smart Speaker Market Heats Up Posted: 28 Nov 2017 03:18 PM PST submitted by /u/trcytony [link] [comments]

A super-fast history of supercomputers: CDC 6600 to today Posted: 28 Nov 2017 10:43 AM PST submitted by /u/yourbasicgeek [link] [comments]

[Serious] Why is everyone so obsessed with machine learning and AI? Posted: 28 Nov 2017 10:09 AM PST It seems like what anyone asks these days is about machine learning or artificial intelligence. Why is it that everybody and their grandmas want to get on the AI train? There are certainly other interesting fields within tech/computer science but it seems like they get way less love. submitted by /u/gerradisgod [link] [comments]

Sender-Initiated Load Balancing Algorithm Posted: 28 Nov 2017 10:51 AM PST I'm studying algorithms right now and am trying to write a program that utilizes the SI load balancing algorith. Do any of you know of any resources that explain how the algorith works or have pseudo code for it? I want to try to figure this out but am struggling to do so submitted by /u/phissure [link] [comments]

The black friday and Cyber monday event ends in few hours, see if you like to consider a top course for 10 bucks Posted: 28 Nov 2017 05:37 PM PST submitted by /u/what_you_gonna_do [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