Sciweavers

1209 search results - page 65 / 242
» Universal Algebra and Computer Science
Sort
View

Lab
667views
15 years 9 months ago
Digital Systems and Media Computing Laboratory - DSMC
The Digital Systems and Media Computing Laboratory (DSMC Lab) was established in the end of 2002 and is located in Patras, Greece. DSMC operates under the School of Sciences and Te...
FSTTCS
2009
Springer
15 years 6 months ago
The Power of Depth 2 Circuits over Algebras
We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (ΣΠΣ) arithmetic circuit...
Chandan Saha, Ramprasad Saptharishi, Nitin Saxena
FUIN
2006
103views more  FUIN 2006»
14 years 12 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...
PODC
1999
ACM
15 years 4 months ago
Wait-Free Synchronization in Multiprogrammed Systems: Integrating Priority-Based and Quantum-Based Scheduling
d Abstract) James H. Anderson Department of Computer Science University of North Carolina at Chapel Hill Mark Moiry Department of Computer Science University of Pittsburgh We cons...
James H. Anderson, Mark Moir

Book
269views
16 years 10 months ago
Type Systems for Programming Languages
"These notes were prepared for use in the graduate course Computer Science 15– 814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is ...
Robert Harper