Skip navigation

Items where Author is "Petridis, Miltos"

Items where Author is "Petridis, Miltos"

Up a level
Export as [feed] RSS
Group by: Item Type | Uncontrolled Keywords | No Grouping
3-dimensional shapes abnormal financial transactions action agent technology algorithm architecture arthritis pain artificial intelligence artificial intelligence (incl. robotics) ATLAS autonomics basketball zone-defense bisectional BPM business information systems business process business process management business process management systems business workflows case based engineering case based reasoning case-base reasoning Case-based reasoning case-based reasoning (CBR) casting casting design causal relationship CBR CBR competence CBR performance cloud cluster cognition completeness complexity theory computer applications in administrative data processing computer applications in social and behavioral sciences computers constraints credit scheduler data mining defuziffication derivation design and manufacture design pattern electronics ergodic matrix european credit transfer system event explanation feature extraction finite element methods fire field modelling fire modelling fire modelling expertise fixing variables foundry fraud fraud detection fuzzy inference fuzzy logic fuzzy rules Galois fields general temporal constraint (GTC) general time theory generic study plans Genetic algorithm goal-based software graph matching graph similarity graphical representation grid HPC incomplete temporal knowledge incompleteness industry sectors integration intelligent information retrieval interpolation IT & software job scheduling knowledge based systems knowledge class diagrams knowledge discovery knowledge management knowledge-based knowledge-based systems material selection mathematical logic and formal languages methodology metric diagrams microfinance Mobile money model Money transfer multiple case-based reasoning multiple heterogeneous case bases multivariate quadratic networked learning news video retrieval NGOs node-similarity NP-hard nuclear science numerical models operations research/decision theory optimal temporal common subsequence pilot jobs polynomials portals public key cryptography qualitative attributes reasoning reified temporal logic relational structures rheumatic fever robotics semantics similarity measure similarity model Simulation data Smartfire software composition software design reuse software paradigm software strategy spatial reasoning state-sequence matching state-sequences structural similarity structure relationship subsequence matching sufficient conditions syntax Tanzania telecommunications teleo-reactive programming temporal knowledge temporal logic temporal modelling temporal pattern recognition temporal reasoning temporal relationships temporal representation time model time modelling time theory time-series tutoring uncertain knowledge uncertainty video clip detection virtualization web services Xen
Number of items: 210.

3-dimensional shapes

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

abnormal financial transactions

Kapetanakis, Stelios, Samakovitis, Georgios, Gunasekera, P.V.G Buddhika Dinesh and Petridis, Miltos (2012) Monitoring financial transaction fraud with the use of case-based reasoning. In: 17th UK Case-Based Reasoning Workshop, 11 December 2012, Cambridge, UK. (Unpublished)

action

Petridis, Miltos, Ma, Jixin and Knight, Brian (2011) Temporal model for business process. Intelligent Decision Technologies, 5 (4). pp. 321-331. ISSN 1872-4981 (Print), 1875-8843 (Online) (doi:10.3233/IDT-2011-0115)

agent technology

Petridis, Miltos and Teodorescu, Elena I. (2008) An architecture of multiple heterogeneous case-based reasoning employing agent technologies. CIMA'08: Combinations of Intelligent Methods and Applications, 375. pp. 65-68. ISSN 1613-0073

algorithm

Zheng, Aihua, Ma, Jixin, Luo, Bin, Petridis, Miltos, Zhai, Sulan and Tang, Jin (2009) Temporal pattern recognition in video clips detection. In: Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2009). Computer Society Press, Los Alamitos, CA, USA, pp. 416-421. ISBN 9780769536415 (doi:10.1109/ICIS.2009.144)

architecture

Petridis, Miltos and Teodorescu, Elena I. (2008) An architecture of multiple heterogeneous case-based reasoning employing agent technologies. CIMA'08: Combinations of Intelligent Methods and Applications, 375. pp. 65-68. ISSN 1613-0073

arthritis pain

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

artificial intelligence

Ma, J., Petridis, M. and Knight, B. (2013) Formulating the temporal causal relationships between events and their results. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 199-210. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_14)

Wolf, Markus, Petridis, Miltos and Ma, Jixin (2013) Using structural similarity for effective retrieval of knowledge from class diagrams. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 185-198. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_13)

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

artificial intelligence (incl. robotics)

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Patel, Mayur (2005) CBE-conveyor: a case-based reasoning system to assist engineers in designing conveyor systems. In: Case-Based Reasoning Research and Development: 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings. Lecture Notes in Computer Science (3620). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 640-651. ISBN 9783540281740 (doi:10.1007/11536406_48)

Woon, Fei Ling, Knight, Brian and Petridis, Miltos (2003) Case base reduction using solution-space metrics. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 652-664. ISBN 9783540404330 ISSN 0302-9743 (doi:10.1007/3-540-45006-8_49)

Mileman, Tony, Knight, Brian, Petridis, Miltos, Preddy, Keith and Mejasson, Patrick (2000) Maintenance of a case-base for the retrieval of rotationally symmetric shapes for the design of metal castings. In: Blanzieri, Enrico and Portinale, Luigi, (eds.) Advances in Case-Based Reasoning: 5th European Workshop, EWCBR 2000 Trento, Italy, September 6–9, 2000 Proceedings. Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence (1898). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 418-430. ISBN 9783540679332 ISSN 0302-9743 (doi:10.1007/3-540-44527-7_36)

ATLAS

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

autonomics

Hawthorne, James and Anthony, Richard (2010) A methodology for the use of the teleo-reactive programming technique in autonomic computing. In: Proceedings: 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2010). IEEE Computer Society, Los Alamitos, CA, USA, pp. 245-250. ISBN 978-0-7695-4088-7 (doi:10.1109/SNPD.2010.44)

