Archive

Posts Tagged ‘logic’

Michael E. Mann Sues For Defamation Over Comparison To Jerry Sandusky

October 24th, 2012 10:04 admin View Comments

Education

eldavojohn writes “The global warming debate has left much to be desired in the realm of logic and rationale. One particular researcher, Michael E. Mann, has been repeatedly attacked for his now infamous (and peer reviewed/independently verified) hockey stick graph. It has come to the point where he is now suing for defamation over being compared to convicted serial child molester Jerry Sandusky. Articles hosted by defendants and written by defendant Rand Simberg and defendant Mark Steyn utilize questionable logic for implicating Michael E. Mann alongside Jerry Sandusky with the original piece, concluding, ‘Michael Mann, like Joe Paterno, was a rock star in the context of Penn State University, bringing in millions in research funding. The same university president who resigned in the wake of the Sandusky scandal was also the president when Mann was being (whitewashed) investigated. We saw what the university administration was willing to do to cover up heinous crimes, and even let them continue, rather than expose them. Should we suppose, in light of what we now know, they would do any less to hide academic and scientific misconduct, with so much at stake?’ Additionally, sentences were stylized to blend the two people together: ‘He has molested and tortured data in the service of politicized science that could have dire economic consequences for the nation and planet.’ One of the defendants admits to removing ‘a sentence or two’ of questionable wording. Still, as a public figure, Michael E. Mann has an uphill battle to prove defamation in court.”

Source: Michael E. Mann Sues For Defamation Over Comparison To Jerry Sandusky

Complex Logic Circuit Made From Bacterial Genes

October 14th, 2012 10:28 admin View Comments

Science

another random user writes “Just as electronic circuits are made from resistors, capacitors and transistors, biological circuits can be made from genes and regulatory proteins. Engineer Tae Seok Moon’s dream is to design modular ‘genetic parts’ that can be used to build logic controllers inside microbes that will program them to make fuel, clean up pollutants, or kill infectious bacteria or cancerous cells. The circuit Moon eventually built consisted of four sensors for four different molecules that fed into three two-input AND gates. If all four molecules were present, all three AND gates turned on and the last one produced a reporter protein that fluoresced red, so that the operation of the circuit could be easily monitored.”

Source: Complex Logic Circuit Made From Bacterial Genes

Interactive Tutorial of the Sequent Calculus

May 31st, 2012 05:48 admin View Comments

Interactive Tutorial of the Sequent Calculus by Edward Z. Yang.

This interactive tutorial will teach you how to use the sequent calculus, a simple set of rules with which you can use to show the truth of statements in first order logic. It is geared towards anyone with some background in writing software for computers, with knowledge of basic boolean logic. …

Proving theorems is not for the mathematicians anymore: with theorem provers, it’s now a job for the hacker. — Martin Rinard …

A common complaint with a formal systems like the sequent calculus is the “I clicked around and managed to prove this, but I’m not really sure what happened!” This is what Martin means by the hacker mentality: it is now possible for people to prove things, even when they don’t know what they’re doing. The computer will ensure that, in the end, they will have gotten it right.

The tool behind this nice tutorial is Logitext.

Source: Interactive Tutorial of the Sequent Calculus

Researcher Develops Chemical Circuit Using Ion Transistors

May 30th, 2012 05:13 admin View Comments

Hardware

cylonlover writes news of ion based logic gates. From the article: “While the silicon chips found in the electronic devices that we rely on every day are built around the flow of electrons through circuits, with the development of an ‘integrated chemical chip,’ a doctoral student in Organic Electronics at Sweden’s Linköping University has created the basis for an entirely new circuit technology based on the transmission of ions and molecules. Like silicon-based chips, the integrated chemical chip contains logic gates, such as NAND gates, that form the basis of digital electronics by allowing for the construction of all logical functions.”

Source: Researcher Develops Chemical Circuit Using Ion Transistors

Book Review: The Logic of Chance

May 16th, 2012 05:42 admin View Comments

Image

eldavojohn writes The Logic of Chance: The Nature and Origin of Biological Evolution is a comprehensive snapshot of the latest research of biological evolution. The text is written by Eugene V. Koonin, an editor for a journal and researcher at NCBI. The book, although lacking in foundational knowledge and often foregoing explanation of research, presents a comprehensive and well-referenced view of modern evolutionary research. It is heavily laden with acronyms and jargon specific to biology and evolution. As a result, reading it requires either prior knowledge or a high tolerance for looking up these advanced topics with the reward of it being an extremely eye opening and enjoyable read worthy of your time.” Keep reading for the rest of eldavojohn’s review.

