History

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 424 total

Mining query log graphs towards a query folksonomy. (English)
Concurrency Comput. Pract. Exp. 24, No. 17, 2179-2192 (2012).
1
An investigation into agile methods in embedded systems development. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-31136-9/pbk). Lecture Notes in Computer Science 7335, 576-591 (2012).
2
A spatial data infrastructure situation-aware to the 2014 World Cup. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-31124-6/pbk). Lecture Notes in Computer Science 7333, 561-570 (2012).
3
Evolving security requirements in multi-layered service-oriented-architectures. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Data privacy management and autonomous spontaneus security. 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15‒16, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28878-4/pbk). Lecture Notes in Computer Science 7122, 190-205 (2012).
4
Hopfield neural networks in large-scale linear optimization problems. (English)
Appl. Math. Comput. 218, No. 12, 6851-6859 (2012).
5
Climbing robot for ferromagnetic surfaces with dynamic adjustment of the adhesion system. (English)
J. Robot. 2012, Article ID 906545, 16 p. (2012).
6
Combining a hybrid preconditioner and a optimal adjustment algorithm to accelerate the convergence of interior point methods. (English)
Linear Algebra Appl. 436, No. 5, 1267-1284 (2012).
7
The functional interpretation of logical deduction. (English)
Advances in Logic 5. Hackensack, NJ: World Scientific (ISBN 978-981-4360-95-1/hbk; 978-981-4360-96-8/ebook). xxxii, 266~p. \$~98.00, \sterling~65.00/hbk; \$~127.00, \sterling~84.00/ebook (2012).
8
Proof-graphs: a thorough cycle treatment, normalization and subformula property. (English)
Fundam. Inform. 106, No. 2-4, 119-147 (2011).
9
Reference architecture and product line architecture: a subtle but critical difference. (English)
Crnkovic, Ivica (ed.) et al., Software architecture. 5th European conference, ECSA 2011, Essen, Germany, September 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23797-3/pbk). Lecture Notes in Computer Science 6903, 207-211 (2011).
10
Virtualization with automated services catalog for providing integrated information technology infrastructure. (English)
Calero, Jose M. Alcaraz (ed.) et al., Autonomic and trusted computing. 8th international conference, ATC 2011, Banff, Canada, September 2‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23495-8/pbk). Lecture Notes in Computer Science 6906, 75-91 (2011).
11
Smart cities and the future internet: Towards cooperation frameworks for open innovation. (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, 431-446 (2011).
12
Efficient alignment of pyrosequencing reads for re-sequencing applications. (English)
BMC Bioinform. 12, 163 (2011).
13
The functional interpretation of direct computations. (English)
Electron. Notes Theor. Comput. Sci. 269, 19-40 (2011).
14
Laminin database: a tool to retrieve high-throughput and curated data for studies on laminins. (English)
Nucleic Acids Res. 39, No. Database-Issue, 320-323 (2011).
15
YEASTRACT: providing a programmatic access to curated transcriptional regulatory associations in {\it saccharomyces cerevisiae} through a web services interface. (English)
Nucleic Acids Res. 39, No. Database-Issue, 136-140 (2011).
16
A shift-invariant morphological system for software development cost estimation (English)
Expert Syst. Appl. 38, No. 4, 4162-4168 (2011).
17
Educational services in second life: A study based on flow theory (English)
IJWLTT 6, No. 2, 1-17 (2011).
18
Quantitative modeling of the {\it saccharomyces cerevisiae} flr1 regulatory network using an S-system formalism (English)
J. Bioinformatics and Computational Biology 9, No. 5, 613-630 (2011).
19
Model and heuristic for berth allocation in tidal bulk ports with stock level constraints (English)
Computers & Industrial Engineering 60, No. 4, 606-613 (2011).
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 424 total