💻 computer science

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures

यह शोध पत्र मोंटीआर्क (MontiArc) घटक-और-कनेक्टर आर्किटेक्चर पर सिमेंटिक डिफरेंस विश्लेषण करने के लिए रनटाइम डेटा संग्रह द्वारा संवर्धित एक डायनेमिक सिम्बोलिक एक्जीक्यूशन दृष्टिकोण का प्रस्ताव और मूल्यांकन करता है, जिसे निष्पादन ट्रेसेस (execution traces) की पहचान करने के लिए आशाजनक पाते हुए बड़े सिस्टम के लिए स्केलेबिलिटी को एक प्राथमिक सीमा के रूप में नोट किया गया है।

Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber2026-03-10
⚛️ quantum physics

Exploration of Evolving Quantum Key Distribution Network Architecture Using Model-Based Systems Engineering

यह शोध पत्र क्वांटम की डिस्ट्रीब्यूशन (QKD) नेटवर्क आर्किटेक्चर को व्यवस्थित रूप से मॉडल, ट्रेस और विकसित करने के लिए ऑर्थोगोनल वेरिएबिलिटी मॉडलिंग और सिस्टम्स मॉडलिंग लैंग्वेज का उपयोग करते हुए एक वेरिएबिलिटी-ड्रिवन सिस्टम्स इंजीनियरिंग फ्रेमवर्क प्रस्तावित करता है, जिससे भविष्य की सुरक्षा आवश्यकताओं को पूरा करने के लिए मौजूदा क्लासिकल इंफ्रास्ट्रक्चर में जटिल क्वांटम उपकरणों को एकीकृत करने की चुनौतियों का समाधान किया जा सके।

Hayato Ishida, Amal Elsokary, Maria Aslam, Catherine White, Michael J. de C. Henshaw, Siyuan Ji2026-03-10
💬 NLP

Process-Centric Analysis of Agentic Software Systems

यह शोध पत्र 'ग्राफैक्ट्री' (Graphectory) को पेश करता है, जो एजेंटिक सॉफ्टवेयर सिस्टम के स्टोकेस्टिक निष्पादन प्रक्षेप पथों (stochastic execution trajectories) का विश्लेषण करने के लिए एक ग्राफ-आधारित ढांचा है, जो यह प्रकट करता है कि समृद्ध प्रॉम्प्ट और अधिक शक्तिशाली मॉडल जटिल तर्क पैटर्न उत्पन्न करते हैं, जबकि वास्तविक समय की निगरानी और हस्तक्षेप को सक्षम करते हैं जो समस्या समाधान दरों और दक्षता में महत्वपूर्ण सुधार करता है।

Shuyang Liu, Yang Chen, Rahul Krishna, Saurabh Sinha, Jatin Ganhotra, Reyhan Jabbarvand2026-03-10
🤖 machine learning

DevBench: A Realistic, Developer-Informed Benchmark for Code Generation Models

DevBench एक यथार्थवादी, टेलीमेट्री-संचालित बेंचमार्क है जिसमें छह भाषाओं में 1,800 इंस्टेंस शामिल हैं जो पारिस्थितिक वैधता (ecological validity), संदूषण-मुक्त मूल्यांकन और व्यावहारिक मॉडल चयन एवं विकास के मार्गदर्शन के लिए विस्तृत नैदानिक अंतर्दृष्टि पर ध्यान केंद्रित करते हुए कोड पूर्णता कार्यों पर LLMs का मूल्यांकन करता है।

Pareesa Ameneh Golnari, Adarsh Kumarappan, Wen Wen, Xiaoyu Liu, Gabriel Ryan, Yuting Sun, Shengyu Fu, Elsie Nallipogu2026-03-10
💬 NLP

Measuring Complexity at the Requirements Stage: Spectral Metrics as Development Effort Predictors

यह शोध पत्र प्रदर्शित करता है कि आवश्यकताओं के विनिर्देशों (requirements specifications) के प्राकृतिक भाषा प्रसंस्करण (natural language processing) से प्राप्त स्पेक्ट्रल मेट्रिक्स, उच्च सटीकता (सहसंबंध >0.95) के साथ एकीकरण प्रयास (integration effort) की भविष्यवाणी कर सकते हैं, जो आवश्यकताओं के चरण में संरचनात्मक जटिलता को मापने के लिए एक सत्यापित विधि प्रदान करता है और वास्तुशिल्प विश्लेषण (architectural analysis) एवं आवश्यकताओं के इंजीनियरिंग के बीच के अंतर को पाटता है।

