Result 1 to 20 of 1122 total
Orientations, lattice polytopes, and group arrangements II: Modular and integral flow polynomials of graphs. (English)
Graphs Comb. 28, No. 6, 751-779 (2012).
1
High-performance pseudo-random number generation on graphics processing units. (English)
Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 9th international conference, PPAM 2011, Torun, Poland, September 11‒14, 2011. Revised selected papers, Part I. Berlin: Springer (ISBN 978-3-642-31463-6/pbk). Lecture Notes in Computer Science 7203, 609-618 (2012).
2
Deep inference and probabilistic coherence spaces. (English)
Appl. Categ. Struct. 20, No. 3, 209-228 (2012).
3
Irregular colorings of regular graphs. (English)
Discrete Math. 312, No. 15, 2329-2336 (2012).
4
Feasibility analysis of real-time transactions. (English)
Real-Time Syst. 48, No. 3, 320-358 (2012).
5
On the rank function of a differential poset. (English)
Electron. J. Comb. 19, No. 2, Research Paper P13, 17 p., electronic only (2012).
6
Enumerative combinatorics. Vol. 1. 2nd ed. (English)
Cambridge Studies in Advanced Mathematics 49. Cambridge: Cambridge University Press (ISBN 978-1-107-60262-5/pbk; 978-1-107-01542-5/hbk; 978-1-139-20056-1/ebook). xiii, 626~p. \sterling~33.00, \$~49.95/pbk; \sterling~75.00, \$~125.00/hbk; \$~40.00/ebook (2012).
7
A step-by-step modeling, analysis and annotation of locomotion. (English)
Comput. Animat. Virtual Worlds 22, No. 5, 421-433 (2011).
8
Convergence and feedback: a framework for bounded cellular automata design. (English)
J. Cell. Autom. 6, No. 4-5, 399-416 (2011).
9
Post-agility: what follows a decade of agility? (English)
Inf. Softw. Technol. 53, No. 5, 543-555 (2011).
10
Linear algebra methods for Forbidden configurations. (English)
Combinatorica 31, No. 1, 1-19 (2011).
11
Small forbidden configurations. V: Exact bounds for $4 \times 2$ cases. (English)
Stud. Sci. Math. Hung. 48, No. 1, 1-22 (2011).
12
Brief announcement: Towards interoperability standards and services for autonomic systems. (English)
Défago, Xavier (ed.) et al., Stabilization, safety, and security of distributed systems. 13th international symposium, SSS 2011, Grenoble, France, October 10‒12, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24549-7/pbk). Lecture Notes in Computer Science 6976, 435-436 (2011).
13
Towards a simple meta-model for complex real-time and embedded systems. (English)
Bellatreche, Ladjel (ed.) et al., Model and data engineering. First international conference, MEDI 2011, Óbidos, Portugal, September 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24442-1/pbk). Lecture Notes in Computer Science 6918, 226-236 (2011).
14
Automatic human action recognition in videos by graph embedding. (English)
Maino, Giuseppe (ed.) et al., Image analysis and processing ‒ ICIAP 2011. 16th international conference, Ravenna, Italy, September 14‒16, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-24087-4/pbk). Lecture Notes in Computer Science 6979, 19-28 (2011).
15
The effect of haptic cues on working memory in 3D menu selection. (English)
Jacko, Julie A. (ed.), Human-computer interaction. Interaction techniques and environments. 14th international conference, HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21604-6/pbk). Lecture Notes in Computer Science 6762, 158-166 (2011).
16
What you feel is what I do: a study of dynamic haptic interaction in distributed collaborative virtual environment. (English)
Jacko, Julie A. (ed.), Human-computer interaction. Interaction techniques and environments. 14th international conference, HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21604-6/pbk). Lecture Notes in Computer Science 6762, 140-147 (2011).
17
Two enumerative results on cycles of permutations. (English)
Eur. J. Comb. 32, No. 6, 937-943 (2011).
18
From xetal-II to xetal-pro: on the road toward an ultralow-energy and high-throughput SIMD processor. (English)
IEEE Trans. Circuits Syst. Video Technol. 21, No. 4, 472-484 (2011).
19
Simulation of an instrumental childbirth for the training of the forceps extraction: control algorithm and evaluation. (English)
IEEE Trans. Inf. Technol. Biomed. 15, No. 3, 364-372 (2011).
20
Result 1 to 20 of 1122 total
Start
Contact
Print
General Help
