Result 1 to 20 of 147 total
On integrating description logics and rules under minimal hypotheses. (English)
Krötzsch, Markus (ed.) et al., Web reasoning and rule systems. 6th international conference, RR 2012, Vienna, Austria, September 10‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33202-9/pbk). Lecture Notes in Computer Science 7497, 242-245 (2012).
1
Low-depth witnesses are easy to find. (English)
Comput. Complexity 21, No. 3, 479-497 (2012).
2
A class of primal affine scaling algorithms. (English)
Appl. Math. Comput. 218, No. 8, 4523-4532 (2011).
3
Shop floor scheduling in a mobile robotic environment. (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, 377-391 (2011).
4
Novelty detection using graphical models for semantic room classification. (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, 326-339 (2011).
5
Alzheimer disease classification on diffusion weighted imaging features. (English)
Ferrández, José Manuel (ed.) et al., New challenges on bioinspired applications. 4th international work-conference on the interplay between natural and artificial computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 ‒ June 3, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21325-0/pbk). Lecture Notes in Computer Science 6687, 120-127 (2011).
6
Leaders and decision making. (Portuguese)
Gaz. Mat., Lisb. 163, 50-51 (2011).
7
Adaptive reasoning for cooperative agents. (English)
Abreu, Salvador (ed.) et al., Applications of declarative programming and knowledge management. 18th international conference, INAP 2009, Évora, Portugal, November 3‒5, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20588-0/pbk). Lecture Notes in Computer Science 6547. Lecture Notes in Artificial Intelligence, 102-116 (2011).
8
Stabel model implementation of layer supported models by program transformation. (English)
Abreu, Salvador (ed.) et al., Applications of declarative programming and knowledge management. 18th international conference, INAP 2009, Évora, Portugal, November 3‒5, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20588-0/pbk). Lecture Notes in Computer Science 6547. Lecture Notes in Artificial Intelligence, 70-84 (2011).
9
io-port 05930701 Koumaras, H.;
Negru, D.;
Borcoci, E.;
Koumaras, V.;
Troulos, C.;
Lapid, Y.;
Pallis, E.;
Sidibé, M.;
Pinto, A.;
Gardikis, G.;
Xilouris, G.;
Timmerer, C.
Media ecosystems: A novel approach for content-awareness in future networks. (English)
Domingue, John (ed.) et al., The future internet. Future internet assembly 2011: achievements and technological promises. Berlin: Springer (ISBN 978-3-642-20897-3/pbk). Lecture Notes in Computer Science 6656, 369-380 (2011).
10
Inspecting side-effects of abduction in logic programs. (English)
Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 148-163 (2011).
11
Probabilistically safe vehicle control in a hostile environment. (English)
Comput. Res. Repos. 2011, Article No. 1103.4065 (2011).
12
io-port 05894310 Banaszuk, Andrzej;
Fonoberov, Vladimir A.;
Frewen, Thomas A.;
Kobilarov, Marin;
Mathew, George;
Mezic, Igor;
Pinto, Alessandro;
Sahai, Tuhin;
Sane, Harshad;
Speranzon, Alberto;
Surana, Amit
Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems. (English)
Comput. Res. Repos. 2011, Article No. 1103.0733 (2011).
13
Price-setting dynamical duopoly with incomplete information. (English)
Tenreiro Machado, J. A. (ed.) et al., Nonlinear science and complexity. Based on the 2nd conference on nonlinear science and complexity, NSC ’08, Porto, Portugal, July 28‒31, 2008. Berlin: Springer (ISBN 978-90-481-9883-2/hbk; 978-90-481-9884-9/ebook). 397-403 (2011).
14
Uncertainty on a Bertrand duopoly with product differentiation. (English)
Tenreiro Machado, J. A. (ed.) et al., Nonlinear science and complexity. Based on the 2nd conference on nonlinear science and complexity, NSC ’08, Porto, Portugal, July 28‒31, 2008. Berlin: Springer (ISBN 978-90-481-9883-2/hbk; 978-90-481-9884-9/ebook). 389-395 (2011).
15
Three behavioural scenarios for contingent claims valuation in incomplete markets. (English)
Tenreiro Machado, J. A. (ed.) et al., Nonlinear science and complexity. Based on the 2nd conference on nonlinear science and complexity, NSC ’08, Porto, Portugal, July 28‒31, 2008. Berlin: Springer (ISBN 978-90-481-9883-2/hbk; 978-90-481-9884-9/ebook). 221-228 (2011).
16
Immune response dynamics (English)
Mathematical and Computer Modelling 53, No. 7-8, 1410-1419 (2011).
17
Autoimmunity arising from bystander proliferation of T cells in an immune response model (English)
Mathematical and Computer Modelling 53, No. 7-8, 1389-1393 (2011).
18
Application of genetic algorithm to minimize the number of objects processed and setup in a one-dimensional cutting stock problem (English)
IJAEC 2, No. 1, 34-48 (2011).
19
io-port 50289107 Banaszuk, Andrzej;
Fonoberov, Vladimir A.;
Frewen, Thomas A.;
Kobilarov, Marin;
Mathew, George;
Mezic, Igor;
Pinto, Alessandro;
Sahai, Tuhin;
Sane, Harshad;
Speranzon, Alberto;
Surana, Amit
Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems (English)
Annual Reviews in Control 35, No. 1, 77-98 (2011).
20
Result 1 to 20 of 147 total