Home

UB CSE IT Service Catalog

  • UB Home
  • SEAS Home
  • CSE Home
  • Services
    • Business Systems
      • Computer-Assisted Web Interviewing
        • Google Forms
        • Homegrown Online Surveys
        • SurveyMonkey
        • UBlearns Surveys
        • Vovici Online Surveys
      • Data Warehouses
        • HUB
          • HUB Academic Advising Report (AAR)
        • Strategic Information Reporting Initiative (SIRI)
      • Digital Signage
        • Rise Vision
          • Creating and Editing Content with Rise
        • Visix AxisTV
      • Educational Accreditation
        • ABET
      • Human Resources
        • Hire a Student
      • Job Marketplace
      • Payment Processors
        • RegOnline
      • Recruitment
        • CSE Recruit
        • UB Gradmit
      • Schedulers
        • Event Scheduler
      • Scholarship Selection
      • Service Centers
      • Technical Reports
    • CSE Remote Access
      • Remote Desktop Software
        • Microsoft Remote Desktop Services
        • My Virtual Computing Lab
        • NoMachine
          • NoMachine Admin
        • X-Win32
    • Course Management
      • AutoGrader/AutoLab
      • Learning Management Systems
        • Blackboard on UBlearns
        • Moodle
        • Piazza
      • Lockdown Browsers
        • Respondus LockDown Browser
        • Securexam Browser
      • Plagiarism Detection
        • SafeAssign
        • TurnItIn
      • Submit Script
      • Teaching Quality Committee
        • Teaching Assistant Evaluation
      • Test Automation
        • Web-CAT
    • Disaster Recovery
      • Data Recovery
      • File Backup & Restore
        • How Do I Restore Backups of Lost Files?
        • IBM Tivoli Storage Manager (ITSM)
          • TSM Linux Client Install Instructions
          • TSM Mac OS Client Install Instructions
          • TSM Solaris Client Install Instructions
          • TSM Windows Client Install Instructions
      • Out-of-Band Management
      • Uninterruptible Power Supplies (UPS)
        • Apcupsd UPS Monitoring Daemon
    • Event Management
      • Conference Management
        • Travel Grant Review Package
      • Hackathons
    • Network & Wireless
      • Home Networking
      • Internet Access
        • Connect Your Device to the Internet
        • Dial-Up Internet Access
        • Digital Subscriber Line (DSL)
        • Ethernet
        • Virtual Private Network (VPN)
      • Network Diagnostic Tools
      • Network Monitoring
        • CA Spectrum Infrastructure Manager
        • Cacti
          • Cacti Admin
        • GroundWork Open Source
        • Microsoft Windows SNMP Service
        • Net-SNMP snmptrapd Configuration
        • Network UPS Tools (NUT)
      • Network Switches
      • UBNET Switch Upgrade Project
      • Wiring & Cabling
    • Policy & Guidelines
    • Print Services
      • CSE Printers
      • Common Unix Printing System (CUPS)
        • CUPS Print Quotas
      • MacOSX Print Service
      • Other Print Services
    • Research Discovery
      • Emerging Research Discovery Standards
    • Security
      • Access Control
        • OnGuard Card Access
          • How to Install the OnGuard Desktop Client
          • OnGuard Cardholder Management Techniques
          • OnGuard Upgrade Schedule
      • Alarm Systems
        • MAXSYS PC4020
      • AntiVirus Software
        • Malware
        • Symantec Endpoint Protection (SEP)
      • Data Erasure
      • Firewalls
        • ipfirewall (ipfw)
      • Surveillance
    • Software Deployment
      • Vmware Academic Program
    • Strategic Planning
    • User Accounts
      • Microsoft Windows Active Directory Account
      • UNIX/Linux Accounts
        • CSE UNIX/Linux Accounts
          • UNIX Groups
        • UBIT UNIX/Linux Accounts
      • UB Connect
    • Videoconferencing
      • Access Grid
      • Elluminate Live!
      • Microsoft Lync Server
      • WebEx
    • Voice Communication
      • Conference Call
        • How to Place a Conference Call at UB
      • Softphones
        • Cisco IP Communicator
        • Skype
      • Tropo
      • VoIP
        • VoIP at Home
  • Productivity Tools
    • Calendar
      • CalDAV
        • DAViCal
          • DAViCal Clients
      • Google Calendars
        • CSE Google Calendar
          • Google Calendars as Resource Schedulers
        • Google Calendar Programming
        • How to Add a Google Calendar to a Thunderbird Email Client
      • Microsoft Exchange Server
        • CSE Usage of Microsoft Exchange Server
      • Other UB Calendars
    • Content Management Systems (CMS)
      • Drupal
        • DruTeX
          • How to Configure DruTeX
        • Drupal Sites
        • Drupal for Site Moderators
        • How to Create a New Drupal Site
        • How to Upgrade a Drupal6 Site to Drupal7
        • UB logo
      • Confluence
      • Day CQ5
        • UB Content Management System (UBCMS)
      • Jekyll
        • Jekyll Admin
      • OpenScholar
      • Plone
    • Diagramming Software
      • Dia
      • Microsoft Visio
      • OpenOffice Draw
      • Xfig
    • Document Preparation Systems
      • LyX
      • Microsoft Word
      • OpenOffice Writer
      • Pdftk - The PDF Toolkit
        • Pdftk Admin
      • TeX
        • Beamer
        • LaTeX2rtf
        • MiKTeX
        • PGF and TikZ
        • Rubber
        • TeX Live
          • TeX Live Admin
        • TeXworks
        • teTeX
          • teTeX Admin
    • Email
      • Electronic Mailing Lists
        • Constant Contact
        • Email Aliases
      • Email Clients
        • Elm
        • Evolution
        • Microsoft Entourage
        • Microsoft Outlook
        • Microsoft Outlook Express
        • Mozilla Thunderbird
          • How to Recover From a Thunderbird Crash
        • Mutt
        • Netscape Mail
        • Pine
      • Email Server Services
        • Clam AntiVirus (ClamAV)
        • Distributed Checksum Clearinghouse (DCC)
        • Mail Delivery Agents (MDA)
          • procmail
            • How to Filter Backscatter Messages
            • How to Filter Cyrillic Messages
            • How to Filter Spam
            • How to Whitelist and Blacklist People
        • Message Transfer Agents (MTA)
          • Sendmail
        • SpamAssassin
      • Email Service for Alumni
      • How to Manage UBIT Email
      • Usenet
    • File Hosting Service
      • Dropbox
      • OneDrive
    • File Synchronization
      • SyncToy
    • Issue-Tracking Systems
      • Remedy Action Request System (ARS)
      • Request Tracker (RT)
        • Request Tracker (RT) Usage
    • Massive Open Online Courses (MOOCs)
    • Media Players
      • Adobe Flash Player
      • MPlayer
        • MPlayer Admin
      • RealPlayer
    • Notetaking
      • Microsoft OneNote
    • PDF Viewers
      • Adobe Acrobat
      • Xpdf
        • Xpdf Admin
    • Presentation Programs
      • Microsoft PowerPoint
      • OpenOffice Impress
      • Prezi
    • Project Management Software
    • Reference Management Software
      • BibTeX
      • EndNote
    • Spreadsheets
      • Microsoft Excel
      • OpenOffice Calc
  • Web
    • How to Create Your CSE Home Page
    • Web Application Frameworks
      • Apache Struts
      • Bootstrap
      • CakePHP
        • CakePHP Admin
        • How to Use CakePHP in CSE
      • Django
      • Flask
      • Ruby on Rails
        • How to Use Ruby on Rails in CSE
        • Ruby on Rails Admin
      • Sinatra
      • Symfony
        • How to Use Symfony in CSE
    • Web Application Security
      • How to Obfuscate Your Email Address on the Web
      • How to Password-Protect a Web Page
      • How to Password-Protect a Web Page using Secure LDAP Authentication
      • How to Secure a Web Page with CAPTCHA
    • Web Browsers
      • Google Chrome
      • Lynx
      • Microsoft Internet Explorer
        • Microsoft Internet Explorer Troubleshooting
      • Mozilla Firefox
        • How to Recover From Mozilla Firefox Failing to Open
        • Mozilla Firefox Add-Ons
          • Mozilla Firefox Collusion
    • Web Development
      • HTML Editors
        • Adobe Contribute
        • Adobe Dreamweaver
      • XML
        • Berkeley DB XML
        • XSL Transformations (XSLT)
          • Saxon-HE
            • Saxon-HE Admin
      • Web Design
        • Web Accessibility
        • Web Checkers & Validators
    • Web Servers
      • Apache Tomcat
        • Apache HTTP Server
        • Apache Tomcat Admin
      • Streaming Media
    • World Wide Web Consortium (W3C)
  • Software
    • Communications Protocols
      • Internet Protocol Suite
        • 1. Link Layer
        • 2. Internet Layer
        • 3. Transport Layer
        • 4. Application Layer
          • Domain Name System (DNS)
          • Dynamic Host Configuration Protocol (DHCP)
          • Hypertext Transfer Protocol (HTTP)
            • Web-based Distributed Authoring and Versioning (WebDAV)
          • Lightweight Directory Access Protocol (LDAP)
          • Network News Transfer Protocol (NNTP)
          • Secure Shell (SSH)
            • OpenSSH
              • Secure Copy (SCP)
              • ssh-agent
              • ssh-keygen
          • Server Message Block (SMB/CIFS)
            • Samba
          • Simple Network Management Protocol (SNMP)
            • SNMP in CSE
          • Telnet
          • Transport Layer Security (TLS)
            • OpenSSL
      • Message Passing Interface (MPI)
        • Open MPI
      • Open Systems Interconnection (OSI) Model
        • 1. Physical Layer
        • 2. Data Link Layer
        • 3. Network Layer
        • 4. Transport Layer
        • 5. Session Layer
        • 6. Presentation Layer
        • 7. Application Layer
      • Protected Extensible Authentication Protocol (PEAP)
    • Compatibility Layers
      • Wine
        • Wine Admin
    • Computable Knowledge
      • CASTLE
      • Cyc
      • Expert Systems
        • Jess
      • Ontology Editors
        • Protégé
      • Reasoners
        • Lparse/Smodels
    • Computer Chess
      • Stockfish (chess)
        • Stockfish Admin
    • Computer-Aided Design (CAD)
    • Connection Brokers
      • Oracle VDI
    • Cryptography
      • Crypto++ Library
        • Crypto++ Library Admin
      • TrueCrypt
    • Databases
      • Database Tools
        • SchemaSpy
        • TOAD
        • TOra
      • Drizzle
      • MariaDB
        • MariaDB Admin
      • Microsoft Access
        • How to Export Microsoft Access Data with Word Merge
        • Microsoft Access Admin
        • Microsoft Access Development
      • Microsoft SQL Server
      • MySQL
        • MySQL Installation
        • MySQL Session Management
        • MySQL Syntax
      • NoSQL
        • Apache Cassandra
        • HyperDex
        • MongoDB
      • Oracle
        • Academic Oracle Service (AOS)
        • How to Connect to Legacy Oracle Instances
        • How to Create a Constrained Oracle Table
        • How to Drop an Oracle Table
        • How to Use JDBC with Oracle
        • How to Use PHP with Oracle
          • How to Use PHP with Oracle Admin
        • Oracle Password Constraints
        • Oracle SQL Developer
        • SQL*Plus
      • PostGreSQL
        • PostGreSQL Client Admin
        • PostGreSQL Server Admin
        • PostGreSQL Service Admin
        • PostGreSQL Session Management
        • PostGreSQL Syntax
        • PostGreSQL Tutorial
      • dlv
    • Disk Cloning
      • Ghost
    • Electronic Design Automation (EDA)
      • Cadence
        • Cadence GPDK
        • How to Run Cadence on a Windows Machine
        • NCSU CDK
        • NCSU PDK
        • Nangate Open Cell Library
      • Superscalar Simulator
        • Superscalar Simulator Admin
      • Verilog
        • GTKWave
          • GTKWave Admin
        • Icarus Verilog
        • VeriWell
      • Xilinx Vivado
        • Xilinx Vivado Admin
    • Embedded System Design
      • ARM Developer Suite
      • The VirtualMHz for ARM (VM-arm)
    • Emulators
      • Bochs
        • Bochs Admin
      • SimpleScalar/ARM
        • SimpleScalar/ARM Admin
      • spim
      • xspim
    • Game Engines
      • Torque
    • Graph Drawing
      • Graphviz
    • Lexical Analysis
      • Flex Lexical Analyzer
    • License Managers
    • Mathematical Software
      • Computer Algebra Systems
        • Sage
          • Sage Admin
        • Singular
      • Mathematical Optimization
        • CPLEX
      • Numerical Analysis
        • GNU Octave
          • GNU Octave Admin
        • MATLAB
      • Statistical Analysis
        • R
          • R Admin
        • RStudio
          • RStudio Admin
        • SPSS
      • Temporal logic of actions
        • TLA+ Toolbox
    • Multimedia
      • FFmpeg
        • FFmpeg Admin
    • Natural Language Processors
      • Stanford CoreNLP
    • Network Installation
      • Anaconda
      • Jumpstart
    • Network Modeling and Simulation
      • GloMoSim
      • OPNET Modeler
      • QualNet Developer
      • ns (simulator)
        • ns (simulator) Admin
    • Package Management Systems
      • Yellowdog Updater, Modified (YUM)
    • Parallel Computing
      • Berkeley Lab Checkpoint/Restart (BLCR)
    • Software Frameworks
      • Apache Hadoop
      • Apache Spark
        • Apache Spark Admin
    • Terminal Emulators
      • PuTTY
    • X Window Systems
      • Cygwin/X
      • How to Compile X Programs
      • Stacking Window Managers
      • Xming
  • Software Development Tools
    • Assembly Languages
      • Netwide Assembler (NASM)
      • Yasm
    • Bug-Tracking Systems
      • Bugzilla
    • Build Automation
      • Apache Ant
        • Apache Ant Admin
      • CMake
        • CMake Admin
      • Make
      • Scala Build Tool (SBT)
    • Codecs
      • JasPer
    • Compilers
      • BD Software STL Message Decryptor (STLFilt)
      • GNU Compiler Collection
        • GNU Compiler Collection Admin
      • JavaCC
      • LLVM/Clang
        • LLVM/Clang Admin
      • Oracle Solaris Studio
      • pkg-config
    • Computer Graphics
      • GLib
      • GUI Toolkits
        • GTK+
        • GTKSourceView
          • GTKSourceView Admin
        • Motif
        • Qt
          • Qt Admin
        • Scintilla
          • QScintilla
        • Sencha Touch
        • wxWidgets
      • Image Editors
        • Raster Graphics Editors
          • GNU Image Manipulation Program (GIMP)
          • ImageMagick
      • Image File Formats
        • Raster Graphics
          • Portable Network Graphics (PNG)
        • Vector Graphics
          • Cairo
          • OpenGL
          • Pango
          • Pixman
    • Computer Vision
      • Open Computer Vision Library (OpenCV)
        • OpenCV Admin
      • vatic
    • Continuous Integration
      • Apache Maven
      • CruiseControl
        • CruiseControl Admin
      • Hudson
    • Debuggers
      • GNU Data Display Debugger (ddd)
      • GNU Debugger (gdb)
      • Valgrind
      • strace
      • truss
    • Integrated Development Environments (IDEs)
      • ANTLRWorks+ANTLR
      • ASPIDE
      • Aptana Studio
      • Eclipse
        • DrJava Plug-in
          • DrJava Plug-in Admin
        • Green
          • Green Admin
        • Web-CAT Plug-in
          • Web-CAT Plug-in Admin
      • Greenfoot
        • Greenfoot Admin
      • NetBeans IDE
      • Processing
      • jGRASP
    • Lightweight Markup Languages
      • Jemdoc
    • Program Analysis Tools
      • CodeSurfer
      • FindBugs
      • Frama-C
        • Frama-C Admin
      • Isabelle
      • Java Interactive Visualization Environment (JIVE)
      • Java PathFinder (JPF)
        • Java PathFinder (JPF) Admin
      • Mobility Workbench (MWB)
      • PVS Specification and Verification System
      • Spin/iSpin Model Checker
      • UPPAAL
    • Programming Languages
      • C
        • ATLAS
          • ATLAS Admin
        • CVXOPT
        • FFTW
        • GNU C Library (glibc)
          • GNU C Library (glibc) Admin
        • GNU Scientific Library (gsl)
      • C#
      • C++
        • Armadillo Linear Algebra Library
        • Boost
          • Boost Admin
        • Computational Geometry Algorithms Library (CGAL)
        • IT++
        • The Library of Efficient Data types and Algorithms (LEDA)
        • sparsehash
      • Erlang
        • Erlang Admin
      • Fortran
        • GFortran
      • Go (Golang)
        • Go (Golang) Admin
      • Haskell
        • Glasgow Haskell Compiler (GHC)
      • Java
        • Java Admin
      • JavaScript
        • Ajax
        • Bluff
        • Objective-J
        • jQuery
      • Karel
      • Lisp
        • Clojure
          • Leiningen
        • Common Lisp
          • Allegro Common Lisp (ACL)
          • Armed Bear Common Lisp
            • Armed Bear Common Lisp Admin
          • CLISP
          • Steel Bank Common Lisp
        • Scheme
      • Lua
      • ML
        • Caml
          • OCaml
            • OCaml Admin
        • Standard ML
          • Standard ML of New Jersey (SML/NJ)
      • Mono
      • Objective-C
      • PHP Hypertext Processor
      • Parsec
      • Perl
        • Ack
        • Perl Admin
      • Prolog
        • SICStus Prolog
        • SWI Prolog
          • vcgen.pl
        • XSB
          • XSB Admin
      • Python
        • Enthought Python Distribution
        • NumPy
        • Pandas
        • Python Admin
        • Python CGI
        • SciPy
        • matplotlib
        • mod_wsgi
        • scikit-learn
      • Ruby
      • Scala
    • Revision Control Software
      • Apache Subversion
        • Apache Subversion Admin
      • Concurrent Versions System (CVS)
      • GNU Bazaar
        • Bazaar Admin
      • Git
        • Git Admin
      • Mercurial
        • Mercurial Admin
      • Revision Control System (RCS)
    • Software Development Kits (SDK)
      • Android SDK
      • CUDA
    • Text Editors
      • Emacs
        • AUCTeX
          • AUCTeX Admin
        • Emacs Admin
        • Erlang mode for Emacs
        • Haskell mode for Emacs
        • SLIME
          • SLIME Admin
        • html-helper-mode
          • html-helper-mode Admin
      • XEmacs
      • for i
      • pico
      • vi/vim
  • Operating Systems
    • Embedded Operating Systems
      • TinyOS
    • Microsoft Windows
      • Active Directory
      • Patch Management
        • Windows Server Update Services (WSUS)
          • Windows Server Update Services (WSUS) Local Update Publishers
      • Windows 7
      • Windows 8
    • Operating System Frameworks
      • Pintos
    • Operating System-Level Virtualization
      • Docker
      • FreeBSD Jails
    • UNIX and UNIX-Like
      • Android
        • Android Software Development Kit (SDK)
        • Android Studio
      • FreeBSD
      • Linux
        • Red Hat Linux
          • Enabling XDMCP on RHEL5
          • NIC Bonding / NIC Teaming
          • RHEL Baseline Installation
      • OS X
        • Directory Service Integration
          • MacOS Kerberos integration
          • MacOS Magic Triangle
      • Solaris
        • Disk Hot Swap
        • Disk Mirroring
        • How to Access MS-DOS Floppy Disks
        • How to Make the Numeric Keypad Work
        • Solaris Admin
        • Solaris JumpStart
      • UNIX Programs and Concepts
        • Archiving Files (tar)
        • Command Shells
          • Bash
          • Directory Stacks
          • Filename Completion
          • Input/Output Redirection
          • Pipes
          • tcsh Aliases
          • tcsh Command Editor
          • tcsh History Mechanisms
          • tcsh Shell Variables
          • tcsh Startup and Shutdown
        • Cron
        • Environment Variables
        • Files and Directories
        • Filesystems
          • Filesystem in Userspace (FUSE)
        • Find and Locate
        • Logging On and Logging Off
        • Man Pages
        • Passwords
        • Process Control
        • Process Limits
        • Process List (ps)
        • Syslog and Logfiles
        • UNIX Command Conventions
      • Xinu
  • Compute Systems
    • Compute Systems By Device Class
      • Digital Media Receivers
      • Image Scanners
      • KVM Switches
      • Mobile Devices
      • Peripherals
      • Photocopiers
      • Single-board Computers
        • Raspberry Pi
      • Single-board Microcontrollers
        • Arduino
      • Smart Boards
      • Video Projectors
    • Compute Systems By Service
    • Desktop Compute Systems
      • Desktop Sharing
        • DameWare
        • Virtual Network Computing (VNC)
        • rdesktop
      • Desktop Virtualization
        • Thin Clients
          • Sun Ray
          • Wyse
      • Personal Computers (PCs)
        • PC Repair Services
        • Video Cards
          • NVIDIA Quadro FX Linux Configuration
        • What Kind of Personal Computer Should I Buy?
          • Faculty and Staff PC Recommendations
    • How to Find System Resource Information
    • Distributed Computing Systems Lab (DCSL) Systems
  • Facilities
    • Conference Rooms
      • CSE Conference Rooms
    • Data Centers
    • Davis Hall
      • Design Documents
        • Concept Schemes (Sep 12, 2007)
        • Equipment Data Schedules
        • Fixtures, Furniture, and Equipment (FFE)
        • Lab Schemes
      • Lockers
    • Emergencies!
    • Laboratories
      • Computer-Assisted Diagnostics Interventions (CADI)
        • Acl-storage Space Access and Usage
        • Batch, Cluster Processing
        • CADI Compute Cluster Administration
        • CADI Disaster Recovery
        • KVM Usage
      • General Compute Labs
      • Multistore
      • Security Lab
      • Smart Room
    • National Science Foundation (NSF) Facilities Statement
    • Property Management
  • Support
    • CIT/UBIT Support

