පර්යේෂණ පත්රිකා නිරීක්ෂණය

ජෝන් එස්. එච්. බැක්ස්ටර් (John S. H. Baxter) සහ පියෙර් ජැනින් (Pierre Jannin), ආර්කයිව් (arXiv) පූර්ව මුද්රිත පර්යේෂණ පත්රිකාව, 2026 අගෝස්තු 10; සම-ක්ෂේත්ර විද්වත් සමාලෝචනයට ලක් කර නැත.
ගැටලුව: අවධි හඳුනාගැනීමේ ආකෘතිවලට සංඛ්යානමය වශයෙන් පිළිගත හැකි නමුත් ස්ථලක විද්යාත්මකව (topologically) සිදුවිය නොහැකි සංක්රමණ නිපදවිය හැකිය. මෙම පර්යේෂණ දායකත්වය කාලික තර්කන ප්රකාශ (temporal-logic predicates) සහ සම්භාවිතා ආකෘතිකරණය මඟින් දෝෂ ප්රමාණනය කර පාලනය කරයි. එය කාර්ය ප්රවාහය හඳුනාගන්නා වෛද්ය පද්ධති සඳහා විධිමත් සීමා පිළිපැදීම සහතික කරන ස්ථරයක් ලෙස භාවිත කළ හැකිය. සීමාවන්: අනුකරණයට පමණක් සීමා වේ; එක් ශල්ය කාර්ය ප්රවාහයක් පමණක් සලකා ඇත; ප්රතිඵල කතුවරුන් විසින් වාර්තා කර ඇත; ස්වාධීනව නැවත ප්රතිනිෂ්පාදනය කළ බවට හෝ සායනික භාවිතයට යෙදවූ බවට සාක්ෂි නැත.