Result 1 to 20 of 1261 total
Verification of TLB virtualization implemented in C. (English)
Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 209-224 (2012).
1
Cyber war, formal verification and certified infrastructure. (English)
Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 1 (2012).
2
Automated building construction design optimization for reduction of construction costs and energy demand. (English)
Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory ‒ EUROCAST 2011. 13th international conference, Las Palmas de Gran Canaria, Spain, February 6‒11, 2011. Revised selected papers, Part I. Berlin: Springer (ISBN 978-3-642-27548-7/pbk). Lecture Notes in Computer Science 6927, 216-223 (2012).
3
Uniqueness implies existence and uniqueness conditions for a class of $(k+j)$-point boundary value problems for $n$-th order differential equations. (English)
Can. Math. Bull. 55, No. 2, 285-296 (2012).
4
The homology of digraphs as a generalization of Hochschild homology. (English)
J. Algebra Appl. 11, No. 2, 1250031, 13 p. (2012).
5
Pyomo ‒ optimization modeling in Python. (English)
Springer Optimization and Its Applications 67. New York, NY: Springer (ISBN 978-1-4614-3225-8/hbk; 978-1-4614-3226-5/ebook). xviii, 237~p. EUR~49.95/net; SFR~66.50; \sterling~44.99; \$~59.95 (2012).
6
Measures and mechanisms for process monitoring in evolving business networks (English)
Data Knowl. Eng. 71, No. 1, 1-28 (2012).
7
The quadratic assignment problem in code optimization for a simple universal Turing machine. (English)
Complex Syst. 20, No. 1, 1-21 (2011).
8
A model-based development approach for the verification of real-time Java code. (English)
Concurrency Comput. Pract. Exp. 23, No. 13, 1583-1606 (2011).
9
Inverse dynamic model and a control application of a novel 6-DOF hybrid kinematics manipulator. (English)
J. Intell. Robot. Syst. 63, No. 1, 3-23 (2011).
10
Newton trajectories for finding stationary points on molecular potential energy surfaces. (English)
J. Math. Chem. 49, No. 9, 1915-1927 (2011).
11
Understanding documentary practice: lessons learnt from the text encoding initiative. (English)
Gradmann, Stefan (ed.) et al., Research and advanced technology for digital libraries. International conference on theory and practice of digital libraries, TPDL 2011, Berlin, Germany, September 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24468-1/pbk). Lecture Notes in Computer Science 6966, 272-283 (2011).
12
Towards standardized user and application interfaces for the brain computer interface. (English)
Stephanidis, Constantine (ed.), Universal access in human-computer interaction. Users diversity. 6th international conference, UAHCI 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21662-6/pbk). Lecture Notes in Computer Science 6766, 573-582 (2011).
13
On the approximation performance of fictitious play in finite games. (English)
Demetrescu, Camil (ed.) et al., Algorithms ‒ ESA 2011. 19th annual European symposium, Saarbrücken, Germany, September 5‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23718-8/pbk). Lecture Notes in Computer Science 6942, 93-105 (2011).
14
A survey of PPAD-completeness for computing Nash equilibria. (English)
Chapman, Robin (ed.), Surveys in combinatorics 2011. Papers from the 23rd British combinatorial conference, Exeter, UK, July 3‒8, 2011. Cambridge: Cambridge University Press (ISBN 978-1-107-60109-3/pbk). London Mathematical Society Lecture Note Serie 392, 51-82 (2011).
15
Edge-matching problems with rotations. (English)
Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 114-125 (2011).
16
Complete formal hardware verification of interfaces for a flexray-like bus. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 633-648 (2011).
17
Empirical prediction of protein p$K_{a}$values with residue mutation. (English)
J. Comput. Chem. 32, No. 10, 2140-2148 (2011).
18
A self-consistent hirshfeld method for the atom in the molecule based on minimization of information loss. (English)
J. Comput. Chem. 32, No. 8, 1561-1567 (2011).
19
io-port 05921026 Rangarajan, Arun;
Schedl, Tim;
Yook, Karen;
Chan, Juancarlos;
Haenel, Stephen;
Otis, Lolly;
Faelten, Sharon;
Depellegrin-Connelly, Tracey;
Isaacson, Ruth;
Skrzypek, Marek S.;
Cherry, J.Michael;
Sternberg, Paul W.;
Müller, Hans-Michael
Toward an interactive article: integrating journals and biological databases. (English)
BMC Bioinform. 12, 175 (2011).
20
Result 1 to 20 of 1261 total
Start
Contact
Print
General Help
