Zobrazeno 1 - 10
of 772
pro vyhledávání: '"Kurucz, P."'
As well known, weak K4 and the difference logic DL do not enjoy the Craig interpolation property. Our concern here is the problem of deciding whether any given implication does have an interpolant in these logics. We show that the nonexistence of an
Externí odkaz:
http://arxiv.org/abs/2403.11255
Normal modal logics extending the logic K4.3 of linear transitive frames are known to lack the Craig interpolation property, except some logics of bounded depth such as S5. We turn this `negative' fact into a research question and pursue a non-unifor
Externí odkaz:
http://arxiv.org/abs/2312.05929
Autor:
Vincent C. Kurucz, Jimmy Schenk, Denise P. Veelo, Bart F. Geerts, Alexander P. J. Vlaar, Björn J. P. Van Der Ster
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-13 (2024)
Abstract The relationship between weather and acute coronary syndrome (ACS) incidence has been the subject of considerable research, with varying conclusions. Harnessing machine learning techniques, our study explores the relationship between meteoro
Externí odkaz:
https://doaj.org/article/618a28baea9044df8033dd92b76dac90
Autor:
Laszlo Barany, Cintia Meszaros, Alan Alpar, Oliver Ganslandt, Nirjhar Hore, Daniel Delev, Oliver Schnell, Peter Kurucz
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-12 (2024)
Abstract The human septum verum represents a small but clinically important region of the brain. Based on the results of animal experiments, the stimulation of its medial part was recently proposed with various indications like epilepsy or cognitive
Externí odkaz:
https://doaj.org/article/91da8ef4138a494d8617ab8ead3d0df4
None of the first-order modal logics between $\mathsf{K}$ and $\mathsf{S5}$ under the constant domain semantics enjoys Craig interpolation or projective Beth definability, even in the language restricted to a single individual variable. It follows th
Externí odkaz:
http://arxiv.org/abs/2303.04598
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-12 (2024)
Abstract Vector-borne diseases pose a potential risk to human and animal welfare, and understanding their spread requires genomic resources. The mosquito Aedes koreicus is an emerging vector that has been introduced into Europe more than 15 years ago
Externí odkaz:
https://doaj.org/article/77bfbbecfa41482baaba78002b9bf5eb
Autor:
Zsaklin Varga, Rubén Bueno-Marí, José Risueño Iranzo, Kornélia Kurucz, Gábor Endre Tóth, Brigitta Zana, Safia Zeghbib, Tamás Görföl, Ferenc Jakab, Gábor Kemenesi
Publikováno v:
Parasites & Vectors, Vol 17, Iss 1, Pp 1-9 (2024)
Abstract Background Different mosquito control strategies have been implemented to mitigate or prevent mosquito-related public health situations. Modern mosquito control largely relies on multiple approaches, including targeted, specific treatments.
Externí odkaz:
https://doaj.org/article/ab61c3875a7f41e5bdb2ee353c52b94d
Our concern is the problem of determining the data complexity of answering an ontology-mediated query (OMQ) formulated in linear temporal logic LTL over (Z,<) and deciding whether it is rewritable to an FO(<)-query, possibly with some extra predicate
Externí odkaz:
http://arxiv.org/abs/2207.06210
Autor:
Kostogryz, N. M., Witzke, V., Shapiro, A. I., Solanki, S. K., Maxted, P. F. L., Kurucz, R. L., Gizon, L.
Publikováno v:
A&A 666, A60 (2022)
The detection of the first exoplanet paved the way into the era of transit photometry space missions with a revolutionary photometric precision that aim at discovering new exoplanetary systems around different types of stars. With this high precision
Externí odkaz:
http://arxiv.org/abs/2206.06641
Autor:
Nevien Elhawat, Andrea Balla Kovács, Gabriella Antal, Erika Kurucz, Éva Domokos-Szabolcsy, Miklós Gábor Fári, Tarek Alshaal
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-11 (2024)
Abstract Giant reed (Arundo donax L.) is one of the most well-studied perennial biomass crops because of its high productivity and potential to store carbon. Yet, little information on controlling weeds in giant reed plantations and their influences
Externí odkaz:
https://doaj.org/article/108fefe325974568be41004051473ec4