Computer Science and Engineering

Bondar, D. and Budimir, D. 2007. WiMax power amplifier linearisation through injection of base-band component. 11th International Symposium on Microwave and Optical Technology (ISMOT-2007). Villa Mondragone, Monte Porzio Catone, Italy 17 -21 Dec 2007

Bolotov, A., Grigoriev, O. and Shangin, V. 2007. A Simpler formulation of natural deduction calculus for linear-time temporal logic. in: Bhanu, P. (ed.) Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007 India IICAI. pp. 1253-1266

Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL. in: Proceedings of the "Smirnov's Readings", VI International Conference (in Russian) Moscow, Russia Moscow State University.

Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Automating natural deduction for linear-time temporal logic. in: 14th International Symposium on Temporal Representation and Reasoning (TIME'07)), 28-30 June 2007, Alicante, Spain Los Alamitos, USA IEEE . pp. 47-58

Bernholdt, D. and Getov, Vladimir 2007. Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing. New York, NY, USA ACM.

Balaton, Z., Gombas, G., Kacsuk, P., Kornafeld, A., Kovacs, J., Marosi, A.C., Vida, G., Podhorszki, N. and Kiss, T. 2007. SZTAKI desktop grid: a modular and scalable way of building large computing grids. in: 21st International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA Los Alamitos, USA IEEE . pp. 1-8

Angelopoulou, A., Psarrou, A., Gupta, G. and Garcia Rodriguez, J. 2007. Robust modelling and tracking of NonRigid objects using Active-GNG. in: IEEE Workshop on Non-rigid Registration and Tracking through Learning, NRTL 2007, in conjunction with ICCV 2007, 14-21 October 2007, Rio de Janeiro Los Alamitos, USA IEEE . pp. 1-7

Angelopoulou, A., Psarrou, A., Gupta, G. and Garcia Rodriguez, J. 2007. Nonparametric modelling and tracking with Active-GNG. in: Lew, M., Sebe, N., Huang, T.S. and Bakker, E.M. (ed.) Human-Computer Interaction: IEEE international workshop, HCI 2007, Rio de Janeiro, Brazil, October 20, 2007; proceedings Berlin Springer.

Adeyemi, S., Chaussalet, T.J., Xie, H. and Millard, P.H. 2007. Patients flow: a mixed-effects modelling approach to predicting discharge probabilities. in: Proceedings of the 20th IEEE International Symposium on Computer-Based Medical Systems. IEEE CBMS 2007, Maribor, Slovenia, 20-22 June 2007 Los Alamitos, USA IEEE . pp. 725-730

Kacsuk, P., Fahringer, T. and Nemeth, Z. (ed.) 2007. Distributed and parallel systems: cluster and grid computing (Proceedings of the 6th Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS)). Boston, MA Springer.

Xie, H., Chaussalet, T.J., Thompson, W.A. and Millard, P.H. 2007. A simple graphical decision aid for the placement of elderly people in long-term care. Journal of the Operational Research Society. 58 (4), pp. 446-453. https://doi.org/10.1057/palgrave.jors.2602179

Ali, F.J., Slevin, L. and Dagdeviren, H. 2007. Developing Databases for Enabling Interoperability inthe UCAS Admission Process. Integrated Design and Process Technology, IDPT-2007. Antalya, Turkey 3-8 June 2007

Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Automating natural deduction for temporal logic. in: Proceedings of the 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, ARW 2007. London Imperial College.

Chaussalet, T.J. and Bos, L. 2006. The ICMCC second conference on "Medical and Care Compunetics". International Journal of Medical Informatics. 75 (9), pp. vii-viii. https://doi.org/10.1016/S1386-5056(06)00188-2

Xie, H., Chaussalet, T.J. and Millard, P.H. 2006. A model-based approach to the analysis of patterns of length of stay in institutional long-term care. IEEE Transactions on Information Technology in Biomedicine. 10 (3), pp. 512-518. https://doi.org/10.1109/TITB.2005.863820

Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for extended computation tree logic ECTL. Journal of Applied Logic. 4 (2), pp. 141-167. https://doi.org/10.1016/j.jal.2005.06.003

Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0042

Shelkovnikov, A.B. and Budimir, D. 2006. Left-handed rectangular waveguide bandstop filters. Microwave & Optical Technology Letters. 48 (5), pp. 846-848. https://doi.org/10.1002/mop.21494

Parlavantzas, N., Morel, M., Baude, F., Huet, F., Caromel, D. and Getov, Vladimir 2006. Componentising a scientific application for the grid. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0031

Shen, G. and Budimir, D. 2006. Bandpass filters using periodically loaded combline resonators. International Journal of R F and Microwave Computer-Aided Engineering. 16 (2), pp. 171-180. https://doi.org/10.1002/mmce.20123

Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for branching-time logic ECTL+. Annals of Mathematics and Artificial Intelligence. 46 (3), pp. 235-263. https://doi.org/10.1007/s10472-006-9018-1

Cetin, E., Kale, I., Morling, R.C.S. and Dempster, A.G. 2006. Satellite radio navigation receivers.

