Items where Author is "Petridis, Miltos"

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 artificial intelligence (incl. robotics) Asset Bubble asset bubble ATLAS attack detection autonomics Autonomous computing 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 clustering cognition completeness complexity theory computer applications in administrative data processing computer applications in social and behavioral sciences computers constraints credit scheduler cybersecurity data mining deep learning defuziffication derivation design and manufacture design pattern electronics ergodic matrix european credit transfer system event explanation feature extraction financial bubbles finite element methods fire field modelling fire modelling fire modelling expertise fixing variables forward problems 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 Goal-driven agent graph matching graph similarity graphical representation grid HPC incomplete temporal knowledge incompleteness industry sectors integration intelligent information retrieval interpolation inverse problems IT & software job scheduling knowledge based systems knowledge class diagrams knowledge discovery knowledge management knowledge-based knowledge-based systems Machine learning material selection mathematical logic and formal languages methodology metric diagrams microfinance Mobile money model Money transfer Multi-agent systems multiple case-based reasoning multiple heterogeneous case bases multivariate quadratic natural language processing 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 Real-time strategy reasoning reified temporal logic relational structures rheumatic fever robotics semantics similarity measure similarity model Simulation data Smartfire social engineering software composition software design reuse software paradigm software strategy spatial reasoning state-sequence matching state-sequences structural similarity structure relationship subsequence matching sufficient conditions Swarm Intelligence Swarm robotics 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 series time theory time-series tutoring uncertain knowledge uncertainty video clip detection virtualization web services Xen

Number of items: 239.

