Knowtex

In this article, we explore the possibilities allowed by higher inductive types. They enable a much more intuitive formalization of integers and new mind-blowing definitions of the (homotopical) circle and sphere.

Take a square sheet of paper. Can you glue opposite sides without ever folding the paper? This is a conundrum that many couldn't figure out. While John Nash did answer yes, he couldn't say how. Finally in 2012, Borrelli and his collaborators finally made it! And it is spectacularly beautiful!

So many of us use wired internet through Ethernet, but so few of us understand what it means.

This essay offers six provocations that we hope can spark conversations about the issues of Big Data. Given the rise of Big Data as both a phenomenon and a methodological persuasion, we believe that it is time to start critically interrogating this phenomenon, its assumptions, and its biases.

Last summer, Florida high school student Brittanny Wenger was awarded first place in the Google Science Fair for building a cloud-based neural network to help doctors better detect breast cancer using a less invasive form of biopsy, known as Fine Needle Aspiration (FNA).

Today, many scientific fields can be described as data-intensive disciplines, which turn raw data into information and then knowledge. If this sounds familiar it’s because this represents the late and influential computer scientist Jim Gray’s vision of the fourth research paradigm.

A label attached to each papyrus providing a quick overview of its content was efficient in Ancient Greece, but today, due to the large amount of digital data available, it is essential to improve the efficiency of classification systems.

Hurricane Sandy caused devastation and death across the US east coast last week, but the latest satellite and government data were used by infomediaries to turn an amount of data into useful, life-saving, beautiful mashup of text, graphics, video, and animations.

Researchers in Aalto University have developed a new concept for computing, using water droplets as bits of digital information. This was enabled by the discovery that upon collision with each other on a highly water-repellent surface, two water droplets rebound like billiard balls.

Because the world is so complex, social sciences have always had a hard time quantifying social interactions. But more and more people are playing computer games and, in their digital world, you know all the parameters of their life and their interactions with others...