basketball zone-defense

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) Structure based feature extraction in basketball zone-defense strategies. International Journal of Computer Science and Applications, 7 (3). pp. 18-32. ISSN 0972-9038

Zheng, Aihua, Ma, Jixin, Luo, Bin, Petridis, Miltos, Zhai, Sulan and Tang, Jin (2009) Temporal pattern recognition in video clips detection. In: Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2009). Computer Society Press, Los Alamitos, CA, USA, pp. 416-421. ISBN 9780769536415 (doi:10.1109/ICIS.2009.144)

bisectional

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

BPM

Ma, Chaoying, Caldera, Andrea, Petridis, Miltos, Bacon, Liz and Windall, Gill (2010) Integration of BPM systems. In: Pomffyová, Mária, (ed.) Process Management. Intech, Vukovar, Croatia, pp. 197-222. ISBN 978-953-307-085-8

business information systems

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Patel, Mayur (2005) CBE-conveyor: a case-based reasoning system to assist engineers in designing conveyor systems. In: Case-Based Reasoning Research and Development: 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings. Lecture Notes in Computer Science (3620). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 640-651. ISBN 9783540281740 (doi:10.1007/11536406_48)

business process

Petridis, Miltos, Ma, Jixin and Knight, Brian (2011) Temporal model for business process. Intelligent Decision Technologies, 5 (4). pp. 321-331. ISSN 1872-4981 (Print), 1875-8843 (Online) (doi:10.3233/IDT-2011-0115)

business process management

Ma, Chaoying, Caldera, Andrea, Petridis, Miltos, Bacon, Liz and Windall, Gill (2010) Integration of BPM systems. In: Pomffyová, Mária, (ed.) Process Management. Intech, Vukovar, Croatia, pp. 197-222. ISBN 978-953-307-085-8

business process management systems

Ma, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2007) A design pattern for integration of business process management systems. In: Chang, Weide and Joshi, James B.D., (eds.) IRI 2007: Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, pp. 239-244. ISBN 9781424414994 (doi:10.1109/IRI.2007.4296627)

business workflows

Kapetanakis, Stelios, Samakovitis, Georgios, Gunasekera, P.V.G Buddhika Dinesh and Petridis, Miltos (2012) Monitoring financial transaction fraud with the use of case-based reasoning. In: 17th UK Case-Based Reasoning Workshop, 11 December 2012, Cambridge, UK. (Unpublished)

Kapetanakis, Stelios, Petridis, Miltos, Ma, Jixin, Knight, Brian and Bacon, Liz (2011) Enhancing similarity measures and context provision for the intelligent monitoring of business processes in CBR-WIMS. In: 19th International Conference on Case Based Reasoning: Workshop 1 - Process-oriented Case-Based Reasoning (PO-CBR), 12-15 September 2011, Greenwich, London. (Submitted)

Kapetanakis, Stelios, Petridis, Miltos, Knight, Brian, Ma, Jixin and Bacon, Liz (2010) A case based reasoning approach for the monitoring of business workflows. In: Case-Based Reasoning. Research and Development: 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings. Lecture Notes in Computer Science, 6176 . Springer, Berlin, Germany, pp. 390-405. ISBN 9783642142734 (doi:10.1007/978-3-642-14274-1_29)

case based engineering

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Patel, Mayur (2005) CBE-conveyor: a case-based reasoning system to assist engineers in designing conveyor systems. In: Case-Based Reasoning Research and Development: 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings. Lecture Notes in Computer Science (3620). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 640-651. ISBN 9783540281740 (doi:10.1007/11536406_48)

case based reasoning

Kapetanakis, Stelios, Petridis, Miltos, Knight, Brian, Ma, Jixin and Bacon, Liz (2010) A case based reasoning approach for the monitoring of business workflows. In: Case-Based Reasoning. Research and Development: 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings. Lecture Notes in Computer Science, 6176 . Springer, Berlin, Germany, pp. 390-405. ISBN 9783642142734 (doi:10.1007/978-3-642-14274-1_29)

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Ward, Graham (2002) A case based model to assist in the design process in the manufacture of furniture products. Expert Update - The Specialist Group on Artificial intelligence, 5 (2). pp. 37-43. ISSN 1465-4091

Taylor, Stephen, Knight, Brian, Petridis, Miltos, Ewer, John and Galea, Edwin (2001) A case based reasoning system capturing fire modelling expertise. Computing and Informatics, 20 (3). pp. 269-288. ISSN 1335-9150

case-base reasoning

Kapetanakis, Stelios, Petridis, Miltos, Ma, Jixin, Knight, Brian and Bacon, Liz (2011) Enhancing similarity measures and context provision for the intelligent monitoring of business processes in CBR-WIMS. In: 19th International Conference on Case Based Reasoning: Workshop 1 - Process-oriented Case-Based Reasoning (PO-CBR), 12-15 September 2011, Greenwich, London. (Submitted)

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan and Norman, Phil (2001) Intelligent design assistant (IDA): a case base reasoning system for material and design. Materials and Design, 22 (3). pp. 163-170. ISSN 0261-3069 (doi:10.1016/S0261-3069(00)00066-2)

Case-based reasoning

Adedoyin, Adeyinka, Kapetanakis, Stelios, Samakovitis, Georgios and Petridis, Miltos (2017) Predicting fraud in mobile money transfer using case-based reasoning. In: Artificial Intelligence XXXIV: 37th SGAI International Conference on Artificial Intelligence. Lecture Notes in Computer Science, 10630 . Springer, Cham, pp. 325-337. ISBN 978-3-319-71077-8 ISSN 0302-9743 (doi:10.1007/978-3-319-71078-5_28)

