Skip to main content navigation
parent site logoSite logo

Projects archive / Planar Computability of Monotone Boolean Functions

Code:planarcomputeRun-bol2001
Title:Planar Computability of Monotone Boolean Functions
Author:Jaratsri Rungrattanaubol
Date:May-2001
Type:model
Funding:PhD - PhD thesis
Short description:Investigating Monotone Boolean Functions
EM Technologies:tkeden, %eden, %scout, %donald
Keywords:education
empublic references:
EMpress references:122
Web site references:
Previous locations:
Tour:Docs/README.html

This model has been developed to support research into planar monotone circuits. It determines whether or not an input monotone boolean function is planar computable and, if it is, allows the construction of an appropriate planar circuit. The model is described as a case study in Jaratsri Rungrattanaubol's PhD thesis as an example of open ended and exploratory interaction throughout the construction of the model. [Chris R]

planarcomputeRun-bol2001 is available locally within DCS at /dcs/emp/empublic/projects/planarcomputeRun-bol2001
Download planarcomputeRun-bol2001.tar.gz
Uncompressed, planarcomputeRun-bol2001 is 129.2 Kbytes (in 22 files).
Your download will be smaller as it will be compressed.
Help on extracting the files from the download.
README 1714 02:32 PM May 26 2001 12:19 PM Jul 27 2017
README.xml 1034 06:11 PM Jan 12 2004 12:19 PM Jul 27 2017
Run.e 143 06:14 PM Jan 12 2004 12:19 PM Jul 27 2017
circuit1.d 13512 11:42 PM May 21 2001 12:19 PM Jul 27 2017
finish.e 267 11:42 PM May 21 2001 12:19 PM Jul 27 2017
mono.html 2615 02:59 PM May 07 2002 12:19 PM Jul 27 2017
monoauto.e 2171 11:42 PM May 21 2001 12:19 PM Jul 27 2017
monotone1.d 9170 09:09 PM Mar 27 2002 12:19 PM Jul 27 2017
monotone1.e 10621 10:00 AM May 28 2001 12:19 PM Jul 27 2017
monotone1.s 4003 09:52 AM May 28 2001 12:19 PM Jul 27 2017
newlabel.d 4064 11:42 PM May 21 2001 12:19 PM Jul 27 2017
resetcircuit.e 836 11:42 PM May 21 2001 12:19 PM Jul 27 2017
run 44 11:42 PM May 21 2001 12:19 PM Jul 27 2017
screenshot.gif 13085 06:06 PM Jan 12 2004 12:19 PM Jul 27 2017
trace.txt 270 02:59 PM May 07 2002 12:19 PM Jul 27 2017
Docs/ 4096 06:12 PM Jan 12 2004 12:19 PM Jul 27 2017

empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.