Maximilian Vierlboeck, Antonio Pugliese, Roshanak Nilchian, Paul Grogan, Rashika Sugganahalli Natesh Babu2026-03-10
💻 computer science

Social Life of Code: Modeling Evolution through Code Embedding and Opinion Dynamics

यह शोधपत्र एक ऐसे नवीन ढांचे का प्रस्ताव करता है जो ओपन-सोर्स रिपॉजिटरी में सॉफ्टवेयर विकास को संचालित करने वाले सामाजिक गतिशीलता, आम सहमति निर्माण और प्रभाव पैटर्न का मात्रात्मक विश्लेषण और विज़ुअलाइज़ करने के लिए सिमेंटिक कोड एम्बेडिंग को एक्सप्रेसड-प्राइवेट ओपिनियन (EPO) मॉडल के साथ एकीकृत करता है।

Yulong He, Nikita Verbin, Sergey Kovalchuk2026-03-10
💻 computer science

Extended Empirical Validation of the Explainability Solution Space

यह तकनीकी रिपोर्ट कर्मचारी पलायन (एट्रिशन) और शहरी संसाधन आवंटन प्रणालियों दोनों को शामिल करने वाले एक क्रॉस-डोमेन मूल्यांकन के माध्यम से, विविध शासन भूमिकाओं और हितधारक विन्यासों के प्रति इसकी डोमेन-स्वतंत्र प्रयोज्यता और व्यवस्थित अनुकूलन क्षमता को प्रदर्शित करके, एक्सप्लेनेबिलिटी सॉल्यूशन स्पेस (ESS) ढांचे के अनुभवजन्य सत्यापन का विस्तार करती है।

Antoni Mestre, Manoli Albert, Miriam Gil, Vicente Pelechano2026-03-10
💻 computer science

AI-Powered Multi-Stakeholder Ecosystems for Global Development: A Design Research Study on the GSI D-Hub Proof-of-Concept Platform

यह डिज़ाइन-साइंस अध्ययन GSI D-Hub को प्रस्तुत और मान्य करता है, जो एक AI-संचालित प्लेटफॉर्म है जो बहु-हितधारक वैश्विक विकास पारिस्थित प्रणालियों के भीतर पारदर्शिता, विश्वास और निर्णय लेने की क्षमता को बढ़ाने के लिए व्याख्यात्मक एल्गोरिदम और सिंथेटिक डेटा का लाभ उठाता है।

Muzakkiruddin Ahmed Mohammed, Adeeba Tarannum, Eileen Devereux Dailey, Marla Johnson, Mert Can Cakmak, John Talburt2026-03-10
💻 computer science

ResearchEnvBench: Benchmarking Agents on Environment Synthesis for Research Code Execution

यह शोधपत्र ResearchEnvBench प्रस्तुत करता है, जो अनुसंधान कोड के लिए जटिल निष्पादन वातावरण (execution environments) को संश्लेषित करने की स्वायत्त एजेंटों की क्षमता का मूल्यांकन करने के लिए डिज़ाइन किया गया एक नया बेंचमार्क है, जो निर्भरता समाधान (dependency resolution) और संस्करण प्रबंधन (version management) में महत्वपूर्ण वर्तमान सीमाओं को प्रकट करता है।

Yubang Wang, Chenxi Zhang, Bowen Chen, Zezheng Huai, Zihao Dai, Xinchi Chen, Yuxin Wang, Yining Zheng, Jingjing Gong, Xi (…)2026-03-10
💻 computer science

Characterizing Faults in Agentic AI: A Taxonomy of Types, Symptoms, and Root Causes

यह शोध पत्र एजेंटिक एआई (agentic AI) प्रणालियों में दोषों का एक व्यापक वर्गीकरण प्रस्तुत करता है, जो 13,602 समस्याओं के एक बड़े पैमाने के अनुभवजन्य अध्ययन से प्राप्त किया गया है और 145 विशेषज्ञों द्वारा सत्यापित किया गया है, जो 37 विशिष्ट दोष प्रकारों, उनके लक्षणों और मूल कारणों को वर्गीकृत करता है ताकि महत्वपूर्ण प्रसार पैटर्न और संभाव्य एलएलएम (LLM) आउटपुट एवं नियतात्मक प्रणाली बाधाओं के बीच के बेमेल संबंधों को उजागर किया जा सके।

Mehil B Shah, Mohammad Mehdi Morovati, Mohammad Masudur Rahman, Foutse Khomh2026-03-10