Kapetanakis, Stelios, Samakovitis, Georgios, Gunasekera, P.V.G Buddhika Dinesh and Petridis, Miltos (2012) Monitoring financial transaction fraud with the use of case-based reasoning. In: 17th UK Case-Based Reasoning Workshop, 11 December 2012, Cambridge, UK. (Unpublished)

Wolf, Markus and Petridis, Miltos (2004) Applying CBR to measure similarity of software design structures. Expert Update, 7 (2). pp. 8-12. ISSN 1465-4091

Woon, Fei Ling, Knight, Brian, Petridis, Miltos, Chapelle, Pierre and Patel, Mayur (2004) Enhancing the usability of numerical models with case-based reasoning. Journal of Expert Update, 7 (2). pp. 17-20. ISSN 1465-4091

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

Petridis, Miltos and Knight, Brian (2001) A blackboard architecture for a hybrid CBR system for scientific software. In: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August. Navy Centre for Applied Research in Artificial Intelligence, Naval Research Laboratory, Washington DC, USA, pp. 189-195.

Knight, Brian, Taylor, Steve, Petridis, Miltos, Ewer, John and Galea, Edwin (1999) A knowledge-based system to represent spatial reasoning for fire modelling. Engineering Applications of Artificial Intelligence, 12 (2). pp. 213-219. ISSN 0952-1976 (doi:10.1016/S0952-1976(98)00057-8)

case-based reasoning (CBR)

Petridis, Miltos and Teodorescu, Elena I. (2008) An architecture of multiple heterogeneous case-based reasoning employing agent technologies. CIMA'08: Combinations of Intelligent Methods and Applications, 375. pp. 65-68. ISSN 1613-0073

casting

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

casting design

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

causal relationship

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Characterizing the most general temporal constraint. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece. (Unpublished)

CBR

Wolf, Markus and Petridis, Miltos (2004) Applying CBR to measure similarity of software design structures. Expert Update, 7 (2). pp. 8-12. ISSN 1465-4091

Woon, Fei Ling, Knight, Brian, Petridis, Miltos, Chapelle, Pierre and Patel, Mayur (2004) Enhancing the usability of numerical models with case-based reasoning. Journal of Expert Update, 7 (2). pp. 17-20. ISSN 1465-4091

Teodorescu, Elena I. and Petridis, Miltos (2004) Towards heterogeneous multiple case-based reasoning: an investigation. Expert Update, 7 (2). pp. 29-33. ISSN 1465-4091

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Ward, Graham (2002) A case based model to assist in the design process in the manufacture of furniture products. Expert Update - The Specialist Group on Artificial intelligence, 5 (2). pp. 37-43. ISSN 1465-4091

Petridis, Miltos and Knight, Brian (2001) A blackboard architecture for a hybrid CBR system for scientific software. In: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August. Navy Centre for Applied Research in Artificial Intelligence, Naval Research Laboratory, Washington DC, USA, pp. 189-195.

CBR competence

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

CBR performance

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

cloud

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

cluster

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

cognition

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

completeness

Zhao, Guoxing, Ma, Jixin, Shen, Fuxing and Petridis, Miltos (2008) A sound and complete reified temporal logic. In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. IEEE Conference Publications . Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 111-116. ISBN 978-0-7695-3263-9 (doi:10.1109/SNPD.2008.16)

complexity theory

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

computer applications in administrative data processing

Woon, Fei Ling, Knight, Brian and Petridis, Miltos (2003) Case base reduction using solution-space metrics. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 652-664. ISBN 9783540404330 ISSN 0302-9743 (doi:10.1007/3-540-45006-8_49)

computer applications in social and behavioral sciences

Woon, Fei Ling, Knight, Brian and Petridis, Miltos (2003) Case base reduction using solution-space metrics. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 652-664. ISBN 9783540404330 ISSN 0302-9743 (doi:10.1007/3-540-45006-8_49)

computers

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

constraints

Woon, Fei Ling, Knight, Brian, Petridis, Miltos, Chapelle, Pierre and Patel, Mayur (2004) Enhancing the usability of numerical models with case-based reasoning. Journal of Expert Update, 7 (2). pp. 17-20. ISSN 1465-4091

credit scheduler

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

data mining

Ma, J., Petridis, M. and Knight, B. (2013) Formulating the temporal causal relationships between events and their results. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 199-210. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_14)

Wolf, Markus, Petridis, Miltos and Ma, Jixin (2013) Using structural similarity for effective retrieval of knowledge from class diagrams. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 185-198. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_13)

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

defuziffication

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

derivation

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Deriving explanations from partial temporal information. In: Proceedings of the Third International Workshop on Explanation-aware Computing (ExaCt-2008), Patras, Greece, July 21-22, 2008. CEUR-WS.org (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. ISBN 9789606843037 ISSN 1613-0073

design and manufacture

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Ward, Graham (2002) A case based model to assist in the design process in the manufacture of furniture products. Expert Update - The Specialist Group on Artificial intelligence, 5 (2). pp. 37-43. ISSN 1465-4091

design pattern

Ma, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2007) A design pattern for integration of business process management systems. In: Chang, Weide and Joshi, James B.D., (eds.) IRI 2007: Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, pp. 239-244. ISBN 9781424414994 (doi:10.1109/IRI.2007.4296627)

electronics

Mileman, Tony, Knight, Brian, Petridis, Miltos, Preddy, Keith and Mejasson, Patrick (2000) Maintenance of a case-base for the retrieval of rotationally symmetric shapes for the design of metal castings. In: Blanzieri, Enrico and Portinale, Luigi, (eds.) Advances in Case-Based Reasoning: 5th European Workshop, EWCBR 2000 Trento, Italy, September 6–9, 2000 Proceedings. Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence (1898). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 418-430. ISBN 9783540679332 ISSN 0302-9743 (doi:10.1007/3-540-44527-7_36)

