Result 1 to 20 of 579 total
Monadic datalog containment. (English)
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Warwick, UK, July 9‒13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 79-91 (2012).
1
Regularized posteriors in linear ill-posed inverse problems. (English)
Scand. J. Stat. 39, No. 2, 214-235 (2012).
2
Feasibility pump heuristics for column generation approaches. (English)
Klasing, Ralf (ed.), Experimental algorithms. 11th international symposium, SEA 2012, Bordeaux, France, June 7‒9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30849-9/pbk). Lecture Notes in Computer Science 7276, 332-343 (2012).
3
Guide to FPGA implementation of arithmetic functions. (English)
Lecture Notes in Electrical Engineering 149. Dordrecht: Springer (ISBN 978-94-007-2986-5/hbk; 978-94-007-2987-2/ebook). xv, 469~p. EUR~169.95/net; SFR~226.50; \sterling~153.00; \$~229.00 (2012).
4
Robust beam compensation for laser-based additive manufacturing. (English)
Comput.-Aided Des. 43, No. 8, 876-888 (2011).
5
A approach to clinical proteomics data quality control and import. (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, 168-182 (2011).
6
A Datalog recognizer for almost affine $λ$-CFGs. (English)
Kanazawa, Makoto (ed.) et al., The mathematics of language. 12th biennial conference, MOL 12, Nara, Japan, September 6‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23210-7/pbk). Lecture Notes in Computer Science 6878. Lecture Notes in Artificial Intelligence, 21-38 (2011).
7
A co-design methodology based on model driven architecture for real time embedded systems. (English)
Math. Comput. Modelling 53, No. 3-4, 471-484 (2011).
8
The Newton method in problems of variational data assimilation: application to an infiltration model. (English)
Int. J. Pure Appl. Math. 69, No. 1, 15-32 (2011).
9
Game semantics and uniqueness of type inhabitance in the simply-typed $λ$-calculus. (English)
Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1‒3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 61-75 (2011).
10
IUPHAR-DB: new receptors and tools for easy searching and visualization of pharmacological data. (English)
Nucleic Acids Res. 39, No. Database-Issue, 534-538 (2011).
11
Multi-component tree insertion grammars. (English)
de Groote, Philippe (ed.) et al., Formal grammar. 14th international conference, FG 2009, Bordeaux, France, July 25‒26, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20168-4/pbk). Lecture Notes in Computer Science 5591. Lecture Notes in Artificial Intelligence, 31-46 (2011).
12
The fractional chromatic number of Zykov products of graphs. (English)
Appl. Math. Lett. 24, No. 4, 432-437 (2011).
13
A co-design methodology based on model driven architecture for real time embedded systems (English)
Mathematical and Computer Modelling 53, No. 3-4, 471-484 (2011).
14
Broadband dispersion extraction using simultaneous sparse penalization (English)
IEEE Transactions on Signal Processing 59, No. 10, 4821-4837 (2011).
15
Job vs. Portioned partitioning for the earliest deadline first semi-partitioned scheduling (English)
Journal of Systems Architecture - Embedded Systems Design 57, No. 5, 518-535 (2011).
16
Les ontologies en agriculture (English)
Ingénierie des Systèmes d’Information 16, No. 3, 55-84 (2011).
17
Robust beam compensation for laser-based additive manufacturing (English)
Computer-Aided Design 43, No. 8, 876-888 (2011).
18
Foundations of an ontology of philosophy (English)
Synthese 182, No. 2, 185-204 (2011).
19
Game semantics and uniqueness of type inhabitance in the simply-typed {$\it λ$}-calculus (English)
TLCA, 61-75 (2011).
20
Result 1 to 20 of 579 total
Start
Contact
Print
General Help
