Result 1 to 20 of 292 total
Looking at numbers. (English)
Basel: Birkhäuser (ISBN 978-3-0348-0553-7/pbk). 200~p. EUR~49.95/net; SFR~66.50; \sterling~44.99; \$~69.95 (2013).
1
Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 252-266 (2012).
2
A sequence-oriented stream warehouse paradigm for network monitoring applications. (English)
Taft, Nina (ed.) et al., Passive and active measurement. 13th international conference, PAM 2012, Vienna, Austria, March 12‒14, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28536-3/pbk). Lecture Notes in Computer Science 7192, 53-63 (2012).
3
A small model theorem for rectangular hybrid automata networks. (English)
Giese, Holger (ed.) et al., Formal techniques for distributed systems. Joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13‒16, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30792-8/pbk). Lecture Notes in Computer Science 7273, 18-34 (2012).
4
Classifying high-noise EEG in complex environments for brain-computer interaction technologies. (English)
D’Mello, Sidney (ed.) et al., Affective computing and intelligent interaction. 4th international conference, ACII 2011, Memphis, TN, USA, October 9‒12, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-24570-1/pbk). Lecture Notes in Computer Science 6975, 467-476 (2011).
5
Update propagation in a streaming warehouse. (English)
Bayard Cushing, Judith (ed.) et al., Scientific and statistical database management. 23rd international conference, SSDBM 2011, Portland, OR, USA, July 20‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22350-1/pbk). Lecture Notes in Computer Science 6809, 129-149 (2011).
6
On a computer-aided approach to the computation of Abelian integrals. (English)
BIT 51, No. 3, 653-667 (2011).
7
A note on the convergence of parametrised non-resonant invariant manifolds. (English)
Qual. Theory Dyn. Syst. 10, No. 1, 107-121 (2011).
8
Integrated modeling for ion cyclotron resonant heating in toroidal systems (English)
Computer Physics Communications 182, No. 4, 912-925 (2011).
9
io-port 50207361 Franklin, Amy;
Liu, Ying;
Li, Zhe;
Nguyen, Vickie;
Johnson, Todd R.;
Robinson, David J.;
Okafor, Nnaemeka;
King, Brent;
Patel, Vimla L.;
Zhang, Jiajie
Opportunistic decision making and complexity in emergency care (English)
Journal of Biomedical Informatics 44, No. 3, 469-476 (2011).
10
Team shared mental model as a contributing factor to team performance and students’ course satisfaction in blended courses (English)
Computers in Human Behavior 27, No. 6, 2330-2338 (2011).
11
Development of a training effects algorithm for modeling the impact of training in IMPRINT for 21st century air force needs (English)
SpringSim (MMS), 86-91 (2011).
12
Consistency in a stream warehouse (English)
CIDR, 114-122 (2011).
13
Update propagation in a streaming warehouse (English)
SSDBM, 129-149 (2011).
14
Bistro data feed management system (English)
SIGMOD Conference, 1059-1070 (2011).
15
Effect of mobileasl on communication among deaf users (English)
CHI Extended Abstracts, 2185-2190 (2011).
16
Classifying high-noise EEG in complex environments for brain-computer interaction technologies (English)
ACII (2), 467-476 (2011).
17
io-port 05821170 Frahm, Jan-Michael;
Fite-Georgel, Pierre;
Gallup, David;
Johnson, Tim;
Raguram, Rahul;
Wu, Changchang;
Jen, Yi-Hung;
Dunn, Enrique;
Clipp, Brian;
Lazebnik, Svetlana;
Pollefeys, Marc
Building Rome on a cloudless day. (English)
Daniilidis, Kostas (ed.) et al., Computer vision ‒ ECCV 2010. 11th European conference on computer vision, Heraklion, Crete, Greece, September 5‒11, 2010. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-15560-4/pbk). Lecture Notes in Computer Science 6314, 368-381 (2010).
18
Safe flocking in spite of actuator faults. (English)
Dolev, Shlomi (ed.) et al., Stabilization, safety, and security of distributed systems. 12th international symposium, SSS 2010, New York, NY, USA, September 20‒22, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16022-6/pbk). Lecture Notes in Computer Science 6366, 588-602 (2010).
19
Fostering the development of critical thinking skills, and Reading comprehension of undergraduates using a web 2.0 tool coupled with a learning system (English)
Interactive Learning Environments 18, No. 3, 263-276 (2010).
20
Result 1 to 20 of 292 total
Start
Contact
Print
General Help
