×

Found 67 Documents (Results 1–67)

A delay analogue of the box and ball system arising from the ultra-discretization of the delay discrete Lotka-Volterra equation. arXiv:2309.00897

Preprint, arXiv:2309.00897 [nlin.SI] (2023).
BibTeX Cite
Full Text: arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI arXiv

Almost Gorenstein Rees algebras. (Japanese. English summary) Zbl 1369.13009

Nishinaka, Tsunekazu (ed.), Proceedings of the 48th symposium on ring theory and representation theory, Nagoya University, Nagoya, Japan, September 7–10, 2015. Yamanashi: Symposium on Ring Theory and Representation Theory Organizing Committee. 152-159 (2016).
MSC:  13A30 13H10 13H15
PDFBibTeX XMLCite

Robotics. Science and systems VI. Proceedings of the 6th annual robotics: science and systems conference (RSS), Zaragoza, Spain, June 27–30, 2010. (English) Zbl 1307.93010

Cambridge, MA: MIT Press (ISBN 978-0-262-51681-5/pbk; 978-0-262-29983-1/ebook). xviii, 322 p. (2011).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite

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
PDFBibTeX XMLCite
Full Text: Link

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
PDFBibTeX XMLCite
Full Text: Link

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
PDFBibTeX XMLCite
Full Text: Link

Overview of GridRPC: A remote procedure call API for grid computing. (English) Zbl 1024.68846

Parashar, Manish (ed.), Grid computing - GRID 2002. Third international workshop, Baltimore, MD, USA, November 18, 2002, Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2536, 274-278 (2002).
MSC:  68U99 68M10
PDFBibTeX XMLCite
Full Text: Link

An evaluation method on the integrated safeguards based on fuzzy theory. (English) Zbl 1005.68570

Ruan, Da (ed.) et al., Intelligent techniques and soft computing in nuclear science and engineering. Proceedings of the 4th international FLINS conference, Bruges, Belgium, August 28-30, 2000. Singapore: World Scientific. 377-388 (2000).
MSC:  68U99 68T27
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field