3-dimensional shapes

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID: 0000-0003-0609-272X (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:https://doi.org/10.1023/A:1013676928961)

abnormal financial transactions

Kapetanakis, Stelios, Samakovitis, Georgios ORCID: 0000-0002-0076-8082 , 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:https://doi.org/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:https://doi.org/10.1109/ICIS.2009.144)

architecture

arthritis pain

Pandey, Sanjib Raj, Ma, Jixin, Lai, Choi-Hong ORCID: 0000-0002-7558-6398 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 978-3319026206 (doi:https://doi.org/10.1007/978-3-319-02621-3_18)

Artificial Intelligence

Petridis, Miltos, Kapetanakis, Stelios, Samakovitis, Georgios ORCID: 0000-0002-0076-8082 and Ekpenyong, Francis (2020) Towards the ensemble: IPCBR model in investigating financial bubbles. European Journal of Electrical Engineering and Computer Science, 4 (4). pp. 1-7. ISSN 2506-9853 (Online) (doi:https://doi.org/10.24018/ejece.2020.4.4.193)

Artificial intelligence

Ekpenyong, Francis, Samakovitis, Georgios ORCID: 0000-0002-0076-8082 , Kapetanakis, Stylianos and Petridis, Miltos (2021) Case retrieval with clustering for a case-based reasoning and inverse problem methodology: an investigation of financial bubbles. In: Meng, Hongying, Lei, Tao, Li, Maozhen, Li, Kenli, Xiong, Ning and Wang, Lipo, (eds.) Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery. Lecture Notes on Data Engineering and Communications Technologies book series (LNDECT, volume 88), 88 . Springer Link, Cham and New York, pp. 1515-1524. ISBN 978-3030706647 ; 978-3030706654 (doi:https://doi.org/10.1007/978-3-030-70665-4_164)

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, Cham, Switzerland, pp. 199-210. ISBN 978-3319026206 (doi:https://doi.org/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:https://doi.org/10.1007/978-3-319-02621-3_13)

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:https://doi.org/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:https://doi.org/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:https://doi.org/10.1007/3-540-44527-7_36)

Asset Bubble

asset bubble

Ekpenyong, Francis, Samakovitis, Georgios ORCID: 0000-0002-0076-8082 , Kapetanakis, Stelios and Petridis, Miltos (2019) An Ensemble Method: Case-Based Reasoning and the Inverse Problems in Investigating Financial Bubbles. In: Cognitive Computing – ICCC 2019. Lecture Notes in Computer Science, 11518 . Springer, Switzerland, pp. 153-168. ISBN 978-3030234065 ISSN 0302-9743 (Print), 1611-3349 (Online) (doi:https://doi.org/10.1007/978-3-030-23407-2_13)

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:https://doi.org/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:https://doi.org/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:https://doi.org/10.1145/1555336.1555338)

attack detection

Lansley, Merton, Polatidis, Nikolaos, Kapetanakis, Stylianos, Amin, Kareem, Samakovitis, Georgios ORCID: 0000-0002-0076-8082 and Petridis, Miltos (2019) Seen the villains: detecting social engineering attacks using case-based reasoning and deep learning. In: Workshops Proceedings for the Twenty-seventh International Conference on Case-Based Reasoning: Case-based reasoning and deep learning workshop. Case-Based Reasoning and Deep Learning Workshop (CBDRL-2019). September 8-12 2019, Otzenhausen Germany. ICCBR Workshops 2019, 2567 . CEUR, Otzenhausen Germany, pp. 39-48. ISSN 1613-0073 (Print), 1613-0073 (Online)

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:https://doi.org/10.1109/SNPD.2010.44)

Autonomous computing

O’Connor, Daniel, Kapetanakis, Stelios, Samakovitis, Georgios ORCID: 0000-0002-0076-8082 , Floyd, Michael, Ontañon, Santiago and Petridis, Miltos (2018) Autonomous swarm agents using case-based reasoning. In: Artificial Intelligence XXXV: 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11-13, 2018, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 210-216. ISBN 978-3030041908 (doi:https://doi.org/10.1007/978-3-030-04191-5_20)

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

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

business process

business process management

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:https://doi.org/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. (Unpublished)

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:https://doi.org/10.1007/978-3-642-14274-1_29)

case based engineering

case based reasoning

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 ORCID: 0000-0003-0609-272X and Galea, Edwin ORCID: 0000-0002-0001-6665 (2001) A case based reasoning system capturing fire modelling expertise. Computing and Informatics, 20 (3). pp. 269-288. ISSN 1335-9150

case-base reasoning

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan ORCID: 0000-0002-0901-9803 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:https://doi.org/10.1016/S0261-3069(00)00066-2)

case-based reasoning

Adedoyin, Adeyinka, Kapetanakis, Stelios, Samakovitis, Georgios ORCID: 0000-0002-0076-8082 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-3319710778 ISSN 0302-9743 (doi:https://doi.org/10.1007/978-3-319-71078-5_28)

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

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 ORCID: 0000-0003-0609-272X and Galea, Edwin ORCID: 0000-0002-0001-6665 (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:https://doi.org/10.1016/S0952-1976(98)00057-8)

case-based reasoning (CBR)

casting

casting design

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

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

CBR competence

CBR performance

cloud

cluster

clustering

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:https://doi.org/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:https://doi.org/10.1109/SNPD.2008.16)

complexity theory

computer applications in administrative data processing

computer applications in social and behavioral sciences

computers

constraints

credit scheduler

cybersecurity

data mining

deep learning

defuziffication

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

design pattern

electronics

ergodic matrix

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

explanation

feature extraction

financial bubbles

finite element methods

fire field modelling

fire modelling

fire modelling expertise

fixing variables

forward problems

foundry

fraud

fraud detection

fuzzy inference

fuzzy logic

Nissan, Ephraim, Soper, Alan ORCID: 0000-0002-0901-9803 , 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

Galois fields

general temporal constraint (GTC)

general time theory

generic study plans

Genetic algorithm

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

Goal-driven agent

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

graphical representation

grid

HPC

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 978-1615676576

incompleteness

industry sectors

integration

intelligent information retrieval

interpolation

inverse problems

IT & software

job scheduling

knowledge based systems

knowledge class diagrams

knowledge discovery

knowledge management

knowledge-based

knowledge-based systems

Machine learning

material selection

mathematical logic and formal languages

methodology

metric diagrams

microfinance

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

Mobile money

model

Money transfer

Multi-agent systems

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

multivariate quadratic

natural language processing

networked learning

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 ORCID: 0000-0002-8764-5682 and Petridis, Miltos (2010) The importance of being owned: microfinance institutions in Tanzania. Project Report. University of Greenwich, London, UK.

node-similarity

NP-hard

nuclear science

numerical models

operations research/decision theory

optimal temporal common subsequence

pilot jobs

polynomials

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:https://doi.org/10.1109/AICT-ICIW.2006.199)

public key cryptography

qualitative attributes

Real-time strategy

reasoning

reified 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.

relational structures

rheumatic fever

robotics

semantics

similarity measure

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:https://doi.org/10.1007/978-3-642-05441-9_4)

Simulation data

Smartfire

social engineering

software composition

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

software strategy

spatial reasoning

state-sequence matching

state-sequences

structural similarity

structure relationship

subsequence matching

sufficient conditions

Swarm Intelligence

Swarm robotics

syntax

Tanzania

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

telecommunications

teleo-reactive programming

temporal knowledge

temporal logic

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

temporal reasoning

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

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

Export as	RSS