Education blogs are becoming a means for educators, students, and education administrators to interact more effectively than ever before. Here is a list of our staff's 100 favorites.
Welcome to the Directory of Open Access Journals. This service covers free, full text, quality controlled scientific and scholarly journals. We aim to cover all subjects and languages.
Diese Liste befindet sich momentan im Relaunch. Es ist möglich, dass dadurch manche Features eines Systems noch nicht vermerkt sind, obwohl die Software sie unterstützt.
source for graphical user interface enhancements for Mac OS X, Microsoft Windows, and Linux. We specialize in desktop wallpaper, icons, themes, and news with a focus on community.
There is an abundance of new search engines (100+ at last count ) - each pioneering some innovation in search technology. Here is a list of the top 17 innovations that, in our opinion, will prove disruptive in the future. These innovations are classified
This is a home page for logical frameworks providing pointers to further material, including a bibliography, implementations, some researchers in the area, and recent announcements and papers. logical framework is a formal meta-language for deductive systems. The primary tasks supported in logical frameworks to varying degrees are * specification of deductive systems, * search for derivations within deductive systems, * meta-programming of algorithms pertaining to deductive systems, * proving meta-theorems about deductive systems. I include here systems that in other places have been called meta-logics and meta-logical frameworks; for me the choice of terminology merely indicates the relative emphasis placed on these tasks. Logical frameworks have been applied to many examples from logic and the theory of programming languages.
Twitter has become quite the hotbed of chatter about functional programming over the past few months, as a substantial number of pretty well known FP people have either been present all along or have signed up recently and started following each other. Here is a list of people I know about who tweet about FP on a semi-regular basis, along with what I think are their main interest
T. Tergan. (2008)Proc. of the Third Int. Conference on Concept Mapping
Tallinn, Estonia & Helsinki, Finland 2008
http://cmc.ihmc.us/cmc2008/cmc2008Program.html.