Zobrazeno 1 - 10
of 6 641
pro vyhledávání: '"Kapron A"'
Autor:
Pudlák, Pavel
Publikováno v:
The Bulletin of Symbolic Logic, 2023 Dec 01. 29(4), 657-660.
Externí odkaz:
https://www.jstor.org/stable/27285437
Autor:
Kapron, Bruce M., Samieefar, Koosha
We present a computational formulation for the approximate version of several variational inequality problems, investigating their computational complexity and establishing PPAD-completeness. Examining applications in computational game theory, we sp
Externí odkaz:
http://arxiv.org/abs/2411.04392
Separation logic is a substructural logic which has proved to have numerous and fruitful applications to the verification of programs working on dynamic data structures. Recently, Barthe, Hsu and Liao have proposed a new way of giving semantics to se
Externí odkaz:
http://arxiv.org/abs/2405.11987
In automated complexity analysis, noninterference-based type systems statically guarantee, via soundness, the property that well-typed programs compute functions of a given complexity class, e.g., the class FP of functions computable in polynomial ti
Externí odkaz:
http://arxiv.org/abs/2401.14957
Autor:
Li Jiang, Wang Kaili, Starodubtseva Maria N., Nadyrov Eldar, Kapron Carolyn M., Hoh Josephine, Liu Ju
Publikováno v:
Medical Review, Vol 4, Iss 5, Pp 452-466 (2024)
Angiogenesis, the process of formation of new capillaries from existing blood vessels, is required for multiple physiological and pathological processes. Complement factor H (CFH) is a plasma protein that inhibits the alternative pathway of the compl
Externí odkaz:
https://doaj.org/article/1c818e215a4a453b954e67de3360aa09
Autor:
O. Shkarupa
Publikováno v:
Ribogospodarsʹka Nauka Ukraïni, Iss 2(12), Pp 81-88 (2015)
Purpose. To substantiate theoretically the optimum safety factors of fishing materials used for the construction of fishing gears that allow reducing the material consumption of these gears and keep them for a long time operation. To select the optim
Externí odkaz:
https://doaj.org/article/7f844189793a4b70bee4cdf921ea15d1
Autor:
Kapron, Bruce M., Samieefar, Koosha
Computational aspects of solution notions such as Nash equilibrium have been extensively studied, including settings where the ultimate goal is to find an equilibrium that possesses some additional properties. Furthermore, in order to address issues
Externí odkaz:
http://arxiv.org/abs/2305.04918
The class of Basic Feasible Functionals BFF is the second-order counterpart of the class of first-order functions computable in polynomial time. We present several implicit characterizations of BFF based on a typed programming language of terms. Thes
Externí odkaz:
http://arxiv.org/abs/2208.14739
Autor:
Trinh, Linh, Bienkowski, Krzysztof, Parzuch, Aleksandra, Wróbel, Piotr, Kaproń, Grzegorz, Pisarek, Marcin, Solarska, Renata
Publikováno v:
In International Journal of Hydrogen Energy 18 October 2024 87:1171-1179