{"id":"https://openalex.org/W2052277516","doi":"https://doi.org/10.1145/2383276.2383333","title":"Using control network programming in teaching nondeterminism","display_name":"Using control network programming in teaching nondeterminism","publication_year":2012,"publication_date":"2012-06-22","ids":{"openalex":"https://openalex.org/W2052277516","doi":"https://doi.org/10.1145/2383276.2383333","mag":"2052277516"},"language":"en","primary_location":{"id":"doi:10.1145/2383276.2383333","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2383276.2383333","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th International Conference on Computer Systems and Technologies","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/A5046151694","display_name":"Kostadin Kratchanov","orcid":null},"institutions":[{"id":"https://openalex.org/I59944920","display_name":"Ya\u015far University","ror":"https://ror.org/00dz1eb96","country_code":"TR","type":"education","lineage":["https://openalex.org/I59944920"]}],"countries":["TR"],"is_corresponding":true,"raw_author_name":"Kostadin Kratchanov","raw_affiliation_strings":["Ya\u015far University, Bornova - Izmir, Turkey"],"affiliations":[{"raw_affiliation_string":"Ya\u015far University, Bornova - Izmir, Turkey","institution_ids":["https://openalex.org/I59944920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007368579","display_name":"Emilia Golemanova","orcid":null},"institutions":[{"id":"https://openalex.org/I43986944","display_name":"Angel Kanchev University of Ruse","ror":"https://ror.org/01g09ef73","country_code":"BG","type":"education","lineage":["https://openalex.org/I43986944"]}],"countries":["BG"],"is_corresponding":false,"raw_author_name":"Emilia Golemanova","raw_affiliation_strings":["University of Ruse, Ruse, Bulgaria"],"affiliations":[{"raw_affiliation_string":"University of Ruse, Ruse, Bulgaria","institution_ids":["https://openalex.org/I43986944"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043727161","display_name":"Tzanko Golemanov","orcid":null},"institutions":[{"id":"https://openalex.org/I43986944","display_name":"Angel Kanchev University of Ruse","ror":"https://ror.org/01g09ef73","country_code":"BG","type":"education","lineage":["https://openalex.org/I43986944"]}],"countries":["BG"],"is_corresponding":false,"raw_author_name":"Tzanko Golemanov","raw_affiliation_strings":["University of Ruse, Ruse, Bulgaria"],"affiliations":[{"raw_affiliation_string":"University of Ruse, Ruse, Bulgaria","institution_ids":["https://openalex.org/I43986944"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044687605","display_name":"Burcu K\u00fclah\u00e7\u0131o\u011flu","orcid":null},"institutions":[{"id":"https://openalex.org/I59944920","display_name":"Ya\u015far University","ror":"https://ror.org/00dz1eb96","country_code":"TR","type":"education","lineage":["https://openalex.org/I59944920"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Burcu K\u00fclah\u00e7\u0131o\u01e7lu","raw_affiliation_strings":["Ya\u015far University, Bornova - Izmir, Turkey"],"affiliations":[{"raw_affiliation_string":"Ya\u015far University, Bornova - Izmir, Turkey","institution_ids":["https://openalex.org/I59944920"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5046151694"],"corresponding_institution_ids":["https://openalex.org/I59944920"],"apc_list":null,"apc_paid":null,"fwci":0.4281,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.71825416,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"391","last_page":"398"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9973000288009644,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9973000288009644,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.8232189416885376},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5864835381507874},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5420544743537903},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5287420749664307},{"id":"https://openalex.org/keywords/randomization","display_name":"Randomization","score":0.4601697325706482},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43788713216781616},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39376330375671387},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30669593811035156},{"id":"https://openalex.org/keywords/randomized-controlled-trial","display_name":"Randomized controlled trial","score":0.07964667677879333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8232189416885376},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5864835381507874},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5420544743537903},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5287420749664307},{"id":"https://openalex.org/C204243189","wikidata":"https://www.wikidata.org/wiki/Q1363085","display_name":"Randomization","level":3,"score":0.4601697325706482},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43788713216781616},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39376330375671387},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30669593811035156},{"id":"https://openalex.org/C168563851","wikidata":"https://www.wikidata.org/wiki/Q1436668","display_name":"Randomized controlled trial","level":2,"score":0.07964667677879333},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C141071460","wikidata":"https://www.wikidata.org/wiki/Q40821","display_name":"Surgery","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2383276.2383333","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2383276.2383333","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th International Conference on Computer Systems and Technologies","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.7699999809265137}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W84265625","https://openalex.org/W153713179","https://openalex.org/W195301292","https://openalex.org/W1438787453","https://openalex.org/W1593486735","https://openalex.org/W1825737457","https://openalex.org/W1891842933","https://openalex.org/W1972060224","https://openalex.org/W1975347491","https://openalex.org/W1992659792","https://openalex.org/W2003935928","https://openalex.org/W2004056131","https://openalex.org/W2005412150","https://openalex.org/W2021207545","https://openalex.org/W2099459744","https://openalex.org/W2159813417","https://openalex.org/W2334129451","https://openalex.org/W2415491409","https://openalex.org/W3127558385","https://openalex.org/W3150051174"],"related_works":["https://openalex.org/W2520316949","https://openalex.org/W2012531322","https://openalex.org/W2402761219","https://openalex.org/W4231775656","https://openalex.org/W2120509628","https://openalex.org/W3215259711","https://openalex.org/W2046435967","https://openalex.org/W2348760775","https://openalex.org/W2785900585","https://openalex.org/W2477549100"],"abstract_inverted_index":{"The":[0],"aim":[1],"of":[2,5,67],"this":[3,60],"series":[4],"two":[6],"reports":[7],"is":[8,37,69,78],"to":[9,74,80],"demonstrate":[10],"that":[11],"Control":[12],"Network":[13],"Programming":[14],"(CNP),":[15],"respectively":[16],"WinSpider,":[17],"can":[18],"be":[19,75],"used":[20],"as":[21],"an":[22],"excellent":[23],"environment":[24],"for":[25,54],"teaching":[26,64],"and":[27,31,42,51,83],"learning":[28],"both":[29],"nondeterminism":[30,68],"randomization.":[32],"More":[33],"specifically,":[34],"the":[35,65,71],"focus":[36],"on":[38,48],"CNP":[39],"implemented":[40],"models":[41,82],"algorithms":[43],"typically":[44],"studied":[45],"in":[46,56],"courses":[47],"Computation":[49],"theory":[50],"Artificial":[52],"intelligence":[53],"students":[55],"computing":[57],"programs.":[58],"In":[59],"first":[61],"part":[62],"only":[63],"concept":[66],"discussed;":[70],"second":[72],"report":[73],"published":[76],"elsewhere":[77],"devoted":[79],"randomized":[81],"algorithms.":[84]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}