Noticias | Informáticas | Ciencias de la Computación

Center for Automation Research (CfAR) at the University of Maryland

Center for Automation Research — One of 16 Centers and Labs in the University of Maryland Institute for Advanced Computer Studies

CiteSeer

index of computer and information science papers, publications, and research.

Collection of Computer Science Bibliographies

Description, The Collection lists over 800,000 references, primarily to journal articles, conference papers and technical reports in computer science.

Finite Model Theory

Finite structures are usually disregarded in classical model theory. But finiteness often matters (for adequate modelling), and restriction

George Mason University - School of Computational Sciences

George Mason UniversitySchool of Computational Sciences

HCI Bibliography

features abstracted validated bibliographic entries, along with a variety of reference materials.

Hypertext Bibliography of Complexity Measures

coveres some of the philosophical and practical references to the concept and measurement of complexity.

Mathematics and Computer Science

We conduct world-class research in computer science, computational mathematics and statistics, mathematical modeling, algorithms and software, and computer

METAe: The Metadata Engine Project

developing an application software focusing on the automated extraction of metadata from digitised books and journals.

Research Centers & Initiatives

CACR exists to ensure that Caltech is at the forefront of computational science and engineering (CS&E).