ergodic matrix

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

european credit transfer system

Bacon, A. Elizabeth, Kargidis, Theodoros, Petridis, Miltos, Stamatis, Demosthenes and Windall, Gill (2004) A Generic Framework for Describing Study Plans for Networked Universities using Meta-Data. Journal of Information Technology Impact, 4 (1). pp. 27-40. ISSN 1098-139X

event

Petridis, Miltos, Ma, Jixin and Knight, Brian (2011) Temporal model for business process. Intelligent Decision Technologies, 5 (4). pp. 321-331. ISSN 1872-4981 (Print), 1875-8843 (Online) (doi:10.3233/IDT-2011-0115)

explanation

Kapetanakis, Stelios, Petridis, Miltos, Ma, Jixin, Knight, Brian and Bacon, Liz (2011) Enhancing similarity measures and context provision for the intelligent monitoring of business processes in CBR-WIMS. In: 19th International Conference on Case Based Reasoning: Workshop 1 - Process-oriented Case-Based Reasoning (PO-CBR), 12-15 September 2011, Greenwich, London. (Submitted)

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Deriving explanations from partial temporal information. In: Proceedings of the Third International Workshop on Explanation-aware Computing (ExaCt-2008), Patras, Greece, July 21-22, 2008. CEUR-WS.org (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. ISBN 9789606843037 ISSN 1613-0073

feature extraction

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) Structure based feature extraction in basketball zone-defense strategies. International Journal of Computer Science and Applications, 7 (3). pp. 18-32. ISSN 0972-9038

finite element methods

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

fire field modelling

Petridis, Miltos and Knight, Brian (2001) A blackboard architecture for a hybrid CBR system for scientific software. In: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August. Navy Centre for Applied Research in Artificial Intelligence, Naval Research Laboratory, Washington DC, USA, pp. 189-195.

fire modelling

Knight, Brian, Taylor, Steve, Petridis, Miltos, Ewer, John and Galea, Edwin (1999) A knowledge-based system to represent spatial reasoning for fire modelling. Engineering Applications of Artificial Intelligence, 12 (2). pp. 213-219. ISSN 0952-1976 (doi:10.1016/S0952-1976(98)00057-8)

fire modelling expertise

Taylor, Stephen, Knight, Brian, Petridis, Miltos, Ewer, John and Galea, Edwin (2001) A case based reasoning system capturing fire modelling expertise. Computing and Informatics, 20 (3). pp. 269-288. ISSN 1335-9150

fixing variables

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

foundry

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

fraud

Adedoyin, Adeyinka, Kapetanakis, Stelios, Samakovitis, Georgios and Petridis, Miltos (2017) Predicting fraud in mobile money transfer using case-based reasoning. In: Artificial Intelligence XXXIV: 37th SGAI International Conference on Artificial Intelligence. Lecture Notes in Computer Science, 10630 . Springer, Cham, pp. 325-337. ISBN 978-3-319-71077-8 ISSN 0302-9743 (doi:10.1007/978-3-319-71078-5_28)

fraud detection

Kapetanakis, Stelios, Samakovitis, Georgios, Gunasekera, P.V.G Buddhika Dinesh and Petridis, Miltos (2012) Monitoring financial transaction fraud with the use of case-based reasoning. In: 17th UK Case-Based Reasoning Workshop, 11 December 2012, Cambridge, UK. (Unpublished)

fuzzy inference

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

fuzzy logic

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

Nissan, Ephraim, Soper, Alan, Zhao, Jun, Knight, Brian and Petridis, Miltos (1998) Fuel reload pattern design within a family of hybrid architectures. In: 3rd International FLINS Workshop on Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry, 14-16 September, 1998, Antwerp, Belgium.

fuzzy rules

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

Galois fields

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

general temporal constraint (GTC)

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Characterizing the most general temporal constraint. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece. (Unpublished)

general time theory

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Characterizing the most general temporal constraint. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece. (Unpublished)

generic study plans

Bacon, A. Elizabeth, Kargidis, Theodoros, Petridis, Miltos, Stamatis, Demosthenes and Windall, Gill (2004) A Generic Framework for Describing Study Plans for Networked Universities using Meta-Data. Journal of Information Technology Impact, 4 (1). pp. 27-40. ISSN 1098-139X

Genetic algorithm

Adedoyin, Adeyinka, Kapetanakis, Stelios, Samakovitis, Georgios and Petridis, Miltos (2017) Predicting fraud in mobile money transfer using case-based reasoning. In: Artificial Intelligence XXXIV: 37th SGAI International Conference on Artificial Intelligence. Lecture Notes in Computer Science, 10630 . Springer, Cham, pp. 325-337. ISBN 978-3-319-71077-8 ISSN 0302-9743 (doi:10.1007/978-3-319-71078-5_28)

goal-based software

Hawthorne, James, Anthony, Richard J. and Petridis, Miltos (2011) Improving the development process for teleo-reactive programming through advance composition. In: ICAS 2011: Seventh International Conference on Autonomic and Autonomous Systems. IARIA, pp. 75-80. ISBN 9781612081342

graph matching

Zhao, Guoxing, Petridis, Miltos, Sidorov, Grigori and Ma, Jixin (2008) A critical examination of node-similarity based graph matching algorithms. Research In Computing Science, 40. pp. 73-82. ISSN 1870-4069

Wolf, Markus and Petridis, Miltos (2004) Applying CBR to measure similarity of software design structures. Expert Update, 7 (2). pp. 8-12. ISSN 1465-4091

graph similarity

Kapetanakis, Stelios, Samakovitis, Georgios, Gunasekera, P.V.G Buddhika Dinesh and Petridis, Miltos (2012) Monitoring financial transaction fraud with the use of case-based reasoning. In: 17th UK Case-Based Reasoning Workshop, 11 December 2012, Cambridge, UK. (Unpublished)

