×

Found 411 Documents (Results 1–100)

Algorithms for coloring reconfiguration under recolorability digraphs. (English) Zbl 07911070

Bae, Sang Won (ed.) et al., 33rd international symposium on algorithms and computation (ISAAC 2022), Seoul, Korea, December 19–21, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 248, Article 4, 19 p. (2022).
MSC:  68Wxx
Full Text: DOI

Regional stability of nonlinear sampled-data controlled systems under actuator saturation: a quasi-LPV approach. (English) Zbl 1504.93291

Valmorbida, Giorgio (ed.) et al., Accounting for constraints in delay systems. Based on the workshop, Gif-sur-Yvette, France; November 22–24, 2017. Cham: Springer. Adv. Delays Dyn. 12, 189-207 (2022).
MSC:  93D05 93C57 93C10
Full Text: DOI

Failure of cut-elimination in the cyclic proof system of bunched logic with inductive propositions. (English) Zbl 1541.03150

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 11, 14 p. (2021).
MSC:  03F05 03B70
Full Text: DOI

Approximation of a common fixed point of two nonlinear mappings with nonsummable errors in a Banach space. (English) Zbl 07391801

Shahid, Mohammad Hasan (ed.) et al., Differential geometry, algebra, and analysis. Selected papers based on the presentations at the international conference, ICDGAA 2016, New Delhi, India, November 15–17, 2016. Singapore: Springer. Springer Proc. Math. Stat. 327, 185-196 (2020).
MSC:  47H05 47H09 47J25
Full Text: DOI

Asymptotic behavior of resolvents on complete geodesic spaces with negative curvature. (English) Zbl 1528.53041

Kimura, Yasunori (ed.) et al., Proceedings of the 11th international conference on nonlinear analysis and convex analysis (NACA 2019) and the International conference on optimization: techniques and applications (ICOTA), Hokodate, Japan, August 26–31, 2019. Part I. Yokohama: Yokohama Publishers. 331-341 (2019).
MSC:  53C23 26B25

A Halpern’s iterative scheme with multiple anchor points in complete geodesic spaces with curvature bounded above. (English) Zbl 07716283

Kimura, Yasunori (ed.) et al., Proceedings of the 11th international conference on nonlinear analysis and convex analysis (NACA 2019) and the International conference on optimization: techniques and applications (ICOTA), Hokodate, Japan, August 26–31, 2019. Part I. Yokohama: Yokohama Publishers. 313-329 (2019).
MSC:  47H09 52A55

The CQ projection method and equilibrium problems in Hadamard spaces. (English) Zbl 1522.90231

Kimura, Yasunori (ed.) et al., Proceedings of the 11th international conference on nonlinear analysis and convex analysis (NACA 2019) and the International conference on optimization: techniques and applications (ICOTA), Hokodate, Japan, August 26–31, 2019. Part I. Yokohama: Yokohama Publishers. 303-311 (2019).
MSC:  90C33

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software