Computer science

This course is designed to be of interest to both philosophers and those with a background in computer and information science. No prior knowledge of ontology is presupposed. It is free for use in any way.

The overall goal of this project is provide an architectural solution for the next generation Web portals. We are aiming to overcome the drawbacks and limitations of static portals and make portals more intuitive, dynamic, and flexible. In this project, we work on Web portal extensions in the following

supercomputing arena

Harvard Scholars: Create a dynamic feature-full personal web site in seconds. For free!

Artificial Intelligence University of Washington

Software Foundations
Benjamin C. Pierce
Chris Casinghino
Michael Greenberg
Vilhelm Sjöberg
Brent Yorgey

I've had a few requests from people wanting to teach themselves applications of Category Theory to Haskell based on posts I've made. I've made things difficult by posting stuff at random levels of difficulty and without any kind of organising thread through them. So here's an attempt to list a bunch of posts related to aspects of category theory. I've grouped them by themes and within each theme I've tried to list the articles in order of difficulty. Unfortunately there can be big gaps between one article and the next as none of this material was intended to be linked together continuously. Nonetheless, I hope this is of some help.

Kno.e.sis is a Center in the College of Engineering and Computer Science at Wright State University, founded as part of Ohio's Third Frontier program. Our cutting-edge research in the use of semantic and services science for data integration, analysis, and process management complements daytaOhio's mission to leverage innovation in data-intensive technologies for economic expansion. Kno.e.sis research focuses on realizing a knowledge society with semantics and services as key enablers.