Zobrazeno 1 - 10
of 2 050
pro vyhledávání: '"Das Anupam"'
Publikováno v:
Management Systems in Production Engineering, Vol 31, Iss 2, Pp 128-137 (2023)
The primary goals of the study are to present a qualitative examination of household awareness of renewable energy sources and to ascertain their requirements, as well as their expectations for an improvement in quality of life as a consequence of us
Externí odkaz:
https://doaj.org/article/f3e0ea519d944c38815a052bc9f862ca
Publikováno v:
Demonstratio Mathematica, Vol 56, Iss 1, Pp 301-309 (2023)
In this article, some new generalizations of Darbo’s fixed-point theorem are given and the solvability of an infinite system of weighted fractional integral equations of a function with respect to another function is studied. Also, with the help of
Externí odkaz:
https://doaj.org/article/8a6af1200aec4ef2b0db7eae165e51ea
Autor:
Das, Anupam, De, Abhishek
We investigate the proof theory of regular expressions with fixed points, construed as a notation for (omega-)context-free grammars. Starting with a hypersequential system for regular expressions due to Das and Pous, we define its extension by least
Externí odkaz:
http://arxiv.org/abs/2404.16231
We sketch a tentative proof of P-completeness for the $\beta$-convertibility problem on untyped planar (a.k.a. ordered or non-commutative) $\lambda$-terms.
Comment: Abstract for the Trends in Linear Logic and Applications 2023 workshop, meant to
Comment: Abstract for the Trends in Linear Logic and Applications 2023 workshop, meant to
Externí odkaz:
http://arxiv.org/abs/2404.05276
Publikováno v:
IEEE Symposium on Security & Privacy (S&P) 2024
Recent years have seen a sharp increase in the number of underage users in virtual reality (VR), where security and privacy (S\&P) risks such as data surveillance and self-disclosure in social interaction have been increasingly prominent. Prior work
Externí odkaz:
http://arxiv.org/abs/2403.06172
Virtual Reality (VR) has witnessed a rising issue of harassment, prompting the integration of safety controls like muting and blocking in VR applications. However, the lack of standardized safety measures across VR applications hinders their universa
Externí odkaz:
http://arxiv.org/abs/2403.05499
Autor:
Salvador, John, Bansal, Naman, Akter, Mousumi, Sarkar, Souvika, Das, Anupam, Karmaker, Shubhra Kanti
Semantic Overlap Summarization (SOS) is a constrained multi-document summarization task, where the constraint is to capture the common/overlapping information between two alternative narratives. While recent advancements in Large Language Models (LLM
Externí odkaz:
http://arxiv.org/abs/2402.17008
Autor:
Das, Anupam, De, Abhishek
Right-linear (or left-linear) grammars are a well-known class of context-free grammars computing just the regular languages. They may naturally be written as expressions with (least) fixed points but with products restricted to letters as left argume
Externí odkaz:
http://arxiv.org/abs/2401.13382
We derive an intuitionistic version of G\"odel-L\"ob modal logic ($\sf{GL}$) in the style of Simpson, via proof theoretic techniques. We recover a labelled system, $\sf{\ell IGL}$, by restricting a non-wellfounded labelled system for $\sf{GL}$ to hav
Externí odkaz:
http://arxiv.org/abs/2309.00532