cs.LO पेपर | Gist.Science

Efficient reversal of transductions of sparse graph classes

यह शोध पत्र एक कुशल $O(n^4)$ -समय वाले एल्गोरिदम को प्रस्तुत करता है जो स्पार्स ग्राफ वर्गों (sparse graph classes) के लिए प्रथम-क्रम ट्रांसडक्शनों (first-order transductions) को लगभग उत्क्रमित (reverse) करता है, यह सिद्ध करते हुए कि स्वाभाविक रूप से रैखिक पड़ोस जटिलता (inherently linear neighborhood complexity) वाले मोनाडिकली स्थिर वर्ग (monadically stable classes), संरचनात्मक रूप से सीमित विस्तार वर्गों (structurally bounded expansion classes) के साथ मेल खाते हैं, जिससे बाउंडेड एक्सपेंशन स्रोतों से ऐसे ग्राफों के पुनर्निर्माण के संबंध में एक खुले प्रश्न का समाधान होता है।

Jan Dreier, Jakub Gajarský, Michał Pilipczuk2026-01-22

🔢 mathematics

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants

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

Juan J. Segura2026-01-22

💻 computer science

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes

यह शोध पत्र एक व्यक्तिगत औपचारिक सत्यापन ढांचे (personalized formal verification framework) को प्रस्तुत करता है जो स्वतंत्र रूप से रहने वाले वृद्ध वयस्कों के लिए दैनिक जीवन की गतिविधियों (Activities of Daily Living) को मॉडल और औपचारिक रूप से सत्यापित करने हेतु सेंसर डेटा को व्यक्तिगत संदर्भ के साथ एकीकृत करता है, जिसमें सुरक्षा उल्लंघनों का पता लगाने और व्याख्यात्मक प्रति-उदाहरण (explanatory counterexamples) उत्पन्न करने के लिए लीनियर टेम्पोरल लॉजिक (Linear Temporal Logic) का उपयोग किया गया है।

Ricardo Contreras, Filip Smola, Nuša Farič, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot2026-01-15

💻 computer science

Query Languages for Machine-Learning Models

यह शोध पत्र भारित ग्राफ़ (weighted graphs) के रूप में प्रस्तुत न्यूरल नेटवर्क के लिए क्वेरी भाषाओं के रूप में समेशन के साथ प्रथम-क्रम तर्क (first-order logic with summation - FO(SUM)) और इसके पुनरावर्ती विस्तार (recursive extension - IFP(SUM)) के अनुप्रयोग का अन्वेषण करता है, जिसमें दृष्टांत उदाहरण प्रस्तुत किए गए हैं और उनकी अभिव्यक्ति क्षमता (expressiveness) एवं गणनात्मक जटिलता (computational complexity) का विश्लेषण किया गया है।

Martin Grohe2026-01-15

← पिछला