Home → News 2007 September
 
 
News 2007 September
    
 

17.09.2007
Comment, and Picture of the Day
Wir drängeln nicht.

Wir halten Versprechen!!! We keep promises!!!
© Steve Carlson Hockey

OntoLinux Website update
We added to the webpage Links to Software the new section called Formal Modeling. We also added the following links to this new section:

  • Bell Labs, Unix® Group: On-the-Fly, Linear Temporal Logic (LTL) Model-Checking with Spin
  • Universität Dortmund, Lehrstuhl V, Fachbereich Informatik (FBI), Stefan Edelkamp, Alberto Lluch-Lafuente, Shahid Jabbar, Anton Wijs, and Kairong Qian: Lecture on Directed Model-Checking (HSF-Spin,...)
  • Stanford Research Institute (SRI): FormalWare at SRI
    • PVS - Prototype Verification System
    • SAL - Symbolic Analysis Laboratory

    We also inserted into the section Operating System the links:
  • Debian® Med
  • Salud Libre Community: Grupo BioLinux
  • Fermilab, European Organization for Nuclear Research (CERN), and various other Labs and Universities around the World: ScientificΓ!unx (SL)

    Into the section Collaborative Virtual Environment:

  • University of Illinois, College of Engineering and School of Art & Design: Electronic Visualization Laboratory (EVL)
    • VROOM - The Virtual Reality Room :: Exhibition at Siggraph
  • Fachhochschule Oberösterreich, Campus Hagenberg: Medientechnik und -design
    • Diplomarbeiten 2002

    And to the section Human Simulation/Holomer we added the links:

  • The National Cancer Institute, the National Cancer Institute Center for Bioinformatics (NCICB), and many others: caBIG™ - cancer Biomedical Informatics Grid™ Community Website
    • caBIG™ Public Information Site
  • University of Colorado, Denver: Center for Human Simulation (CHS)
  • U.S. Medicine, Richard M. Satava: Federal Responsibility For The Future: The Holographic Medical Electronic Record (HOLOMER)
  • University of California, Santa Barbara: Research Center for Virtual Environments and Behaviour (ReCVEB)

    We added to the Links to Organizations webpage the links:

  • The National Research Council of Canada, the Centre National de la Recherche Scientifique of France, and the University of Hawaii: Canada France Hawaii Telescope (CFHT)

  • The National Cancer Institute, and U.S. National Institutes of Health (NIH)
  • The University of Pennsylvania: The Abramson Cancer Center
  • The Dana-Faber Cancer Institute
  • The Dana-Farber/Harvard Cancer Center (DF/HCC)
  • The Dana-Faber Cancer Institute, the Brigham and Women's Hospital, the Massachusetts General Hospital, and the Harvard Medical School: Dana-Farber/Harvard Cancer Center
  • The Massachusetts General Hospital Cancer Center
  • The American Cancer Society (ACS), and the Leo and Gloria Rosen Family: Cancer.org
  • The Canadian Cancer Society/Société canadienne du cancer
  • The Stiftung des Öffentlichen Rechts, and the Helmholtz-Gemeinschaft Deutscher Forschungszentren: Deutsches Krebsforschungszentrum (DKFZ)
  • The Cancer Research UK
  • The Sloan-Kettering Cancer Center

    18.09.2007
    OntoLinux Website update
    We added to the webpage Links to Software into the section Formal Modeling the links:

  • KDevelop
  • Umbrello UML® Modeller (part of KDE)

    We added to the webpage Links to Hardware a new section named Multimedia, and the following links:

  • The Open Prosthetics Project
    • Articulated LEGO® Hand

  • Massachusetts Institute of Technology (MIT), Media Lab: Tangible Media Group
    • Tangible Business Process Analyzer
    • Sensetable
    • CADcast
  • Massachusetts Institute of Technology (MIT), Media Lab: Synthetic Characters Group
    • (*void)
    • Swamped!
  • Massachusetts Institute of Technology (MIT), Media Lab: Lifelong Kindergarten
    • Programmable Bricks: Toys to Think With

    19.09.2007
    OntoLinux Website update
    We added a new menu-item called Documents in the Technology-menu, and also have started to write the announced new webpages Introduction, and Proposal.

    We added to the webpage Links to Software into the section Intelligent/Cognitive Agent the links:

  • Carnegie Mellon University, Intelligent Software Agents Lab, and Robotics Institute: Retsina - Reusable Environment for Task-Structured Intelligent Networked Agents

    In the section Intelligent/Cognitive Interface the following links were added:

  • EU, Sixth Framework Programme (FP6): HUMAINE - Human-Machine Interaction Network on Emotion
    • Related Projects
    • CoSy - Cognitive Systems for Cognitive Assistants
  • Semantic Desktop.org

    22.09.2007
    OntoLinux Website update
    We added to the webpage Links to Software into the section Operating System the links:

  • Ubuntu® community, and Canonical®: Ubuntu®
    • Kubuntu®
    • Edubuntu

    We added to the webpage Links to Software a new section called Algorithmic/Generative/Evolutionary/Organic ... Art/Science, and into this section the links:

  • Roman Verostko: Algorithmic Art
    • Epigenetic Painting - Software as Genotype, A New Dimension of Art - The Original Text
    • Digital Art Museum: Painting - Software as Genotype
    • Epigenesis: The Growth of Form
    • A Universal Turing Machine Self Portrait
    • Flowers of Learning

  • Bruce Damer, and Biota.org: Organic Artists
  • Karl Sims, and Biota.org: Retrospective
  • The Evolutionary Art of Steven Rooke

  • University of Calgary, Department of Computer Science, Biological Modeling and Visualization Research Group: Algorithmic Botany
  • Gary William Flake: The Computational Beauty of Nature - Computer Explorations of Fractals, Chaos, Complex Systems, and Adaptation

    We added to the webpage Links to Hardware into the section Smart Phone/Pocket-Computer the link:

  • Intel®: Moblin.org

    And, we added to the webpage Links to Hardware into the section Multimedia the link:

  • Massachusetts Institute of Technology (MIT), Media Lab: Affective Computing Research Group

    23.09.2007
    OntoLinux Website update
    We have started to write the announced new webpage Prototyp.

    We added into the section Algorithmic/Generative/Evolutionary/ Organic ... Art/Science of the webpage Links to Software the links:

  • Architectural Association, School of Architecture: John Frazer - An Evolutionary Architecture - Electronic version

  • Piksel - free / libre and open source audiovisual software and art
  • Toplap - (Temporary|Transnational|Terrestrial|Transdimensional) Organisation for the (Promotion|Proliferation|Permanence|Purity) of Live (Algorithm|Audio|Art|Artistic) Programming
  • Pawful - poor artists working for a living
    • fluxus - Graphical livecoding environment for Scheme
    • Al-Jazari

    We added to the webpage Links to Hardware into the section Mobile Device the links:

  • Massachusetts Institute of Technology (MIT), Media Lab: One Laptop per Child (OLPC)
    • One Laptop per Child (OLPC)

    And into the section Multimedia on the same webpage the links:

  • University of Washington, Human Interface Technology Lab (HITLab US), and ATR Media Integration & Communication in Kyoto: Shared Space: Magic Book
  • University of Washington, Human Interface Technology Lab (HITLab US): Augmented Tangible Molecular Models: Protein Structure Magic Book
  • University of Canterbury, Human Interface Technology Laboratory New Zealand (HITLab NZ): Magic Book

    We also inserted into the webpage Links to Organization the link:

  • The National Aeronautics and Space Administration (NASA): Spitzer Space Telescope

    25.09.2007
    OntoLinux Website update
    We have finished the new webpage Proposal, and added a new webpage named Documents.

    For the while
    New York Times - Science - Technology - Computers and the Internet - Artificial Intelligence: King Algorithm - An Oracle for Our Time, Part Man, Part Machine

    26.09.2007
    OntoLinux Website update
    We have finished the new webpage Documents, and added a new webpage named E-Mail by Eric Teller.

    27.09.2007
    Comment, and Picture of the Day
    Klick - Klick

    © Westdeutscher Rundfunk Köln (WDR)
    Klick ...!!!

    OntoLinux Website update
    We have finished the new webpage E-Mail, and added the links:

  • Boy Lornsen: Robbi, Tobbi und das Fliewatüüt, and
  • More Notes
    to the Documents webpage.

    We added to the webpage Links to Software the new section Exotic Operating System, and into this section the following links:

  • Ministry of International Trade and Industry (MITI) of Japan, Fifth Generation Computer Systems project (FGCS), Institute for New Generation Computer Technology (ICOT):
    • SIMPOS - Sequential Inference Machine Programming and Operating System
    • PIMOS - OS for Parallel Inference Machines
  • The TUNES Project to Redefine Computing
  • Gérard Berry, and Gérard Boudol: CHAM - The Chemical Abstract Machine
  • Information and Communications University (ICU) Korea, Realtime & Embedded Systems Laboratory (RESL): ANTS - An evolvable Network of Tiny Sensors, ANTS-EOS - Evolvable Operating System

    28.09.2007
    OntoLinux Website update
    New links were added into the section Exotic Operating System of the Links to Software webpage:

  • University of California at Santa Barbara, Computer Science Department, Dave Probert, John Bruno, and M. Karaorman: SPACE: A New Approach to Operating System Abstraction
  • Amit Vasudevan, Ramesh Yerraballi, and Ashish Chawla: KLOS: A High Performance Kernel-Less Operating System
  • Thomas S. Ray: Tierra

    Section Robot Simulation:

  • Universität Bremen, Fachbereich 3, Informatik: SimRobot - 3-D Robotics Simulator

    We updated the webpage Overview by:

  • Replacing 'reflective' with 'kernel-less reflective/fractal/holonic'

    29.09.2007
    Pictures of the Day

    © AllPosters.com™ and Universal Studios

    OntoLinux Website update
    New links were inserted into the section Formal Modeling of the Links to Software webpage:

  • Brigham Young University, Computer Science Department, Object-oriented Systems Modeling Laboratory: OSM - Object-oriented Systems Modeling
    • OSM Meta-Model
    • ORM - Object-Relationship Model
    • Harmony
    • Allegro
  • University of Twente, Computer Science Department: TCM - Toolkit for Conceptual Modeling

    30.09.2007

    30.09.2007
    Picture of the Day

    © Metro-Goldwyn-Mayer Studios Incorporated

    OntoLinux Website update
    We have started to write the new webpage called More Notes.

    Into the section Exotic Operating System of the Links to Software webpage we added the following links:

  • Jochen Liedtke: L4
    • Technische Universität Dresden, Fakultät Informatik, Institut für Systemarchitektur, Betriebssystemgruppe (TUDOS): DROPS - The Dresden Real-Time Operating System Project
    • Technische Universität Dresden, Fakultät Informatik, Institut für Systemarchitektur, Betriebssystemgruppe (TUDOS): L4Li♠♥x - Li♠♥x on L4

    And into the section Formal Modeling of the Links to Software webpage we added the link:

  • Center for Scientific and Technological Research (ITC-irst) of Italy: NuSMV - a new symbolic model checker
    		•    
     
    © and/or ® 2007-2012
    Christian Stroetmann GmbH
    Disclaimer