Sciweavers

1209 search results - page 106 / 242
» Universal Algebra and Computer Science
Sort
View
CPHYSICS
2006
85views more  CPHYSICS 2006»
15 years 3 months ago
Simulation of n-qubit quantum systems. II. Separability and entanglement
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
T. Radtke, S. Fritzsche
SPIN
2001
Springer
15 years 7 months ago
From Model Checking to a Temporal Proof
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
Doron Peled, Lenore D. Zuck
COMPGEOM
2008
ACM
15 years 5 months ago
Discrete laplace operator on meshed surfaces
In recent years a considerable amount of work in graphics and geometric optimization used tools based on the Laplace-Beltrami operator on a surface. The applications of the Laplac...
Mikhail Belkin, Jian Sun, Yusu Wang
CHI
2005
ACM
16 years 3 months ago
Graduate education in human-computer interaction
The School of Information and Library Science at the University of North Carolina at Chapel Hill has been offering a graduate course in User Interface Design since 1990. More rece...
James D. Foley, Michel Beaudouin-Lafon, Jonathan G...
CALCO
2009
Springer
156views Mathematics» more  CALCO 2009»
15 years 9 months ago
Van Kampen Colimits as Bicolimits in Span
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
Tobias Heindel, Pawel Sobocinski