The Logic of Chance: The Nature and Origin of Biological Evolution
author Eugene V. Koonin
pages 516
publisher FT Press Science
rating 7/10
reviewer eldavojohn
ISBN 978-0132542494
summary An outline of a fundamentally new evolutionary synthesis reflecting key advances in genomics, systems biology and biological physics.

Source: Book Review: The Logic of Chance

Plastic Logic Shows Off a Color ePaper Screen

May 14th, 2012 05:51 admin View Comments

Displays

Nate the greatest writes “I’m sure you’ve heard about the color E-ink screen which was rumored to be used on the next Kindle. As of today, E-ink no longer has that market niche to themselves. Plastic Logic held a press conference in Russia this morning where they unveiled a new color screen that uses their plastic-based screen tech. The resolution is low (75ppi), but if the video is any sign, then this might be a better screen than the 9.7″ Triton color E-ink screen used on the Jetbook Color. And that’s not all Plastic Logic showed off this morning; they also developed a frontlight for their screen, and they can play video at 12 frames per second. But best of all, they cut one of their screens in half just to show that it could still work.”

Source: Plastic Logic Shows Off a Color ePaper Screen

Sigrock: An Open Source Logic Analyzer

May 2nd, 2012 05:43 admin View Comments

Hardware Hacking

Uwe Hermann today announced the availability of sigrock, one of the first Open Source logic analyzers. Tired of being tied to Windows and proprietary software with limited features, in late 2010 he began work on a flosslogic, which, after discovering Bert Vermeulen was also working on similar software, became sigrock. From the article: “Thus, the goal was to write a portable, GPL’d, software that can talk to many different logic analyzers via modules/plugins, supports many input/output formats, and many different protocol decoders. … Currently supported hardware includes: Saleae Logic, CWAV USBee SX, Openbench Logic Sniffer (OLS), ZEROPLUS Logic Cube LAP-C, ASIX Sigma/Sigma2, ChronoVu LA8, and others.” Their wiki has a list of supported protocols as well. You can grab the source over at SourceForge.

Source: Sigrock: An Open Source Logic Analyzer

Sigrok: An Open Source Logic Analyzer

May 2nd, 2012 05:43 admin View Comments

Hardware Hacking

Uwe Hermann today announced the availability of sigrok, one of the first Open Source logic analyzers. Tired of being tied to Windows and proprietary software with limited features, in late 2010 he began work on flosslogic, which, after discovering Bert Vermeulen was also working on similar software, became sigrok. From the article: “Thus, the goal was to write a portable, GPL’d, software that can talk to many different logic analyzers via modules/plugins, supports many input/output formats, and many different protocol decoders. … Currently supported hardware includes: Saleae Logic, CWAV USBee SX, Openbench Logic Sniffer (OLS), ZEROPLUS Logic Cube LAP-C, ASIX Sigma/Sigma2, ChronoVu LA8, and others.” Their wiki has a list of supported protocols as well. You can grab the source over at SourceForge.

Source: Sigrok: An Open Source Logic Analyzer

Japanese Researchers Create A Crab-Based Computer

April 15th, 2012 04:01 admin View Comments

Idle

mikejuk writes “You can build a computer out of all sorts of things — mechanical components, vacuum tubes, transistors, fluids and … crabs. Researchers at Kobe University in Japan have discovered that soldier crabs have behaviors suitable for implementing simple logic and hence — with enough crabs — you can achieve a complete computer. The Soldier crab Mictyris guinotae has a swarming behavior that is just right for simple logic gates(pdf). When two crab swarms collide they fuse to make a single swarm — and this is enough to build an OR gate.”

Source: Japanese Researchers Create A Crab-Based Computer

Project Basecamp Adds Stuxnet-Like Attacks To Metasploit

April 8th, 2012 04:24 admin View Comments

Security

Trailrunner7 writes “Project Basecamp, a volunteer effort to expose security holes in industrial control system software, unveiled new modules on Thursday to exploit holes in common programmable logic controllers (PLCs). The new exploits, which are being submitted to the Metasploit open platform, include one that carries out a Stuxnet-type attack on programmable logic controllers made by the firm Schneider Electric, according to information provided to Threatpost by Digital Bond, a private consulting firm that has sponsored the effort. It was the third major release from researchers working for Project Basecamp and included three new modules for the Metasploit platform that can exploit vulnerable programmable logic controllers used in critical infrastructure deployments. The exploits rely on a mix of software vulnerabilities and insecure ‘features’ of common programmable logic controllers, which serve a variety of purposes in industries as varied as power generation, water treatment, manufacturing and others.”

Source: Project Basecamp Adds Stuxnet-Like Attacks To Metasploit

YOYOYOOYOYOYO