Kapetanakis, Stelios, Petridis, Miltos, Ma, Jixin, Knight, Brian and Bacon, Liz (2011) Enhancing similarity measures and context provision for the intelligent monitoring of business processes in CBR-WIMS. In: 19th International Conference on Case Based Reasoning: Workshop 1 - Process-oriented Case-Based Reasoning (PO-CBR), 12-15 September 2011, Greenwich, London. (Submitted)

Kapetanakis, Stelios, Petridis, Miltos, Knight, Brian, Ma, Jixin and Bacon, Liz (2010) A case based reasoning approach for the monitoring of business workflows. In: Case-Based Reasoning. Research and Development: 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings. Lecture Notes in Computer Science, 6176 . Springer, Berlin, Germany, pp. 390-405. ISBN 9783642142734 (doi:10.1007/978-3-642-14274-1_29)

graphical representation

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) Structure based feature extraction in basketball zone-defense strategies. International Journal of Computer Science and Applications, 7 (3). pp. 18-32. ISSN 0972-9038

grid

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

HPC

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

incomplete temporal knowledge

Ma, Jixin, Zheng, Aihua, Knight, Brian, Petridis, Miltos and Luo, Bin (2009) Reasoning about uncertain and incomplete temporal knowledge. In: International Conference on Artificial Intelligence and Pattern Recognition 2009 (AIPR- 2009). Curran Associates, Inc., Red Hook, NY, USA, pp. 49-55. ISBN 9781615676576

incompleteness

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

industry sectors

Mileman, Tony, Knight, Brian, Petridis, Miltos, Preddy, Keith and Mejasson, Patrick (2000) Maintenance of a case-base for the retrieval of rotationally symmetric shapes for the design of metal castings. In: Blanzieri, Enrico and Portinale, Luigi, (eds.) Advances in Case-Based Reasoning: 5th European Workshop, EWCBR 2000 Trento, Italy, September 6–9, 2000 Proceedings. Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence (1898). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 418-430. ISBN 9783540679332 ISSN 0302-9743 (doi:10.1007/3-540-44527-7_36)

integration

Ma, Chaoying, Caldera, Andrea, Petridis, Miltos, Bacon, Liz and Windall, Gill (2010) Integration of BPM systems. In: Pomffyová, Mária, (ed.) Process Management. Intech, Vukovar, Croatia, pp. 197-222. ISBN 978-953-307-085-8

Ma, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2007) A design pattern for integration of business process management systems. In: Chang, Weide and Joshi, James B.D., (eds.) IRI 2007: Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, pp. 239-244. ISBN 9781424414994 (doi:10.1109/IRI.2007.4296627)

intelligent information retrieval

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan and Norman, Phil (2001) Intelligent design assistant (IDA): a case base reasoning system for material and design. Materials and Design, 22 (3). pp. 163-170. ISSN 0261-3069 (doi:10.1016/S0261-3069(00)00066-2)

interpolation

Woon, Fei Ling, Knight, Brian, Petridis, Miltos, Chapelle, Pierre and Patel, Mayur (2004) Enhancing the usability of numerical models with case-based reasoning. Journal of Expert Update, 7 (2). pp. 17-20. ISSN 1465-4091

IT & software

Mileman, Tony, Knight, Brian, Petridis, Miltos, Preddy, Keith and Mejasson, Patrick (2000) Maintenance of a case-base for the retrieval of rotationally symmetric shapes for the design of metal castings. In: Blanzieri, Enrico and Portinale, Luigi, (eds.) Advances in Case-Based Reasoning: 5th European Workshop, EWCBR 2000 Trento, Italy, September 6–9, 2000 Proceedings. Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence (1898). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 418-430. ISBN 9783540679332 ISSN 0302-9743 (doi:10.1007/3-540-44527-7_36)

job scheduling

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

knowledge based systems

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

knowledge class diagrams

Wolf, Markus, Petridis, Miltos and Ma, Jixin (2013) Using structural similarity for effective retrieval of knowledge from class diagrams. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 185-198. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_13)

knowledge discovery

Ma, J., Petridis, M. and Knight, B. (2013) Formulating the temporal causal relationships between events and their results. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 199-210. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_14)

Wolf, Markus, Petridis, Miltos and Ma, Jixin (2013) Using structural similarity for effective retrieval of knowledge from class diagrams. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 185-198. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_13)

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

knowledge management

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan and Norman, Phil (2001) Intelligent design assistant (IDA): a case base reasoning system for material and design. Materials and Design, 22 (3). pp. 163-170. ISSN 0261-3069 (doi:10.1016/S0261-3069(00)00066-2)

knowledge-based

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

knowledge-based systems

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

material selection

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan and Norman, Phil (2001) Intelligent design assistant (IDA): a case base reasoning system for material and design. Materials and Design, 22 (3). pp. 163-170. ISSN 0261-3069 (doi:10.1016/S0261-3069(00)00066-2)

mathematical logic and formal languages

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Patel, Mayur (2005) CBE-conveyor: a case-based reasoning system to assist engineers in designing conveyor systems. In: Case-Based Reasoning Research and Development: 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings. Lecture Notes in Computer Science (3620). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 640-651. ISBN 9783540281740 (doi:10.1007/11536406_48)

Woon, Fei Ling, Knight, Brian and Petridis, Miltos (2003) Case base reduction using solution-space metrics. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 652-664. ISBN 9783540404330 ISSN 0302-9743 (doi:10.1007/3-540-45006-8_49)

methodology

