Result 1 to 20 of 687 total
Control of discrete-event systems. Automata and Petri net perspectives. (English)
Lecture Notes in Control and Information Sciences 433. New York, NY: Springer (ISBN 978-1-4471-4275-1/pbk; 978-1-4471-4276-8/ebook). xxiv, 478~p. EUR~119.00/net; SFR~158.50; \sterling~107.50/pbk (2013).
1
A simple and effective metaheuristic for the minimum latency problem. (English)
Eur. J. Oper. Res. 221, No. 3, 513-520 (2012).
2
A generalization of chromatic polynomial of a graph subdivision. (English)
J. Math. Sci., New York 182, No. 2, 246-254 (2012); translation from Sovrem. Mat. Prilozh. 71 (2011).
3
How bioinformatics enables livestock applied sciences in the genomic era. (English)
de Souto, Marcilio C. (ed.) et al., Advances in bioinformatics and computational biology. 7th Brazilian symposium on bioinformatics, BSB 2012, Campo Grande, Brazil, August 15‒17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31926-6/pbk). Lecture Notes in Computer Science 7409. Lecture Notes in Bioinformatics, 192-201 (2012).
4
Building a sentiment lexicon for social judgement mining. (English)
Caseli, Helena (ed.) et al., Computational processing of the Portuguese language. 10th international conference, PROPOR 2012, Coimbra, Portugal, April 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28884-5/pbk). Lecture Notes in Computer Science 7243. Lecture Notes in Artificial Intelligence, 218-228 (2012).
5
Toponym disambiguation using ontology-based semantic similarity. (English)
Caseli, Helena (ed.) et al., Computational processing of the Portuguese language. 10th international conference, PROPOR 2012, Coimbra, Portugal, April 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28884-5/pbk). Lecture Notes in Computer Science 7243. Lecture Notes in Artificial Intelligence, 179-185 (2012).
6
Climbing robot for ferromagnetic surfaces with dynamic adjustment of the adhesion system. (English)
J. Robot. 2012, Article ID 906545, 16 p. (2012).
7
Nonlinear identification of a minimal neuromuscular blockade model in anesthesia (English)
IEEE Trans. Contr. Sys. Techn. 20, No. 1, 181-188 (2012).
8
Software process definition: a reuse-based approach. (English)
J. UCS 17, No. 13, 1765-1799, electronic only (2011).
9
Fractional control of legged robots. (English)
Peixoto, Maurício Matos (ed.) et al., Dynamics, games and science II. DYNA 2008, in honor of Maurício Peixoto and David Rand, University of Minho, Braga, Portugal, September 8‒12, 2008. Papers based on talks given at the international conference. Berlin: Springer (ISBN 978-3-642-14787-6/hbk; 978-3-642-14788-3/ebook). Springer Proceedings in Mathematics 2, 647-650 (2011).
10
On fluidization of discrete event models: Observation and control of continuous Petri nets. (English)
Discrete Event Dyn. Syst. 21, No. 4, 427-497 (2011).
11
Rolling manifolds: an intrinsic perspective. (English)
Cardoso, João (ed.) et al., Mathematical papers in honour of Fátima Silva Leite. Selected papers based on the presentations at the special session on geometric control theory ‒ a tribute to Fátima Silva Leite on the occasion of her 60th anniversary, held at the 9th Portuguese conference on automatic control, CONTROLO’2010, Coimbra, Portugal, September 8‒10, 2010. Coimbra: Universidade de Coimbra, Departamento de Matemática (ISBN 978-972-8564-47-6/pbk). Textos de Matemática. Série B 43, 71-83 (2011).
12
A narrative game as an educational entertainment resource to teach words to children with learning deficits: A feasibility study. (English)
Anacleto, Junia Coutinho (ed.) et al., Entertainment computing ‒ ICEC 2011. 10th international conference, ICEC 2011, Vancouver, Canada, October 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24499-5/pbk). Lecture Notes in Computer Science 6972, 222-227 (2011).
13
MEDCollector: multisource epidemic data collector. (English)
Hameurlain, Abdelkader (ed.) et al., Transactions on Large-Scale Data- and Knowledge-Centered Systems IV. Special issue on database systems for biomedical applications. Berlin: Springer (ISBN 978-3-642-23739-3/pbk). Lecture Notes in Computer Science 6990. Journal Subline, 40-72 (2011).
14
TROCAS: Communication skills development in children with autism spectrum disorders via ICT. (English)
Campos, Pedro (ed.) et al., Human-computer interaction ‒ INTERACT 2011. 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5‒9, 2011. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-23767-6/pbk). Lecture Notes in Computer Science 6949, 644-647 (2011).
15
e-Rural: A framework to generate hyperdocuments for milk producers with different levels of literacy to promote better quality milking. (English)
Campos, Pedro (ed.) et al., Human-computer interaction ‒ INTERACT 2011. 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5‒9, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23770-6/pbk). Lecture Notes in Computer Science 6947, 422-429 (2011).
16
MedFMI-SiR: a powerful DBMS solution for large-scale medical image retrieval. (English)
Böhm, Christian (ed.) et al., Information technology in bio- and medical informatics. Second international conference, ITBAM 2011, Toulouse, France, August 29‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23207-7/pbk). Lecture Notes in Computer Science 6865, 16-30 (2011).
17
A conceptual model for integrated governance, risk and compliance. (English)
Mouratidis, Haralambos (ed.) et al., Advanced information systems engineering. 23rd international conference, CAiSE 2011, London, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21639-8/pbk). Lecture Notes in Computer Science 6741, 199-213 (2011).
18
On the forbidden induced subgraph sandwich problem. (English)
Discrete Appl. Math. 159, No. 16, 1717-1725 (2011).
19
Operation based model representation: experiences on inconsistency detection. (English)
France, Robert B. (ed.) et al., Modelling foundations and applications. 7th European conference, ECMFA 2011, Birmingham, UK, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21469-1/pbk). Lecture Notes in Computer Science 6698, 85-96 (2011).
20
Result 1 to 20 of 687 total