{"id":"https://openalex.org/W4233384841","doi":"https://doi.org/10.1109/wsc.2012.6465202","title":"A machine learning approach for generating temporal logic classifications of complex model behaviours","display_name":"A machine learning approach for generating temporal logic classifications of complex model behaviours","publication_year":2012,"publication_date":"2012-12-01","ids":{"openalex":"https://openalex.org/W4233384841","doi":"https://doi.org/10.1109/wsc.2012.6465202"},"language":"en","primary_location":{"id":"doi:10.1109/wsc.2012.6465202","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2012.6465202","pdf_url":null,"source":{"id":"https://openalex.org/S4363608782","display_name":"Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://informs-sim.org/wsc12papers/includes/files/inv125.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005104347","display_name":"Daniele Maccagnola","orcid":null},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Daniele Maccagnola","raw_affiliation_strings":["DISCo, University of Milano-Bicocca, Milano, Italy"],"affiliations":[{"raw_affiliation_string":"DISCo, University of Milano-Bicocca, Milano, Italy","institution_ids":["https://openalex.org/I66752286"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061496529","display_name":"Enza Messina","orcid":"https://orcid.org/0000-0002-4062-0824"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enza Messina","raw_affiliation_strings":["DISCo, University of Milano-Bicocca, Milano, Italy"],"affiliations":[{"raw_affiliation_string":"DISCo, University of Milano-Bicocca, Milano, Italy","institution_ids":["https://openalex.org/I66752286"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100752245","display_name":"Qian Gao","orcid":"https://orcid.org/0000-0001-8189-6061"},"institutions":[{"id":"https://openalex.org/I59433898","display_name":"Brunel University of London","ror":"https://ror.org/00dn4t376","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I59433898"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Qian Gao","raw_affiliation_strings":["Brunel University, Uxbridge, Middlesex, UK"],"affiliations":[{"raw_affiliation_string":"Brunel University, Uxbridge, Middlesex, UK","institution_ids":["https://openalex.org/I59433898"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102913036","display_name":"David Gilbert","orcid":"https://orcid.org/0000-0002-8872-4294"},"institutions":[{"id":"https://openalex.org/I59433898","display_name":"Brunel University of London","ror":"https://ror.org/00dn4t376","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I59433898"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Gilbert","raw_affiliation_strings":["Brunel University, Uxbridge, Middlesex, UK"],"affiliations":[{"raw_affiliation_string":"Brunel University, Uxbridge, Middlesex, UK","institution_ids":["https://openalex.org/I59433898"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5005104347"],"corresponding_institution_ids":["https://openalex.org/I66752286"],"apc_list":null,"apc_paid":null,"fwci":4.0142,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.93250444,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"7347","issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10887","display_name":"Bioinformatics and Genomic Networks","score":0.9861000180244446,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7492382526397705},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7073217630386353},{"id":"https://openalex.org/keywords/cluster-analysis","display_name":"Cluster analysis","score":0.6619940996170044},{"id":"https://openalex.org/keywords/dbscan","display_name":"DBSCAN","score":0.5170772075653076},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5157811641693115},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4826286733150482},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.44505512714385986},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42967334389686584},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4167076349258423},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3523012399673462},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2987322211265564},{"id":"https://openalex.org/keywords/fuzzy-clustering","display_name":"Fuzzy clustering","score":0.17501753568649292},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.15897521376609802}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7492382526397705},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7073217630386353},{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.6619940996170044},{"id":"https://openalex.org/C46576248","wikidata":"https://www.wikidata.org/wiki/Q1114630","display_name":"DBSCAN","level":5,"score":0.5170772075653076},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5157811641693115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4826286733150482},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.44505512714385986},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42967334389686584},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4167076349258423},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3523012399673462},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2987322211265564},{"id":"https://openalex.org/C17212007","wikidata":"https://www.wikidata.org/wiki/Q5511111","display_name":"Fuzzy clustering","level":3,"score":0.17501753568649292},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.15897521376609802},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C104047586","wikidata":"https://www.wikidata.org/wiki/Q5033439","display_name":"Canopy clustering algorithm","level":4,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/wsc.2012.6465202","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2012.6465202","pdf_url":null,"source":{"id":"https://openalex.org/S4363608782","display_name":"Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)","raw_type":"proceedings-article"},{"id":"pmh:oai:boa.unimib.it:10281/43215","is_oa":true,"landing_page_url":"http://hdl.handle.net/10281/43215","pdf_url":"http://informs-sim.org/wsc12papers/includes/files/inv125.pdf","source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.416.4064","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.4064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.informs-sim.org/wsc12papers/includes/files/inv125.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:boa.unimib.it:10281/43215","is_oa":true,"landing_page_url":"http://hdl.handle.net/10281/43215","pdf_url":"http://informs-sim.org/wsc12papers/includes/files/inv125.pdf","source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4233384841.pdf","grobid_xml":"https://content.openalex.org/works/W4233384841.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W95898642","https://openalex.org/W1495979635","https://openalex.org/W1498125516","https://openalex.org/W1514014274","https://openalex.org/W1673310716","https://openalex.org/W1845978309","https://openalex.org/W1970603830","https://openalex.org/W1970754582","https://openalex.org/W1987971958","https://openalex.org/W1995819749","https://openalex.org/W1996158616","https://openalex.org/W2001620484","https://openalex.org/W2005998857","https://openalex.org/W2029064186","https://openalex.org/W2036614475","https://openalex.org/W2057364858","https://openalex.org/W2060979493","https://openalex.org/W2075161553","https://openalex.org/W2092117239","https://openalex.org/W2096198769","https://openalex.org/W2097747115","https://openalex.org/W2111263072","https://openalex.org/W2120385725","https://openalex.org/W2122792487","https://openalex.org/W2166296674","https://openalex.org/W2171501814","https://openalex.org/W6603878150","https://openalex.org/W6630645230","https://openalex.org/W6678403609"],"related_works":["https://openalex.org/W3163639875","https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W2132799268","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W791317142","https://openalex.org/W2109094990","https://openalex.org/W1538101305","https://openalex.org/W1816071588"],"abstract_inverted_index":{"Systems":[0],"biology":[1],"aims":[2],"to":[3,28],"facilitate":[4,84],"the":[5,49,56,79,85,110,118,124,133],"understanding":[6],"of":[7,81,87,109,120,126,132,141],"complex":[8,50],"interactions":[9],"between":[10],"components":[11],"in":[12,19,113,147],"biological":[13,35],"systems.":[14],"Petri":[15,22],"nets":[16],"(PN),":[17],"and":[18,37,44,51,75,90,138],"particular":[20],"Coloured":[21],"Nets":[23],"(CPN)":[24],"have":[25],"been":[26],"demonstrated":[27],"be":[29],"a":[30,64,99],"suitable":[31],"formalism":[32],"for":[33],"modelling":[34],"systems":[36],"building":[38],"computational":[39],"models":[40],"over":[41,55],"multiple":[42,130],"spatial":[43],"temporal":[45,114],"scales.":[46],"To":[47,83],"explore":[48],"high-dimensional":[52],"solution":[53],"space":[54],"behaviours":[57],"generated":[58],"by":[59],"such":[60],"models,":[61],"we":[62,97],"propose":[63],"clustering":[65,88],"methodology":[66],"which":[67],"combines":[68],"principal":[69],"component":[70],"analysis":[71,93,125],"(PCA),":[72],"distance":[73],"similarity":[74],"density":[76],"factors":[77],"through":[78,123],"application":[80],"DBScan.":[82],"interpretation":[86],"results":[89],"enable":[91],"further":[92],"using":[94],"model":[95],"checking":[96],"apply":[98],"pattern":[100],"mining":[101],"approach":[102,122],"aimed":[103],"at":[104],"generating":[105],"high-level":[106],"classificatory":[107],"descriptions":[108],"clusters'":[111],"behaviour":[112],"logic.":[115],"We":[116],"illustrate":[117],"power":[119],"our":[121],"two":[127],"case":[128],"studies:":[129],"knockdown":[131],"Mitogen-activated":[134],"protein-kinase":[135],"(MAPK)":[136],"pathway,":[137],"selective":[139],"knockout":[140],"Planar":[142],"Cell":[143],"Polarity":[144],"(PCP)":[145],"signalling":[146],"Drosophila":[148],"wing.":[149]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}