Hawthorne, James and Anthony, Richard (2010) A methodology for the use of the teleo-reactive programming technique in autonomic computing. In: Proceedings: 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2010). IEEE Computer Society, Los Alamitos, CA, USA, pp. 245-250. ISBN 978-0-7695-4088-7 (doi:10.1109/SNPD.2010.44)

metric diagrams

Knight, Brian, Taylor, Steve, Petridis, Miltos, Ewer, John and Galea, Edwin (1999) A knowledge-based system to represent spatial reasoning for fire modelling. Engineering Applications of Artificial Intelligence, 12 (2). pp. 213-219. ISSN 0952-1976 (doi:10.1016/S0952-1976(98)00057-8)

microfinance

Marr, Ana and Petridis, Miltos (2010) The importance of being owned: microfinance institutions in Tanzania. Project Report. University of Greenwich, London, UK.

Mobile money

Adedoyin, Adeyinka, Kapetanakis, Stelios, Samakovitis, Georgios and Petridis, Miltos (2017) Predicting fraud in mobile money transfer using case-based reasoning. In: Artificial Intelligence XXXIV: 37th SGAI International Conference on Artificial Intelligence. Lecture Notes in Computer Science, 10630 . Springer, Cham, pp. 325-337. ISBN 978-3-319-71077-8 ISSN 0302-9743 (doi:10.1007/978-3-319-71078-5_28)

model

Petridis, Miltos, Ma, Jixin and Knight, Brian (2011) Temporal model for business process. Intelligent Decision Technologies, 5 (4). pp. 321-331. ISSN 1872-4981 (Print), 1875-8843 (Online) (doi:10.3233/IDT-2011-0115)

Money transfer

Adedoyin, Adeyinka, Kapetanakis, Stelios, Samakovitis, Georgios and Petridis, Miltos (2017) Predicting fraud in mobile money transfer using case-based reasoning. In: Artificial Intelligence XXXIV: 37th SGAI International Conference on Artificial Intelligence. Lecture Notes in Computer Science, 10630 . Springer, Cham, pp. 325-337. ISBN 978-3-319-71077-8 ISSN 0302-9743 (doi:10.1007/978-3-319-71078-5_28)

multiple case-based reasoning

Teodorescu, Elena I. and Petridis, Miltos (2004) Towards heterogeneous multiple case-based reasoning: an investigation. Expert Update, 7 (2). pp. 29-33. ISSN 1465-4091

multiple heterogeneous case bases

Petridis, Miltos and Teodorescu, Elena I. (2008) An architecture of multiple heterogeneous case-based reasoning employing agent technologies. CIMA'08: Combinations of Intelligent Methods and Applications, 375. pp. 65-68. ISSN 1613-0073

multivariate quadratic

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

networked learning

Bacon, A. Elizabeth, Kargidis, Theodoros, Petridis, Miltos, Stamatis, Demosthenes and Windall, Gill (2004) A Generic Framework for Describing Study Plans for Networked Universities using Meta-Data. Journal of Information Technology Impact, 4 (1). pp. 27-40. ISSN 1098-139X

news video retrieval

Zheng, Aihua, Zhou, Xiaoyi, Ma, Jixin and Petridis, Miltos (2010) The optimal temporal common subsequence. In: 2nd International Conference on Software Engineering and Data Mining, SEDM 2010. IEEE Computer Society, Piscataway, USA, pp. 316-321. ISBN 9781424473243 (print), 9788988678220 (online)

NGOs

Marr, Ana and Petridis, Miltos (2010) The importance of being owned: microfinance institutions in Tanzania. Project Report. University of Greenwich, London, UK.

node-similarity

Zhao, Guoxing, Petridis, Miltos, Sidorov, Grigori and Ma, Jixin (2008) A critical examination of node-similarity based graph matching algorithms. Research In Computing Science, 40. pp. 73-82. ISSN 1870-4069

NP-hard

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

nuclear science

Nissan, Ephraim, Soper, Alan, Zhao, Jun, Knight, Brian and Petridis, Miltos (1998) Fuel reload pattern design within a family of hybrid architectures. In: 3rd International FLINS Workshop on Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry, 14-16 September, 1998, Antwerp, Belgium.

numerical models

Woon, Fei Ling, Knight, Brian, Petridis, Miltos, Chapelle, Pierre and Patel, Mayur (2004) Enhancing the usability of numerical models with case-based reasoning. Journal of Expert Update, 7 (2). pp. 17-20. ISSN 1465-4091

operations research/decision theory

Woon, Fei Ling, Knight, Brian and Petridis, Miltos (2003) Case base reduction using solution-space metrics. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 652-664. ISBN 9783540404330 ISSN 0302-9743 (doi:10.1007/3-540-45006-8_49)

optimal temporal common subsequence

Zheng, Aihua, Zhou, Xiaoyi, Ma, Jixin and Petridis, Miltos (2010) The optimal temporal common subsequence. In: 2nd International Conference on Software Engineering and Data Mining, SEDM 2010. IEEE Computer Society, Piscataway, USA, pp. 316-321. ISBN 9781424473243 (print), 9788988678220 (online)

pilot jobs

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

polynomials

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

portals

Ma, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2006) Towards the design of a portal framework for web services integration. 2006 Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services. Institute of Electrical and Electronics Engineers, Inc., New York, USA, pp. 163-169. ISBN 0769525229 (doi:10.1109/AICT-ICIW.2006.199)

public key cryptography

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

qualitative attributes

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan and Norman, Phil (2001) Intelligent design assistant (IDA): a case base reasoning system for material and design. Materials and Design, 22 (3). pp. 163-170. ISSN 0261-3069 (doi:10.1016/S0261-3069(00)00066-2)

reasoning

