×

Found 71 Documents (Results 1–71)

Oblivious online monitoring for safety LTL specification via fully homomorphic encryption. (English) Zbl 1514.68118

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 447-468 (2022).

Numerical semigroup rings of maximal embedding dimension with determinantal defining ideals. (English) Zbl 1484.13032

Barucci, Valentina (ed.) et al., Numerical semigroups. Proceedings of the INdAM international meeting on numerical semigroups, IMNS 2018, Cortona, Italy, September 3–7, 2018. Cham: Springer. Springer INdAM Ser. 40, 185-196 (2020).
MSC:  13C40 14M12 20Mxx
Full Text: DOI

Longest common subsequence in at least \(k\) length order-isomorphic substrings. (English) Zbl 1444.68311

Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 363-374 (2017).
MSC:  68W32 68W40

Fractional integral operators on \(\mathbf{B^{p,\lambda}}\) with Morrey-Campanato norms. (English) Zbl 1231.42021

Hudzik, Henryk (ed.) et al., Function spaces IX. Proceedings of the 9th international conference, Kraków, Poland, July 6–11, 2009. Warszawa: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-12-6/pbk). Banach Center Publications 92, 249-264 (2011).
Full Text: DOI

Numerical analysis of the effective constitutive parameters of a random medium containing small chiral spheres. (English) Zbl 1089.78013

Jin, Ya-Qui (ed.), Wave propagation, scattering and emission in complex media. Papers presented at the international workshop (WPSC2003), Shanghai, China, June 1–4, 2003. Singapore: World Scientific; Beijing: Science Press (ISBN 981-238-771-4/hbk; 7-03-012464-2/hbk). 194-202 (2004).
MSC:  78A45 78-02 78A40 78A48 78M25

Fusion. (English) Zbl 1050.68827

Birk, Andreas (ed.) et al., RoboCup 2001: Robot soccer world cup V. 5th robot world cup soccer games and conferences, Washington State Convention and Trade Center, Seattle, WA, USA, August 2–10, 2001. Berlin: Springer (ISBN 3-540-43912-9). Lect. Notes Comput. Sci. 2377, 643-647 (2002).
MSC:  68U99 68T40

On-line navigation of mobile robot among moving obstacles using ultrasonic sensors. (English) Zbl 1050.68927

Birk, Andreas (ed.) et al., RoboCup 2001: Robot soccer world cup V. 5th robot world cup soccer games and conferences, Washington State Convention and Trade Center, Seattle, WA, USA, August 2–10, 2001. Berlin: Springer (ISBN 3-540-43912-9). Lect. Notes Comput. Sci. 2377, 477-483 (2002).
MSC:  68U99 68T40

Localization and obstacles detection using omni-directional vertical stereo vision. (English) Zbl 1050.68826

Birk, Andreas (ed.) et al., RoboCup 2001: Robot soccer world cup V. 5th robot world cup soccer games and conferences, Washington State Convention and Trade Center, Seattle, WA, USA, August 2–10, 2001. Berlin: Springer (ISBN 3-540-43912-9). Lect. Notes Comput. Sci. 2377, 429-434 (2002).
MSC:  68U99 68T40 68T45

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field