Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Elena V. Ravve"'
Publikováno v:
Sensors, Vol 24, Iss 9, p 2876 (2024)
Most facilities are structured in a repetitive manner. In this paper, we propose an algorithm and its partial implementation for a cellular guide in such facilities without GPS use. The complete system is based on iBeacons-like components, which oper
Externí odkaz:
https://doaj.org/article/9a4d1f73dd1945369668a902987ea4a0
Publikováno v:
Mathematics, Vol 12, Iss 5, p 658 (2024)
Many different aspects of software system development and verification rely on precise function identification in binary code. Recognition of the source Assembly functions in embedded systems is one of the fundamental challenges in binary program ana
Externí odkaz:
https://doaj.org/article/00104e5c96c542748dae77826c4c4a0d
Autor:
Johann A. Makowsky, Elena V. Ravve
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This
Publikováno v:
Engineering Optimization. 53:1384-1397
A problem of linking vertices (objects) by a connecting tree is studied under the condition that objects appear at different given times. In this case, the target function depends not only on the t...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54ddb12153ad359febb9440940ade1f3
https://doi.org/10.1080/0305215x.2020.1793978
https://doi.org/10.1080/0305215x.2020.1793978
Publikováno v:
Annals of Pure and Applied Logic. 170:1030-1069
Graph polynomials are graph parameters invariant under graph isomorphisms which take values in a polynomial ring with a fixed finite number of indeterminates. We study graph polynomials from a model theoretic point of view. In this paper we distingui
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86b6d6f33a08c638d4d03ff30827c760
https://doi.org/10.1016/j.apal.2019.04.007
https://doi.org/10.1016/j.apal.2019.04.007
Publikováno v:
Springer Proceedings in Mathematics & Statistics ISBN: 9783030781620
We introduce the notion of strongly distributed multi-agent systems and present a uniform approach to incremental automated reasoning on them. The approach is based on systematic use of two logical reduction techniques: Feferman-Vaught reductions and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e096bcda3dc8c6232b038147754c06e
https://doi.org/10.1007/978-3-030-78163-7_18
https://doi.org/10.1007/978-3-030-78163-7_18
Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams
Autor:
Elena V. Ravve
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030399504
FoIKS
FoIKS
In this paper, we systematically adopt logical reduction techniques to monitoring and optimization on distributed data streams. The first technique: Feferman-Vaught reductions, which describe how the queries over a disjoint union of data streams can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f1ba32e3f58af21583232cf0340a64a3
https://doi.org/10.1007/978-3-030-39951-1_15
https://doi.org/10.1007/978-3-030-39951-1_15
Publikováno v:
European Journal of Combinatorics. 67:181-198
Graph polynomials are deemed useful if they give rise to algebraic characterizations of various graph properties, and their evaluations encode many other graph invariants. Algebraic: The complete graphs K n and the complete bipartite graphs K n , n c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae948b4d757aa92b0bfb791e1ce4c24b
https://doi.org/10.1016/j.ejc.2017.08.002
https://doi.org/10.1016/j.ejc.2017.08.002
Autor:
Elena V. Ravve, Zeev Volkovich
Publikováno v:
Applied Acoustics. 184:108276
Irritating howling, which is caused by acoustic feedback, is an ubiquitous problem in amplified live-sound situations. In this contribution, we present a multi-criteria approach to optimal acoustic feedback detection. To do so, we consider three comm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10d4fc6537f84ed09eca1aa4195f1efd
https://doi.org/10.1016/j.apacoust.2021.108276
https://doi.org/10.1016/j.apacoust.2021.108276
Autor:
Katerina Korenblat, Elena V. Ravve
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030302771
ADBIS (Short Papers and Workshops)
ADBIS (Short Papers and Workshops)
Definition and implementation of every system starts from its specification. After the developer received the verified specification, she can move to the code writing. Recently, modelling is used as the first step to the programming task. Unified Mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ced70ff26fc368451e386dee68a45e6
https://doi.org/10.1007/978-3-030-30278-8_28
https://doi.org/10.1007/978-3-030-30278-8_28