Items where Author is "Petridis, Miltos"
 | Up a level |
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
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. In: 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: Process Management. Intech, Vukovar, Croatia, pp. 197-222. ISBN 978-953-307-085-8
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: 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: 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, 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. Lecture Notes In Computer Science, 3620 . Springer-Verlag, Berlin, 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)
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 (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
causal relationship
Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Characterizing the most general temporal constraints. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece. (Unpublished)
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. In: 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. In: 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: 2010 Second WRI Global Congress on Intelligent Systems. IEEE Conference Publications, 1 . IEEE Computer Society, 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
computers
Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: 2010 Second WRI Global Congress on Intelligent Systems. IEEE Conference Publications, 1 . IEEE Computer Society, Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)
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. In: 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)
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), July 21-22, 2008. CEUR Workshop Proceedings (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. ISBN 9789606843037 ISSN 1613-0073
design pattern
Ma, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2007) A design pattern for integration of business process management systems. In: 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)
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
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), July 21-22, 2008. CEUR Workshop Proceedings (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: 2010 Second WRI Global Congress on Intelligent Systems. IEEE Conference Publications, 1 . IEEE Computer Society, Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)
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
fuzzy logic
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.
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 constraints. 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 constraints. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece. (Unpublished)
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
Ma, Jixin, Zheng, Aihua, Bie, Rongfang, Petridis, Miltos, Zhai, Sulan and Luo, Bin (2009) State-sequence based pattern recognition in basketball zone-defense strategies. International Journal of Electronics, 11 (1). pp. 35-44. ISSN 1229-425X
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
graph similarity
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. In: 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. In: 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: 2010 Second WRI Global Congress on Intelligent Systems. IEEE Conference Publications, 1 . IEEE Computer Society, Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)
integration
Ma, Chaoying, Caldera, Andrea, Petridis, Miltos, Bacon, Liz and Windall, Gill (2010) Integration of BPM systems. In: 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: 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)
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: 2010 Second WRI Global Congress on Intelligent Systems. IEEE Conference Publications, 1 . IEEE Computer Society, Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)
knowledge management
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)
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)
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)
microfinance
Marr, Ana and Petridis, Miltos (2010) The importance of being owned: microfinance institutions in Tanzania. Project Report. University of Greenwich, London, UK.
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)
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
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 engineering
Zhao, Jun, Knight, Brian, Nissan, Ephraim, Petridis, Miltos and Soper, Alan (1998) The FUELGEN alternative: an evolutionary approach. The architecture. New Review of Applied Expert Systems, 4. pp. 177-183. ISSN 1361-0244
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.
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. In: 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. In: 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.
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 model
Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) A robust approach to subsequence matching. In: Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 ISSN 1860-949X (Print) 1860-9503 (Online) (doi:10.1007/978-3-642-05441-9_4)
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 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)
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 (2010) A robust approach to subsequence matching. In: Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 ISSN 1860-949X (Print) 1860-9503 (Online) (doi:10.1007/978-3-642-05441-9_4)
Ma, Jixin, Zheng, Aihua, Bie, Rongfang, Petridis, Miltos, Zhai, Sulan and Luo, Bin (2009) State-sequence based pattern recognition in basketball zone-defense strategies. International Journal of Electronics, 11 (1). pp. 35-44. ISSN 1229-425X
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 (2010) A robust approach to subsequence matching. In: Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 ISSN 1860-949X (Print) 1860-9503 (Online) (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: 2010 Second WRI Global Congress on Intelligent Systems. IEEE Conference Publications, 1 . IEEE Computer Society, 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.
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: 2010 Second WRI Global Congress on Intelligent Systems. IEEE Conference Publications, 1 . IEEE Computer Society, Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)
temporal logic
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, 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), July 21-22, 2008. CEUR Workshop Proceedings (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)
Ma, Jixin, Zheng, Aihua, Bie, Rongfang, Petridis, Miltos, Zhai, Sulan and Luo, Bin (2009) State-sequence based pattern recognition in basketball zone-defense strategies. International Journal of Electronics, 11 (1). pp. 35-44. ISSN 1229-425X
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 (2010) A robust approach to subsequence matching. In: Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 ISSN 1860-949X (Print) 1860-9503 (Online) (doi:10.1007/978-3-642-05441-9_4)
time-series
Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) A robust approach to subsequence matching. In: Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 ISSN 1860-949X (Print) 1860-9503 (Online) (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: 2010 Second WRI Global Congress on Intelligent Systems. IEEE Conference Publications, 1 . IEEE Computer Society, 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. In: 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. In: 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. In: 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)
zone-defense patterns
Ma, Jixin, Zheng, Aihua, Bie, Rongfang, Petridis, Miltos, Zhai, Sulan and Luo, Bin (2009) State-sequence based pattern recognition in basketball zone-defense strategies. International Journal of Electronics, 11 (1). pp. 35-44. ISSN 1229-425X