{"id":"https://openalex.org/W3119946270","doi":"https://doi.org/10.1109/siu49456.2020.9302093","title":"Learning Parameters of ptSTL Formulas with Backpropagation","display_name":"Learning Parameters of ptSTL Formulas with Backpropagation","publication_year":2020,"publication_date":"2020-10-05","ids":{"openalex":"https://openalex.org/W3119946270","doi":"https://doi.org/10.1109/siu49456.2020.9302093","mag":"3119946270"},"language":"en","primary_location":{"id":"doi:10.1109/siu49456.2020.9302093","is_oa":false,"landing_page_url":"https://doi.org/10.1109/siu49456.2020.9302093","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 28th Signal Processing and Communications Applications Conference (SIU)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065813346","display_name":"Ahmet Ketenci","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ahmet Ketenci","raw_affiliation_strings":["Bilgisayar Mühendisliği, ODTÜ,Ankara,Türkiye"],"affiliations":[{"raw_affiliation_string":"Bilgisayar Mühendisliği, ODTÜ,Ankara,Türkiye","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029149821","display_name":"Ebru Ayd\u0131n G\u00f6l","orcid":"https://orcid.org/0000-0002-5813-9836"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ebru Aydin Gol","raw_affiliation_strings":["Bilgisayar Mühendisliği, ODTÜ,Ankara,Türkiye"],"affiliations":[{"raw_affiliation_string":"Bilgisayar Mühendisliği, ODTÜ,Ankara,Türkiye","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5065813346"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1326,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.5759865,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.970300018787384,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.970300018787384,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9670000076293945,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11309","display_name":"Music and Audio Processing","score":0.9440000057220459,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/backpropagation","display_name":"Backpropagation","score":0.915419340133667},{"id":"https://openalex.org/keywords/differentiable-function","display_name":"Differentiable function","score":0.6658949255943298},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.570736289024353},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5686464905738831},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5026280879974365},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.4479323923587799},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.44324925541877747},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37111973762512207},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33905377984046936}],"concepts":[{"id":"https://openalex.org/C155032097","wikidata":"https://www.wikidata.org/wiki/Q798503","display_name":"Backpropagation","level":3,"score":0.915419340133667},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.6658949255943298},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.570736289024353},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5686464905738831},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5026280879974365},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4479323923587799},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.44324925541877747},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37111973762512207},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33905377984046936},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/siu49456.2020.9302093","is_oa":false,"landing_page_url":"https://doi.org/10.1109/siu49456.2020.9302093","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 28th Signal Processing and Communications Applications Conference (SIU)","raw_type":"proceedings-article"},{"id":"pmh:oai:https://open.metu.edu.tr:11511/93811","is_oa":false,"landing_page_url":"https://hdl.handle.net/11511/93811","pdf_url":null,"source":{"id":"https://openalex.org/S4306402495","display_name":"OpenMETU (Middle East Technical University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201799495","host_organization_name":"Middle East Technical University","host_organization_lineage":["https://openalex.org/I201799495"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"28th Signal Processing and Communications Applications Conference (SIU)","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W181236562","https://openalex.org/W2049399166","https://openalex.org/W2086092403","https://openalex.org/W2108757180","https://openalex.org/W2122646361","https://openalex.org/W2339807279","https://openalex.org/W2497373516","https://openalex.org/W2734887910","https://openalex.org/W2892035503","https://openalex.org/W2956034981","https://openalex.org/W2962924847","https://openalex.org/W2971273347","https://openalex.org/W3001214547"],"related_works":["https://openalex.org/W2391384657","https://openalex.org/W2362189222","https://openalex.org/W2948568013","https://openalex.org/W2516580779","https://openalex.org/W2914691682","https://openalex.org/W1518564963","https://openalex.org/W2363747345","https://openalex.org/W2350832155","https://openalex.org/W2159443810","https://openalex.org/W2383491577"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"a":[3,29,52],"backpropagation":[4],"based":[5,32],"algorithm":[6,58],"is":[7],"presented":[8],"to":[9],"learn":[10],"parameters":[11],"of":[12,37],"past":[13],"time":[14],"Signal":[15],"Temporal":[16],"Logic":[17],"(ptSTL)":[18],"formulas.":[19],"A":[20],"differentiable":[21],"weight":[22],"matrix":[23],"over":[24,41,51],"the":[25,34,38,42,48,57,60],"parameter":[26,62],"values":[27],"and":[28],"loss":[30],"function":[31],"on":[33],"mismatch":[35],"value":[36],"corresponding":[39],"formulas":[40],"labeled":[43],"dataset":[44,54],"are":[45],"used":[46],"in":[47,65],"algorithm.":[49],"Analysis":[50],"sample":[53],"shows":[55],"that":[56],"solves":[59],"ptSTL":[61],"synthesis":[63],"problem":[64],"an":[66],"efficient":[67],"way.":[68]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}