Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions Draft

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Missing Data in Kernel PCA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Recent Applications of Conformal Geometric Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

TopEVM: Using Co-Occurrence and Topology Patterns of Enzymes in Metabolic Networks to Construct Phylogenetic Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Scaled CGEM: A Fast Accelerated EM

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Framsticks: Towards a Simulation of a Nature-Like World, Creatures and Evolution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Reducing Equational Theories for the Decision of Static Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Bosphorus Database for 3D Face Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Novel System for Interactive Live TV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

A Survey of Watermarking Security

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy