1090 पेपर
यह शोध पत्र प्रतीकात्मक बाधाओं (symbolic constraints) के साथ ट्रांज़िशन को समृद्ध करने वाले एक सुदृढ़ ऑटोमेटा-आधारित दृष्टिकोण को पेश करके, कंक्रीट डोमेन वाले डिस्क्रिप्शन लॉजिक्स की कंसिस्टेंसी समस्या की EXPTIME-मेंबरशिप को स्थापित करता है और सफलतापूर्वक इनवर्स रोल्स और फंक्शनल रोल नेम्स जैसी जटिल विशेषताओं तक विस्तार करता है।
यह शोध पत्र 34 अध्ययनों की एक व्यवस्थित साहित्य समीक्षा प्रस्तुत करता है जो औपचारिक व्याकरण (formal grammars) और बिजनेस प्रोसेस मैनेजमेंट (BPM) के संगम पर सात विशिष्ट अनुसंधान धाराओं की पहचान करता है, जो BPM जीवनचक्र में उनके व्यापक प्रभाव को रेखांकित करते हुए क्रॉस-स्ट्रीम संश्लेषण की कमी को नोट करता है और व्याकरणिक सिद्धांत के एकीकृत दोहन के लिए भविष्य की दिशाओं का प्रस्ताव करता है।
यह शोध पत्र "अवलोकन पदानुक्रम" (observational hierarchy) को प्रस्तुत करता है, जो मशीन की गणनात्मक शक्ति के बजाय एक पर्यवेक्षक के सूचना-पहुंच संबंधी प्रतिबंधों के आधार पर औपचारिक भाषाओं के लिए एक नया वर्गीकरण अक्ष है, जो यह सिद्ध करता है कि यह पदानुक्रम चॉम्स्की पदानुक्रम के लंबवत है, एक विशिष्ट हीरा-आकार की जाली संरचना (diamond-shaped lattice structure) प्रदर्शित करता है, और जैसे जटिलता वर्गों में संरचनात्मक पतन (structural collapses) उत्पन्न कर सकता है।
यह लघु टिप्पणी यह स्थापित करती है कि एक निरंतर-समय -अवस्था वाले मार्कोव श्रृंखला (Markov chain) की गतिशीलता अधिकतम आयाम के एक रैखिक गतिशील तंत्र (linear dynamical system) के समतुल्य है, जो यह प्रदर्शित करती है कि ऐसे तंत्र परस्पर समाविष्ट (mutually embedded) किए जा सकते हैं।
यह शोध पत्र अनंत-अवस्था वाले प्रोसेसों वाले एसिंक्रोनस राउंड-बेस्ड डिस्ट्रिब्यूटेड एल्गोरिदम के पैरामीटराइज्ड वेरिफिकेशन की अनडिसाइडेबिलिटी (undecidability) को संबोधित करने के लिए फाइनाइट-काउंटर सिस्टम्स पर LTL मॉडल चेकिंग में एक साउंड और कंप्लीट रिडक्शन प्रस्तावित करता है, जो nuXmv जैसे मौजूदा सिम्बोलिक मॉडल चेकर्स का उपयोग करके कंसेंसस और लीडर-इलेक्शन एल्गोरिदम के व्यावहारिक सत्यापन को सक्षम बनाता है।
यह शोध पत्र टाइमड ऑटोमेटा (timed automata) के लिए एक बफ़र्ड ऑब्जर्वेशन मॉडल प्रस्तुत करता है जहाँ हमलावर केवल पूर्णांक टाइमस्टैम्प (integer timestamps) के साथ एक्शन अनुक्रम देखते हैं, और यह सिद्ध करता है कि जबकि ओपेसिटी (opacity) सुनिश्चित करने के लिए नियंत्रण रणनीति खोजने की सामान्य समस्या अनिर्णायक (undecidable) है, दो यथार्थवादी बाधाओं के तहत निर्णयात्मकता (decidability) पुनः प्राप्त की जाती है: प्रति समय इकाई रणनीति परिवर्तनों की एक सीमित दर या नियंत्रणीय क्रियाओं का पूर्ण अवलोकन।
यह शोध पत्र ई-ग्राफ्स (e-graphs) के श्रेणीगत ढांचे (categorical framework) को क्लोज्ड सिमेट्रिक मोनोइडल कैटेगरीज (closed symmetric monoidal categories) तक विस्तारित करता है ताकि -कैलकुलस में वेरिएबल बाइंडिंग को मूल रूप से समर्थित किया जा सके, जिसमें एक पदानुक्रमित हाइपरग्राफ प्रतिनिधित्व (hierarchical hypergraph representation) पेश किया गया है जो एक डबल-पुशआउट रीराइटिंग तंत्र (double-pushout rewriting mechanism) के साथ है जो मानक टर्म रीराइटिंग (standard term rewriting) के समकक्ष सिद्ध होता है।
यह शोध पत्र ट्रांज़िशन प्रोबेबिलिटीज (transition probabilities) के सूक्ष्म विचलनों के तहत मानक प्रोबेबिलिस्टिक बिसिमिलैरिटी (probabilistic bisimilarity) में मजबूती की कमी को संबोधित करने के लिए एक नई रूबस्ट प्रोबेबिलिस्टिक बिसिमिलैरिटी (robust probabilistic bisimilarity) की अवधारणा प्रस्तुत करता है जो निरंतरता सुनिश्चित करती है और इसे गणना करने के लिए एक कुशल एल्गोरिदम प्रदान करता है।
यह शोधपत्र एक सार्वभौमिक अनंत टेंसर उत्पाद निर्माण प्रस्तुत करता है जो विविक्त संभाव्यता श्रेणियों, विशेष रूप से को एक ऐसे ढांचे तक विस्तारित करता है जो कैंटर स्पेस (Cantor space) पर स्थानीय रूप से स्थिर मार्कोव कर्नेल के माध्यम से वास्तविक संख्याओं सहित निरंतर संभाव्यता मापों के बारे में स्वयंसिद्ध रूप से तर्क करने में सक्षम है।
यह शोध पत्र एक आरेखीय ढांचे के भीतर स्थानीय गेट्स और प्रिमिटिव वैल्यू-कंट्रोल्स का उपयोग करते हुए, सटीक यूनिटरी क्वडिट सर्किट (exact unitary qudit circuits) के लिए पहली परिमित, आयाम-समान योजनाबद्ध समीकरण सिद्धांत (finite, dimension-uniform schematic equational theory) प्रस्तुत करता है जो कि सुदृढ़ और पूर्ण है।