Zobrazeno 1 - 10
of 2 629
pro vyhledávání: '"Tendera, A."'
Vacuum-forming is a common manufacturing technique for constructing thin plastic shell products by pressing heated plastic sheets onto a mold using atmospheric pressure. Vacuum-forming is ubiquitous in packaging and casing products in industry spanni
Externí odkaz:
http://arxiv.org/abs/2104.12601
Autor:
Pratt-Hartmann, Ian, Tendera, Lidia
Publikováno v:
Annals of Pure and Applied Logic 173, 2022, art. 103042, pp. 1--43
We study the satisfiability problem for the fluted fragment extended with transitive relations. The logic enjoys the finite model property when only one transitive relation is available and the finite model property is lost when additionally either e
Externí odkaz:
http://arxiv.org/abs/2006.11169
Autor:
Mertin, Gerrit Karl, Wycisk, Dominik, Richter, Ernst, Manz, Manuel, Oldenburger, Marc, Hofmann, Markus Hans, Tendera, Luca, Birke, Kai Peter
Publikováno v:
In Journal of Energy Storage 1 August 2023 64
Autor:
Abtan, Jeremie *, Ducrocq, Gregory, Elbez, Yedid, Ferrari, Roberto, Ford, Ian, Fox, Kim M., Tardif, Jean-Claude, Tendera, Michal, Danchin, Nicolas, Parkhomenko, Alexander, Reid, Christopher M., Gabriel Steg, P.
Publikováno v:
In Archives of Cardiovascular Diseases August-September 2023 116(8-9):382-389
Autor:
Pratt-Hartmann, Ian, Tendera, Lidia
We study the satisfiability problem for the fluted fragment extended with transitive relations. We show that the logic enjoys the finite model property when only one transitive relation is available. On the other hand we show that the satisfiability
Externí odkaz:
http://arxiv.org/abs/1906.09131
Autor:
Magdalena Tendera
Publikováno v:
Bulgarian Journal of International Economics and Politics, Vol 2, Iss 2, Pp 51-71 (2023)
The research-based ethnographic study presented in the paper aims at explaining why the extensive student protests of the last decades in Serbia and Bulgaria do not facilitate the post-socialist transformation. Along with a high occurrence of politic
Externí odkaz:
https://doaj.org/article/a2684d9551ea44f58f0254061fc863fb
Autor:
Wladyslaw Dabrowski, Lukasz Tekieli, Adam Mazurek, Magdalena Lanocha, R. Pawel Banys, Krzysztof Zmudka, Marcin Majka, Wojciech Wojakowski, Michal Tendera, Piotr Musialek
Publikováno v:
Advances in Interventional Cardiology, Vol 18, Iss 4, Pp 483-495 (2023)
Externí odkaz:
https://doaj.org/article/399b72a0c50c401fb38cb2b2543308d0
We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, originally identified in 1968 by W.V. Quine. We show that the satisfiability problem for this fragment has non-elementary complexity, thus
Externí odkaz:
http://arxiv.org/abs/1812.06440
Autor:
Szwast, Wiesław, Tendera, Lidia
We study the satisfiability problem for the two-variable first-order logic over structures with one transitive relation. % We show that the problem is decidable in 2-NExpTime for the fragment consisting of formulas where existential quantifiers are g
Externí odkaz:
http://arxiv.org/abs/1804.09447
Autor:
Tendera, Lukas1 (AUTHOR), Kuehn, Laura1 (AUTHOR), Marder, Todd B.1,2 (AUTHOR), Radius, Udo1 (AUTHOR) u.radius@uni-wuerzburg.de
Publikováno v:
Chemistry - A European Journal. 11/8/2023, Vol. 29 Issue 62, p1-7. 7p.