Login with your UBIT Credentials

Recent Edits

OpenSSL 8 years 50 weeks ago
Transport Layer Security (TLS) 8 years 50 weeks ago
Rise Vision 8 years 50 weeks ago
ABET 8 years 51 weeks ago
NCSU PDK 9 years 1 week ago
Nangate Open Cell Library 9 years 1 week ago
NCSU CDK 9 years 1 week ago
KVM Usage 9 years 3 weeks ago
Scholarship Selection 9 years 3 weeks ago
Uninterruptible Power Supplies (UPS) 9 years 5 weeks ago
  • « first
  • ‹ previous
  • …
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • …
  • next ›
  • last »
more
Home » Software

Computable Knowledge

Introduction

Computable Knowledge is category that encompasses many aspects of computer science.

People

  1. UB CSE faculty and students working in the Knowledge Representation, Computational Linguistics, and Cognitive Science research area exlore computable knowledge topics.

References

  1. http://en.wikipedia.org/wiki/Template:Computable_knowledge
  2. http://en.wikipedia.org/wiki/Automated_reasoning
  3. http://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning
  4. http://en.wikipedia.org/wiki/Ontology_%28information_science%29
  5. http://en.wikipedia.org/wiki/Semantic_reasoner
  • CASTLE
  • Cyc
  • Expert Systems
  • Ontology Editors
  • Reasoners
‹ Wine Admin up CASTLE ›

Search

Software

  • Communications Protocols
  • Compatibility Layers
  • Computable Knowledge
    • CASTLE
    • Cyc
    • Expert Systems
    • Ontology Editors
    • Reasoners
  • Computer Chess
  • Computer-Aided Design (CAD)
  • Connection Brokers
  • Cryptography
  • Databases
  • Disk Cloning
  • Electronic Design Automation (EDA)
  • Embedded System Design
  • Emulators
  • Game Engines
  • Graph Drawing
  • Lexical Analysis
  • License Managers
  • Mathematical Software
  • Multimedia
  • Natural Language Processors
  • Network Installation
  • Network Modeling and Simulation
  • Package Management Systems
  • Parallel Computing
  • Software Frameworks
  • Terminal Emulators
  • X Window Systems
© 2013-2021 University at Buffalo, All rights reserved.

RoopleTheme!