Maamar, A., Kale, I., Krukowski, A.M. and Daoud, B. 2006. Partial equalization of non-minimum-phase impulse responses. EURASIP Journal on Applied Signal Processing. 2006 (Article ID 67467), p. 8 pages. https://doi.org/10.1155/ASP/2006/67467

Kirchev, L., Blyantov, M., Georgiev, V., Boyanov, K., Taylor, I., Harrison, A., Isaiadis, S., Getov, Vladimir and Currle-Linde, N. 2006. Mapping "heavy" scientific applications on a lightweight grid infrastructure. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0024

Kirchev, L., Blyantov, M., Georgiev, V., Boyanov, K., Malawski, M., Bubak, M., Isaiadis, S. and Getov, Vladimir 2006. Security models for lightweight grid architectures. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0023

Badia, R.M., Beckmann, O., Bubak, M., Caromel, D., Getov, Vladimir, Henrio, L., Isaiadis, S., Lazarov, V., Malawski, M., Panagiotidi, S., Parlavantzas, N. and Thiyagalingam, J. 2006. Lightweight grid platform: design methodology. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0020

Bolotov, A., Getov, Vladimir, Basso, A. and Basukoski, A. 2006. Specification and Verification of Reconfiguration Protocols in Grid Component Systems. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010 University of Bristol Technical Report.

Zouganelis, G. and Budimir, D. 2006. New electromagnetic resonators and filters based in periodicity of magnetic permeability. MMA'2006: 4th International Conference on Microwave Materials and their Applications. Oulu, Finland 12-15 Jun 2006

Zhang, L., Coenen, F., Huang, W. and Leng, P. 2006. Towards an agent-based framework for online after-sales services. in: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006) Los Alamitos, USA IEEE . pp. 420-425

Zare-Hoseini, H., Shoaei, O. and Kale, I. 2006. A new structure for capacitor-mismatch-insensitive multiply-by-two amplification. in: 2006 IEEE International Symposium on Circuits and Systems. ISCAS 2006. Proceedings. Los Alamitos, USA IEEE . pp. 4879-4882

Zare-Hoseini, H. and Kale, I. 2006. Continuous time delta sigma modulators with reduced clock jitter sensitivity. in: 2006 IEEE International Symposium on Circuits and Systems. ISCAS 2006. Proceedings. Los Alamitos, USA IEEE . pp. 5371-5374

Vasilakis, C., El-Darzi, E. and Chountas, P. 2006. An OLAP-enabled software environment for modelling patient flow. in: Proceedings of the 3rd International IEEE Conference on Intelligent Systems Los Alamitos, USA IEEE . pp. 261-266

Toth, A. and Kacsuk, P. 2006. LCG-2 RB support in the P-GRADE portal. MIPRO 2006, 29th International Convention. Opatija, Croatia 22-26 May 2006 Croatia Croation Society for Information and Communications.

Thiyagalingam, J. and Getov, Vladimir 2006. A metadata extracting tool for software components in grid applications. in: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06) Los Alamitos, USA IEEE . pp. 189-196

Terstyanszky, G., Kiss, T., Kacsuk, P., Delaitre, T., Kecskemeti, G. and Winter, S. 2006. Legacy code support for commercial production grids. in: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2006: Nottingham UK, 18th - 21st September Edinburgh, UK National e-Science Centre. pp. 21-26

Terstyanszky, G., Kiss, T., Delaitre, T., Winter, S., Kacsuk, P. and Kecskemeti, G. 2006. User support for next generation production grids. Grid-Enabling Legacy Applications and Supporting End Users Workshop (GELA) within the framework of the 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'15). Paris, France 19-23 Jun 2006 pp. 35-43

Terstyanszky, G., Kiss, T., Delaitre, T., Winter, S., Kacsuk, P. and Kecskemeti, G. 2006. Service-oriented production grids and user support. in: Gannon, D., Badia, R.M. and Buyya, R. (ed.) Proceedings of the 7th IEEE/ACM International Conference on Grid Computing, Barcelona, Spain, September 28-29, 2006 Los Alamitos, USA IEEE . pp. 323-324

Telli, A.T., Cetin, E. and Kale, I. 2006. A multimode fully software configurable GNSS receiver: a focus on Galileo. Transport in 7th FP. Warsaw, Poland 06-07 Jun 2006

Telli, A.T., Cetin, E. and Kale, I. 2006. A digitally configurable fully integrated receiver chip for GALILEO ground terminals - GaliSys. 3rd ESA Workshop on Satellite Navigation User Equipment Technologies (NAVITEC '2006). Noordwijk, The Netherlands 11-14 Dec 2006

Telli, A.T., Cetin, E. and Kale, I. 2006. GaliSys: fully integrated software configurable receiver integrated circuit(s) (ICs) for GALILEO radio navigation satellite systems and it's applications in disaster management and rehabilitation. 1st International Conference on Advances in Space Technologies: Space Technologies for Disaster Management and Rehabilitation. Islamabad, Pakistan 02-03 Sep 2006