💻 संगणक विज्ञान

Safe Separability for Autonomous Authorization: Branch-Relative Authority Closure Under Decision-Critical Uncertainty

यह शोध पत्र ब्रांच-रिलेटिव अथॉरिटी क्लोजर (BRAC) प्रस्तुत करता है, जो एक ऐसा ढांचा है जो वैधता संबंधी बाधाओं का उल्लंघन किए बिना निर्णय-महत्वपूर्ण अनिश्चितता को हल करने के लिए प्रत्येक अवलोकन के बाद प्राधिकरण अनुमतियों की गतिशील रूप से पुनर्गणना करके स्वायत्त एजेंटों के लिए सुरक्षित साक्ष्य प्राप्ति सुनिश्चित करता है।

Mohammad Amir Khusru Akhtar2026-10-07
💻 संगणक विज्ञान

Ensemble-Based Anomaly Detection for Urban Power Efficiency Towards Sustainable Energy Management

यह शोध शहरी ऊर्जा दक्षता के लिए एक एन्सेम्बल-आधारित विसंगति पहचान प्रणाली का प्रस्ताव करता है जो पारंपरिक मशीन लर्निंग एल्गोरिदम की तुलना डीप लर्निंग ऑटोएनकोडर्स से करता है, यह प्रदर्शित करते हुए कि ऑटोएनकोडर टिकाऊ ऊर्जा प्रबंधन का समर्थन करने के लिए व्याख्यात्मकता हेतु SHAP का उपयोग करते हुए बेहतर प्रदर्शन (0.9740 और 0.9494 का F1 स्कोर) प्राप्त करता है।

Visalakshi Annepu, Kalapraveen Bagadi, Muhsin Jaber Jweeg, Mohd Shukor Salleh, Deepika Rani Sona, Oday I. Abdullah, Oula (…)2026-10-07
💻 संगणक विज्ञान

TPA-Flow: Physiological Tensor Interactions and Rectified-Flow Decoding for Remote Photoplethysmography

TPA-Flow एक एकीकृत रिमोट फोटोटिस्मोग्राफी (remote photoplethysmography) फ्रेमवर्क है जो फिजियोलॉजिकल टेंसर-प्रोडक्ट अटेंशन (Physiological Tensor-Product Attention) के माध्यम से कॉन्फिडेंस-वेटेड पीरियोडिक प्रायर्स (confidence-weighted periodic priors) को एकीकृत करके और वेवफॉर्म विरूपणों (waveform distortions) को ठीक करने के लिए एक नवीन डायरेक्ट-एंकरड रेक्टिफाइड फ्लो डिकोडिंग मैकेनिज्म (direct-anchored Rectified Flow decoding mechanism) का उपयोग करके शारीरिक निगरानी की सटीकता और मजबूती को बढ़ाता है।

Huixiang Wen, Ruixue Chen, Luo Zhou, Shunfeng Gao2026-10-07
💻 संगणक विज्ञान

CogAlign-CausalX: mask-grounded polyp analysis with closed-form explanation-alignment scoring

CogAlign-CausalX एक पॉलिप विश्लेषण पाइपलाइन है जो सेगमेंटेशन मास्क को रूपात्मक वर्गीकरण (morphological classification) के लिए आंतरिक स्पष्टीकरण के रूप में मानती है, जिसे एक तेज़, क्लोज्ड-फॉर्म अलाइनमेंट स्कोरिंग मीट्रिक (XAlign) द्वारा मान्य किया गया है जो Kvasir-SEG डेटासेट पर प्रतिस्पर्धी प्रदर्शन प्राप्त करता है और साथ ही पूर्ण सेगमेंटेशन सटीकता में सीमाओं और पारंपरिक ओवरलैप मापों के साथ अलाइनमेंट स्कोर को जोड़ने की आवश्यकता को स्वीकार करता है।

G. Sudha Gowd, S. Vasundra2026-10-07
💻 संगणक विज्ञान

