Result 1 to 20 of 372 total
Serious games development and applications. Third international conference, SGDA 2012, Bremen, Germany, September 26‒29, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7528. Berlin: Springer (ISBN 978-3-642-33686-7/pbk). xi, 269~p. EUR~49.22 (2012).
1
Simplification of symbolic polynomials on non-commutative variables. (English)
Linear Algebra Appl. 437, No. 7, 1734-1748 (2012).
2
A multi-criteria model for auditing a predictive maintenance programme. (English)
Eur. J. Oper. Res. 217, No. 2, 381-393 (2012).
3
A general framework for subspace detection in unordered multidimensional data. (English)
Pattern Recognition 45, No. 9, 3566-3579 (2012).
4
Mechanised support for sound refinement tactics. (English)
Formal Asp. Comput. 24, No. 1, 127-160 (2012).
5
Organizing hospitals into networks: a hierarchical and multiservice model to define location, supply and referrals in planned hospital systems. (English)
OR Spectrum 34, No. 2, 319-348 (2012).
6
Canonizable partial order generators. (English)
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 6th international conference, LATA 2012, A Coruña, Spain, March 5‒9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28331-4/pbk). Lecture Notes in Computer Science 7183, 445-457 (2012).
7
Bayesian inference for power law processes with applications in repairable systems. (English)
J. Stat. Plann. Inference 142, No. 5, 1151-1160 (2012).
8
The use of integrative framework to support the development of competences. (English)
Ma, Minhua (ed.) et al., Serious games development and applications. Second international conference, SGDA 2011, Lisbon, Portugal, September 19‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23833-8/pbk). Lecture Notes in Computer Science 6944, 117-128 (2011).
9
Serious games development and applications. Second international conference, SGDA 2011, Lisbon, Portugal, September 19‒20, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6944. Berlin: Springer (ISBN 978-3-642-23833-8/pbk). x, 147~p. EUR~49.22 (2011).
10
Visualizing the evolution of social networks. (English)
Antunes, Luis (ed.) et al., Progress in artificial intelligence. 15th Portuguese conference on artificial intelligence, EPIA 2011, Lisbon, Portugal, October 10‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24768-2/pbk). Lecture Notes in Computer Science 7026. Lecture Notes in Artificial Intelligence, 476-490 (2011).
11
B to CSP migration: Towards a formal and automated model-driven engineering of hardware/software co-design. (English)
Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26‒30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 44-59 (2011).
12
Applying an elitist electromagnetism-like algorithm to head robot stabilization. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2011. International conference, Santander, Spain, June 20‒23, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-21930-6/pbk). Lecture Notes in Computer Science 6784, 343-357 (2011).
13
A tactic language for refinement of state-rich concurrent specifications. (English)
Sci. Comput. Program. 76, No. 9, 792-833 (2011).
14
An extinction-survival-type phase transition in the probabilistic cellular automaton $p182-q200$. (English)
J. Phys. A, Math. Theor. 44, No. 15, Article ID 155001, 10 p. (2011).
15
Formal development of a cardiac pacemaker: from specification to code. (English)
Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8‒11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 210-225 (2011).
16
MEC - monitoring clusters’ transitions. (English)
Ågotnes, Thomas (ed.), STAIRS 2010. Proceedings of the fifth starting AI researchers’ symposium, Lisbon, Portugal, August 16‒20, 2010. Amsterdam: IOS Press (ISBN 978-1-60750-675-1/hbk; 978-1-60750-676-8/ebook). Frontiers in Artificial Intelligence and Applications 222, 212-224 (2011).
17
How to improve the accessibility and reduce the total cost of ownership with ecolig protocol and android in mobile learning (English)
iJIM 5, No. 4, 11-16 (2011).
18
High-fidelity modulation parameter estimation of non-cooperative transmitters: baud-period and timing (English)
Digital Signal Processing 21, No. 5, 625-631 (2011).
19
High-fidelity modulation parameter estimation of non-cooperative transmitters: carrier frequency (English)
Digital Signal Processing 21, No. 5, 632-637 (2011).
20
Result 1 to 20 of 372 total
Start
Contact
Print
General Help
