乐胖代购免代理版

{"id":"https://openalex.org/W2773596916","doi":"https://doi.org/10.1145/3156346.3156350","title":"Formal Validation of Neural Networks as Timed Automata","display_name":"Formal Validation of Neural Networks as Timed Automata","publication_year":2017,"publication_date":"2017-12-07","ids":{"openalex":"https://openalex.org/W2773596916","doi":"https://doi.org/10.1145/3156346.3156350","mag":"2773596916"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3156346.3156350","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-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/A5073799150","display_name":"Elisabetta De Maria","orcid":null},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210126779","display_name":"Observatoire de la C\u00f4te d\u2019Azur","ror":"https://ror.org/039fj2469","country_code":"FR","type":"facility","lineage":["https://openalex.org/I201841394","https://openalex.org/I4210126779"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Elisabetta De Maria","raw_affiliation_strings":["Universit\u00e9 C\u00f4te d'Azur, CNRS, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d'Azur, CNRS, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I4210126779","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081741139","display_name":"Cinzia Di Giusto","orcid":"https://orcid.org/0000-0003-1563-6581"},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210126779","display_name":"Observatoire de la C\u00f4te d\u2019Azur","ror":"https://ror.org/039fj2469","country_code":"FR","type":"facility","lineage":["https://openalex.org/I201841394","https://openalex.org/I4210126779"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Cinzia Di Giusto","raw_affiliation_strings":["Universit\u00e9 C\u00f4te d'Azur, CNRS, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d'Azur, CNRS, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1294671590","https://openalex.org/I4210126779"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021681181","display_name":"Giovanni Ciatto","orcid":"https://orcid.org/0000-0002-1841-8996"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giovanni Ciatto","raw_affiliation_strings":["Universit\u00e0 di Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":5,"citation_normalized_percentile":{"value":0.928608,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":79,"max":81},"biblio":{"volume":null,"issue":null,"first_page":"15","last_page":"22"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9991,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10581","display_name":"Neural dynamics and brain function","score":0.9985,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4489795},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.44365528},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.41604298}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7728447},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7491583},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.56752753},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.55714536},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.4850344},{"id":"https://openalex.org/C11731999","wikidata":"https://www.wikidata.org/wiki/Q9067355","display_name":"Spiking neural network","level":3,"score":0.4606971},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4489795},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.44365528},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.41604298},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29999664},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18173301},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.106387764},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.05311209},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3156346.3156350","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01717598","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-01717598","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":20,"referenced_works":["https://openalex.org/W101771737","https://openalex.org/W1926086117","https://openalex.org/W1979711143","https://openalex.org/W1985940938","https://openalex.org/W1995341919","https://openalex.org/W2006370340","https://openalex.org/W2072413244","https://openalex.org/W2101508170","https://openalex.org/W2103496339","https://openalex.org/W2122133822","https://openalex.org/W2157239334","https://openalex.org/W2160883697","https://openalex.org/W2164653071","https://openalex.org/W2602878964","https://openalex.org/W2620356126","https://openalex.org/W2913459036","https://openalex.org/W3004557030","https://openalex.org/W3181040655","https://openalex.org/W3217350819","https://openalex.org/W4249572517"],"related_works":["https://openalex.org/W2900094146","https://openalex.org/W2569130014","https://openalex.org/W2149582339","https://openalex.org/W2148140319","https://openalex.org/W2095644384","https://openalex.org/W1928422391","https://openalex.org/W1903000972","https://openalex.org/W1750171350","https://openalex.org/W1597414920","https://openalex.org/W1571606103"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,23,30,66,72,96],"formalisation":[3],"of":[4,25,33,107,123],"spiking":[5],"neural":[6,101],"networks":[7,102],"based":[8],"on":[9,22],"timed":[10,17],"automata":[11,18],"networks.":[12],"Neurons":[13],"are":[14,103],"modelled":[15],"as":[16,105],"waiting":[19],"for":[20,29,95,110],"inputs":[21,54],"number":[24],"different":[26],"channels":[27,118],"(synapses),":[28],"given":[31,67],"amount":[32],"time":[34],"(the":[35],"accumulation":[36,83],"period).":[37],"When":[38],"this":[39],"period":[40],"is":[41,47,90,128],"over,":[42],"the":[43,52,56,62,69,88,121,124],"current":[44,53,63],"potential":[45,59,64],"value":[46],"computed":[48],"taking":[49],"into":[50],"account":[51],"and":[55,116],"previous":[57],"decayed":[58],"value.":[60],"If":[61],"overcomes":[65],"threshold,":[68],"automaton":[70,89],"emits":[71],"broadcast":[73],"signal":[74],"over":[75],"its":[76],"output":[77],"channel,":[78],"otherwise":[79],"it":[80],"restarts":[81],"another":[82],"period.":[84,99],"After":[85],"each":[86,111],"emission,":[87],"constrained":[91],"to":[92,120],"remain":[93],"inactive":[94],"fixed":[97],"refractory":[98],"Spiking":[100],"formalised":[104],"sets":[106],"automata,":[108],"one":[109],"neuron,":[112],"running":[113],"in":[114],"parallel":[115],"sharing":[117],"according":[119],"structure":[122],"network.":[125],"The":[126],"model":[127],"then":[129],"validated":[130],"against":[131],"some":[132],"crucial":[133],"properties":[134],"defined":[135],"via":[136],"proper":[137],"temporal":[138],"logic":[139],"formulae.":[140]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2773596916","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2024-12-10T10:50:06.014878","created_date":"2017-12-22"}