Ma, Jixin, Zheng, Aihua, Knight, Brian, Petridis, Miltos and Luo, Bin (2009) Reasoning about uncertain and incomplete temporal knowledge. In: International Conference on Artificial Intelligence and Pattern Recognition 2009 (AIPR- 2009). Curran Associates, Inc., Red Hook, NY, USA, pp. 49-55. ISBN 9781615676576

reified temporal logic

Zhao, Guoxing, Ma, Jixin, Shen, Fuxing and Petridis, Miltos (2008) A sound and complete reified temporal logic. In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. IEEE Conference Publications . Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 111-116. ISBN 978-0-7695-3263-9 (doi:10.1109/SNPD.2008.16)

Zhao, Guoxing, Ma, Jixin and Petridis, Miltos (2008) The completeness and soundness of temporal theories. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece.

relational structures

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Ward, Graham (2002) A case based model to assist in the design process in the manufacture of furniture products. Expert Update - The Specialist Group on Artificial intelligence, 5 (2). pp. 37-43. ISSN 1465-4091

rheumatic fever

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

robotics

Ma, J., Petridis, M. and Knight, B. (2013) Formulating the temporal causal relationships between events and their results. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 199-210. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_14)

Wolf, Markus, Petridis, Miltos and Ma, Jixin (2013) Using structural similarity for effective retrieval of knowledge from class diagrams. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 185-198. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_13)

semantics

Zhao, Guoxing, Ma, Jixin and Petridis, Miltos (2008) The completeness and soundness of temporal theories. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece.

similarity measure

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Ward, Graham (2002) A case based model to assist in the design process in the manufacture of furniture products. Expert Update - The Specialist Group on Artificial intelligence, 5 (2). pp. 37-43. ISSN 1465-4091

similarity model

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2009) A robust approach to subsequence matching. In: Lee, Roger and Ishii, Naohiro, (eds.) Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 (doi:10.1007/978-3-642-05441-9_4)

Simulation data

Adedoyin, Adeyinka, Kapetanakis, Stelios, Samakovitis, Georgios and Petridis, Miltos (2017) Predicting fraud in mobile money transfer using case-based reasoning. In: Artificial Intelligence XXXIV: 37th SGAI International Conference on Artificial Intelligence. Lecture Notes in Computer Science, 10630 . Springer, Cham, pp. 325-337. ISBN 978-3-319-71077-8 ISSN 0302-9743 (doi:10.1007/978-3-319-71078-5_28)

Smartfire

Petridis, Miltos and Knight, Brian (2001) A blackboard architecture for a hybrid CBR system for scientific software. In: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August. Navy Centre for Applied Research in Artificial Intelligence, Naval Research Laboratory, Washington DC, USA, pp. 189-195.

software composition

Hawthorne, James, Anthony, Richard J. and Petridis, Miltos (2011) Improving the development process for teleo-reactive programming through advance composition. In: ICAS 2011: Seventh International Conference on Autonomic and Autonomous Systems. IARIA, pp. 75-80. ISBN 9781612081342

software design reuse

Wolf, Markus and Petridis, Miltos (2004) Applying CBR to measure similarity of software design structures. Expert Update, 7 (2). pp. 8-12. ISSN 1465-4091

software paradigm

Hawthorne, James and Anthony, Richard (2010) A methodology for the use of the teleo-reactive programming technique in autonomic computing. In: Proceedings: 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2010). IEEE Computer Society, Los Alamitos, CA, USA, pp. 245-250. ISBN 978-0-7695-4088-7 (doi:10.1109/SNPD.2010.44)

software strategy

Hawthorne, James and Anthony, Richard (2010) A methodology for the use of the teleo-reactive programming technique in autonomic computing. In: Proceedings: 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2010). IEEE Computer Society, Los Alamitos, CA, USA, pp. 245-250. ISBN 978-0-7695-4088-7 (doi:10.1109/SNPD.2010.44)

spatial reasoning

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

Knight, Brian, Taylor, Steve, Petridis, Miltos, Ewer, John and Galea, Edwin (1999) A knowledge-based system to represent spatial reasoning for fire modelling. Engineering Applications of Artificial Intelligence, 12 (2). pp. 213-219. ISSN 0952-1976 (doi:10.1016/S0952-1976(98)00057-8)

state-sequence matching

Zheng, Aihua, Zhou, Xiaoyi, Ma, Jixin and Petridis, Miltos (2010) The optimal temporal common subsequence. In: 2nd International Conference on Software Engineering and Data Mining, SEDM 2010. IEEE Computer Society, Piscataway, USA, pp. 316-321. ISBN 9781424473243 (print), 9788988678220 (online)

state-sequences

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2009) A robust approach to subsequence matching. In: Lee, Roger and Ishii, Naohiro, (eds.) Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 (doi:10.1007/978-3-642-05441-9_4)

structural similarity

Wolf, Markus, Petridis, Miltos and Ma, Jixin (2013) Using structural similarity for effective retrieval of knowledge from class diagrams. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Switzerland, pp. 185-198. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_13)

structure relationship

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) Structure based feature extraction in basketball zone-defense strategies. International Journal of Computer Science and Applications, 7 (3). pp. 18-32. ISSN 0972-9038

subsequence matching

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2009) A robust approach to subsequence matching. In: Lee, Roger and Ishii, Naohiro, (eds.) Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 (doi:10.1007/978-3-642-05441-9_4)

sufficient conditions

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

syntax

Zhao, Guoxing, Ma, Jixin and Petridis, Miltos (2008) The completeness and soundness of temporal theories. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece.

Tanzania

Marr, Ana and Petridis, Miltos (2010) The importance of being owned: microfinance institutions in Tanzania. Project Report. University of Greenwich, London, UK.

telecommunications

