Items where Schools and Departments is "Computer Science" and Year is 2003
G
Garcez, A. & Gabbay, D. M. (2003). Fibring Neural Networks (TR/2003/SEG/03). .
Garcez, A., Spanoudakis, G. & Zisman, A. (2003). Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03 (TR/2003/DOC/01). .
H
Howe, J. M. & King, A. (2003). Efficient groundness analysis in Prolog. Theory and Practice of Logic Programming, 3(1), pp. 95-124. doi: 10.1017/s1471068402001485
Hughes, M. (2003). CAPSS: Computer-assisted patient scheduling system. (Unpublished Doctoral thesis, City, University of London)
K
Kloukinas, C., Nakhli, C. & Yovine, S. (2003). A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. Lecture Notes in Computer Science: Embedded Software, 2855, pp. 274-289. doi: 10.1007/978-3-540-45212-6_18
Kloukinas, C. & Yovine, S. (2003). Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. In: ECRTS. 15th Euromicro Conference on Real-Time Systems, 2003, Porto, Portugal. doi: 10.1109/EMRTS.2003.1212754
M
Mondragon, E. 
ORCID: 0000-0003-4180-1261, Bonardi, C. & Hall, G. (2003).
Negative priming and occasion setting in an appetitive Pavlovian procedure.
Animal Learning & Behavior, 31(3),
pp. 281-291.
doi: 10.3758/bf03195989
S
Simon, A., King, A. & Howe, J. M. (2003). Two variables per linear inequality as an abstract domain. Logic based program synthesis and transformation, 2664, pp. 71-89. doi: 10.1007/3-540-45013-0_7
Slabaugh, G. G., Schafer, R. W. & Hans, M. C. (2003). Image-based photo hulls for fast and photo-realistic new view synthesis. Real-Time Imaging, 9(5), pp. 347-360. doi: 10.1016/j.rti.2003.08.004
Z
Zamuner, S. (2003). Ligand-receptor interaction modelling using PET imaging. (Unpublished Doctoral thesis, City, University of London)
Zarras, A., Kloukinas, C. & Issarny, V. (2003). Quality Analysis of Dependable Systems: A Developer Oriented Approach. Lecture Notes in Computer Science: Architecting Dependable Systems, 2677 L, pp. 197-218. doi: 10.1007/3-540-45177-3_9