A Path Relinking Metaheuristic for the Capacitated Vertex Separator Problem

यह शोध पत्र एक पाथ रिलिंकिंग मेटाहेयुरिस्टिक प्रस्तुत करता है जिसे लेबल मैचिंग और कंपोनेंट मूव्स के साथ उन्नत किया गया है ताकि कैपेसिटेटेड वर्टेक्स सेपरेटरेशन प्रॉब्लम को कुशलतापूर्वक हल किया जा सके, जो अधिकांश मामलों में इष्टतम समाधानों से मेल खाकर और शेष मामलों में ऊपरी सीमाओं (अपर बाउंड्स) में सुधार करके मौजूदा सटीक एल्गोरिदम की तुलना में बेहतर प्रदर्शन प्रदर्शित करता है।

Sergiu Amihaesei2026-10-07
💻 संगणक विज्ञान

AnoMLP-TCP: An Anomaly Aware Multilayer Perceptron for Test Case Prioritization in Continuous Integration

यह शोध पत्र AnoMLP-TCP को प्रस्तुत करता है, जो निरंतर एकीकरण (continuous integration) में टेस्ट केस प्राथमिकता निर्धारण के लिए एक हल्का विसंगति-जागरूक मल्टीलेयर परसेप्ट्रॉन है, जो अधिक जटिल AnoLSTM-TCP बेसलाइन के तुलनीय प्रदर्शन प्राप्त करता है और साथ ही मॉडल पैरामीटर्स, प्रशिक्षण समय और कम्प्यूटेशनल लागत को काफी कम करता है।

MUSA ISYAKU2026-10-07
💻 संगणक विज्ञान

A Design Science Research Approach to Developing an Offline-Capable Secure Digital Wallet for Low-Connectivity Environments

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

Patricia Ghann, Gabriel Teye, Eric Apomah Adu, Isaac Junior Loveland Gavua, Mccarthy Newman-King, Carl Dela2026-10-07
💻 संगणक विज्ञान

Closing the Verification Loop in Generative Development: An External Transactional State Machine and a Field Evaluation of Its Economics and Convergence

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

Anton N. Smolin2026-10-07
💻 संगणक विज्ञान

From LaTeX and OCaml to LEAN4 and Executables: Lean-Checked Theorems and Generating Proof-Carrying Rust

यह शोधपत्र पायथन-आधारित हिंडली-मिलनर (Hindley–Milner) फ्रंट एंड प्रस्तुत करता है जो ओकैml (OCaml) के एक उपसमुच्चय के लिए, जो साथ ही लीन 4 (Lean 4)-सत्यापित प्रमेय और प्रमाण-वहन अनुबंधों (proof-carrying contracts) के साथ निष्पादन योग्य रस्ट (Rust) कोड उत्पन्न करता है, पारस्परिक आगमनात्मक प्रकारों (mutual inductive types), हस्ताक्षरित पूर्णांक अंकगणित (signed integer arithmetic), और एक कर्नेल एवं उसके स्व-वर्णनात्मक समीकरण के क्रॉस-कार्यान्वयन सत्यापन के माध्यम से प्रणाली को सफलतापूर्वक मान्य करता है।

Brent Hartshorn2026-10-07
💻 संगणक विज्ञान

Google's Rich Results Test Displays No More Than 102 Objects for One JSON-LD Entity and Accepts an Invalid eventStatus Value

यह शोध पत्र गूगल के रिच रिजल्ट्स टेस्ट (Rich Results Test) में दो मौन विफलताओं की पहचान करता है: एक डिस्प्ले सीमा जो बिना किसी चेतावनी के JSON-LD ऑब्जेक्ट काउंट को 102 तक सीमित कर देती है, और `eventStatus` प्रॉपर्टी के लिए सत्यापन का अभाव जो "EventCompleted" जैसे अमान्य मानों को गलत तरीके से स्वीकार कर लेता है।

Brian R. Hatten2026-10-07