Mileman, Tony, Knight, Brian, Petridis, Miltos, Preddy, Keith and Mejasson, Patrick (2000) Maintenance of a case-base for the retrieval of rotationally symmetric shapes for the design of metal castings. In: Blanzieri, Enrico and Portinale, Luigi, (eds.) Advances in Case-Based Reasoning: 5th European Workshop, EWCBR 2000 Trento, Italy, September 6–9, 2000 Proceedings. Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence (1898). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 418-430. ISBN 9783540679332 ISSN 0302-9743 (doi:10.1007/3-540-44527-7_36)

teleo-reactive programming

Hawthorne, James, Anthony, Richard J. and Petridis, Miltos (2011) Improving the development process for teleo-reactive programming through advance composition. In: ICAS 2011: Seventh International Conference on Autonomic and Autonomous Systems. IARIA, pp. 75-80. ISBN 9781612081342

temporal knowledge

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

temporal logic

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong and Njovu, Chiyaba (2013) A fuzzy logic-based decision support system for the diagnosis of arthritis pain for rheumatic fever patients. In: Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013. Springer International Publishing, Switzerland, pp. 259-264. ISBN 9783319026206 (doi:10.1007/978-3-319-02621-3_18)

Zhao, Guoxing, Ma, Jixin and Petridis, Miltos (2008) The completeness and soundness of temporal theories. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece.

temporal modelling

Ma, Jixin, Knight, Brian and Petridis, Miltos (2006) A versatile characterization of causal relationships. Research In Computing Science, 26. pp. 15-24. ISSN 1870-4069

temporal pattern recognition

Zheng, Aihua, Ma, Jixin, Luo, Bin, Petridis, Miltos, Zhai, Sulan and Tang, Jin (2009) Temporal pattern recognition in video clips detection. In: Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2009). Computer Society Press, Los Alamitos, CA, USA, pp. 416-421. ISBN 9780769536415 (doi:10.1109/ICIS.2009.144)

temporal reasoning

Kapetanakis, Stelios, Samakovitis, Georgios, Gunasekera, P.V.G Buddhika Dinesh and Petridis, Miltos (2012) Monitoring financial transaction fraud with the use of case-based reasoning. In: 17th UK Case-Based Reasoning Workshop, 11 December 2012, Cambridge, UK. (Unpublished)

Kapetanakis, Stelios, Petridis, Miltos, Ma, Jixin, Knight, Brian and Bacon, Liz (2011) Enhancing similarity measures and context provision for the intelligent monitoring of business processes in CBR-WIMS. In: 19th International Conference on Case Based Reasoning: Workshop 1 - Process-oriented Case-Based Reasoning (PO-CBR), 12-15 September 2011, Greenwich, London. (Submitted)

Kapetanakis, Stelios, Petridis, Miltos, Knight, Brian, Ma, Jixin and Bacon, Liz (2010) A case based reasoning approach for the monitoring of business workflows. In: Case-Based Reasoning. Research and Development: 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings. Lecture Notes in Computer Science, 6176 . Springer, Berlin, Germany, pp. 390-405. ISBN 9783642142734 (doi:10.1007/978-3-642-14274-1_29)

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Deriving explanations from partial temporal information. In: Proceedings of the Third International Workshop on Explanation-aware Computing (ExaCt-2008), Patras, Greece, July 21-22, 2008. CEUR-WS.org (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. ISBN 9789606843037 ISSN 1613-0073

temporal relationships

Ma, Jixin, Knight, Brian and Petridis, Miltos (2006) A versatile characterization of causal relationships. Research In Computing Science, 26. pp. 15-24. ISSN 1870-4069

temporal representation

Petridis, Miltos, Ma, Jixin and Knight, Brian (2011) Temporal model for business process. Intelligent Decision Technologies, 5 (4). pp. 321-331. ISSN 1872-4981 (Print), 1875-8843 (Online) (doi:10.3233/IDT-2011-0115)

time model

Ma, Jixin, Knight, Brian and Petridis, Miltos (2006) A versatile characterization of causal relationships. Research In Computing Science, 26. pp. 15-24. ISSN 1870-4069

time modelling

Ma, Jixin, Knight, Brian and Petridis, Miltos (2006) A versatile characterization of causal relationships. Research In Computing Science, 26. pp. 15-24. ISSN 1870-4069

time theory

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2009) A robust approach to subsequence matching. In: Lee, Roger and Ishii, Naohiro, (eds.) Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 (doi:10.1007/978-3-642-05441-9_4)

time-series

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2009) A robust approach to subsequence matching. In: Lee, Roger and Ishii, Naohiro, (eds.) Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 (doi:10.1007/978-3-642-05441-9_4)

tutoring

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan and Norman, Phil (2001) Intelligent design assistant (IDA): a case base reasoning system for material and design. Materials and Design, 22 (3). pp. 163-170. ISSN 0261-3069 (doi:10.1016/S0261-3069(00)00066-2)

uncertain knowledge

Ma, Jixin, Zheng, Aihua, Knight, Brian, Petridis, Miltos and Luo, Bin (2009) Reasoning about uncertain and incomplete temporal knowledge. In: International Conference on Artificial Intelligence and Pattern Recognition 2009 (AIPR- 2009). Curran Associates, Inc., Red Hook, NY, USA, pp. 49-55. ISBN 9781615676576

uncertainty

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

video clip detection

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) Structure based feature extraction in basketball zone-defense strategies. International Journal of Computer Science and Applications, 7 (3). pp. 18-32. ISSN 0972-9038

virtualization

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

web services

Ma, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2006) Towards the design of a portal framework for web services integration. 2006 Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services. Institute of Electrical and Electronics Engineers, Inc., New York, USA, pp. 163-169. ISBN 0769525229 (doi:10.1109/AICT-ICIW.2006.199)

Xen

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

This list was generated on Mon May 28 00:18:12 2018 BST.