1115 पेपर
यह शोध पत्र एक वैश्विक परिप्रेक्ष्य से समवर्ती प्रणालियों (concurrent systems) को मॉडल करने के लिए एक संभाव्य कोरियोग्राफिक भाषा प्रस्तुत करता है, जिसे सिस्टम गुणों और विश्वसनीयता के कठोर सत्यापन को सक्षम करने के लिए औपचारिक रूप से PRISM मॉडल-चेकर में एनकोड किया गया है।
यह शोध पत्र {log} का एक व्यापक अवलोकन प्रस्तुत करता है, जो एक कंस्ट्रेंट लॉजिक प्रोग्रामिंग भाषा है जो एक एकीकृत औपचारिक सत्यापन वातावरण के रूप में विकसित हुई है, जो ऑटोमेटेड थ्योरम प्रूविंग, वेरिफिकेशन कंडीशन जनरेशन और टेस्ट केस जनरेशन जैसी विशेषताओं के माध्यम से स्टेट मशीनों को निष्पादन योग्य प्रोग्राम और स्पेसिफिकेशन दोनों के रूप में उपचार करने में सक्षम है।
यह शोध पत्र प्रोबेबिलिस्टिक डिसजंक्टिव नॉर्मल फॉर्म्स (PDNFs) को एक नवीन ढांचे के रूप में प्रस्तुत करता है जो अनिश्चितता को एनकोड करने के लिए चरों को वास्तविक-मान वाले भार (weights) प्रदान करता है, जिससे एक बानाच स्पेस संरचना स्थापित होती है जो टेम्पोरल लॉजिक और संभाव्यता वितरणों के बारे में तर्क करने के लिए तर्क, कार्यात्मक विश्लेषण और बेयसियन साक्ष्य संलयन (Bayesian evidence fusion) के बीच सेतु का निर्माण करती है।
यह शोध पत्र प्राइमल और ड्यूल फिक्स्डपॉइंट गेम्स में जीतने वाली रणनीतियों को व्युत्पन्न करने के लिए गालोइस कनेक्शनों (Galois connections) का उपयोग करते हुए एक जाली-सैद्धांतिक ढांचे (lattice-theoretical framework) को प्रस्तुत करता है, जो न्यूनतम फिक्स्डपॉइंट्स के सत्यापन और संभाव्य प्रणालियों में सूत्रों को अलग करने तथा मार्कोव श्रृंखलाओं में समाप्ति की संभावनाओं को प्रमाणित करने जैसी समस्याओं में उनके अनुप्रयोग को सक्षम बनाता है।
यह शोध पत्र इस बात की जांच करता है कि जब क्लासिक मोडल डिफिनेबिलिटी (modal definability) और प्रिजर्वेशन (preservation) थ्योरम्स को परिमित संरचनाओं (finite structures) तक सीमित कर दिया जाता है, तो कौन से वैध रहते हैं, यह प्रदर्शित करते हुए कि जबकि कुछ फर्स्ट-ऑर्डर प्रिजर्वेशन परिणाम विफल हो जाते हैं, प्रमुख सिमेंटिक कैरेक्टराइजेशन (semantic characterizations) और बिसिम्यूलेशन सेफ्टी थ्योरम (Bisimulation Safety Theorem) सफलतापूर्वक परिमित डोमेन में स्थानांतरित होते हैं।
यह शोध पत्र अवस्था-स्वतंत्र संदर्भियता साक्ष्यों (state-independent contextuality witnesses) को अभिलक्षणिक बनाने और उनके निर्माण के लिए कम्यूटेशन समूहों (commutation groups) और स्ट्रिंग रीराइटिंग सिस्टम्स (string rewriting systems) पर आधारित एक बीजगणितीय ढांचे को प्रस्तुत करता है, जो क्वांटम गैर-शास्त्रीयता के विश्लेषण और क्वांटम लाभ में इसके अनुप्रयोगों के लिए एक एकीकृत दृष्टिकोण प्रदान करता है।
यह शोधपत्र प्रदर्शित करता है कि विशिष्ट lex, सुलभ (accessible) मोडैलिटीज़ के साथ विस्तारित होमोटोपी टाइप थ्योरी -लोगोस के आरेखों (diagrams) को पुनर्गठित कर सकती है, जिससे कई -लोगोस के बारे में एक साथ तर्क करना सक्षम होता है और स्टर्लिंग की सिंथेटिक टैट कंप्यूटेबिलिटी का एक उच्च-आयामी सामान्यीकरण प्रदान होता है।
यह शोध पत्र सेकंड-ऑर्डर ग्राउंड यूनिफिकेशन (SOGU) का परिचय देता है, जो केवल एक एकल सेकंड-ऑर्डर चर की अनुमति देने वाला और बिना किसी फर्स्ट-ऑर्डर चर वाला एक खंड है, और यह सिद्ध करता है कि एसोसिएटिव फंक्शन सिम्बल्स वाला इसका इक्वेशनल वेरिएंट (ASOGU), हिल्बर्ट की 10वीं समस्या को इसमें रिड्यूस करके अनिर्णायक (undecidable) है, जिससे सेकंड-ऑर्डर यूनिफिकेशन की अनिर्णायकता के लिए एक नया लोअर बाउंड स्थापित होता है।
यह शोध पत्र ग्राफ डेरिवेटिव्स को पेश करके यह स्थापित करता है कि ट्रांजिटिव क्लोजर के साथ पॉजिटिव कैलकुलस ऑफ रिलेशंस (PCoR*) का इक्वेशनल थ्योरी EXPSPACE-कंप्लीट है, जो समानता को निर्धारित करने के लिए लीनियरली बाउंडेड पाथविड्थ मॉडल प्रॉपर्टी का लाभ उठाते हुए, पाथ डिकंपोजिशन पर परिमित ऑटोमेटा का निर्माण करने के लिए वर्ड-आधारित डेरिवेटिव्स का विस्तार करता है।
यह शोध पत्र एक निरंतरता-आधारित अपवर्तक तर्क (abductive reasoning) ढांचे का प्रस्ताव करता है जो नए वातावरणों में प्रदर्शन की गिरावट को कम करने के लिए परीक्षण के समय कई पूर्व-प्रशिक्षित मॉडलों के अनुमानों को एकीकृत करता है, जो तार्किक विसंगतियों को न्यूनतम करते हुए और कवरेज को अधिकतम करते हुए भविष्यवाणियों के एक उपसमुच्चय का चयन करके व्यक्तिगत मॉडलों और मानक एन्सेम्बल्स की तुलना में सटीकता और F1-स्कोर में महत्वपूर्ण सुधार प्राप्त करता है।