background preloader

Gödel’s Lost Letter and P=NP

Gödel’s Lost Letter and P=NP

Is It Time To Stop Malware—Forever? Rich DeMillo is a theorist who has also been: the head of all computer science research at Bellcore/Telcordia, the first Chief Technology Officer of HP, and the Dean of the College of Computing at Georgia Tech. All this and he has also made important contributions to theory, software engineering, and security. Today I want to talk about computer malware. Just having a name—malware—for worms and viruses is a problem. I’m as mad as hell, and I’m not going to take this anymore! In the beginning there was ARPANET. I recall watching with envy my colleagues, like Anita Jones, check her ARPANET account for messages. Eventually, those of us on the outside, those of us without ARPANET accounts, decided to act. DeMillo, who is a great and fast writer, sat down and wrote a draft of the proposal in a day or two. I have no doubt we would have email today even if Rich and Larry had not started TheoryNet in 1977, but they did create TheoryNet. At the time it seemed a silly joke, but it was not silly.

Difference map algorithm Iterations 0, 100, 200, 300 and 400 in the difference-map reconstruction of a grayscale image from its Fourier transform modulus Although originally conceived as a general method for solving the phase problem, the difference-map algorithm has been used for the boolean satisfiability problem, protein structure prediction, Ramsey numbers, diophantine equations, and Sudoku,[1] as well as sphere- and disk-packing problems.[2] Since these applications include NP-complete problems, the scope of the difference map is that of an incomplete algorithm. Whereas incomplete algorithms can efficiently verify solutions (once a candidate is found), they cannot prove that a solution does not exist. Algorithm[edit] The problem to be solved must first be formulated as a set intersection problem in Euclidean space: find an x in the intersection of sets A and B. x ↦ D(x) = x + β [ PA( fB(x)) − PB( fA(x)) ] , fA(x) = PA(x) − (PA(x)−x)/β , fB(x) = PB(x) + (PB(x)−x)/β . D(x) = x + PA(2 PB(x) − x) − PB(x) .

Fetus Business. No, It's Not A Pun Anymore. This Is A Blog For Fetuses. DEAL. Finger Trees - Andrew Gibiansky What You'll Wish You'd Known January 2005 (I wrote this talk for a high school. I never actually gave it, because the school authorities vetoed the plan to invite me.) When I said I was speaking at a high school, my friends were curious. I'll start by telling you something you don't have to know in high school: what you want to do with your life. If I were back in high school and someone asked about my plans, I'd say that my first priority was to learn what the options were. It might seem that nothing would be easier than deciding what you like, but it turns out to be hard, partly because it's hard to get an accurate picture of most jobs. But there are other jobs you can't learn about, because no one is doing them yet. And yet every May, speakers all over the country fire up the Standard Graduation Speech, the theme of which is: don't give up on your dreams. What they really mean is, don't get demoralized. Which is an uncomfortable thought. I'm not saying there's no such thing as genius. Upwind Ambition Corruption Now

List of NP-complete problems This is a list some of the more commonly known problems that are NP-complete when expressed as decision problems. As there are hundreds of such problems known, this list is in no way comprehensive. Many problems of this type can be found in Garey & Johnson (1979). Graphs and hypergraphs[edit] Graphs occur frequently in everyday applications. NP-complete special cases include the edge dominating set problem, i.e., the dominating set problem in line graphs. Mathematical programming[edit] Formal languages and string processing[edit] Games and puzzles[edit] Other[edit] NP-complete special cases include the minimum maximal matching problem,[71] which is essentially equal to the edge dominating set problem (see above). See also[edit] Notes[edit] References[edit] General Garey, Michael R.; Johnson, David S. (1979), Computers and Intractability: A Guide to the Theory of NP-Completeness, W. Specific problems Friedman, E (2002). External links[edit]

Marginal Revolution Buck: An Android (and Java!) build tool Buck is a build system for Android that encourages the creation of small, reusable modules consisting of code and resources. Because Android applications are predominantly written in Java, Buck also functions as a Java build system. Learn more about the strategies Buck uses to build Java code so quickly. Features Buck can help you do the following:Speed up your Android builds. How Buck Works Buck has three primary concepts:A build rule is a procedure for producing an output file from a set of input files.A build target is a string identifier for a build rule. When building the output of a build rule, all of the rule's transitive dependencies are built first. Is Buck for Me? Buck is designed for building multiple deliverables from a single repository rather than across multiple repositories. If you build multiple applications, or even if you ship one application but use several sample applications for development, then Buck is definitely for you.

