Computer science
•
Formal science
•
Applied mathematics
•
Cognitive science
•
Branches of science
•
Fields of science
Discrete mathematics
Areas of computer science
List of computer science conferences
List of software engineering conferences
Theoretical computer science
Theoretical computer science is a division or subset of general computer science and mathematics that focuses on more abstract or mathematical aspects of computing and includes the theory of computati...
Theoretical computer science - Wikipedia
History of computer science
•
Computational complexity theory
•
Computational learning theory
•
Evolutionary computation
•
Formal languages
•
Formal methods
•
Graph theory
•
Information theory
•
Logic in computer science
•
Mathematical theorems in theoretical computer science
•
Mathematics of computing
•
Natural computing
•
Pseudorandomness
•
Quantum information science
•
Rewriting systems
•
Theoretical computer science conferences
•
Theoretical computer scientists
•
Theory of computation
•
Unsolved problems in computer science
IBM Unveils Groundbreaking Quantum Computing System
The Q System One is the first quantum system to consolidate thousands of components into a glass-enclosed, air-tight environment built specifically for business use. Subscribe to Fortune - http://ww...
IBM Unveils World's First Integrated Quantum Computing System for Commercial Use - Jan 8, 2019
IBM to Open Quantum Computation Center for Commercial Clients in Poughkeepsie, NY YORKTOWN HEIGHTS, N.Y., Jan. 8, 2019 /PRNewswire/ -- At the 2019 Consumer Electronics Show (CES), IBM (NYSE: IBM)...
Another step forward on universal quantum computer
Researchers have demonstrated holonomic quantum gates under zero-magnetic field at room temperature, which could enable the realization of fast and fault-tolerant universal quantum computers.
We’re Close to a Universal Quantum Computer, Here’s Where We’re At
Scientists are racing to build the world’s first universal quantum computer. Follow Focal Point for more like this!
Flip-flop qubits: a whole new quantum computing architecture
UNSW engineers have developed a completely new architecture for quantum computing, based on what they’re calling ‘flip-flop qubits’, that promise to make the eventual large-scale manufacture of quantu...
Schrödinger’s cat just got even weirder (and even more confusing)
The researchers hope their findings will help make quantum computers a reality.
IBM opens first quantum computer cloud
This is a new kind of computer that works differently than normal computers and has to be kept in a special refrigerator at outer-space temperatures.
Fredkin Gate Breakthrough Overcomes Obstacle In Quantum Computing
Particles of light helped simplify the process of building the quantum computer circuit's Fredkin gates. The breakthrough overcomes one of the obstacles of quantum computing.
MIT scientists build world's first scalable quantum computer
Quantum computing now “much more an engineering effort, and not a basic physics question,” claims MIT professor Isaac Chuang,Hardware ,quantum computing
Can You Solve The '100 Hat Riddle' Used By Google In Job Interviews?
A riddle used during job interviews for Google has proven to be no problem for artificial intelligence. A team from the University of Oxford, Canadian Institute for Advanced Research and Google’s D...
World's Fastest Rubik's Cube Solving Robot Does It In Just Over A Second
The fastest time for a human to solve a Rubik’s cube is 4.9 seconds. This robot can do it in 1.019 seconds. Software engineers Jay Flatland and Paul Rose built this piece of kit, which uses four webca...
Theoretical computer science - Wikipedia
Faster Optimization
Optimization problems are everywhere in engineering: Balancing design tradeoffs is an optimization problem, as are scheduling and logistical planning. The theory — and sometimes the implementation — o...
An algorithm can predict human behavior better than humans
You might presume, or at least hope, that humans are better at understanding fellow humans than machines are. But a new MIT study suggests an algorithm can predict someone's behavior faster and more r...
MIT Has Produced Data Science Machine That Is Replacing Human Intution For Big-Data Analysis
System that replaces human intuition with algorithms outperforms 615 of 906 human teams. Big-data analysis consists of searching for buried patterns that have some kind of predictive power. But choosi...
Researchers Develop Novel Theoretical Approach To Reduce Antibiotic Resistance
It is estimated that each year in the United States 2 million people become infected with bacteria that are resistant to one or more types of antibiotics, and at least 23,000 people will die because ...
History of computer science
The history of computer science began long before the modern discipline of computer science that emerged in the 20th century, and hinted at in the centuries prior. The progression, from mechanical inv...
Computational complexity theory
Computational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent ...
Computational learning theory
Computational learning theory is the analysis of computational complexity of machine learning algorithms. It is the intersection of theory of computation and machine learning.
Theoretical results ...
Evolutionary computation
In computer science, evolutionary computation (a.k.a. evolutionary computing) is a subfield of artificial intelligence (more particularly computational intelligence) that can be defined by the type of...
Formal languages
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are specific to it.The alphabet of a formal language is the se...
Formal methods
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verifica...
Formal methods - Wikipedia
Graph theory
In mathematics and computer science, graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects. A "graph" in this context is made up of "v...
Information theory
Information theory is a branch of applied mathematics, electrical engineering, and computer science involving the quantification of information. Information theory was developed by Claude E. Shannon ...
Information theory - Wikipedia
Logic in computer science
Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:
The most essential foundations for...
Mathematical theorems in theoretical computer science
Mathematical theorems in theoretical computer science - Wikipedia
Mathematics of computing
Natural computing
Natural computing, also called Natural computation, is a terminology introduced to encompass three classes of methods: 1) those that take inspiration from nature for the development of novel problem-s...
Natural computing - Wikipedia
Pseudorandomness
A pseudorandom process is a process that appears to be random but is not. Pseudorandom sequences typically exhibit statistical randomness while being generated by an entirely deterministic causal proc...
Quantum information science
Quantum information science is an area of study based on the idea that information science depends on quantum effects in physics. It includes theoretical issues in computational models as well as mor...