Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.989.653 Times

The complexity of positive first-order logic without equality: The four-element case 1.0

  Date Added: June 13, 2013  |  Visits: 180

The complexity of positive first-order logic without equality: The four-element case

Report Broken Link
Printer Friendly Version


Product Homepage
Download (18 downloads)

This submission contains the code used to verify the claims made about pSpace, NP and co-NP classes in the four element case. The original paper that references these claims can be found at http://drops.dagstuhl.de/opus/volltexte/20....Paper.2367.pdf.To run the verification first ensure that you have built the mex files by typing 'buildAll' in MATLAB. Once the mex code is built you can verify the pSpace claims using the script 'pSpaceMonoid's, the NP claims with 'npMonoids' and the co-NP with 'co_npMonoids'.

Requirements: No special requirements
Platforms: Matlab
Keyword: Buildall Built Ensure Files Matlab Npmonoids Pspacemonoid Typing
Users rating: 0/10

License: Shareware Size: 20.48 KB
THE COMPLEXITY OF POSITIVE FIRST-ORDER LOGIC WITHOUT EQUALITY: THE FOUR-ELEMENT CASE RELATED
Games  -  Spider Solitare 1.1
I didn't have a copy of Spider Solitare, so I built one in Matlab. Have fun and enjoy.Use the 'Game' menu to choose the level of difficulty (number of different suits). Click once on card you want to move and click on the column you wish to move...
10 KB  
Teaching Tools  -  MaxType LITE Typing Tutor 1.6.15
MaxType LITE typing tutor is a free multifunctinal typing tester for Windows. This program allows you not only to test and practice your typing skills with any *.txt file, but to print out your test diplomas (statistical data will give you the...
2.28 MB  
Development Tools  -  Gwyddion File Importer 1.0
With this module you can import data fields of Gwyddion files into matlab.
10 KB  
Development Tools  -  xPC Target Wall Time 1.0
Unzip and place the files on your MATLAB path, mex xpcwalltime.c, open xpcwalltimelib then drag and drop the Wall Time block into your model to generate timestamps based on the current date and time.
20.48 KB  
Multimedia  -  Get File and Put File that remembers last location 1.0
PutGetFile2 can be used to get and put files using matlab uigetfile and iputfile.Script provides memory files that remmbers the last location in which user used uigetfile and uiputfile seperatley.
10 KB  
Development Tools  -  PID Controller Matlab Code 1.0
Most of the time we use Simulink to simulate a PID controller. But this files run it as a Matlab code.Extract the files to the working directory and just run the file PID_ctrl_call.m.You can vary the PID tuning parameters in the file pid_ctrl.m...
10 KB  
Development Tools  -  5 ways to Solve IVP ODEs in MATLAB 1.0
Solving IVP ODEs using Symbolic MATH "dsolve", Laplace Transforms and MuPAD for analytic solutions and ODE45, ODE113 and Simulink for numeric solutions of the given 2nd order ODE is shown in this script.To execute the files PUT all 3 files in...
10 KB  
MP3 Tools  -  KinectCapture 1.0.1.0
KinectCapture is a powerful tool for recording, previewing, and exporting Microsoft Kinect sensor data. Record synchronized depth, color, skeleton, and audio streams from multiple Kinect sensors effortlessly. Then visualize the recorded data in a...
229.51 MB  
Application Add-Ins  -  Combine and Split Pdf files 1.0.1.2
Free Pdf Splitter Merger software is lightning fast desktop utility for joining multiple pdf files together and to split large file into several individual parts. Pdf page combiner utility is very easy to use and supports all latest Windows...
844 KB  
Communication  -  Fiber modes 1.0
LP01.m, LP02.m, LP03m, LP11.m, LP12.m, LP13.m, LP21.m, LP22.m, LP31.m, LP41.m, LP51.m, LP61.m, LP71.m are the Matlab files that generate 2 and 3D images of the corresponding optical modes
10 KB  
NEW DOWNLOADS IN SCRIPTS, DEVELOPMENT TOOLS
Scripts  -  Freelancer Script 5.05
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Post projects. Featured projects. Private projects. Sealed projects. Edit/delete projects. Select freelancers....
5.49 MB  
Scripts  -  B2B Script 4.20
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Sign-up Account (Registration of account). Lead generation tools (for the sellers). Email verification to...
5.49 MB  
Scripts  -  B2C Script 5.06
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). The script comes with totally editable site colors, icons and graphics Multilevel categories allows extensive browsing Admin can change Category ordering or...
5.49 MB  
Scripts  -  Social Networking Script 2.86
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Registration with name, email, password, date of birth etc. User can add multiple school, college, university with start...
5.49 MB  
Scripts  -  Business Networking Script 8.04
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Ajax based interface. Profile creation. Different types of profile. Profile for jobseekers, employers and employed...
5.49 MB  
Development Tools  -  VMP Viewer 1.0
This is a very rudimentary tool to visualize the VMP files generated by BrainVoyager. Useful to share files with people who do not have BV.
10 KB  
Development Tools  -  Sending reports and timestamped file by emailing 1.0
main executing reference usage:[1] usage_send_mail.mIllustrates email sending with multiple separate files or single timestamped tar file. Attachment failure is properly handled, with continuation of report emailing without the attachment.[2]...
768 KB  
Development Tools  -  IrisMVC 2.0 rc1
IrisMVC is an OOP PHP framework that developers can use as a strong and secure foundation to build on various web applications following the Model-View-Controller (MVC) pattern. It provides the basic functionality developers need, without...
51.2 KB  
Development Tools  -  7-Zip for Script 4.42
7-Zip is a file archiver with a high compression ratio.Features:- High compression ratio in new 7z format with LZMA compression- Supported formats:- Packing / unpacking: 7z, ZIP, GZIP, BZIP2 and TAR- Unpacking only: RAR, CAB, ISO, ARJ, LZH, CHM,...
624.64 KB  
Development Tools  -  Barnardextest 1.0
This file, as the Fisher's exact test, performs the exact probability test for a table of frequency data cross-classified according to two categorical variables, each of which has two levels or subcategories (2x2). It is a non-parametric...
10 KB