Astrónomos descubren “estrellas imposibles” | Desde la Redacción Dos estrellas de tipo enanas rojas que orbitan entre sí cada 2,5 horas, luego se fundirán en una. / Space.comPor Miguel Artime - Lo que los astrónomos acaban de encontrar en nuestra galaxia, la Vía Láctea, es algo que hasta ahora parecía imposible. Estrellas gemelas orbitándose la una a la otra en un ciclo vertiginoso completo de menos de cuatro horas. Hasta ahora, los científicos creían que algo así era imposible, y eso que a pesar de que nuestro sol carece de compañera, casi la mitad de las estrellas de nuestra galaxia podrían formar parte de un sistema binario. Empleando el Telescopio Infrarrojo del Reino Unido (UKIRT) situado en Hawaii, los astrónomos descubrieron cuatro parejas de "estrellas imposibles". Por norma, se creía que si una estrella se formaba demasiado cerca de otra, las dos estrellas se mezclarían rápidamente formando un único astro mayor. Lo que no saben explicar los astrónomos es cómo pudieron reducir su tamaño las órbitas de estas binarias. Fuente Yahoo!

Home-Page Immediate opening (uupdated August July 8, 2007) for scientific research programmer at Genetic Programming Inc. Last updated July 8, 2007 What is Genetic Programming (GP)? How Genetic Programming Works Sources of Information about the Field of Genetic Programming (GP), Genetic Algorithms (GA), and the Field of Genetic and Evolutionary Computation (GEC) Conferences about Genetic Programming (GP) and Genetic and Evolutionary Computation (GEC) Application Areas for Genetic Programming News about Genetic Programming Parallelization of Genetic Programming John Koza’s Publications on Genetic Programming Websmaster Other Links Genetic programming (GP) is an automated method for creating a working computer program from a high-level problem statement of a problem. Given these results, we say that “Genetic programming now routinely delivers high-return human-competitive machine intelligence.” Genetic programming starts with a primordial ooze of thousands of randomly created computer programs. · For E.

Kenyan Pundit Steps to create a Vagrant Base Box with Ubuntu 14.04 Desktop (GUI) and VirtualBox Since the advent of the IaaS and PaaS providers, the decline in usage of monolithic architectures (e.g.: application server + relational DB) and the need for distributed and automatically scalable applications, as software developers we have to be increasingly more aware and skilled in the tools and techniques used to orchestrate and automate the deployment of all the different components that our architecture might end up with. Among these tools, normally encompassed in the DevOps space, I am currently very interested in Vagrant, Docker, Ansible and Ubuntu JuJu. Although I already use Vagrant, today I decided I wanted to know how to create my own Base Boxes that I can reuse. My idea is to have two Linux Base Boxes with Ubuntu Server and Ubuntu Desktop respectively and then another two with Windows 7 and 8. Once Vagrant is covered I want to get deeper with Docker because I see a lot of potential in lightweight containers instead of using heavy virtual machines. - Install VirtualBox

The Internet map Genetic Algorithm Tutorial Genetic Algorithms in Plain English Introduction The aim of this tutorial is to explain genetic algorithms sufficiently for you to be able to use them in your own projects. This is a stripped-down to-the-bare-essentials type of tutorial. This tutorial is designed to be read through twice... so don't worry if little of it makes sense the first time you study it. (A reader, Daniel, has kindly translated this tutorial into German. (Another reader, David Lewin, has translated the tutorial into French. First, a Biology Lesson Every organism has a set of rules, a blueprint so to speak, describing how that organism is built up from the tiny building blocks of life. When two organisms mate they share their genes. Life on earth has evolved to be as it is through the processes of natural selection, recombination and mutation. Once upon a time there lived a species of creatures called Hooters. Now let's zip a few thousand generations into the future. And so on. 1 2 3 Home

Related: