Scis0000002 profile

Recent Activity

• 11:29: posted Formal methods in robotics: Fault tree based verification
• 11:23: posted Algebraic methods for computing inverse kinematics
• 08:47: posted Theoretical foundations for nervous networks

• 22:34: posted The World in Eleven Dimensions: Supergravity, Supermembranes and M-Theory
• 21:41: posted Representation, Optimization and Compression of High Dimensional Data
• 19:32: posted From RNAi to Epigenomes: How RNA Rules The World
• 16:44: posted Monads of coalgebras: rational terms and term graphs
• 16:35: posted Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Lectures (Lecture Notes in Computer Science)

• 21:24: posted Categorical structures enriched in a quantaloid: categories, distributors and functors